Nov 01 21:24:40.000 INFO testing ExcaliburZero/resolution-prover against beta-2018-10-30 for beta-1.31-1
Nov 01 21:24:40.000 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 21:24:40.411 INFO blam! 5d9356668f3ee6743261f62da72dfd444ba45ff9a7f9800dcbc396663e891121
Nov 01 21:24:40.416 INFO running `"docker" "start" "-a" "5d9356668f3ee6743261f62da72dfd444ba45ff9a7f9800dcbc396663e891121"`
Nov 01 21:24:41.498 INFO kablam! usermod: no changes
Nov 01 21:24:41.595 INFO kablam!    Compiling multimap v0.4.0
Nov 01 21:24:42.547 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Nov 01 21:24:45.340 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.80s
Nov 01 21:24:45.345 INFO kablam! su: No module specific data is present
Nov 01 21:24:46.011 INFO running `"docker" "rm" "-f" "5d9356668f3ee6743261f62da72dfd444ba45ff9a7f9800dcbc396663e891121"`
Nov 01 21:24:46.227 INFO blam! 5d9356668f3ee6743261f62da72dfd444ba45ff9a7f9800dcbc396663e891121
Nov 01 21:24:46.235 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 21:24:46.725 INFO blam! 6f910bf9a07a6022ffa4c6e60155f24a30117a49c79ccf574d3cca12785553b1
Nov 01 21:24:46.727 INFO running `"docker" "start" "-a" "6f910bf9a07a6022ffa4c6e60155f24a30117a49c79ccf574d3cca12785553b1"`
Nov 01 21:24:47.870 INFO kablam! usermod: no changes
Nov 01 21:24:47.950 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Nov 01 21:24:51.247 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.32s
Nov 01 21:24:51.247 INFO kablam! su: No module specific data is present
Nov 01 21:24:51.605 INFO running `"docker" "rm" "-f" "6f910bf9a07a6022ffa4c6e60155f24a30117a49c79ccf574d3cca12785553b1"`
Nov 01 21:24:51.747 INFO blam! 6f910bf9a07a6022ffa4c6e60155f24a30117a49c79ccf574d3cca12785553b1
Nov 01 21:24:51.750 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/beta-2018-10-30:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/beta-2018-10-30:/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 +beta-2018-10-30 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 21:24:52.055 INFO blam! dd3e3c160fa0199d0dfe0ecaca4438b3435b94e17d85d5830b970b88b66fe6c8
Nov 01 21:24:52.055 INFO running `"docker" "start" "-a" "dd3e3c160fa0199d0dfe0ecaca4438b3435b94e17d85d5830b970b88b66fe6c8"`
Nov 01 21:24:52.672 INFO kablam! usermod: no changes
Nov 01 21:24:52.714 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Nov 01 21:24:52.725 INFO kablam!      Running /target/debug/deps/resolution_prover-671cd50205d79cc1
Nov 01 21:24:52.727 INFO blam! 
Nov 01 21:24:52.728 INFO blam! running 23 tests
Nov 01 21:24:52.729 INFO blam! test clauses::tests::eliminate_implication_implies ... ok
Nov 01 21:24:52.730 INFO blam! test clauses::tests::eliminate_implication_iff ... ok
Nov 01 21:24:52.730 INFO blam! test clauses::tests::bubble_up_ands_not ... ok
Nov 01 21:24:52.730 INFO blam! test clauses::tests::eliminate_implication_and ... ok
Nov 01 21:24:52.731 INFO blam! test clauses::tests::bubble_up_ands_or_and_right ... ok
Nov 01 21:24:52.731 INFO blam! test clauses::tests::bubble_up_ands_or ... ok
Nov 01 21:24:52.731 INFO blam! test clauses::tests::eliminate_implication_or ... ok
Nov 01 21:24:52.732 INFO blam! test clauses::tests::reduce_negation_double_negation ... ok
Nov 01 21:24:52.732 INFO blam! test clauses::tests::reduce_negation_nested_and_not_and ... ok
Nov 01 21:24:52.732 INFO blam! test clauses::tests::reduce_negation_nested_not_or_double_negation ... ok
Nov 01 21:24:52.732 INFO blam! test clauses::tests::reduce_negation_nested_not_or_or ... ok
Nov 01 21:24:52.733 INFO blam! test clauses::tests::reduce_negation_nested_or_not_and ... ok
Nov 01 21:24:52.733 INFO blam! test clauses::tests::reduce_negation_not_and ... ok
Nov 01 21:24:52.733 INFO blam! test clauses::tests::reduce_negation_not_or ... ok
Nov 01 21:24:52.734 INFO blam! test clauses::tests::reduce_negation_term ... ok
Nov 01 21:24:52.734 INFO blam! test resolution::tests::resolve_simple_false ... ok
Nov 01 21:24:52.734 INFO blam! test resolution::tests::resolve_simple_true ... ok
Nov 01 21:24:52.735 INFO blam! test resolution::tests::resolve_taut_or_not ... ok
Nov 01 21:24:52.735 INFO blam! test resolution::tests::resolve_trivial_false ... ok
Nov 01 21:24:52.735 INFO blam! test clauses::tests::eliminate_implication_not ... ok
Nov 01 21:24:52.735 INFO blam! test clauses::tests::bubble_up_ands_term ... ok
Nov 01 21:24:52.736 INFO blam! test clauses::tests::bubble_up_ands_or_and_left ... ok
Nov 01 21:24:52.736 INFO blam! test resolution::tests::resolve_trivial_true ... ok
Nov 01 21:24:52.736 INFO blam! 
Nov 01 21:24:52.736 INFO blam! test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:24:52.737 INFO blam! 
Nov 01 21:24:52.740 INFO kablam!      Running /target/debug/deps/resolution_prover-7122c74e4adcd502
Nov 01 21:24:52.745 INFO kablam!    Doc-tests resolution-prover
Nov 01 21:24:52.745 INFO blam! 
Nov 01 21:24:52.745 INFO blam! running 0 tests
Nov 01 21:24:52.745 INFO blam! 
Nov 01 21:24:52.745 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:24:52.745 INFO blam! 
Nov 01 21:24:53.557 INFO blam! 
Nov 01 21:24:53.557 INFO blam! running 13 tests
Nov 01 21:24:56.459 INFO blam! test src/propositions.rs - propositions::iff (line 90) ... ok
Nov 01 21:24:57.143 INFO blam! test src/clauses.rs - clauses::ClausePart::negate (line 260) ... ok
Nov 01 21:24:58.052 INFO blam! test src/propositions.rs - propositions::Proposition (line 7) ... ok
Nov 01 21:24:58.219 INFO blam! test src/clauses.rs - clauses::ClausePart (line 242) ... ok
Nov 01 21:24:58.435 INFO blam! test src/propositions.rs - propositions::and (line 50) ... ok
Nov 01 21:24:58.863 INFO blam! test src/clauses.rs - clauses::Clause::from_proposition (line 30) ... ok
Nov 01 21:24:59.239 INFO blam! test src/clauses.rs - clauses::Clause (line 8) ... ok
Nov 01 21:24:59.767 INFO blam! test src/propositions.rs - propositions::Proposition::fmt (line 139) ... ok
Nov 01 21:25:01.782 INFO blam! test src/propositions.rs - propositions::implies (line 70) ... ok
Nov 01 21:25:02.063 INFO blam! test src/propositions.rs - propositions::not (line 109) ... ok
Nov 01 21:25:02.079 INFO blam! test src/propositions.rs - propositions::or (line 30) ... ok
Nov 01 21:25:02.147 INFO blam! test src/propositions.rs - propositions::term (line 124) ... ok
Nov 01 21:25:02.339 INFO blam! test src/resolution.rs - resolution::resolve (line 15) ... ok
Nov 01 21:25:02.340 INFO blam! 
Nov 01 21:25:02.340 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:25:02.340 INFO blam! 
Nov 01 21:25:02.363 INFO kablam! su: No module specific data is present
Nov 01 21:25:02.859 INFO running `"docker" "rm" "-f" "dd3e3c160fa0199d0dfe0ecaca4438b3435b94e17d85d5830b970b88b66fe6c8"`
Nov 01 21:25:03.100 INFO blam! dd3e3c160fa0199d0dfe0ecaca4438b3435b94e17d85d5830b970b88b66fe6c8
