Job 2523

CakeML:6eebd384c0cb34314a58957d79a6489087db8721
  Add arm8 tar.gz to artefacts [Aug 03 14:16:31]
HOL:718d989039b65d4ab82e8b979876c68c04869da1
  Implement general Quote syntax [Jul 26 07:07:20]
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

Aug 03 14:31:45 Claimed job
Aug 03 14:31:49 Reusing HOL
Aug 03 14:32:00 Starting developers
Aug 03 14:32:03 Finished developers                                               2s 218MB
Aug 03 14:32:04 Starting developers/bin
Aug 03 14:32:15 Finished developers/bin                                           9s   1GB
Aug 03 14:32:16 Starting compiler/proofs
Aug 03 16:24:03 Finished compiler/proofs                                    1h51m46s  32GB
Aug 03 16:24:04 Starting compiler/bootstrap/translation
Aug 04 00:45:35 Finished compiler/bootstrap/translation                     8h21m30s  79GB
Aug 04 00:45:36 Starting semantics/ffi
Aug 04 00:45:45 Finished semantics/ffi                                            7s 657MB
Aug 04 00:45:46 Starting semantics
Aug 04 00:45:47 Finished semantics                                                0s  63MB
Aug 04 00:45:48 Starting semantics/proofs
Aug 04 00:46:27 Finished semantics/proofs                                        38s   2GB
Aug 04 00:46:28 Starting semantics/alt_semantics
Aug 04 00:47:10 Finished semantics/alt_semantics                                 40s   1GB
Aug 04 00:47:10 Starting semantics/alt_semantics/proofs
Aug 04 00:58:18 Finished semantics/alt_semantics/proofs                       11m06s   6GB
Aug 04 00:58:19 Starting basis/pure
Aug 04 00:58:20 Finished basis/pure                                               0s  76MB
Aug 04 00:58:21 Starting translator
Aug 04 01:00:05 Finished translator                                            1m42s   3GB
Aug 04 01:00:06 Starting compiler/parsing
Aug 04 01:00:07 Finished compiler/parsing                                         0s  69MB
Aug 04 01:00:08 Starting characteristic
Aug 04 01:00:10 Finished characteristic                                           0s  94MB
Aug 04 01:00:11 Starting translator/monadic
Aug 04 01:00:12 Finished translator/monadic                                       0s 101MB
Aug 04 01:00:13 Starting basis
Aug 04 01:03:57 Finished basis                                                 3m42s   7GB
Aug 04 01:03:58 Starting compiler/inference
Aug 04 01:03:59 Finished compiler/inference                                       0s 103MB
Aug 04 01:04:00 Starting compiler/backend/reg_alloc
Aug 04 01:04:01 Finished compiler/backend/reg_alloc                               0s  68MB
Aug 04 01:04:02 Starting compiler/backend/gc
Aug 04 01:04:04 Finished compiler/backend/gc                                      0s 147MB
Aug 04 01:04:05 Starting compiler/backend
Aug 04 01:04:23 Finished compiler/backend                                        17s   1GB
Aug 04 01:04:24 Starting compiler/encoders/asm
Aug 04 01:04:26 Finished compiler/encoders/asm                                    0s  91MB
Aug 04 01:04:27 Starting compiler/encoders/x64
Aug 04 01:04:28 Finished compiler/encoders/x64                                    0s 104MB
Aug 04 01:04:29 Starting compiler/encoders/arm7
Aug 04 01:04:31 Finished compiler/encoders/arm7                                   0s  99MB
Aug 04 01:04:31 Starting compiler/encoders/arm8
Aug 04 01:04:33 Finished compiler/encoders/arm8                                   0s 100MB
Aug 04 01:04:34 Starting compiler/encoders/arm8_asl
Aug 04 01:06:50 Finished compiler/encoders/arm8_asl                            2m14s   1GB
Aug 04 01:06:50 Starting compiler/encoders/mips
Aug 04 01:06:52 Finished compiler/encoders/mips                                   0s 100MB
Aug 04 01:06:53 Starting compiler/encoders/riscv
Aug 04 01:06:54 Finished compiler/encoders/riscv                                  0s 100MB
Aug 04 01:06:55 Starting compiler/encoders/ag32
Aug 04 01:06:57 Finished compiler/encoders/ag32                                   0s  92MB
Aug 04 01:06:58 Starting compiler/backend/x64
Aug 04 01:06:59 Finished compiler/backend/x64                                     0s 137MB
Aug 04 01:07:00 Starting compiler/backend/arm7
Aug 04 01:07:02 Finished compiler/backend/arm7                                    0s 139MB
Aug 04 01:07:03 Starting compiler/backend/arm8
Aug 04 01:07:05 Finished compiler/backend/arm8                                    0s 139MB
Aug 04 01:07:06 Starting compiler/backend/mips
Aug 04 01:07:07 Finished compiler/backend/mips                                    0s 139MB
Aug 04 01:07:08 Starting compiler/backend/riscv
Aug 04 01:07:10 Finished compiler/backend/riscv                                   0s 139MB
Aug 04 01:07:11 Starting compiler/backend/ag32
Aug 04 01:08:32 Finished compiler/backend/ag32                                 1m20s   3GB
Aug 04 01:08:33 Starting compiler/parsing/proofs
Aug 04 01:08:34 Finished compiler/parsing/proofs                                  0s  76MB
Aug 04 01:08:35 Starting compiler/inference/proofs
Aug 04 01:08:37 Finished compiler/inference/proofs                                0s  99MB
Aug 04 01:08:38 Starting compiler/backend/semantics
Aug 04 01:12:27 Finished compiler/backend/semantics                            3m48s   3GB
Aug 04 01:12:28 Starting compiler/backend/reg_alloc/proofs
Aug 04 01:12:29 Finished compiler/backend/reg_alloc/proofs                        0s  99MB
Aug 04 01:12:30 Starting compiler/backend/proofs
Aug 04 01:13:35 Finished compiler/backend/proofs                               1m03s   3GB
Aug 04 01:13:36 Starting compiler/backend/serialiser
Aug 04 01:13:38 Finished compiler/backend/serialiser                              0s 150MB
Aug 04 01:13:38 Starting compiler/encoders/x64/proofs
Aug 04 01:22:59 Finished compiler/encoders/x64/proofs                          9m19s   5GB
Aug 04 01:23:00 Starting compiler/encoders/arm7/proofs
Aug 04 01:35:49 Finished compiler/encoders/arm7/proofs                        12m48s   6GB
Aug 04 01:35:50 Starting compiler/encoders/arm8/proofs
Aug 04 01:42:12 Finished compiler/encoders/arm8/proofs                         6m21s   7GB
Aug 04 01:42:13 Starting compiler/encoders/arm8_asl/proofs
Aug 04 01:56:07 Finished compiler/encoders/arm8_asl/proofs                    13m52s   4GB
Aug 04 01:56:08 Starting compiler/encoders/mips/proofs
Aug 04 02:06:11 Finished compiler/encoders/mips/proofs                        10m02s   5GB
Aug 04 02:06:12 Starting compiler/encoders/riscv/proofs
Aug 04 02:14:22 Finished compiler/encoders/riscv/proofs                        8m08s   5GB
Aug 04 02:14:22 Starting compiler/encoders/ag32/proofs
Aug 04 02:16:47 Finished compiler/encoders/ag32/proofs                         2m23s   2GB
Aug 04 02:16:48 Starting compiler/backend/x64/proofs
Aug 04 02:17:30 Finished compiler/backend/x64/proofs                             41s   3GB
Aug 04 02:17:31 Starting compiler/backend/arm7/proofs
Aug 04 02:18:16 Finished compiler/backend/arm7/proofs                            43s   2GB
Aug 04 02:18:17 Starting compiler/backend/arm8/proofs
Aug 04 02:18:59 Finished compiler/backend/arm8/proofs                            40s   3GB
Aug 04 02:18:59 Starting compiler/backend/arm8_asl
Aug 04 02:19:31 Finished compiler/backend/arm8_asl                               30s   2GB
Aug 04 02:19:32 Starting compiler/backend/mips/proofs
Aug 04 02:20:20 Finished compiler/backend/mips/proofs                            47s   3GB
Aug 04 02:20:21 Starting compiler/backend/riscv/proofs
Aug 04 02:21:12 Finished compiler/backend/riscv/proofs                           50s   4GB
Aug 04 02:21:13 Starting compiler/backend/ag32/proofs
Aug 04 02:35:17 Finished compiler/backend/ag32/proofs                         14m03s   6GB
Aug 04 02:35:18 Starting compiler/backend/cv_compute
Aug 04 02:37:02 Finished compiler/backend/cv_compute                           1m43s   4GB
Aug 04 02:37:03 Starting cv_translator
Aug 04 02:56:08 Finished cv_translator                                        19m04s  10GB
Aug 04 02:56:09 Starting candle/set-theory
Aug 04 02:56:59 Finished candle/set-theory                                       48s   1GB
Aug 04 02:57:00 Starting candle/syntax-lib
Aug 04 02:57:01 Finished candle/syntax-lib                                        0s  71MB
Aug 04 02:57:02 Starting candle/standard/syntax
Aug 04 02:57:19 Finished candle/standard/syntax                                  16s   1GB
Aug 04 02:57:20 Starting candle/standard/semantics
Aug 04 02:59:56 Finished candle/standard/semantics                             2m34s   3GB
Aug 04 02:59:57 Starting candle/standard/monadic
Aug 04 02:59:58 Finished candle/standard/monadic                                  0s 106MB
Aug 04 02:59:59 Starting candle/standard/ml_kernel
Aug 04 03:02:00 Finished candle/standard/ml_kernel                             1m59s   3GB
Aug 04 03:02:00 Starting candle/overloading/syntax
Aug 04 03:05:34 Finished candle/overloading/syntax                             3m33s   3GB
Aug 04 03:05:35 Starting candle/overloading/semantics
Aug 04 03:17:08 Finished candle/overloading/semantics                         11m32s   7GB
Aug 04 03:17:09 Starting candle/overloading/monadic
Aug 04 03:19:47 Finished candle/overloading/monadic                            2m36s   3GB
Aug 04 03:19:48 Starting candle/overloading/ml_kernel
Aug 04 03:27:30 Finished candle/overloading/ml_kernel                          7m40s   7GB
Aug 04 03:27:30 Starting candle/overloading/ml_checker
Aug 04 03:30:08 Finished candle/overloading/ml_checker                         2m36s   7GB
Aug 04 03:30:09 Starting candle/prover
Aug 04 03:40:21 Finished candle/prover                                        10m11s   5GB
Aug 04 03:40:22 Starting pancake
Aug 04 03:41:32 Finished pancake                                               1m08s   1GB
Aug 04 03:41:33 Starting pancake/ffi
Aug 04 03:41:34 Finished pancake/ffi                                              0s  26MB
Aug 04 03:41:35 Starting pancake/semantics
Aug 04 03:44:27 Finished pancake/semantics                                     2m51s   3GB
Aug 04 03:44:28 Starting pancake/parser
Aug 04 03:45:03 Finished pancake/parser                                          34s   2GB
Aug 04 03:45:04 Starting pancake/proofs
Aug 04 04:16:25 Finished pancake/proofs                                       31m19s  12GB
Aug 04 04:16:26 Starting characteristic/examples
Aug 04 04:18:05 Finished characteristic/examples                               1m37s   6GB
Aug 04 04:18:06 Starting tutorial/solutions
Aug 04 04:20:42 Finished tutorial/solutions                                    2m35s   4GB
Aug 04 04:20:43 Starting translator/monadic/examples
Aug 04 04:24:41 Finished translator/monadic/examples                           3m57s   5GB
Aug 04 04:24:42 Starting examples
Aug 04 04:39:01 Finished examples                                             14m17s   8GB
Aug 04 04:39:02 Starting examples/compilation/x64
Aug 04 04:48:09 Finished examples/compilation/x64                              9m06s   7GB
Aug 04 04:48:10 Starting examples/compilation/x64/proofs
Aug 04 04:52:35 Finished examples/compilation/x64/proofs                       4m23s   8GB
Aug 04 04:52:36 Starting examples/compilation/ag32
Aug 04 04:55:13 Finished examples/compilation/ag32                             2m36s   5GB
Aug 04 04:55:14 Starting examples/compilation/ag32/proofs
Aug 04 04:56:58 Finished examples/compilation/ag32/proofs                      1m42s   9GB
Aug 04 04:56:58 Starting examples/compilation/to_word
Aug 04 05:01:01 Finished examples/compilation/to_word                          4m01s  13GB
Aug 04 05:01:01 Starting examples/lpr_checker
Aug 04 05:02:22 Finished examples/lpr_checker                                  1m19s   2GB
Aug 04 05:02:23 Starting examples/lpr_checker/array
Aug 04 05:31:03 Finished examples/lpr_checker/array                           28m38s  22GB
Aug 04 05:31:04 Starting examples/lpr_checker/array/compilation
Aug 04 05:33:34 Finished examples/lpr_checker/array/compilation                2m29s   8GB
Aug 04 05:33:35 Starting examples/lpr_checker/array/compilation/proofs
Aug 04 05:35:24 Finished examples/lpr_checker/array/compilation/proofs         1m48s  10GB
Aug 04 05:35:25 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 04 05:37:13 Finished examples/lpr_checker/array/compilation/proofsARM8     1m46s   9GB
Aug 04 05:37:14 Starting examples/xlrup_checker
Aug 04 05:38:27 Finished examples/xlrup_checker                                1m12s   2GB
Aug 04 05:38:28 Starting examples/xlrup_checker/array
Aug 04 05:53:50 Finished examples/xlrup_checker/array                         15m20s   9GB
Aug 04 05:53:50 Starting examples/xlrup_checker/array/compilation
Aug 04 05:55:15 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Aug 04 05:55:16 Starting examples/xlrup_checker/array/compilation/proofs
Aug 04 05:57:03 Finished examples/xlrup_checker/array/compilation/proofs       1m46s   8GB
Aug 04 05:57:04 Starting examples/pseudo_bool
Aug 04 05:59:17 Finished examples/pseudo_bool                                  2m11s   2GB
Aug 04 05:59:17 Starting examples/pseudo_bool/cnf_encoding
Aug 04 05:59:56 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Aug 04 05:59:57 Starting examples/pseudo_bool/graph_encoding
Aug 04 06:00:50 Finished examples/pseudo_bool/graph_encoding                     51s   1GB
Aug 04 06:00:51 Starting examples/pseudo_bool/array
Aug 04 07:07:27 Finished examples/pseudo_bool/array                         1h06m35s  30GB
Aug 04 07:07:28 Starting examples/pseudo_bool/array/compilation
Aug 04 07:20:22 Finished examples/pseudo_bool/array/compilation               12m53s  29GB
Aug 04 07:20:23 Starting examples/pseudo_bool/array/compilation/proofs
Aug 04 07:24:18 Finished examples/pseudo_bool/array/compilation/proofs         3m53s  10GB
Aug 04 07:24:19 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 04 07:26:06 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m46s   8GB
Aug 04 07:26:07 Starting examples/opentheory
Aug 04 07:36:50 Finished examples/opentheory                                  10m41s   7GB
Aug 04 07:36:51 Starting examples/opentheory
Aug 04 07:36:53 Finished examples/opentheory                                      0s 133MB
Aug 04 07:36:54 Starting examples/opentheory/compilation
Aug 04 07:38:54 Finished examples/opentheory/compilation                       1m59s   8GB
Aug 04 07:38:55 Starting examples/opentheory/compilation/proofs
Aug 04 07:40:34 Finished examples/opentheory/compilation/proofs                1m37s   7GB
Aug 04 07:40:35 Starting examples/opentheory/compilation/ag32
Aug 04 07:42:39 Finished examples/opentheory/compilation/ag32                  2m02s   8GB
Aug 04 07:42:40 Starting examples/opentheory/compilation/ag32/proofs
Aug 04 07:44:58 Finished examples/opentheory/compilation/ag32/proofs           2m17s  13GB
Aug 04 07:44:59 Starting examples/sat_encodings
Aug 04 07:47:56 Finished examples/sat_encodings                                2m56s   1GB
Aug 04 07:47:57 Starting examples/sat_encodings/case_studies
Aug 04 07:50:06 Finished examples/sat_encodings/case_studies                   2m08s   2GB
Aug 04 07:50:07 Starting examples/sat_encodings/translation
Aug 04 07:56:25 Finished examples/sat_encodings/translation                    6m16s   7GB
Aug 04 07:56:25 Starting examples/sat_encodings/translation/compilation
Aug 04 07:58:45 Finished examples/sat_encodings/translation/compilation        2m18s   6GB
Aug 04 07:58:46 Starting examples/deflate
Aug 04 08:00:10 Finished examples/deflate                                      1m23s   1GB
Aug 04 08:00:11 Starting examples/deflate/translation
Aug 04 08:01:51 Finished examples/deflate/translation                          1m39s   7GB
Aug 04 08:01:52 Starting examples/deflate/translation/compilation
Aug 04 08:02:55 Finished examples/deflate/translation/compilation              1m01s   5GB
Aug 04 08:02:56 Starting examples/vipr
Aug 04 08:06:58 Finished examples/vipr                                         4m01s   6GB
Aug 04 08:06:59 Starting examples/vipr/compilation
Aug 04 08:08:14 Finished examples/vipr/compilation                             1m13s   5GB
Aug 04 08:08:15 Starting translator/okasaki-examples
Aug 04 08:13:28 Finished translator/okasaki-examples                           5m12s   4GB
Aug 04 08:13:29 Starting translator/other-examples
Aug 04 08:14:41 Finished translator/other-examples                             1m11s   3GB
Aug 04 08:14:42 Starting compiler/parsing/tests
Aug 04 08:15:17 Finished compiler/parsing/tests                                  34s   1GB
Aug 04 08:15:18 Starting compiler/inference/tests
Aug 04 08:15:58 Finished compiler/inference/tests                                39s   3GB
Aug 04 08:15:59 Starting compiler/printing/test
Aug 04 08:17:32 Finished compiler/printing/test                                1m32s   7GB
Aug 04 08:17:33 Starting icing/flover
Aug 04 08:54:47 Finished icing/flover                                         37m12s   4GB
Aug 04 08:54:48 Starting icing/
Aug 04 09:22:46 Finished icing/                                               27m56s  10GB
Aug 04 09:22:47 Starting icing/examples
Aug 04 09:24:33 Finished icing/examples                                        1m45s   8GB
Aug 04 09:24:34 Starting compiler/repl
Aug 04 09:33:31 Finished compiler/repl                                         8m56s   9GB
Aug 04 09:33:32 Starting unverified/sexpr-bootstrap/x64/64
Aug 04 09:45:57 Finished unverified/sexpr-bootstrap/x64/64                    12m00s  18GB
Aug 04 09:45:58 Starting unverified/sexpr-bootstrap/x64/32
Aug 04 09:55:42 Finished unverified/sexpr-bootstrap/x64/32                     9m25s  15GB
Aug 04 09:55:43 Starting compiler/benchmarks
Aug 04 09:56:28 Finished compiler/benchmarks                                     43s 713MB
Aug 04 09:56:28 Starting compiler/bootstrap/compilation/x64/64
Aug 04 10:38:56 Finished compiler/bootstrap/compilation/x64/64                42m14s 117GB
Aug 04 10:38:57 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 04 11:01:34 Finished compiler/bootstrap/compilation/x64/64/proofs         22m35s  51GB
Aug 04 11:01:35 Starting compiler/bootstrap/compilation/x64/32
Aug 04 11:40:12 Finished compiler/bootstrap/compilation/x64/32                38m28s  93GB
Aug 04 11:40:13 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 04 11:45:03 Finished compiler/bootstrap/compilation/x64/32/proofs          4m48s  26GB
Aug 04 11:45:04 Starting compiler/bootstrap/compilation/arm8/64
Aug 04 12:39:30 Finished compiler/bootstrap/compilation/arm8/64               54m17s 134GB
Aug 04 12:39:31 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 04 12:44:39 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m06s  31GB
Aug 04 12:44:40 Starting compiler/bootstrap/compilation/ag32/32
Aug 04 13:23:07 Finished compiler/bootstrap/compilation/ag32/32               38m26s  99GB
Aug 04 13:23:08 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 04 13:28:41 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m31s  30GB
Aug 04 13:28:42 SUCCESS