Job 2702

CakeML:6b2039e9c365bca1bb05f521e2c6060d6a901bdb
  Merge pull request #1094 from CakeML/tweak-root-dir [Nov 23 20:15:27]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Nov 25 19:24:48 Claimed job
Nov 25 19:24:51 Reusing HOL
Nov 25 19:25:03 Starting developers
Nov 25 19:25:07 Finished developers                                               3s 222MB
Nov 25 19:25:08 Starting developers/bin
Nov 25 19:25:27 Finished developers/bin                                          18s   1GB
Nov 25 19:25:28 Starting compiler/proofs
Nov 25 21:07:26 Finished compiler/proofs                                    1h41m56s  41GB
Nov 25 21:07:27 Starting compiler/bootstrap/translation
Nov 26 06:11:43 Finished compiler/bootstrap/translation                     9h04m15s  82GB
Nov 26 06:11:44 Starting semantics/ffi
Nov 26 06:12:00 Finished semantics/ffi                                           15s   1GB
Nov 26 06:12:01 Starting semantics
Nov 26 06:12:03 Finished semantics                                                0s  62MB
Nov 26 06:12:04 Starting semantics/proofs
Nov 26 06:12:27 Finished semantics/proofs                                        22s 639MB
Nov 26 06:12:28 Starting semantics/alt_semantics
Nov 26 06:12:51 Finished semantics/alt_semantics                                 22s 686MB
Nov 26 06:12:52 Starting semantics/alt_semantics/proofs
Nov 26 06:23:02 Finished semantics/alt_semantics/proofs                       10m08s   3GB
Nov 26 06:23:03 Starting basis/pure
Nov 26 06:23:04 Finished basis/pure                                               0s  68MB
Nov 26 06:23:05 Starting translator
Nov 26 06:24:41 Finished translator                                            1m34s   2GB
Nov 26 06:24:42 Starting compiler/parsing
Nov 26 06:24:43 Finished compiler/parsing                                         0s  75MB
Nov 26 06:24:44 Starting characteristic
Nov 26 06:24:46 Finished characteristic                                           0s  93MB
Nov 26 06:24:47 Starting translator/monadic
Nov 26 06:24:49 Finished translator/monadic                                       0s  98MB
Nov 26 06:24:50 Starting basis
Nov 26 06:27:12 Finished basis                                                 2m21s   4GB
Nov 26 06:27:13 Starting compiler/inference
Nov 26 06:27:14 Finished compiler/inference                                       0s  94MB
Nov 26 06:27:15 Starting compiler/backend/reg_alloc
Nov 26 06:27:17 Finished compiler/backend/reg_alloc                               0s  67MB
Nov 26 06:27:18 Starting compiler/backend/gc
Nov 26 06:27:20 Finished compiler/backend/gc                                      1s 141MB
Nov 26 06:27:21 Starting compiler/backend
Nov 26 06:27:26 Finished compiler/backend                                         4s 320MB
Nov 26 06:27:27 Starting compiler/encoders/asm
Nov 26 06:27:28 Finished compiler/encoders/asm                                    0s  90MB
Nov 26 06:27:29 Starting compiler/encoders/x64
Nov 26 06:27:31 Finished compiler/encoders/x64                                    0s 100MB
Nov 26 06:27:32 Starting compiler/encoders/arm7
Nov 26 06:27:34 Finished compiler/encoders/arm7                                   0s  94MB
Nov 26 06:27:34 Starting compiler/encoders/arm8
Nov 26 06:27:36 Finished compiler/encoders/arm8                                   0s 100MB
Nov 26 06:27:37 Starting compiler/encoders/arm8_asl
Nov 26 06:29:49 Finished compiler/encoders/arm8_asl                            2m11s   1GB
Nov 26 06:29:50 Starting compiler/encoders/mips
Nov 26 06:29:52 Finished compiler/encoders/mips                                   0s  98MB
Nov 26 06:29:53 Starting compiler/encoders/riscv
Nov 26 06:29:54 Finished compiler/encoders/riscv                                  0s  99MB
Nov 26 06:29:55 Starting compiler/encoders/ag32
Nov 26 06:29:57 Finished compiler/encoders/ag32                                   0s  96MB
Nov 26 06:29:58 Starting compiler/backend/x64
Nov 26 06:30:00 Finished compiler/backend/x64                                     1s 137MB
Nov 26 06:30:01 Starting compiler/backend/arm7
Nov 26 06:30:03 Finished compiler/backend/arm7                                    1s 136MB
Nov 26 06:30:03 Starting compiler/backend/arm8
Nov 26 06:30:05 Finished compiler/backend/arm8                                    1s 138MB
Nov 26 06:30:06 Starting compiler/backend/mips
Nov 26 06:30:08 Finished compiler/backend/mips                                    1s 137MB
Nov 26 06:30:09 Starting compiler/backend/riscv
Nov 26 06:30:11 Finished compiler/backend/riscv                                   1s 138MB
Nov 26 06:30:12 Starting compiler/backend/ag32
Nov 26 06:31:22 Finished compiler/backend/ag32                                 1m09s   2GB
Nov 26 06:31:23 Starting compiler/parsing/proofs
Nov 26 06:31:25 Finished compiler/parsing/proofs                                  0s  75MB
Nov 26 06:31:26 Starting compiler/inference/proofs
Nov 26 06:31:27 Finished compiler/inference/proofs                                0s  92MB
Nov 26 06:31:28 Starting compiler/backend/semantics
Nov 26 06:34:40 Finished compiler/backend/semantics                            3m11s   2GB
Nov 26 06:34:41 Starting compiler/backend/reg_alloc/proofs
Nov 26 06:34:43 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Nov 26 06:34:44 Starting compiler/backend/proofs
Nov 26 06:35:41 Finished compiler/backend/proofs                                 55s   4GB
Nov 26 06:35:41 Starting compiler/backend/serialiser
Nov 26 06:35:44 Finished compiler/backend/serialiser                              1s 149MB
Nov 26 06:35:44 Starting compiler/encoders/x64/proofs
Nov 26 06:45:34 Finished compiler/encoders/x64/proofs                          9m48s   6GB
Nov 26 06:45:35 Starting compiler/encoders/arm7/proofs
Nov 26 06:58:45 Finished compiler/encoders/arm7/proofs                        13m08s   9GB
Nov 26 06:58:46 Starting compiler/encoders/arm8/proofs
Nov 26 07:05:28 Finished compiler/encoders/arm8/proofs                         6m41s   5GB
Nov 26 07:05:29 Starting compiler/encoders/arm8_asl/proofs
Nov 26 07:20:40 Finished compiler/encoders/arm8_asl/proofs                    15m09s   3GB
Nov 26 07:20:40 Starting compiler/encoders/mips/proofs
Nov 26 07:30:49 Finished compiler/encoders/mips/proofs                        10m07s   5GB
Nov 26 07:30:49 Starting compiler/encoders/riscv/proofs
Nov 26 07:38:58 Finished compiler/encoders/riscv/proofs                        8m07s   3GB
Nov 26 07:38:59 Starting compiler/encoders/ag32/proofs
Nov 26 07:41:53 Finished compiler/encoders/ag32/proofs                         2m52s   2GB
Nov 26 07:41:54 Starting compiler/backend/x64/proofs
Nov 26 07:42:38 Finished compiler/backend/x64/proofs                             43s   3GB
Nov 26 07:42:39 Starting compiler/backend/arm7/proofs
Nov 26 07:43:27 Finished compiler/backend/arm7/proofs                            46s   3GB
Nov 26 07:43:28 Starting compiler/backend/arm8/proofs
Nov 26 07:44:14 Finished compiler/backend/arm8/proofs                            45s   3GB
Nov 26 07:44:15 Starting compiler/backend/arm8_asl
Nov 26 07:44:43 Finished compiler/backend/arm8_asl                               27s   1GB
Nov 26 07:44:44 Starting compiler/backend/mips/proofs
Nov 26 07:45:34 Finished compiler/backend/mips/proofs                            48s   3GB
Nov 26 07:45:35 Starting compiler/backend/riscv/proofs
Nov 26 07:46:31 Finished compiler/backend/riscv/proofs                           55s   4GB
Nov 26 07:46:32 Starting compiler/backend/ag32/proofs
Nov 26 08:00:43 Finished compiler/backend/ag32/proofs                         14m09s   6GB
Nov 26 08:00:44 Starting compiler/backend/cv_compute
Nov 26 08:02:33 Finished compiler/backend/cv_compute                           1m48s   3GB
Nov 26 08:02:34 Starting cv_translator
Nov 26 08:22:06 Finished cv_translator                                        19m30s  13GB
Nov 26 08:22:07 Starting candle/set-theory
Nov 26 08:22:53 Finished candle/set-theory                                       44s   1GB
Nov 26 08:22:53 Starting candle/syntax-lib
Nov 26 08:22:55 Finished candle/syntax-lib                                        0s  74MB
Nov 26 08:22:56 Starting candle/standard/syntax
Nov 26 08:23:16 Finished candle/standard/syntax                                  19s   1GB
Nov 26 08:23:17 Starting candle/standard/semantics
Nov 26 08:25:58 Finished candle/standard/semantics                             2m40s   2GB
Nov 26 08:25:59 Starting candle/standard/monadic
Nov 26 08:26:01 Finished candle/standard/monadic                                  0s 103MB
Nov 26 08:26:02 Starting candle/standard/ml_kernel
Nov 26 08:28:08 Finished candle/standard/ml_kernel                             2m05s   5GB
Nov 26 08:28:09 Starting candle/overloading/syntax
Nov 26 08:31:46 Finished candle/overloading/syntax                             3m36s   2GB
Nov 26 08:31:47 Starting candle/overloading/semantics
Nov 26 08:43:29 Finished candle/overloading/semantics                         11m41s   9GB
Nov 26 08:43:30 Starting candle/overloading/monadic
Nov 26 08:45:54 Finished candle/overloading/monadic                            2m23s   2GB
Nov 26 08:45:55 Starting candle/overloading/ml_kernel
Nov 26 08:53:53 Finished candle/overloading/ml_kernel                          7m56s   7GB
Nov 26 08:53:53 Starting candle/overloading/ml_checker
Nov 26 08:56:38 Finished candle/overloading/ml_checker                         2m43s   7GB
Nov 26 08:56:39 Starting candle/prover
Nov 26 09:07:06 Finished candle/prover                                        10m25s   5GB
Nov 26 09:07:07 Starting pancake
Nov 26 09:07:33 Finished pancake                                                 25s 950MB
Nov 26 09:07:34 Starting pancake/ffi
Nov 26 09:07:35 Finished pancake/ffi                                              0s  16MB
Nov 26 09:07:36 Starting pancake/semantics
Nov 26 09:09:44 Finished pancake/semantics                                     2m07s   2GB
Nov 26 09:09:45 Starting pancake/parser
Nov 26 09:10:09 Finished pancake/parser                                          23s 528MB
Nov 26 09:10:10 Starting pancake/proofs
Nov 26 09:26:11 Finished pancake/proofs                                       15m59s   7GB
Nov 26 09:26:12 Starting compiler/dafny
Nov 26 09:28:36 Finished compiler/dafny                                        2m23s   8GB
Nov 26 09:28:37 Starting compiler/dafny/translation
Nov 26 09:56:58 Finished compiler/dafny/translation                           28m20s  17GB
Nov 26 09:56:59 Starting compiler/dafny/compilation
Nov 26 09:59:25 Finished compiler/dafny/compilation                            2m25s   8GB
Nov 26 09:59:26 Starting compiler/dafny/semantics
Nov 26 10:00:02 Finished compiler/dafny/semantics                                34s   1GB
Nov 26 10:00:02 Starting characteristic/examples
Nov 26 10:01:31 Finished characteristic/examples                               1m27s   5GB
Nov 26 10:01:32 Starting tutorial/solutions
Nov 26 10:04:02 Finished tutorial/solutions                                    2m28s   3GB
Nov 26 10:04:03 Starting translator/monadic/examples
Nov 26 10:07:14 Finished translator/monadic/examples                           3m10s   4GB
Nov 26 10:07:15 Starting examples
Nov 26 10:19:28 Finished examples                                             12m11s   5GB
Nov 26 10:19:29 Starting examples/compilation/x64
Nov 26 10:27:27 Finished examples/compilation/x64                              7m56s   7GB
Nov 26 10:27:28 Starting examples/compilation/x64/proofs
Nov 26 10:32:33 Finished examples/compilation/x64/proofs                       5m04s   8GB
Nov 26 10:32:34 Starting examples/compilation/ag32
Nov 26 10:34:53 Finished examples/compilation/ag32                             2m18s   3GB
Nov 26 10:34:54 Starting examples/compilation/ag32/proofs
Nov 26 10:36:50 Finished examples/compilation/ag32/proofs                      1m55s   8GB
Nov 26 10:36:51 Starting examples/compilation/to_word
Nov 26 10:41:03 Finished examples/compilation/to_word                          4m10s  12GB
Nov 26 10:41:03 Starting examples/lpr_checker
Nov 26 10:41:34 Finished examples/lpr_checker                                    29s   1GB
Nov 26 10:41:34 Starting examples/lpr_checker/array
Nov 26 11:07:56 Finished examples/lpr_checker/array                           26m20s  28GB
Nov 26 11:07:57 Starting examples/lpr_checker/array/compilation
Nov 26 11:09:43 Finished examples/lpr_checker/array/compilation                1m45s   7GB
Nov 26 11:09:44 Starting examples/lpr_checker/array/compilation/proofs
Nov 26 11:11:41 Finished examples/lpr_checker/array/compilation/proofs         1m55s   8GB
Nov 26 11:11:42 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 26 11:13:35 Finished examples/lpr_checker/array/compilation/proofsARM8     1m52s   9GB
Nov 26 11:13:36 Starting .
Nov 26 11:13:40 Finished .                                                        2s 288MB
Nov 26 11:13:41 Starting examples/xlrup_checker
Nov 26 11:14:15 Finished examples/xlrup_checker                                  33s   1GB
Nov 26 11:14:16 Starting examples/xlrup_checker/array
Nov 26 11:27:09 Finished examples/xlrup_checker/array                         12m52s   7GB
Nov 26 11:27:10 Starting examples/xlrup_checker/array/compilation
Nov 26 11:28:11 Finished examples/xlrup_checker/array/compilation                59s   4GB
Nov 26 11:28:12 Starting examples/xlrup_checker/array/compilation/proofs
Nov 26 11:30:08 Finished examples/xlrup_checker/array/compilation/proofs       1m55s   7GB
Nov 26 11:30:09 Starting examples/pseudo_bool
Nov 26 11:31:39 Finished examples/pseudo_bool                                  1m29s   2GB
Nov 26 11:31:40 Starting examples/pseudo_bool/cnf_encoding
Nov 26 11:32:21 Finished examples/pseudo_bool/cnf_encoding                       40s   1GB
Nov 26 11:32:22 Starting examples/pseudo_bool/graph_encoding
Nov 26 11:33:18 Finished examples/pseudo_bool/graph_encoding                     54s   2GB
Nov 26 11:33:19 Starting examples/pseudo_bool/array
Nov 26 12:41:33 Finished examples/pseudo_bool/array                         1h08m12s  42GB
Nov 26 12:41:34 Starting examples/pseudo_bool/array/compilation
Nov 26 12:50:38 Finished examples/pseudo_bool/array/compilation                9m02s  16GB
Nov 26 12:50:39 Starting examples/pseudo_bool/array/compilation/proofs
Nov 26 12:55:01 Finished examples/pseudo_bool/array/compilation/proofs         4m21s   9GB
Nov 26 12:55:02 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 26 12:57:01 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m57s   9GB
Nov 26 12:57:02 Starting examples/opentheory
Nov 26 13:05:36 Finished examples/opentheory                                   8m32s   5GB
Nov 26 13:05:37 Starting examples/opentheory
Nov 26 13:05:39 Finished examples/opentheory                                      1s 131MB
Nov 26 13:05:39 Starting examples/opentheory/compilation
Nov 26 13:07:07 Finished examples/opentheory/compilation                       1m26s   5GB
Nov 26 13:07:08 Starting examples/opentheory/compilation/proofs
Nov 26 13:09:00 Finished examples/opentheory/compilation/proofs                1m51s   7GB
Nov 26 13:09:01 Starting examples/opentheory/compilation/ag32
Nov 26 13:10:38 Finished examples/opentheory/compilation/ag32                  1m36s   6GB
Nov 26 13:10:39 Starting examples/opentheory/compilation/ag32/proofs
Nov 26 13:13:15 Finished examples/opentheory/compilation/ag32/proofs           2m34s  13GB
Nov 26 13:13:15 Starting examples/sat_encodings
Nov 26 13:14:15 Finished examples/sat_encodings                                  59s 902MB
Nov 26 13:14:16 Starting examples/sat_encodings/case_studies
Nov 26 13:16:26 Finished examples/sat_encodings/case_studies                   2m08s   2GB
Nov 26 13:16:27 Starting examples/sat_encodings/translation
Nov 26 13:20:02 Finished examples/sat_encodings/translation                    3m35s   1GB
Nov 26 13:20:03 Starting examples/sat_encodings/translation/compilation
Nov 26 13:21:57 Finished examples/sat_encodings/translation/compilation        1m52s   4GB
Nov 26 13:21:58 Starting examples/deflate
Nov 26 13:22:26 Finished examples/deflate                                        26s 702MB
Nov 26 13:22:27 Starting examples/deflate/translation
Nov 26 13:23:25 Finished examples/deflate/translation                            56s   2GB
Nov 26 13:23:26 Starting examples/deflate/translation/compilation
Nov 26 13:24:15 Finished examples/deflate/translation/compilation                48s   3GB
Nov 26 13:24:16 Starting examples/vipr
Nov 26 13:28:03 Finished examples/vipr                                         3m46s   7GB
Nov 26 13:28:03 Starting examples/vipr/compilation
Nov 26 13:29:01 Finished examples/vipr/compilation                               56s   4GB
Nov 26 13:29:02 Starting translator/okasaki-examples
Nov 26 13:33:17 Finished translator/okasaki-examples                           4m13s   3GB
Nov 26 13:33:18 Starting translator/other-examples
Nov 26 13:34:33 Finished translator/other-examples                             1m14s   3GB
Nov 26 13:34:34 Starting compiler/parsing/tests
Nov 26 13:35:12 Finished compiler/parsing/tests                                  37s   2GB
Nov 26 13:35:13 Starting compiler/inference/tests
Nov 26 13:35:58 Finished compiler/inference/tests                                44s   3GB
Nov 26 13:35:59 Starting compiler/printing/test
Nov 26 13:37:40 Finished compiler/printing/test                                1m39s   6GB
Nov 26 13:37:41 Starting icing/flover
Nov 26 14:14:42 Finished icing/flover                                         36m59s   4GB
Nov 26 14:14:43 Starting icing/
Nov 26 14:42:14 Finished icing/                                               27m29s   5GB
Nov 26 14:42:14 Starting icing/examples
Nov 26 14:44:01 Finished icing/examples                                        1m45s   5GB
Nov 26 14:44:02 Starting compiler/repl
Nov 26 14:53:13 Finished compiler/repl                                         9m10s  11GB
Nov 26 14:53:14 Starting unverified/sexpr-bootstrap/x64/64
Nov 26 15:07:39 Finished unverified/sexpr-bootstrap/x64/64                    13m58s  17GB
Nov 26 15:07:40 Starting unverified/sexpr-bootstrap/x64/32
Nov 26 15:19:11 Finished unverified/sexpr-bootstrap/x64/32                    11m08s  16GB
Nov 26 15:19:12 Starting compiler/benchmarks
Nov 26 15:19:57 Finished compiler/benchmarks                                     44s 711MB
Nov 26 15:19:58 Starting compiler/bootstrap/compilation/x64/64
Nov 26 15:44:43 Finished compiler/bootstrap/compilation/x64/64                24m31s  88GB
Nov 26 15:44:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 26 16:09:29 Finished compiler/bootstrap/compilation/x64/64/proofs         24m44s  54GB
Nov 26 16:09:30 Starting compiler/bootstrap/compilation/x64/32
Nov 26 16:34:55 Finished compiler/bootstrap/compilation/x64/32                25m15s  70GB
Nov 26 16:34:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 26 16:40:02 Finished compiler/bootstrap/compilation/x64/32/proofs          5m05s  25GB
Nov 26 16:40:03 Starting compiler/bootstrap/compilation/arm8/64
Nov 26 17:14:00 Finished compiler/bootstrap/compilation/arm8/64               33m47s  62GB
Nov 26 17:14:01 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 26 17:20:02 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m00s  32GB
Nov 26 17:20:03 Starting compiler/bootstrap/compilation/ag32/32
Nov 26 17:45:04 Finished compiler/bootstrap/compilation/ag32/32               25m00s  72GB
Nov 26 17:45:05 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 26 17:50:33 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m27s  29GB
Nov 26 17:50:34 SUCCESS