[INFO] cloning repository https://github.com/martin-t/sokoban-solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/martin-t/sokoban-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmartin-t%2Fsokoban-solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmartin-t%2Fsokoban-solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 31379b7a023ac4248697bdcf4314cc582a241d86
[INFO] testing martin-t/sokoban-solver against master#733b47ea4b1b86216f14ef56e49440c33933f230+rustflags=-Copt-level=3 for pr-138759
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmartin-t%2Fsokoban-solver" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-tc2/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/martin-t/sokoban-solver
[INFO] finished tweaking git repo https://github.com/martin-t/sokoban-solver
[INFO] tweaked toml for git repo https://github.com/martin-t/sokoban-solver written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/martin-t/sokoban-solver on toolchain 733b47ea4b1b86216f14ef56e49440c33933f230
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/martin-t/sokoban-solver already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 810592a0340fae919d7a0328f72b9dbc3d3c4a81ebb06a130551a8d982ab1270
[INFO] running `Command { std: "docker" "start" "-a" "810592a0340fae919d7a0328f72b9dbc3d3c4a81ebb06a130551a8d982ab1270", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "810592a0340fae919d7a0328f72b9dbc3d3c4a81ebb06a130551a8d982ab1270", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "810592a0340fae919d7a0328f72b9dbc3d3c4a81ebb06a130551a8d982ab1270", kill_on_drop: false }`
[INFO] [stdout] 810592a0340fae919d7a0328f72b9dbc3d3c4a81ebb06a130551a8d982ab1270
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Copt-level=3" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 73e78fadbf02830f966fc49d13c0ee15b18c2b5b423ba2f97ed7894f8c5afdac
[INFO] running `Command { std: "docker" "start" "-a" "73e78fadbf02830f966fc49d13c0ee15b18c2b5b423ba2f97ed7894f8c5afdac", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling utf8parse v0.2.1
[INFO] [stderr]    Compiling anstyle v1.0.6
[INFO] [stderr]    Compiling anstyle-query v1.0.2
[INFO] [stderr]    Compiling colorchoice v1.0.0
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling strsim v0.11.0
[INFO] [stderr]    Compiling clap_lex v0.7.0
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling typed-arena v2.0.2
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling separator v0.4.1
[INFO] [stderr]    Compiling anstyle-parse v0.2.3
[INFO] [stderr]    Compiling anstream v0.6.13
[INFO] [stderr]    Compiling clap_builder v4.5.1
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling regex-automata v0.4.5
[INFO] [stderr]    Compiling clap v4.5.1
[INFO] [stderr]    Compiling regex v1.10.3
[INFO] [stderr]    Compiling env_filter v0.1.0
[INFO] [stderr]    Compiling env_logger v0.11.2
[INFO] [stderr]    Compiling sokoban-solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.21s
[INFO] running `Command { std: "docker" "inspect" "73e78fadbf02830f966fc49d13c0ee15b18c2b5b423ba2f97ed7894f8c5afdac", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "73e78fadbf02830f966fc49d13c0ee15b18c2b5b423ba2f97ed7894f8c5afdac", kill_on_drop: false }`
[INFO] [stdout] 73e78fadbf02830f966fc49d13c0ee15b18c2b5b423ba2f97ed7894f8c5afdac
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Copt-level=3" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d535323f0513dfb28538880b5a87585ebdc2ae40141628fc84fd8e5ef6673824
[INFO] running `Command { std: "docker" "start" "-a" "d535323f0513dfb28538880b5a87585ebdc2ae40141628fc84fd8e5ef6673824", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling crossbeam-utils v0.8.19
[INFO] [stderr]    Compiling serde v1.0.197
[INFO] [stderr]    Compiling serde_json v1.0.114
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling half v2.4.0
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling syn v2.0.52
[INFO] [stderr]    Compiling os_str_bytes v6.6.1
[INFO] [stderr]    Compiling plotters-backend v0.3.5
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling predicates-core v1.0.6
[INFO] [stderr]    Compiling clap_builder v4.5.1
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling termtree v0.4.1
[INFO] [stderr]    Compiling textwrap v0.16.1
[INFO] [stderr]    Compiling plotters-svg v0.3.5
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling assert_cmd v2.0.14
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling predicates-tree v1.0.9
[INFO] [stderr]    Compiling plotters v0.3.5
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling typed-arena v2.0.2
[INFO] [stderr]    Compiling separator v0.4.1
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling predicates v3.1.0
[INFO] [stderr]    Compiling clap v3.2.25
[INFO] [stderr]    Compiling oorandom v11.1.3
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling regex-automata v0.4.5
[INFO] [stderr]    Compiling rayon v1.9.0
[INFO] [stderr]    Compiling clap v4.5.1
[INFO] [stderr]    Compiling regex v1.10.3
[INFO] [stderr]    Compiling bstr v1.9.1
[INFO] [stderr]    Compiling env_filter v0.1.0
[INFO] [stderr]    Compiling env_logger v0.11.2
[INFO] [stderr]    Compiling sokoban-solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling criterion v0.4.0
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2m 23s
[INFO] running `Command { std: "docker" "inspect" "d535323f0513dfb28538880b5a87585ebdc2ae40141628fc84fd8e5ef6673824", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d535323f0513dfb28538880b5a87585ebdc2ae40141628fc84fd8e5ef6673824", kill_on_drop: false }`
[INFO] [stdout] d535323f0513dfb28538880b5a87585ebdc2ae40141628fc84fd8e5ef6673824
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Copt-level=3" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+733b47ea4b1b86216f14ef56e49440c33933f230" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 6b7deceb863e16f9c34989772292efaee59b728d433d23d9bac9d3fdb956392b
[INFO] running `Command { std: "docker" "start" "-a" "6b7deceb863e16f9c34989772292efaee59b728d433d23d9bac9d3fdb956392b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sokoban_solver-e938776d17087b45)
[INFO] [stdout] 
[INFO] [stdout] running 47 tests
[INFO] [stdout] test level::tests::formatting_solution ... ok
[INFO] [stdout] test map::tests::formatting_map ... ok
[INFO] [stdout] test moves::tests::extending_and_counting ... ok
[INFO] [stdout] test moves::tests::formatting_moves ... ok
[INFO] [stdout] test moves::tests::iterating ... ok
[INFO] [stdout] test parser::tests::custom_fail_box_on_remover ... ok
[INFO] [stdout] test parser::tests::custom_fail_no_player ... ok
[INFO] [stdout] test parser::tests::custom_player ... ok
[INFO] [stdout] test parser::tests::xsb_corner_boxes ... ok
[INFO] [stdout] test parser::tests::xsb_original_1 ... ok
[INFO] [stdout] test parser::tests::custom_remover ... ok
[INFO] [stdout] test parser::tests::xsb_fail_pos ... ok
[INFO] [stdout] test level::tests::formatting_level ... ok
[INFO] [stdout] test parser::tests::xsb_simplest ... ok
[INFO] [stdout] test solver::backtracking::tests::backtracking ... ok
[INFO] [stdout] test solver::preprocessing::tests::push_distances ... ignored
[INFO] [stdout] test solver::preprocessing::tests::closest_distances_one_goal_1 ... ok
[INFO] [stdout] test parser::tests::custom_fail_empty ... ok
[INFO] [stdout] test solver::tests::expand_move1 ... ok
[INFO] [stdout] test solver::tests::processing ... ok
[INFO] [stdout] test solver::tests::unreachable_boxes_goals ... ok
[INFO] [stdout] test solver::tests::too_many ... ok
[INFO] [stdout] test solver::tests::expand_move2 ... ok
[INFO] [stdout] test parser::tests::custom_goals ... ok
[INFO] [stdout] test solver::preprocessing::tests::closest_distances_many_goals ... ok
[INFO] [stdout] test solver::preprocessing::tests::closest_distances_one_goal_2 ... ok
[INFO] [stdout] test solver::preprocessing::tests::one_box_reachability ... ok
[INFO] [stdout] test solver::tests::unreachable_boxes_remover ... ok
[INFO] [stdout] test tests::bench_boxxle1_001 ... ignored
[INFO] [stdout] test tests::bench_boxxle1_001_moves ... ignored
[INFO] [stdout] test tests::bench_boxxle1_005 ... ignored
[INFO] [stdout] test tests::bench_boxxle1_018 ... ignored
[INFO] [stdout] test tests::bench_boxxle1_108 ... ignored
[INFO] [stdout] test solver::tests::unreachable_goals ... ok
[INFO] [stdout] test tests::test_more_levels ... ignored
[INFO] [stdout] test solver::tests::expand_push1 ... ok
[INFO] [stdout] test vec2d::tests::formatting_bool ... ok
[INFO] [stdout] test vec2d::tests::formatting_map_cell ... ok
[INFO] [stdout] test solver::tests::pos_normalization ... ok
[INFO] [stdout] test solver::tests::diff_boxes_or_goals ... ok
[INFO] [stdout] test solver::tests::incomplete_border ... ok
[INFO] [stdout] test vec2d::tests::positions ... ok
[INFO] [stdout] test solver::tests::unreachable_remover ... ok
[INFO] [stdout] test vec2d::tests::formatting_empty ... ok
[INFO] [stdout] test vec2d::tests::formatting_t ... ok
[INFO] [stdout] test parser::tests::custom_fail_remover_and_goals ... ok
[INFO] [stdout] test tests::test_levels ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_levels stdout ----
[INFO] [stdout] Solving level levels/custom/00-empty.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-empty.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-empty.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-empty.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-solved.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-solved.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-solved.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/00-solved.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/02-one-way.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-long-way.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-long-way.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-long-way.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-long-way.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-two-ways.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-two-ways.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-two-ways.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/03-two-ways.txt using method pushes
[INFO] [stdout] Finished in approximately 17 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 19 ms
[INFO] [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/custom/no-solution-parking.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/no-solution-parking.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-00-solved.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-00-solved.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/custom/remover-original-01.txt using method pushes
[INFO] [stdout] Finished in approximately 192 ms
[INFO] [stdout] Solving level levels/custom/supaplex-remover.txt using method pushes
[INFO] [stdout] Finished in approximately 1,203 ms
[INFO] [stdout] Solving level levels/696/1.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/1.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/1.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/1.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/2.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/2.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/2.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/2.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/3.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/3.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/3.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/3.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/4.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/4.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/4.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/4.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/5.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/5.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/5.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/5.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/6.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/6.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/6.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/6.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/7.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/7.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/7.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/7.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/8.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/8.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/8.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/8.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/9.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/9.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/9.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/9.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/10.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/10.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/10.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/10.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/11.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/11.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/11.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/11.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/12.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/12.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/12.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/12.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/13.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/13.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/13.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/13.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/14.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/14.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/14.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/14.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/15.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/15.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/15.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/15.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/16.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/16.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/16.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/16.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/17.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/17.txt using method moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/17.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/17.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/18.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/18.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/18.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/18.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/19.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/19.txt using method moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/19.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/19.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/20.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/20.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/20.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/20.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/21.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/21.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/21.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/21.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/22.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/22.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/22.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/22.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/23.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/23.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/23.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/23.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/24.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/24.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/24.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/24.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/25.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/25.txt using method moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/25.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/25.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/26.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/26.txt using method moves
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/26.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/26.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/27.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/27.txt using method moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/27.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/27.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/28.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/696/28.txt using method moves
[INFO] [stdout] Finished in approximately 13 ms
[INFO] [stdout] Solving level levels/696/28.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/696/28.txt using method pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/29.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/29.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/29.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/29.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/30.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/30.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/30.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/30.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/31.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/31.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/31.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/31.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/32.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/32.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/32.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/32.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/33.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/33.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/33.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/33.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/34.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/696/34.txt using method moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/34.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/34.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/35.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 17 ms
[INFO] [stdout] Solving level levels/696/35.txt using method moves
[INFO] [stdout] Finished in approximately 15 ms
[INFO] [stdout] Solving level levels/696/35.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 16 ms
[INFO] [stdout] Solving level levels/696/35.txt using method pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/36.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/36.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/36.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/36.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/696/37.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/37.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/37.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/37.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/38.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/38.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/38.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/38.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/39.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/39.txt using method moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/39.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/39.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/40.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/40.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/40.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/40.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/41.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/41.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/41.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/41.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/42.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/42.txt using method moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/42.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/42.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/43.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/43.txt using method moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/43.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/43.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/696/44.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/44.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/44.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/44.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/45.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/45.txt using method moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/45.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/45.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/46.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/46.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/46.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/46.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/47.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/47.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/47.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/47.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/48.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/48.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/48.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/48.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/49.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/49.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/49.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/49.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/50.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/50.txt using method moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/50.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/50.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/51.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/696/51.txt using method moves
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/696/51.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 13 ms
[INFO] [stdout] Solving level levels/696/51.txt using method pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/52.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/52.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/52.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/52.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/53.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/53.txt using method moves
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/53.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/53.txt using method pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/54.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 91 ms
[INFO] [stdout] Solving level levels/696/54.txt using method moves
[INFO] [stdout] Finished in approximately 89 ms
[INFO] [stdout] Solving level levels/696/54.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 89 ms
[INFO] [stdout] Solving level levels/696/54.txt using method pushes
[INFO] [stdout] Finished in approximately 34 ms
[INFO] [stdout] Solving level levels/696/55.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 60 ms
[INFO] [stdout] Solving level levels/696/55.txt using method moves
[INFO] [stdout] Finished in approximately 47 ms
[INFO] [stdout] Solving level levels/696/55.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 52 ms
[INFO] [stdout] Solving level levels/696/55.txt using method pushes
[INFO] [stdout] Finished in approximately 24 ms
[INFO] [stdout] Solving level levels/696/56.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/56.txt using method moves
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/696/56.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/56.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/57.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/57.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/57.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/57.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/58.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/58.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/58.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/58.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/59.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/59.txt using method moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/59.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/59.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/60.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/60.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/60.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/60.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/61.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/61.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/61.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/61.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/62.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/62.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/62.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/62.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/63.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/63.txt using method moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/63.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/63.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/64.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/64.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/64.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/64.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/65.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/65.txt using method moves
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/65.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/65.txt using method pushes
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/66.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/66.txt using method moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/66.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/66.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/67.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/67.txt using method moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/67.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/67.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/696/68.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 104 ms
[INFO] [stdout] Solving level levels/696/68.txt using method moves
[INFO] [stdout] Finished in approximately 90 ms
[INFO] [stdout] Solving level levels/696/68.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 89 ms
[INFO] [stdout] Solving level levels/696/68.txt using method pushes
[INFO] [stdout] Finished in approximately 33 ms
[INFO] [stdout] Solving level levels/696/69.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/696/69.txt using method moves
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/69.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/696/69.txt using method pushes
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/70.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 24 ms
[INFO] [stdout] Solving level levels/696/70.txt using method moves
[INFO] [stdout] Finished in approximately 21 ms
[INFO] [stdout] Solving level levels/696/70.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 23 ms
[INFO] [stdout] Solving level levels/696/70.txt using method pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/71.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 90 ms
[INFO] [stdout] Solving level levels/696/71.txt using method moves
[INFO] [stdout] Finished in approximately 111 ms
[INFO] [stdout] Solving level levels/696/71.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 108 ms
[INFO] [stdout] Solving level levels/696/71.txt using method pushes
[INFO] [stdout] Finished in approximately 38 ms
[INFO] [stdout] Solving level levels/696/72.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 153 ms
[INFO] [stdout] Solving level levels/696/72.txt using method moves
[INFO] [stdout] Finished in approximately 140 ms
[INFO] [stdout] Solving level levels/696/72.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 147 ms
[INFO] [stdout] Solving level levels/696/72.txt using method pushes
[INFO] [stdout] Finished in approximately 40 ms
[INFO] [stdout] Solving level levels/696/73.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 95 ms
[INFO] [stdout] Solving level levels/696/73.txt using method moves
[INFO] [stdout] Finished in approximately 82 ms
[INFO] [stdout] Solving level levels/696/73.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 86 ms
[INFO] [stdout] Solving level levels/696/73.txt using method pushes
[INFO] [stdout] Finished in approximately 28 ms
[INFO] [stdout] Solving level levels/696/74.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 286 ms
[INFO] [stdout] Solving level levels/696/74.txt using method moves
[INFO] [stdout] Finished in approximately 264 ms
[INFO] [stdout] Solving level levels/696/74.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 263 ms
[INFO] [stdout] Solving level levels/696/74.txt using method pushes
[INFO] [stdout] Finished in approximately 76 ms
[INFO] [stdout] Solving level levels/696/75.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 409 ms
[INFO] [stdout] Solving level levels/696/75.txt using method moves
[INFO] [stdout] Finished in approximately 340 ms
[INFO] [stdout] Solving level levels/696/75.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 355 ms
[INFO] [stdout] Solving level levels/696/75.txt using method pushes
[INFO] [stdout] Finished in approximately 90 ms
[INFO] [stdout] Solving level levels/696/76.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/76.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/76.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/76.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/77.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/77.txt using method moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/77.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/77.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/696/78.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/78.txt using method moves
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/78.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/78.txt using method pushes
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/79.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/79.txt using method moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/79.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/79.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/696/80.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/80.txt using method moves
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/80.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/80.txt using method pushes
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/696/81.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/81.txt using method moves
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/81.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/696/81.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/696/82.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 52 ms
[INFO] [stdout] Solving level levels/696/82.txt using method moves
[INFO] [stdout] Finished in approximately 48 ms
[INFO] [stdout] Solving level levels/696/82.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 55 ms
[INFO] [stdout] Solving level levels/696/82.txt using method pushes
[INFO] [stdout] Finished in approximately 22 ms
[INFO] [stdout] Solving level levels/696/83.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 16 ms
[INFO] [stdout] Solving level levels/696/83.txt using method moves
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/696/83.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/696/83.txt using method pushes
[INFO] [stdout] Finished in approximately 8 ms
[INFO] [stdout] Solving level levels/696/84.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/696/84.txt using method moves
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/84.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 11 ms
[INFO] [stdout] Solving level levels/696/84.txt using method pushes
[INFO] [stdout] Finished in approximately 7 ms
[INFO] [stdout] Solving level levels/696/85.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 20 ms
[INFO] [stdout] Solving level levels/696/85.txt using method moves
[INFO] [stdout] Finished in approximately 18 ms
[INFO] [stdout] Solving level levels/696/85.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 20 ms
[INFO] [stdout] Solving level levels/696/85.txt using method pushes
[INFO] [stdout] Finished in approximately 10 ms
[INFO] [stdout] Solving level levels/696/86.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 76 ms
[INFO] [stdout] Solving level levels/696/86.txt using method moves
[INFO] [stdout] Finished in approximately 64 ms
[INFO] [stdout] Solving level levels/696/86.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 70 ms
[INFO] [stdout] Solving level levels/696/86.txt using method pushes
[INFO] [stdout] Finished in approximately 32 ms
[INFO] [stdout] Solving level levels/696/87.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 42 ms
[INFO] [stdout] Solving level levels/696/87.txt using method moves
[INFO] [stdout] Finished in approximately 42 ms
[INFO] [stdout] Solving level levels/696/87.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 45 ms
[INFO] [stdout] Solving level levels/696/87.txt using method pushes
[INFO] [stdout] Finished in approximately 18 ms
[INFO] [stdout] Solving level levels/696/88.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 28 ms
[INFO] [stdout] Solving level levels/696/88.txt using method moves
[INFO] [stdout] Finished in approximately 28 ms
[INFO] [stdout] Solving level levels/696/88.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 29 ms
[INFO] [stdout] Solving level levels/696/88.txt using method pushes
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/696/89.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 149 ms
[INFO] [stdout] Solving level levels/696/89.txt using method moves
[INFO] [stdout] Finished in approximately 145 ms
[INFO] [stdout] Solving level levels/696/89.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 151 ms
[INFO] [stdout] Solving level levels/696/89.txt using method pushes
[INFO] [stdout] Finished in approximately 52 ms
[INFO] [stdout] Solving level levels/696/90.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 43 ms
[INFO] [stdout] Solving level levels/696/90.txt using method moves
[INFO] [stdout] Finished in approximately 40 ms
[INFO] [stdout] Solving level levels/696/90.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 35 ms
[INFO] [stdout] Solving level levels/696/90.txt using method pushes
[INFO] [stdout] Finished in approximately 18 ms
[INFO] [stdout] Solving level levels/696/91.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 37 ms
[INFO] [stdout] Solving level levels/696/91.txt using method moves
[INFO] [stdout] Finished in approximately 35 ms
[INFO] [stdout] Solving level levels/696/91.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 37 ms
[INFO] [stdout] Solving level levels/696/91.txt using method pushes
[INFO] [stdout] Finished in approximately 15 ms
[INFO] [stdout] Solving level levels/696/92.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 31 ms
[INFO] [stdout] Solving level levels/696/92.txt using method moves
[INFO] [stdout] Finished in approximately 32 ms
[INFO] [stdout] Solving level levels/696/92.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 39 ms
[INFO] [stdout] Solving level levels/696/92.txt using method pushes
[INFO] [stdout] Finished in approximately 17 ms
[INFO] [stdout] Solving level levels/696/93.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 37 ms
[INFO] [stdout] Solving level levels/696/93.txt using method moves
[INFO] [stdout] Finished in approximately 40 ms
[INFO] [stdout] Solving level levels/696/93.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 33 ms
[INFO] [stdout] Solving level levels/696/93.txt using method pushes
[INFO] [stdout] Finished in approximately 21 ms
[INFO] [stdout] Solving level levels/696/94.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 83 ms
[INFO] [stdout] Solving level levels/696/94.txt using method moves
[INFO] [stdout] Finished in approximately 65 ms
[INFO] [stdout] Solving level levels/696/94.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 70 ms
[INFO] [stdout] Solving level levels/696/94.txt using method pushes
[INFO] [stdout] Finished in approximately 25 ms
[INFO] [stdout] Solving level levels/696/95.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 90 ms
[INFO] [stdout] Solving level levels/696/95.txt using method moves
[INFO] [stdout] Finished in approximately 67 ms
[INFO] [stdout] Solving level levels/696/95.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 69 ms
[INFO] [stdout] Solving level levels/696/95.txt using method pushes
[INFO] [stdout] Finished in approximately 33 ms
[INFO] [stdout] Solving level levels/696/96.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 29 ms
[INFO] [stdout] Solving level levels/696/96.txt using method moves
[INFO] [stdout] Finished in approximately 26 ms
[INFO] [stdout] Solving level levels/696/96.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 31 ms
[INFO] [stdout] Solving level levels/696/96.txt using method pushes
[INFO] [stdout] Finished in approximately 17 ms
[INFO] [stdout] Solving level levels/696/97.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 57 ms
[INFO] [stdout] Solving level levels/696/97.txt using method moves
[INFO] [stdout] Finished in approximately 47 ms
[INFO] [stdout] Solving level levels/696/97.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 52 ms
[INFO] [stdout] Solving level levels/696/97.txt using method pushes
[INFO] [stdout] Finished in approximately 23 ms
[INFO] [stdout] Solving level levels/696/98.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 49 ms
[INFO] [stdout] Solving level levels/696/98.txt using method moves
[INFO] [stdout] Finished in approximately 43 ms
[INFO] [stdout] Solving level levels/696/98.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 51 ms
[INFO] [stdout] Solving level levels/696/98.txt using method pushes
[INFO] [stdout] Finished in approximately 22 ms
[INFO] [stdout] Solving level levels/696/99.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 38 ms
[INFO] [stdout] Solving level levels/696/99.txt using method moves
[INFO] [stdout] Finished in approximately 31 ms
[INFO] [stdout] Solving level levels/696/99.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 35 ms
[INFO] [stdout] Solving level levels/696/99.txt using method pushes
[INFO] [stdout] Finished in approximately 18 ms
[INFO] [stdout] Solving level levels/boxxle1/1.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/1.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/1.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/1.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/2.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 49 ms
[INFO] [stdout] Solving level levels/boxxle1/2.txt using method moves
[INFO] [stdout] Finished in approximately 52 ms
[INFO] [stdout] Solving level levels/boxxle1/2.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 41 ms
[INFO] [stdout] Solving level levels/boxxle1/2.txt using method pushes
[INFO] [stdout] Finished in approximately 31 ms
[INFO] [stdout] Solving level levels/boxxle1/3.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/3.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/3.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/3.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/4.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/4.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/4.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/4.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/5.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 13 ms
[INFO] [stdout] Solving level levels/boxxle1/5.txt using method moves
[INFO] [stdout] Finished in approximately 12 ms
[INFO] [stdout] Solving level levels/boxxle1/5.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/boxxle1/5.txt using method pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/boxxle1/6.txt using method pushes
[INFO] [stdout] Finished in approximately 1,203 ms
[INFO] [stdout] Solving level levels/boxxle1/7.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 40 ms
[INFO] [stdout] Solving level levels/boxxle1/7.txt using method moves
[INFO] [stdout] Finished in approximately 36 ms
[INFO] [stdout] Solving level levels/boxxle1/7.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/boxxle1/7.txt using method pushes
[INFO] [stdout] Finished in approximately 5 ms
[INFO] [stdout] Solving level levels/boxxle1/8.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 13 ms
[INFO] [stdout] Solving level levels/boxxle1/8.txt using method moves
[INFO] [stdout] Finished in approximately 13 ms
[INFO] [stdout] Solving level levels/boxxle1/8.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/boxxle1/8.txt using method pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/boxxle1/9.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 511 ms
[INFO] [stdout] Solving level levels/boxxle1/9.txt using method pushes
[INFO] [stdout] Finished in approximately 185 ms
[INFO] [stdout] Solving level levels/boxxle1/10.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/10.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/10.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/10.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/11.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle1/11.txt using method moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle1/11.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle1/11.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/13.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/13.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/13.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/13.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/15.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/15.txt using method moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/15.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/15.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle1/17.txt using method pushes
[INFO] [stdout] Finished in approximately 862 ms
[INFO] [stdout] Solving level levels/boxxle1/18.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 771 ms
[INFO] [stdout] Solving level levels/boxxle1/18.txt using method moves
[INFO] [stdout] Finished in approximately 684 ms
[INFO] [stdout] Solving level levels/boxxle1/18.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 317 ms
[INFO] [stdout] Solving level levels/boxxle1/18.txt using method pushes
[INFO] [stdout] Finished in approximately 152 ms
[INFO] [stdout] Solving level levels/boxxle1/19.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle1/19.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/19.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/19.txt using method pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle1/20.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/boxxle1/20.txt using method moves
[INFO] [stdout] Finished in approximately 3 ms
[INFO] [stdout] Solving level levels/boxxle1/20.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 6 ms
[INFO] [stdout] Solving level levels/boxxle1/20.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle1/21.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 158 ms
[INFO] [stdout] Solving level levels/boxxle1/21.txt using method moves
[INFO] [stdout] Finished in approximately 137 ms
[INFO] [stdout] Solving level levels/boxxle1/21.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 28 ms
[INFO] [stdout] Solving level levels/boxxle1/21.txt using method pushes
[INFO] [stdout] Finished in approximately 14 ms
[INFO] [stdout] Solving level levels/boxxle1/23.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 620 ms
[INFO] [stdout] Solving level levels/boxxle1/23.txt using method moves
[INFO] [stdout] Finished in approximately 538 ms
[INFO] [stdout] Solving level levels/boxxle1/23.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 377 ms
[INFO] [stdout] Solving level levels/boxxle1/23.txt using method pushes
[INFO] [stdout] Finished in approximately 126 ms
[INFO] [stdout] Solving level levels/boxxle1/27.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 315 ms
[INFO] [stdout] Solving level levels/boxxle1/27.txt using method moves
[INFO] [stdout] Finished in approximately 301 ms
[INFO] [stdout] Solving level levels/boxxle1/27.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 93 ms
[INFO] [stdout] Solving level levels/boxxle1/27.txt using method pushes
[INFO] [stdout] Finished in approximately 37 ms
[INFO] [stdout] Solving level levels/boxxle1/28.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1,118 ms
[INFO] [stdout] Solving level levels/boxxle1/28.txt using method moves
[INFO] [stdout] Finished in approximately 888 ms
[INFO] [stdout] Solving level levels/boxxle1/28.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 383 ms
[INFO] [stdout] Solving level levels/boxxle1/28.txt using method pushes
[INFO] [stdout] Finished in approximately 132 ms
[INFO] [stdout] Solving level levels/boxxle1/108.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 211 ms
[INFO] [stdout] Solving level levels/boxxle1/108.txt using method moves
[INFO] [stdout] Finished in approximately 193 ms
[INFO] [stdout] Solving level levels/boxxle1/108.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 203 ms
[INFO] [stdout] Solving level levels/boxxle1/108.txt using method pushes
[INFO] [stdout] Finished in approximately 66 ms
[INFO] [stdout] Solving level levels/boxxle2/1.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle2/1.txt using method moves
[INFO] [stdout] Finished in approximately 1 ms
[INFO] [stdout] Solving level levels/boxxle2/1.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle2/1.txt using method pushes
[INFO] [stdout] Finished in approximately 0 ms
[INFO] [stdout] Solving level levels/boxxle2/2.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/boxxle2/2.txt using method moves
[INFO] [stdout] Finished in approximately 4 ms
[INFO] [stdout] Solving level levels/boxxle2/2.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle2/2.txt using method pushes
[INFO] [stdout] Finished in approximately 2 ms
[INFO] [stdout] Solving level levels/boxxle2/3.txt using method moves-pushes
[INFO] [stdout] Finished in approximately 122 ms
[INFO] [stdout] Solving level levels/boxxle2/3.txt using method moves
[INFO] [stdout] Finished in approximately 117 ms
[INFO] [stdout] Solving level levels/boxxle2/3.txt using method pushes-moves
[INFO] [stdout] Finished in approximately 29 ms
[INFO] [stdout] Solving level levels/boxxle2/3.txt using method pushes
[INFO] [stdout] Finished in approximately 9 ms
[INFO] [stdout] Solving level levels/boxxle2/4.txt using method pushes
[INFO] [stdout] Finished in approximately 210 ms
[INFO] [stdout] Solving level levels/boxxle2/6.txt using method pushes
[INFO] [stdout] Finished in approximately 779 ms
[INFO] [stdout] Tested 149 levels using on average 3.87 methods per level in 22,389 ms
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_levels' panicked at src/lib.rs:553:46:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5cce4917ae82 - std::backtrace_rs::backtrace::libunwind::trace::h73a647620bf1c49d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5cce4917ae82 - std::backtrace_rs::backtrace::trace_unsynchronized::hd4d513ed96cb3cb1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5cce4917ae82 - std::sys::backtrace::_print_fmt::h61bb95f7476aafa5
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5cce4917ae82 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::ha2e7e3a01df69042
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5cce491a1023 - core::fmt::rt::Argument::fmt::hf14163372f0f9a76
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5cce491a1023 - core::fmt::write::h7cb8f63788cd01d2
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/fmt/mod.rs:1465:25
[INFO] [stdout]    6:     0x5cce49177d63 - std::io::default_write_fmt::h9ed739ccee8a150c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5cce49177d63 - std::io::Write::write_fmt::h1c0a32da913b32f1
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5cce4917acd2 - std::sys::backtrace::BacktraceLock::print::h3ec4d7883eb25e61
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5cce4917c3fc - std::panicking::default_hook::{{closure}}::h29548987efd832cb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x5cce4917c252 - std::panicking::default_hook::ha25170a15c643514
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x5cce49143414 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h562adeecbf43c420
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x5cce49143414 - test::test_main_with_exit_callback::{{closure}}::h97dd2a879d27e0e4
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5cce4917cedb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h7e85cbdbda26fdb7
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x5cce4917cedb - std::panicking::rust_panic_with_hook::h0d81afcd829aa24b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x5cce4917cbaa - std::panicking::begin_panic_handler::{{closure}}::hc84a33f1202346cf
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:706:13
[INFO] [stdout]   16:     0x5cce4917b379 - std::sys::backtrace::__rust_end_short_backtrace::h373067a14f6c59aa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   17:     0x5cce4917c83d - __rustc[beb0385846a06d21]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x5cce4919f5b0 - core::panicking::panic_fmt::ha33fa2ae772efba9
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5cce4919f956 - core::result::unwrap_failed::hfbbd3c78a73fea3d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/result.rs:1761:5
[INFO] [stdout]   20:     0x5cce490b92a7 - core::result::Result<T,E>::unwrap::hec126e1fa190c6d7
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/result.rs:1167:23
[INFO] [stdout]   21:     0x5cce490b92a7 - sokoban_solver::tests::test_and_time_levels::hd15320eae1a138fc
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:553:46
[INFO] [stdout]   22:     0x5cce490b92a7 - sokoban_solver::tests::test_levels::h2f494c165e3f0e4a
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:293:9
[INFO] [stdout]   23:     0x5cce49101e79 - sokoban_solver::tests::test_levels::{{closure}}::h19c7254c499aeebf
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:90:21
[INFO] [stdout]   24:     0x5cce49101e79 - core::ops::function::FnOnce::call_once::hbc9ef3fc87fcfb53
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5cce49148b4b - core::ops::function::FnOnce::call_once::hf84b9c3d864a6959
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5cce49148b4b - test::__rust_begin_short_backtrace::h5724e31441c16fcb
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:648:18
[INFO] [stdout]   27:     0x5cce49147d8e - test::run_test_in_process::{{closure}}::hbc28c9aa91793d7d
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:74
[INFO] [stdout]   28:     0x5cce49147d8e - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc17b0e238c0f8f3e
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   29:     0x5cce49147d8e - std::panicking::catch_unwind::do_call::hcdbce0d6dd6c83ce
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   30:     0x5cce49147d8e - std::panicking::catch_unwind::h9477967ceea044e8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   31:     0x5cce49147d8e - std::panic::catch_unwind::h616a2e249da12e16
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x5cce49147d8e - test::run_test_in_process::h2758deb0f2e54430
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:671:27
[INFO] [stdout]   33:     0x5cce49147d8e - test::run_test::{{closure}}::habe5cd2564b18aaa
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:592:43
[INFO] [stdout]   34:     0x5cce4910b724 - test::run_test::{{closure}}::h9a0a6928f1a15421
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/test/src/lib.rs:622:41
[INFO] [stdout]   35:     0x5cce4910b724 - std::sys::backtrace::__rust_begin_short_backtrace::hd68b5332434a22ca
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   36:     0x5cce4910f0ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h264ddcc3098eacae
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   37:     0x5cce4910f0ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h9fa39489749d6f3c
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   38:     0x5cce4910f0ca - std::panicking::catch_unwind::do_call::hb9a1944b9f85100f
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:589:40
[INFO] [stdout]   39:     0x5cce4910f0ca - std::panicking::catch_unwind::h0c6f100786c0dad8
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panicking.rs:552:19
[INFO] [stdout]   40:     0x5cce4910f0ca - std::panic::catch_unwind::hf6084e2723385823
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x5cce4910f0ca - std::thread::Builder::spawn_unchecked_::{{closure}}::hf0af58ce658143ad
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   42:     0x5cce4910f0ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h88a14f9b2e79f9de
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x5cce4917fe37 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf31256ba38644b65
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   44:     0x5cce4917fe37 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h100ad77f3448041b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   45:     0x5cce4917fe37 - std::sys::pal::unix::thread::Thread::new::thread_start::h1a22ded422ce395b
[INFO] [stdout]                                at /rustc/733b47ea4b1b86216f14ef56e49440c33933f230/library/std/src/sys/pal/unix/thread.rs:97:17
[INFO] [stdout]   46:     0x7c1a7a6adaa4 - <unknown>
[INFO] [stdout]   47:     0x7c1a7a73aa34 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::test_levels
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 39 passed; 1 failed; 7 ignored; 0 measured; 0 filtered out; finished in 22.42s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "6b7deceb863e16f9c34989772292efaee59b728d433d23d9bac9d3fdb956392b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6b7deceb863e16f9c34989772292efaee59b728d433d23d9bac9d3fdb956392b", kill_on_drop: false }`
[INFO] [stdout] 6b7deceb863e16f9c34989772292efaee59b728d433d23d9bac9d3fdb956392b
