Dec 13 11:34:54.751 INFO testing martin-t/sokoban-solver against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 13 11:34:54.751 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 13 11:34:55.309 INFO [stdout] e079b5e6c7bdeb007f00da31b1aee70834f36377cf86662be2e482665d7560e6 Dec 13 11:34:55.311 INFO running `"docker" "start" "-a" "e079b5e6c7bdeb007f00da31b1aee70834f36377cf86662be2e482665d7560e6"` Dec 13 11:34:57.367 INFO [stderr] usermod: no changes Dec 13 11:34:57.579 INFO [stderr] Compiling libc v0.2.43 Dec 13 11:34:57.579 INFO [stderr] Compiling cfg-if v0.1.6 Dec 13 11:34:57.591 INFO [stderr] Compiling lazy_static v1.2.0 Dec 13 11:34:57.591 INFO [stderr] Compiling ucd-util v0.1.3 Dec 13 11:34:57.591 INFO [stderr] Compiling byteorder v1.2.7 Dec 13 11:34:57.591 INFO [stderr] Compiling utf8-ranges v1.0.2 Dec 13 11:34:57.591 INFO [stderr] Compiling unicode-width v0.1.5 Dec 13 11:34:57.641 INFO [stderr] Compiling quick-error v1.2.2 Dec 13 11:34:58.556 INFO [stderr] Compiling rustc-serialize v0.3.24 Dec 13 11:34:58.803 INFO [stderr] Compiling bitflags v1.0.4 Dec 13 11:34:59.516 INFO [stderr] Compiling termcolor v1.0.4 Dec 13 11:34:59.719 INFO [stderr] Compiling strsim v0.7.0 Dec 13 11:34:59.898 INFO [stderr] Compiling encode_unicode v0.3.5 Dec 13 11:35:02.019 INFO [stderr] Compiling vec_map v0.8.1 Dec 13 11:35:06.291 INFO [stderr] Compiling ansi_term v0.11.0 Dec 13 11:35:06.291 INFO [stderr] Compiling separator v0.3.1 Dec 13 11:35:06.367 INFO [stderr] Compiling fnv v1.0.6 Dec 13 11:35:06.387 INFO [stderr] Compiling typed-arena v1.4.1 Dec 13 11:35:06.399 INFO [stderr] Compiling log v0.4.6 Dec 13 11:35:06.431 INFO [stderr] Compiling textwrap v0.10.0 Dec 13 11:35:06.521 INFO [stderr] Compiling thread_local v0.3.6 Dec 13 11:35:08.028 INFO [stderr] Compiling humantime v1.1.1 Dec 13 11:35:10.610 INFO [stderr] Compiling regex-syntax v0.6.3 Dec 13 11:35:10.619 INFO [stderr] Compiling term v0.5.1 Dec 13 11:35:10.708 INFO [stderr] Compiling memchr v1.0.2 Dec 13 11:35:13.473 INFO [stderr] Compiling atty v0.2.11 Dec 13 11:35:13.955 INFO [stderr] Compiling memchr v2.1.1 Dec 13 11:35:15.459 INFO [stderr] Compiling clap v2.32.0 Dec 13 11:35:21.183 INFO [stderr] Compiling aho-corasick v0.6.9 Dec 13 11:35:26.127 INFO [stderr] Compiling csv v0.15.0 Dec 13 11:35:29.692 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 13 11:35:35.931 INFO [stderr] Compiling regex v1.0.6 Dec 13 11:35:57.263 INFO [stderr] Compiling env_logger v0.6.0 Dec 13 11:35:59.368 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 13 11:36:08.305 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 10s Dec 13 11:36:08.320 INFO [stderr] su: No module specific data is present Dec 13 11:36:09.060 INFO running `"docker" "inspect" "e079b5e6c7bdeb007f00da31b1aee70834f36377cf86662be2e482665d7560e6"` Dec 13 11:36:09.353 INFO running `"docker" "rm" "-f" "e079b5e6c7bdeb007f00da31b1aee70834f36377cf86662be2e482665d7560e6"` Dec 13 11:36:09.859 INFO [stdout] e079b5e6c7bdeb007f00da31b1aee70834f36377cf86662be2e482665d7560e6 Dec 13 11:36:09.863 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 13 11:36:10.563 INFO [stdout] 5599f354e441f51898c4b445ae2a51c721ff873ff8819804ecdc36124fb79d3d Dec 13 11:36:10.571 INFO running `"docker" "start" "-a" "5599f354e441f51898c4b445ae2a51c721ff873ff8819804ecdc36124fb79d3d"` Dec 13 11:36:12.791 INFO [stderr] usermod: no changes Dec 13 11:36:13.111 INFO [stderr] Compiling serde v1.0.80 Dec 13 11:36:13.132 INFO [stderr] Compiling escargot v0.3.1 Dec 13 11:36:13.149 INFO [stderr] Compiling predicates-core v1.0.0 Dec 13 11:36:13.151 INFO [stderr] Compiling encode_unicode v0.3.5 Dec 13 11:36:13.186 INFO [stderr] Compiling log v0.4.6 Dec 13 11:36:13.189 INFO [stderr] Compiling itertools v0.7.9 Dec 13 11:36:13.191 INFO [stderr] Compiling csv v0.15.0 Dec 13 11:36:13.201 INFO [stderr] Compiling csv-core v0.1.4 Dec 13 11:36:18.047 INFO [stderr] Compiling chrono v0.4.6 Dec 13 11:36:18.091 INFO [stderr] Compiling predicates v1.0.0 Dec 13 11:36:18.096 INFO [stderr] Compiling predicates-tree v1.0.0 Dec 13 11:36:22.731 INFO [stderr] Compiling env_logger v0.6.0 Dec 13 11:36:22.763 INFO [stderr] Compiling prettytable-rs v0.7.0 Dec 13 11:36:23.623 INFO [stderr] Compiling criterion-plot v0.2.5 Dec 13 11:36:30.095 INFO [stderr] Compiling simplelog v0.5.3 Dec 13 11:36:32.145 INFO [stderr] Compiling sokoban-solver v0.1.0 (/source) Dec 13 11:36:43.622 INFO [stderr] Compiling serde_json v1.0.33 Dec 13 11:36:43.623 INFO [stderr] Compiling csv v1.0.2 Dec 13 11:36:48.163 INFO [stderr] Compiling handlebars v0.32.4 Dec 13 11:36:49.796 INFO [stderr] Compiling assert_cmd v0.10.1 Dec 13 11:36:55.541 INFO [stderr] Compiling criterion v0.2.5 Dec 13 11:37:10.015 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 57.19s Dec 13 11:37:10.020 INFO [stderr] su: No module specific data is present Dec 13 11:37:10.523 INFO running `"docker" "inspect" "5599f354e441f51898c4b445ae2a51c721ff873ff8819804ecdc36124fb79d3d"` Dec 13 11:37:10.737 INFO running `"docker" "rm" "-f" "5599f354e441f51898c4b445ae2a51c721ff873ff8819804ecdc36124fb79d3d"` Dec 13 11:37:10.813 INFO [stdout] 5599f354e441f51898c4b445ae2a51c721ff873ff8819804ecdc36124fb79d3d Dec 13 11:37:10.816 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 13 11:37:11.038 INFO [stdout] b2c76f50609caa6d63d500e1bcfa59c850637ba5eee125f45f10383a631f3d81 Dec 13 11:37:11.040 INFO running `"docker" "start" "-a" "b2c76f50609caa6d63d500e1bcfa59c850637ba5eee125f45f10383a631f3d81"` Dec 13 11:37:11.640 INFO [stderr] usermod: no changes Dec 13 11:37:11.805 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.14s Dec 13 11:37:11.817 INFO [stderr] Running /target/debug/deps/sokoban_solver-c1708497333d913a Dec 13 11:37:11.822 INFO [stdout] Dec 13 11:37:11.822 INFO [stdout] running 44 tests Dec 13 11:37:11.822 INFO [stdout] test moves::tests::formatting_moves ... ok Dec 13 11:37:11.822 INFO [stdout] test level::tests::formatting_solution ... ok Dec 13 11:37:11.822 INFO [stdout] test moves::tests::iterating ... ok Dec 13 11:37:11.823 INFO [stdout] test moves::tests::extending_and_counting ... ok Dec 13 11:37:11.823 INFO [stdout] test parser::tests::custom_fail_box_on_remover ... ok Dec 13 11:37:11.872 INFO [stdout] test parser::tests::custom_fail_remover_and_goals ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::custom_fail_empty ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::custom_goals ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::custom_player ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::custom_remover ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::custom_fail_no_player ... ok Dec 13 11:37:11.873 INFO [stdout] test map::tests::formatting_map ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::xsb_corner_boxes ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::xsb_simplest ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::xsb_original_1 ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::preprocessing::tests::push_distances ... ignored Dec 13 11:37:11.873 INFO [stdout] test solver::preprocessing::tests::one_box_reachability ... ok Dec 13 11:37:11.873 INFO [stdout] test parser::tests::xsb_fail_pos ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::backtracking::tests::backtracking ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_2 ... ok Dec 13 11:37:11.873 INFO [stdout] test level::tests::formatting_level ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::diff_boxes_or_goals ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::preprocessing::tests::closest_distances_one_goal_1 ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::expand_move1 ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::expand_move2 ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::pos_normalization ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::unreachable_boxes_goals ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::unreachable_goals ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::too_many ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::unreachable_boxes_remover ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::incomplete_border ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::processing ... ok Dec 13 11:37:11.873 INFO [stdout] test tests::bench_boxxle1_001 ... ignored Dec 13 11:37:11.873 INFO [stdout] test tests::bench_boxxle1_001_moves ... ignored Dec 13 11:37:11.873 INFO [stdout] test tests::bench_boxxle1_005 ... ignored Dec 13 11:37:11.873 INFO [stdout] test tests::bench_boxxle1_018 ... ignored Dec 13 11:37:11.873 INFO [stdout] test tests::bench_boxxle1_108 ... ignored Dec 13 11:37:11.873 INFO [stdout] test tests::test_more_levels ... ignored Dec 13 11:37:11.873 INFO [stdout] test vec2d::tests::positions ... ok Dec 13 11:37:11.873 INFO [stdout] test vec2d::tests::formatting_vec2d ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::unreachable_remover ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::tests::expand_push1 ... ok Dec 13 11:37:11.873 INFO [stdout] test solver::preprocessing::tests::closest_distances_many_goals ... ok Dec 13 11:37:30.375 INFO [stdout] test tests::test_levels ... FAILED Dec 13 11:37:30.375 INFO [stdout] Dec 13 11:37:30.375 INFO [stdout] failures: Dec 13 11:37:30.375 INFO [stdout] Dec 13 11:37:30.377 INFO [stdout] ---- tests::test_levels stdout ---- Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-empty.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-empty.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-solved.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/00-solved.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-custom.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/01-simplest-xsb.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way-xsb.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/02-one-way.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 3 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-long-way.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 3 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 3 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-long-way.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 3 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/03-two-ways.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes-moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/04-two-boxes-no-packing.txt using method pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves-pushes Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 19 ms Dec 13 11:37:30.377 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method moves Dec 13 11:37:30.377 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/04-two-boxes.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 19 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-moves-diff-pushes.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 20 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/05-same-pushes-diff-moves.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 1 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 188 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 197 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 199 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/deadlock-cell-on-dead-end.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 200 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 5 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 5 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 5 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/no-solution-parking.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 5 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-00-solved.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 2 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-custom.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-01-simplest-xsb.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way-xsb.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-02-one-way.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 0 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes-moves Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-03-long-way.txt using method pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 4 ms Dec 13 11:37:30.378 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves-pushes Dec 13 11:37:30.378 INFO [stdout] Finished in approximately 24 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 24 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 23 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/custom/remover-04-two-boxes.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/custom/remover-original-01.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 8,084 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/1.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/1.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/1.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/1.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 10 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/2.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 16 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/2.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 16 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/2.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 16 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/2.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 17 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/3.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 28 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/3.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 27 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/3.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 30 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/3.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 26 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/4.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/4.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/4.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 31 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/4.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 31 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/5.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 25 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/5.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 25 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/5.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 24 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/5.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 28 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/6.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/6.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/6.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 40 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/6.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/7.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 19 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/7.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 19 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/7.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 17 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/7.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 18 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/8.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 41 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/8.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 41 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/8.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/8.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 37 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/9.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 37 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/9.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 37 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/9.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 35 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/9.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/10.txt using method moves-pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 28 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/10.txt using method moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 28 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/10.txt using method pushes-moves Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.379 INFO [stdout] Solving level levels/696/10.txt using method pushes Dec 13 11:37:30.379 INFO [stdout] Finished in approximately 24 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/1.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/1.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 924 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/2.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 1,310 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 10 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/3.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 10 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 8 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/3.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 9 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 14 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/4.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 14 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 10 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/4.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 12 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 372 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/5.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 369 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 135 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/5.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 149 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 208 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/7.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 231 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 354 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/8.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 371 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 187 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/8.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 190 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/10.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 32 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/10.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 76 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/11.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 75 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 72 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/11.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 72 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 44 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/13.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 45 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 13 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/13.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 17 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/15.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 22 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 21 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/15.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 23 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves-pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 64 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/19.txt using method moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 63 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes-moves Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 50 ms Dec 13 11:37:30.380 INFO [stdout] Solving level levels/boxxle1/19.txt using method pushes Dec 13 11:37:30.380 INFO [stdout] Finished in approximately 48 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves-pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 110 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle1/20.txt using method moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 110 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes-moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 87 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle1/20.txt using method pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 88 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves-pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/1.txt using method moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 39 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes-moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 33 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/1.txt using method pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 38 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves-pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 139 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/2.txt using method moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 139 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes-moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 75 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/2.txt using method pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 78 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes-moves Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 592 ms Dec 13 11:37:30.381 INFO [stdout] Solving level levels/boxxle2/3.txt using method pushes Dec 13 11:37:30.381 INFO [stdout] Finished in approximately 304 ms Dec 13 11:37:30.381 INFO [stdout] Tested 48 levels using on average 3.81 methods per level in 18,466 ms Dec 13 11:37:30.381 INFO [stdout] thread 'tests::test_levels' panicked at 'called `Result::unwrap()` on an `Err` value: Os { code: 30, kind: Other, message: "Read-only file system" }', src/libcore/result.rs:1009:5 Dec 13 11:37:30.381 INFO [stdout] stack backtrace: Dec 13 11:37:30.381 INFO [stdout] 0: 0x556313c615c3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::heb4d4d98bcf46d90 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Dec 13 11:37:30.381 INFO [stdout] 1: 0x556313c5bd58 - std::sys_common::backtrace::_print::h919420b22c2473e3 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/sys_common/backtrace.rs:71 Dec 13 11:37:30.381 INFO [stdout] 2: 0x556313c60532 - std::panicking::default_hook::{{closure}}::h22d4ac021acb88d5 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/sys_common/backtrace.rs:59 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/panicking.rs:210 Dec 13 11:37:30.381 INFO [stdout] 3: 0x556313c60227 - std::panicking::default_hook::h1134a4d34aab4428 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/panicking.rs:218 Dec 13 11:37:30.381 INFO [stdout] 4: 0x556313c60c40 - std::panicking::rust_panic_with_hook::h9c89557c251f2d42 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/panicking.rs:487 Dec 13 11:37:30.381 INFO [stdout] 5: 0x556313c607c1 - std::panicking::continue_panic_fmt::h6b63497ce98499d4 Dec 13 11:37:30.381 INFO [stdout] at src/libstd/panicking.rs:394 Dec 13 11:37:30.381 INFO [stdout] 6: 0x556313c606a5 - rust_begin_unwind Dec 13 11:37:30.381 INFO [stdout] at src/libstd/panicking.rs:321 Dec 13 11:37:30.381 INFO [stdout] 7: 0x556313c7429c - core::panicking::panic_fmt::h68c043a5e81351f3 Dec 13 11:37:30.381 INFO [stdout] at src/libcore/panicking.rs:95 Dec 13 11:37:30.381 INFO [stdout] 8: 0x556313b94ccf - core::result::unwrap_failed::h08724ad20dfced8a Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libcore/macros.rs:26 Dec 13 11:37:30.381 INFO [stdout] 9: 0x556313b90e7b - >::unwrap::h0e66311af1767ce6 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libcore/result.rs:808 Dec 13 11:37:30.381 INFO [stdout] 10: 0x556313ad6973 - sokoban_solver::tests::test_and_time_levels::h5fbdf7d951806029 Dec 13 11:37:30.381 INFO [stdout] at src/lib.rs:545 Dec 13 11:37:30.381 INFO [stdout] 11: 0x556313ae1f56 - sokoban_solver::tests::test_levels::hd760d491eefdbb28 Dec 13 11:37:30.381 INFO [stdout] at src/lib.rs:286 Dec 13 11:37:30.381 INFO [stdout] 12: 0x556313adc789 - sokoban_solver::tests::test_levels::{{closure}}::hb205e37adfd6165d Dec 13 11:37:30.381 INFO [stdout] at src/lib.rs:81 Dec 13 11:37:30.381 INFO [stdout] 13: 0x556313af413d - core::ops::function::FnOnce::call_once::hc001780cdb176a83 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libcore/ops/function.rs:238 Dec 13 11:37:30.381 INFO [stdout] 14: 0x556313c1c4de - >::call_box::h3cf534772c089f15 Dec 13 11:37:30.381 INFO [stdout] at src/libtest/lib.rs:1483 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libcore/ops/function.rs:238 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/liballoc/boxed.rs:673 Dec 13 11:37:30.381 INFO [stdout] 15: 0x556313c6f2d9 - __rust_maybe_catch_panic Dec 13 11:37:30.381 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 13 11:37:30.381 INFO [stdout] 16: 0x556313c3a027 - test::run_test::run_test_inner::{{closure}}::h5f14673685eef7c8 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/panicking.rs:285 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/panic.rs:398 Dec 13 11:37:30.381 INFO [stdout] at src/libtest/lib.rs:1438 Dec 13 11:37:30.381 INFO [stdout] 17: 0x556313c14d94 - std::sys_common::backtrace::__rust_begin_short_backtrace::h96de92a7d062bb5f Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/sys_common/backtrace.rs:136 Dec 13 11:37:30.381 INFO [stdout] 18: 0x556313c15404 - std::panicking::try::do_call::h6a71e68ea4ad0d8a Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/thread/mod.rs:479 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/panic.rs:319 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/panicking.rs:306 Dec 13 11:37:30.381 INFO [stdout] 19: 0x556313c6f2d9 - __rust_maybe_catch_panic Dec 13 11:37:30.381 INFO [stdout] at src/libpanic_unwind/lib.rs:102 Dec 13 11:37:30.381 INFO [stdout] 20: 0x556313c1c3bc - >::call_box::h260fd1ad8e2854a6 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/panicking.rs:285 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/panic.rs:398 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/libstd/thread/mod.rs:478 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/liballoc/boxed.rs:673 Dec 13 11:37:30.381 INFO [stdout] 21: 0x556313c6329d - std::sys::unix::thread::Thread::new::thread_start::h08aa646226e66c99 Dec 13 11:37:30.381 INFO [stdout] at /rustc/bd47d6825bf4090517549d33cfef10d3300b4a75/src/liballoc/boxed.rs:683 Dec 13 11:37:30.382 INFO [stdout] at src/libstd/sys_common/thread.rs:24 Dec 13 11:37:30.382 INFO [stdout] at src/libstd/sys/unix/thread.rs:91 Dec 13 11:37:30.382 INFO [stdout] 22: 0x7f1ffa5246b9 - start_thread Dec 13 11:37:30.382 INFO [stdout] 23: 0x7f1ffa04441c - clone Dec 13 11:37:30.382 INFO [stdout] 24: 0x0 - Dec 13 11:37:30.382 INFO [stdout] Dec 13 11:37:30.382 INFO [stdout] Dec 13 11:37:30.382 INFO [stdout] failures: Dec 13 11:37:30.382 INFO [stdout] tests::test_levels Dec 13 11:37:30.382 INFO [stdout] Dec 13 11:37:30.382 INFO [stdout] test result: FAILED. 36 passed; 1 failed; 7 ignored; 0 measured; 0 filtered out Dec 13 11:37:30.382 INFO [stdout] Dec 13 11:37:30.382 INFO [stderr] error: test failed, to rerun pass '--lib' Dec 13 11:37:30.384 INFO [stderr] su: No module specific data is present Dec 13 11:37:31.417 INFO running `"docker" "inspect" "b2c76f50609caa6d63d500e1bcfa59c850637ba5eee125f45f10383a631f3d81"` Dec 13 11:37:31.725 INFO running `"docker" "rm" "-f" "b2c76f50609caa6d63d500e1bcfa59c850637ba5eee125f45f10383a631f3d81"` Dec 13 11:37:32.091 INFO [stdout] b2c76f50609caa6d63d500e1bcfa59c850637ba5eee125f45f10383a631f3d81