Job 1515

CakeML:7b6faba1e0f843c0986413c09227b4caec004037
  Remove isPrefix check as intermediate ~ should also become - [Apr 28 06:07:07]
#826 (double_from_string)
Merging into:e8e26b81707f81bb87e367cbc25d95617cf39950
  Merge pull request #811 from CakeML/eval [Apr 21 07:26:14]
HOL:054fec3028c305c71fcde1ae309873531921172c
  Fix bug in search found by Travis [Apr 21 02:54:44]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Apr 28 20:41:38 Claimed job
Apr 28 20:41:47 Building HOL
Apr 28 20:56:30 Starting developers
Apr 28 20:56:32 Finished developers                                               2s 117MB
Apr 28 20:56:32 Starting developers/bin
Apr 28 20:56:38 Finished developers/bin                                           5s   1GB
Apr 28 20:56:39 Starting semantics/ffi
Apr 28 20:56:49 Finished semantics/ffi                                           10s 299MB
Apr 28 20:56:49 Starting semantics
Apr 28 20:58:24 Finished semantics                                             1m34s   1GB
Apr 28 20:58:24 Starting semantics/proofs
Apr 28 21:01:57 Finished semantics/proofs                                      3m32s   1GB
Apr 28 21:01:57 Starting semantics/alt_semantics
Apr 28 21:02:06 Finished semantics/alt_semantics                                  8s 415MB
Apr 28 21:02:06 Starting semantics/alt_semantics/proofs
Apr 28 21:04:18 Finished semantics/alt_semantics/proofs                        2m11s   2GB
Apr 28 21:04:18 Starting basis/pure
Apr 28 21:06:57 Finished basis/pure                                            2m38s   1GB
Apr 28 21:06:57 Starting translator
Apr 28 21:10:14 Finished translator                                            3m17s   2GB
Apr 28 21:10:14 Starting compiler/parsing
Apr 28 21:11:23 Finished compiler/parsing                                      1m08s   4GB
Apr 28 21:11:24 Starting characteristic
Apr 28 21:17:06 Finished characteristic                                        5m42s   3GB
Apr 28 21:17:07 Starting translator/monadic
Apr 28 21:18:53 Finished translator/monadic                                    1m46s   3GB
Apr 28 21:18:53 Starting basis
Apr 28 22:02:58 Finished basis                                                44m05s  39GB
Apr 28 22:02:59 Starting compiler/inference
Apr 28 22:04:11 Finished compiler/inference                                    1m12s   1GB
Apr 28 22:04:12 Starting compiler/backend/reg_alloc
Apr 28 22:05:18 Finished compiler/backend/reg_alloc                            1m05s   1GB
Apr 28 22:05:18 Starting compiler/backend/gc
Apr 28 22:08:53 Finished compiler/backend/gc                                   3m35s   2GB
Apr 28 22:08:54 Starting compiler/backend
Apr 28 22:14:00 Finished compiler/backend                                      5m06s   5GB
Apr 28 22:14:01 Starting compiler/encoders/asm
Apr 28 22:14:23 Finished compiler/encoders/asm                                   22s 961MB
Apr 28 22:14:23 Starting compiler/encoders/x64
Apr 28 22:15:26 Finished compiler/encoders/x64                                 1m02s   1GB
Apr 28 22:15:26 Starting compiler/encoders/arm7
Apr 28 22:17:28 Finished compiler/encoders/arm7                                2m02s   1GB
Apr 28 22:17:28 Starting compiler/encoders/arm8
Apr 28 22:18:07 Finished compiler/encoders/arm8                                  38s   1GB
Apr 28 22:18:07 Starting compiler/encoders/mips
Apr 28 22:19:32 Finished compiler/encoders/mips                                1m25s   1GB
Apr 28 22:19:33 Starting compiler/encoders/riscv
Apr 28 22:21:09 Finished compiler/encoders/riscv                               1m36s   1GB
Apr 28 22:21:09 Starting compiler/encoders/ag32
Apr 28 22:21:27 Finished compiler/encoders/ag32                                  18s 954MB
Apr 28 22:21:28 Starting compiler/backend/x64
Apr 28 22:21:46 Finished compiler/backend/x64                                    17s   1GB
Apr 28 22:21:46 Starting compiler/backend/arm7
Apr 28 22:22:07 Finished compiler/backend/arm7                                   21s   1GB
Apr 28 22:22:07 Starting compiler/backend/arm8
Apr 28 22:22:28 Finished compiler/backend/arm8                                   20s   1GB
Apr 28 22:22:28 Starting compiler/backend/mips
Apr 28 22:22:49 Finished compiler/backend/mips                                   20s   1GB
Apr 28 22:22:49 Starting compiler/backend/riscv
Apr 28 22:23:10 Finished compiler/backend/riscv                                  20s   1GB
Apr 28 22:23:10 Starting compiler/backend/ag32
Apr 28 22:24:19 Finished compiler/backend/ag32                                 1m09s   2GB
Apr 28 22:24:19 Starting compiler/parsing/proofs
Apr 28 22:30:06 Finished compiler/parsing/proofs                               5m46s   2GB
Apr 28 22:30:06 Starting compiler/inference/proofs
Apr 28 22:32:38 Finished compiler/inference/proofs                             2m31s   2GB
Apr 28 22:32:38 Starting compiler/backend/semantics
Apr 28 22:59:13 Finished compiler/backend/semantics                           26m34s   4GB
Apr 28 22:59:13 Starting compiler/backend/reg_alloc/proofs
Apr 28 23:02:31 Finished compiler/backend/reg_alloc/proofs                     3m17s   1GB
Apr 28 23:02:31 Starting compiler/backend/proofs
Apr 28 23:56:38 Finished compiler/backend/proofs                              54m06s  16GB
Apr 28 23:56:39 Starting compiler/encoders/x64/proofs
Apr 29 00:05:56 Finished compiler/encoders/x64/proofs                          9m16s   4GB
Apr 29 00:05:56 Starting compiler/encoders/arm7/proofs
Apr 29 00:18:36 Finished compiler/encoders/arm7/proofs                        12m39s  10GB
Apr 29 00:18:36 Starting compiler/encoders/arm8/proofs
Apr 29 00:25:07 Finished compiler/encoders/arm8/proofs                         6m31s   3GB
Apr 29 00:25:07 Starting compiler/encoders/mips/proofs
Apr 29 00:34:54 Finished compiler/encoders/mips/proofs                         9m46s   5GB
Apr 29 00:34:54 Starting compiler/encoders/riscv/proofs
Apr 29 00:43:16 Finished compiler/encoders/riscv/proofs                        8m21s   4GB
Apr 29 00:43:16 Starting compiler/encoders/ag32/proofs
Apr 29 00:45:38 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Apr 29 00:45:38 Starting compiler/backend/x64/proofs
Apr 29 00:46:00 Finished compiler/backend/x64/proofs                             21s   1GB
Apr 29 00:46:00 Starting compiler/backend/arm7/proofs
Apr 29 00:46:24 Finished compiler/backend/arm7/proofs                            23s   2GB
Apr 29 00:46:24 Starting compiler/backend/arm8/proofs
Apr 29 00:46:48 Finished compiler/backend/arm8/proofs                            23s   2GB
Apr 29 00:46:48 Starting compiler/backend/mips/proofs
Apr 29 00:47:10 Finished compiler/backend/mips/proofs                            22s   1GB
Apr 29 00:47:10 Starting compiler/backend/riscv/proofs
Apr 29 00:47:35 Finished compiler/backend/riscv/proofs                           24s   2GB
Apr 29 00:47:35 Starting compiler/backend/ag32/proofs
Apr 29 00:59:31 Finished compiler/backend/ag32/proofs                         11m55s   6GB
Apr 29 00:59:31 Starting compiler/proofs
Apr 29 01:01:29 Finished compiler/proofs                                       1m58s   6GB
Apr 29 01:01:30 Starting candle/set-theory
Apr 29 01:02:00 Finished candle/set-theory                                       30s   1GB
Apr 29 01:02:00 Starting candle/syntax-lib
Apr 29 01:02:12 Finished candle/syntax-lib                                       11s 798MB
Apr 29 01:02:12 Starting candle/standard/syntax
Apr 29 01:04:04 Finished candle/standard/syntax                                1m51s   1GB
Apr 29 01:04:04 Starting candle/standard/semantics
Apr 29 01:05:50 Finished candle/standard/semantics                             1m45s   2GB
Apr 29 01:05:50 Starting candle/standard/monadic
Apr 29 01:07:32 Finished candle/standard/monadic                               1m41s   1GB
Apr 29 01:07:32 Starting candle/standard/ml_kernel
Apr 29 01:13:00 Finished candle/standard/ml_kernel                             5m28s   5GB
Apr 29 01:13:01 Starting candle/overloading/syntax
Apr 29 01:16:14 Finished candle/overloading/syntax                             3m13s   1GB
Apr 29 01:16:15 Starting candle/overloading/semantics
Apr 29 01:28:23 Finished candle/overloading/semantics                         12m07s   8GB
Apr 29 01:28:23 Starting characteristic/examples
Apr 29 01:29:43 Finished characteristic/examples                               1m19s   4GB
Apr 29 01:29:43 Starting tutorial/solutions
Apr 29 01:45:05 Finished tutorial/solutions                                   15m21s  12GB
Apr 29 01:45:06 Starting translator/monadic/examples
Apr 29 01:48:28 Finished translator/monadic/examples                           3m22s   3GB
Apr 29 01:48:28 Starting examples
Apr 29 01:57:12 Finished examples                                              8m43s   6GB
Apr 29 01:57:12 Starting examples/compilation/x64
Apr 29 04:20:26 Finished examples/compilation/x64                           2h23m13s  20GB
Apr 29 04:20:26 Starting examples/compilation/x64/proofs
Apr 29 04:22:27 Finished examples/compilation/x64/proofs                       2m00s   3GB
Apr 29 04:22:27 Starting examples/compilation/ag32
Apr 29 04:57:00 Finished examples/compilation/ag32                            34m33s  15GB
Apr 29 04:57:00 Starting examples/compilation/ag32/proofs
Apr 29 04:57:52 Finished examples/compilation/ag32/proofs                        51s   5GB
Apr 29 04:57:52 Starting examples/cost
Apr 29 05:53:08 Finished examples/cost                                        55m14s  14GB
Apr 29 05:53:08 Starting examples/lpr_checker
Apr 29 05:57:29 Finished examples/lpr_checker                                  4m20s   6GB
Apr 29 05:57:29 Starting examples/lpr_checker/compilation
Apr 29 06:25:19 Finished examples/lpr_checker/compilation                     27m49s  19GB
Apr 29 06:25:19 Starting examples/lpr_checker/compilation/proofs
Apr 29 06:26:42 Finished examples/lpr_checker/compilation/proofs               1m23s   4GB
Apr 29 06:26:42 Starting examples/lpr_checker/array
Apr 29 06:48:16 Finished examples/lpr_checker/array                           21m33s   5GB
Apr 29 06:48:16 Starting examples/lpr_checker/array/compilation
Apr 29 07:10:37 Finished examples/lpr_checker/array/compilation               22m21s  19GB
Apr 29 07:10:38 Starting examples/lpr_checker/array/compilation/proofs
Apr 29 07:11:30 Finished examples/lpr_checker/array/compilation/proofs           52s   5GB
Apr 29 07:11:30 Starting examples/opentheory
Apr 29 07:21:13 Finished examples/opentheory                                   9m43s   3GB
Apr 29 07:21:13 Starting examples/opentheory
Apr 29 07:21:14 Finished examples/opentheory                                      0s 100MB
Apr 29 07:21:14 Starting examples/opentheory/compilation
Apr 29 07:52:50 Finished examples/opentheory/compilation                      31m35s  26GB
Apr 29 07:52:50 Starting examples/opentheory/compilation/proofs
Apr 29 07:53:35 Finished examples/opentheory/compilation/proofs                  45s   4GB
Apr 29 07:53:35 Starting examples/opentheory/compilation/ag32
Apr 29 08:26:53 Finished examples/opentheory/compilation/ag32                 33m17s  26GB
Apr 29 08:26:53 Starting examples/opentheory/compilation/ag32/proofs
Apr 29 08:28:30 Finished examples/opentheory/compilation/ag32/proofs           1m36s   9GB
Apr 29 08:28:31 Starting translator/okasaki-examples
Apr 29 08:32:53 Finished translator/okasaki-examples                           4m22s   2GB
Apr 29 08:32:53 Starting translator/other-examples
Apr 29 08:34:54 Finished translator/other-examples                             2m00s   2GB
Apr 29 08:34:54 Starting compiler/parsing/tests
Apr 29 08:35:18 Finished compiler/parsing/tests                                  23s 752MB
Apr 29 08:35:18 Starting compiler/inference/tests
Apr 29 08:42:36 Finished compiler/inference/tests                              7m17s   5GB
Apr 29 08:42:36 Starting compiler/bootstrap/translation
Apr 29 11:19:23 Finished compiler/bootstrap/translation                     2h36m46s  49GB
Apr 29 11:19:24 Starting unverified/sexpr-bootstrap/x64/64
Apr 29 11:31:33 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   8GB
Apr 29 11:31:33 Starting unverified/sexpr-bootstrap/x64/32
Apr 29 11:42:04 Finished unverified/sexpr-bootstrap/x64/32                    10m30s   8GB
Apr 29 11:42:04 Starting compiler/benchmarks
Apr 29 12:19:48 Finished compiler/benchmarks                                  37m43s   2GB
Apr 29 12:19:48 Starting compiler/bootstrap/compilation/x64/64
Apr 30 06:34:07 Finished compiler/bootstrap/compilation/x64/64             18h14m18s  64GB
Apr 30 06:34:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 30 06:36:25 Finished compiler/bootstrap/compilation/x64/64/proofs          2m17s  14GB
Apr 30 06:36:25 Starting compiler/bootstrap/compilation/x64/32
Apr 30 21:27:00 Finished compiler/bootstrap/compilation/x64/32             14h50m34s  63GB
Apr 30 21:27:00 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 30 21:29:11 Finished compiler/bootstrap/compilation/x64/32/proofs          2m10s  14GB
Apr 30 21:29:11 Starting compiler/bootstrap/compilation/ag32/32
May 01 13:08:52 Finished compiler/bootstrap/compilation/ag32/32            15h39m40s  64GB
May 01 13:08:52 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 01 13:18:23 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m30s  57GB
May 01 13:18:23 SUCCESS