[INFO] cloning repository https://github.com/menezesd/CDCL-Rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/menezesd/CDCL-Rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmenezesd%2FCDCL-Rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmenezesd%2FCDCL-Rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0a13c26f11b91cd1b3d5027b52fed9080a21d440
[INFO] testing menezesd/CDCL-Rust against beta-2026-03-05 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmenezesd%2FCDCL-Rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/menezesd/CDCL-Rust
[INFO] finished tweaking git repo https://github.com/menezesd/CDCL-Rust
[INFO] tweaked toml for git repo https://github.com/menezesd/CDCL-Rust written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/menezesd/CDCL-Rust on toolchain beta-2026-03-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/menezesd/CDCL-Rust 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" "+beta-2026-03-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d54ecb03b42dda4651557b429f3fb4a047d65841f23aa12482779eb1ce2018e4
[INFO] running `Command { std: "docker" "start" "-a" "d54ecb03b42dda4651557b429f3fb4a047d65841f23aa12482779eb1ce2018e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d54ecb03b42dda4651557b429f3fb4a047d65841f23aa12482779eb1ce2018e4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d54ecb03b42dda4651557b429f3fb4a047d65841f23aa12482779eb1ce2018e4", kill_on_drop: false }`
[INFO] [stdout] d54ecb03b42dda4651557b429f3fb4a047d65841f23aa12482779eb1ce2018e4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 88c1673a8c1b6bf9c8539505493597c7152aef7e98599c8001b964a7ce9807ea
[INFO] running `Command { std: "docker" "start" "-a" "88c1673a8c1b6bf9c8539505493597c7152aef7e98599c8001b964a7ce9807ea", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling cdcl_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.87s
[INFO] running `Command { std: "docker" "inspect" "88c1673a8c1b6bf9c8539505493597c7152aef7e98599c8001b964a7ce9807ea", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "88c1673a8c1b6bf9c8539505493597c7152aef7e98599c8001b964a7ce9807ea", kill_on_drop: false }`
[INFO] [stdout] 88c1673a8c1b6bf9c8539505493597c7152aef7e98599c8001b964a7ce9807ea
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bd911503b8176e0eed6ac30a6a84edbb634e4ce1de8c67108b145edef2881f15
[INFO] running `Command { std: "docker" "start" "-a" "bd911503b8176e0eed6ac30a6a84edbb634e4ce1de8c67108b145edef2881f15", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling cdcl_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 19.98s
[INFO] running `Command { std: "docker" "inspect" "bd911503b8176e0eed6ac30a6a84edbb634e4ce1de8c67108b145edef2881f15", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bd911503b8176e0eed6ac30a6a84edbb634e4ce1de8c67108b145edef2881f15", kill_on_drop: false }`
[INFO] [stdout] bd911503b8176e0eed6ac30a6a84edbb634e4ce1de8c67108b145edef2881f15
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 3ed2b7570d5352484c1f9fea981b78f5df6e6aff5ccd613aa6bfbeae9299f61c
[INFO] running `Command { std: "docker" "start" "-a" "3ed2b7570d5352484c1f9fea981b78f5df6e6aff5ccd613aa6bfbeae9299f61c", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cdcl_sat-a72e05797edcf439)
[INFO] [stdout] 
[INFO] [stdout] running 99 tests
[INFO] [stdout] test cnf::tests::test_extract_clause_literals ... ok
[INFO] [stdout] test cnf::tests::test_extract_cnf_clauses ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_double_negation_not_clause ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_and_not_clause ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_single_var ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_impl_not_cnf ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_single_clause ... ok
[INFO] [stdout] test expr::tests::test_expr_to_string ... ok
[INFO] [stdout] test integration_tests::test_all_operators_combined ... ok
[INFO] [stdout] test integration_tests::test_chain_implication_unsat ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_or_of_literals ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_and_of_clauses ... ok
[INFO] [stdout] test cnf::tests::test_is_cnf_nested_and ... ok
[INFO] [stdout] test expr::tests::test_find_max_var ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_negated_var ... ok
[INFO] [stdout] test integration_tests::test_equiv_chain_sat ... ok
[INFO] [stdout] test integration_tests::test_equiv_chain_unsat ... ok
[INFO] [stdout] test integration_tests::test_ex1_single_var ... ok
[INFO] [stdout] test integration_tests::test_ex2_contradiction ... ok
[INFO] [stdout] test integration_tests::test_impl_sat ... ok
[INFO] [stdout] test integration_tests::test_solve_error_source ... ok
[INFO] [stdout] test integration_tests::test_parse_error_handling ... ok
[INFO] [stdout] test integration_tests::test_equiv_sat ... ok
[INFO] [stdout] test integration_tests::test_tautology_sat ... ok
[INFO] [stdout] test integration_tests::test_solve_error_from_solver_error ... ok
[INFO] [stdout] test integration_tests::test_ex3_nested_or ... ok
[INFO] [stdout] test integration_tests::test_solve_error_display ... ok
[INFO] [stdout] test integration_tests::test_larger_cnf ... ok
[INFO] [stdout] test literal::tests::test_negative_literal ... ok
[INFO] [stdout] test literal::tests::test_clause_creation ... ok
[INFO] [stdout] test literal::tests::test_positive_literal ... ok
[INFO] [stdout] test integration_tests::test_solve_error_from_parse_error ... ok
[INFO] [stdout] test integration_tests::test_unsat_3_clauses ... ok
[INFO] [stdout] test parser::tests::test_parse_equiv ... ok
[INFO] [stdout] test literal::tests::test_unit_clause ... ok
[INFO] [stdout] test parser::tests::test_parse_and ... ok
[INFO] [stdout] test cnf::tests::test_is_clause_nested_or ... ok
[INFO] [stdout] test parser::tests::test_parse_error_unexpected_token ... ok
[INFO] [stdout] test integration_tests::test_cnf_direct_extraction ... ok
[INFO] [stdout] test parser::tests::test_parse_deeply_nested ... ok
[INFO] [stdout] test parser::tests::test_parse_error_unknown_operator ... ok
[INFO] [stdout] test parser::tests::test_parse_single_variable ... ok
[INFO] [stdout] test parser::tests::test_parse_variable_with_parens ... ok
[INFO] [stdout] test solver::tests::test_activity_decay ... ok
[INFO] [stdout] test parser::tests::test_parse_whitespace_handling ... ok
[INFO] [stdout] test solver::tests::test_all_negative_clause ... ok
[INFO] [stdout] test integration_tests::test_chain_implication_sat ... ok
[INFO] [stdout] test parser::tests::test_parse_error_invalid_variable ... ok
[INFO] [stdout] test solver::tests::test_empty_clause_set ... ok
[INFO] [stdout] test solver::tests::test_get_model ... ok
[INFO] [stdout] test solver::tests::test_get_value_out_of_bounds ... ok
[INFO] [stdout] test solver::tests::test_contradiction_unsat ... ok
[INFO] [stdout] test solver::tests::test_conflict_learning ... ok
[INFO] [stdout] test parser::tests::test_parse_large_variable_number ... ok
[INFO] [stdout] test parser::tests::test_parse_nested ... ok
[INFO] [stdout] test solver::tests::test_binary_clauses_unsat ... ok
[INFO] [stdout] test parser::tests::test_parse_not ... ok
[INFO] [stdout] test solver::tests::test_long_implication_chain_unsat ... ok
[INFO] [stdout] test solver::tests::test_luby_sequence_values ... ok
[INFO] [stdout] test solver::tests::test_get_value_unassigned ... ok
[INFO] [stdout] test solver::tests::test_mixed_polarity_unit_propagation ... ok
[INFO] [stdout] test solver::tests::test_many_variables_sparse ... ok
[INFO] [stdout] test parser::tests::test_parse_impl ... ok
[INFO] [stdout] test solver::tests::test_multiple_unit_clauses_conflict ... ok
[INFO] [stdout] test solver::tests::test_horn_clauses_sat ... ok
[INFO] [stdout] test solver::tests::test_initial_conflict_detection ... ok
[INFO] [stdout] test solver::tests::test_large_variable_numbers ... ok
[INFO] [stdout] test solver::tests::test_long_implication_chain ... ok
[INFO] [stdout] test solver::tests::test_multiple_backtrack_levels ... ok
[INFO] [stdout] test parser::tests::test_parse_or ... ok
[INFO] [stdout] test solver::tests::test_luby_powers_of_two ... ok
[INFO] [stdout] test solver::tests::test_multiple_unit_clauses_consistent ... ok
[INFO] [stdout] test literal::tests::test_literal_equality ... ok
[INFO] [stdout] test solver::tests::test_phase_saving_updates ... ok
[INFO] [stdout] test solver::tests::test_restart_initialization ... ok
[INFO] [stdout] test solver::tests::test_pigeonhole_2_1 ... ok
[INFO] [stdout] test solver::tests::test_pigeonhole_3_2 ... ok
[INFO] [stdout] test solver::tests::test_phase_saving_initialization ... ok
[INFO] [stdout] test solver::tests::test_should_restart ... ok
[INFO] [stdout] test solver::tests::test_duplicate_clauses ... ok
[INFO] [stdout] test solver::tests::test_single_unit_clause ... ok
[INFO] [stdout] test solver::tests::test_single_variable_sat ... ok
[INFO] [stdout] test solver::tests::test_solver_error_display ... ok
[INFO] [stdout] test solver::tests::test_simple_sat ... ok
[INFO] [stdout] test solver::tests::test_unit_propagation ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_impl ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_into_clauses_adds_unit ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_equiv ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_or ... ok
[INFO] [stdout] test solver::tests::test_watched_literal_maintenance ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_single_var ... ok
[INFO] [stdout] test solver::tests::test_restart_updates_schedule ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_and ... ok
[INFO] [stdout] test solver::tests::test_three_literal_clauses ... ok
[INFO] [stdout] test test_helpers::tests::test_solve_formula_unsat ... ok
[INFO] [stdout] test tseitin::tests::test_tseitin_not ... ok
[INFO] [stdout] test solver::tests::test_single_negative_unit_clause ... ok
[INFO] [stdout] test test_helpers::tests::test_solve_formula_sat ... ok
[INFO] [stdout] test solver::tests::test_binary_clauses_sat ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 99 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/cdcl_sat-9a412c9f96d86a8b)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/cryptarithmetic.rs (/opt/rustwide/target/debug/deps/cryptarithmetic-82c6f84dc0408e15)
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running unittests src/bin/dimacs_sat.rs (/opt/rustwide/target/debug/deps/dimacs_sat-354011651d0a0a2e)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stderr]      Running unittests src/bin/exact_cover.rs (/opt/rustwide/target/debug/deps/exact_cover-0c3156196d5d7e64)
[INFO] [stdout] test tests::test_3sat_instance ... ok
[INFO] [stdout] test tests::test_simple_sat ... ok
[INFO] [stdout] test tests::test_simple_unsat ... ok
[INFO] [stdout] test tests::test_contradictory_unit_clauses ... ok
[INFO] [stdout] test tests::test_unit_propagation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/graph_coloring.rs (/opt/rustwide/target/debug/deps/graph_coloring-19cf66941acf746b)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_multiple_options ... ok
[INFO] [stdout] test tests::test_no_valid_cover ... ok
[INFO] [stdout] test tests::test_overlapping_no_solution ... ok
[INFO] [stdout] test tests::test_pentomino_style ... ok
[INFO] [stdout] test tests::test_simple_exact_cover ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test tests::test_triangle_2_colors ... ok
[INFO] [stderr]      Running unittests src/bin/hamiltonian.rs (/opt/rustwide/target/debug/deps/hamiltonian-47c412dc94dcbdc4)
[INFO] [stdout] test tests::test_k4_needs_4_colors ... ok
[INFO] [stdout] test tests::test_bipartite_2_colors ... ok
[INFO] [stdout] test tests::test_triangle_3_colors ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test tests::test_disconnected ... ok
[INFO] [stderr]      Running unittests src/bin/lights_out.rs (/opt/rustwide/target/debug/deps/lights_out-0aa644ac1aabf27f)
[INFO] [stdout] test tests::test_path_graph ... ok
[INFO] [stderr]      Running unittests src/bin/magic_square.rs (/opt/rustwide/target/debug/deps/magic_square-4df609cb43fb1f1c)
[INFO] [stdout] test tests::test_triangle_cycle ... ok
[INFO] [stderr]      Running unittests src/bin/minesweeper.rs (/opt/rustwide/target/debug/deps/minesweeper-1235482f0ceab737)
[INFO] [stdout] test tests::test_complete_k4 ... ok
[INFO] [stderr]      Running unittests src/bin/nonogram_solver.rs (/opt/rustwide/target/debug/deps/nonogram_solver-ab7c11d5c3658e91)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test tests::test_2x2_center_pattern ... ok
[INFO] [stdout] test tests::test_single_light ... ok
[INFO] [stdout] test tests::test_all_off ... ok
[INFO] [stdout] test tests::test_xor_encoding ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::test_corner_with_1 ... ok
[INFO] [stdout] test tests::test_encode_exactly_1_of_3 ... ok
[INFO] [stdout] test tests::test_simple_minesweeper ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test tests::test_generate_patterns_empty ... ok
[INFO] [stdout] test tests::test_generate_patterns_simple ... ok
[INFO] [stdout] test tests::test_generate_patterns_full ... ok
[INFO] [stdout] test tests::test_generate_patterns_impossible ... ok
[INFO] [stderr]      Running unittests src/bin/nqueens_solver.rs (/opt/rustwide/target/debug/deps/nqueens_solver-c4935a620220c2f8)
[INFO] [stdout] test tests::test_generate_patterns_two_runs ... ok
[INFO] [stdout] test tests::test_simple_nonogram ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test tests::test_2_queens_unsolvable ... ok
[INFO] [stdout] test tests::test_3_queens_unsolvable ... ok
[INFO] [stdout] test tests::test_4_queens_solvable ... ok
[INFO] [stdout] test tests::test_var_encoding ... ok
[INFO] [stdout] test tests::test_8_queens_solvable ... ok
[INFO] [stdout] test tests::test_count_4_queens ... ok
[INFO] [stdout] test tests::test_1_queen_solvable ... ok
[INFO] [stdout] test tests::test_count_5_queens ... ok
[INFO] [stderr]      Running unittests src/bin/sudoku_generator.rs (/opt/rustwide/target/debug/deps/sudoku_generator-f6b7e56021e222d0)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::test_var_decode_roundtrip ... ok
[INFO] [stdout] test tests::test_generate_complete_grid ... ok
[INFO] [stdout] test tests::test_unique_solution_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/sudoku_solver.rs (/opt/rustwide/target/debug/deps/sudoku_solver-42657ba300e98a93)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test tests::test_parse_puzzle_with_dots ... ok
[INFO] [stdout] test tests::test_var_encoding ... ok
[INFO] [stdout] test tests::test_var_decode_roundtrip ... ok
[INFO] [stdout] test tests::test_clause_count ... ok
[INFO] [stderr]      Running tests/external_tests.rs (/opt/rustwide/target/debug/deps/external_tests-2c989822a61756e7)
[INFO] [stdout] test tests::test_parse_puzzle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test test_sample_ex1_sat ... ok
[INFO] [stdout] test test_public_5sec_sat_ex3 ... ok
[INFO] [stdout] test test_sample_ex2_unsat ... ok
[INFO] [stdout] test test_sample_ex3_sat ... ok
[INFO] [stdout] test test_sample_ex4_sat ... ok
[INFO] [stdout] test test_public_5sec_sat_ex4 ... ok
[INFO] [stdout] test test_sample_ex5_sat ... ok
[INFO] [stdout] test test_public_3sec_unsat_ex2 ... ok
[INFO] [stdout] test test_public_3sec_sat_ex1 ... ok
[INFO] [stdout] test test_sample_ex7_sat ... ok
[INFO] [stdout] test test_sat_2028613191 ... ok
[INFO] [stdout] test test_sat_161678400 ... ok
[INFO] [stdout] test test_sat_1990051459 ... ok
[INFO] [stdout] test test_sat_2105154 ... ok
[INFO] [stdout] test test_sat_2060917304 ... ok
[INFO] [stdout] test test_sat_2061276186 ... ok
[INFO] [stdout] test test_sat_250236 ... ok
[INFO] [stdout] test test_sat_6129729 ... ok
[INFO] [stdout] test test_sat_6987928 ... ok
[INFO] [stdout] test test_sat_68956062 ... ok
[INFO] [stdout] test test_sat_6992766 ... ok
[INFO] [stdout] test test_sat_8872514 ... ok
[INFO] [stdout] test test_sample_ex6_sat ... ok
[INFO] [stdout] test test_sat_2079676545 ... ok
[INFO] [stdout] test test_sat_1009197172 ... ok
[INFO] [stdout] test test_sat_3136956 ... ok
[INFO] [stdout] test test_sat_356453600 ... ok
[INFO] [stdout] test test_sat_1987677209 ... ok
[INFO] [stdout] test test_sat_66191232 ... ok
[INFO] [stdout] test test_sat_1313911416 ... ok
[INFO] [stdout] test test_sat_617723004 ... ok
[INFO] [stdout] test test_sat_n692091829 ... ok
[INFO] [stdout] test test_sat_439348863 ... ok
[INFO] [stdout] test test_sat_1110631217 ... ok
[INFO] [stdout] test test_sat_n2143000951 ... ok
[INFO] [stdout] test test_unsat_2116025441 ... ok
[INFO] [stdout] test test_sat_n1539415788 ... ok
[INFO] [stdout] test test_unsat_192117696 ... ok
[INFO] [stdout] test test_unsat_436446176 ... ok
[INFO] [stdout] test test_sat_n1355462854 ... ok
[INFO] [stdout] test test_sat_2056035330 ... ok
[INFO] [stdout] test test_unsat_1692978230 ... ok
[INFO] [stdout] test test_unsat_66061280 ... ok
[INFO] [stdout] test test_unsat_68350854 ... ok
[INFO] [stdout] test test_unsat_1455428640 ... ok
[INFO] [stdout] test test_unsat_n1985629568 ... ok
[INFO] [stdout] test test_unsat_n387486151 ... ok
[INFO] [stdout] test test_unsat_n1801562976 ... ok
[INFO] [stdout] test test_unsat_n1551300520 ... ok
[INFO] [stdout] test test_unsat_1437267936 ... ok
[INFO] [stdout] test test_unsat_n2017382368 ... ok
[INFO] [stdout] test test_public_10sec_unsat_ex6 ... ok
[INFO] [stderr] 
[INFO] [stderr] thread 'test_public_10sec_unsat_ex5' (185) has overflowed its stack
[INFO] [stderr] fatal runtime error: stack overflow, aborting
[INFO] [stderr] error: test failed, to rerun pass `--test external_tests`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/external_tests-2c989822a61756e7` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "3ed2b7570d5352484c1f9fea981b78f5df6e6aff5ccd613aa6bfbeae9299f61c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3ed2b7570d5352484c1f9fea981b78f5df6e6aff5ccd613aa6bfbeae9299f61c", kill_on_drop: false }`
[INFO] [stdout] 3ed2b7570d5352484c1f9fea981b78f5df6e6aff5ccd613aa6bfbeae9299f61c
