Job 2422

CakeML:37bdb527a51600ca04737dfb07d5a5f7b20ead83
  Merge pull request #1003 from CakeML/icing-fix [Jun 24 20:22:52]
HOL:493fc3fcd7d8390b7d85861775b6e56fd6b17d9f
  Remove some unicode [Jun 18 04:19:36]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Jun 24 20:30:11 Claimed job
Jun 24 20:30:16 Reusing HOL
Jun 24 20:30:26 Starting developers
Jun 24 20:30:30 Finished developers                                               2s 213MB
Jun 24 20:30:31 Starting developers/bin
Jun 24 20:30:48 Finished developers/bin                                          16s   1GB
Jun 24 20:30:49 Starting compiler/proofs
Jun 24 22:21:39 Finished compiler/proofs                                    1h50m48s  34GB
Jun 24 22:21:40 Starting compiler/bootstrap/translation
Jun 25 06:41:11 Finished compiler/bootstrap/translation                     8h19m29s  80GB
Jun 25 06:41:12 Starting semantics/ffi
Jun 25 06:41:21 Finished semantics/ffi                                            8s 725MB
Jun 25 06:41:22 Starting semantics
Jun 25 06:41:23 Finished semantics                                                0s  69MB
Jun 25 06:41:24 Starting semantics/proofs
Jun 25 06:42:01 Finished semantics/proofs                                        35s   1GB
Jun 25 06:42:02 Starting semantics/alt_semantics
Jun 25 06:42:43 Finished semantics/alt_semantics                                 40s   1GB
Jun 25 06:42:44 Starting semantics/alt_semantics/proofs
Jun 25 06:53:54 Finished semantics/alt_semantics/proofs                       11m08s   4GB
Jun 25 06:53:55 Starting basis/pure
Jun 25 06:53:56 Finished basis/pure                                               0s  70MB
Jun 25 06:53:57 Starting translator
Jun 25 06:55:41 Finished translator                                            1m42s   3GB
Jun 25 06:55:42 Starting compiler/parsing
Jun 25 06:55:43 Finished compiler/parsing                                         0s  69MB
Jun 25 06:55:44 Starting characteristic
Jun 25 06:55:45 Finished characteristic                                           0s  93MB
Jun 25 06:55:46 Starting translator/monadic
Jun 25 06:55:48 Finished translator/monadic                                       0s  97MB
Jun 25 06:55:49 Starting basis
Jun 25 06:59:20 Finished basis                                                 3m30s   6GB
Jun 25 06:59:21 Starting compiler/inference
Jun 25 06:59:23 Finished compiler/inference                                       0s 104MB
Jun 25 06:59:24 Starting compiler/backend/reg_alloc
Jun 25 06:59:25 Finished compiler/backend/reg_alloc                               0s  67MB
Jun 25 06:59:26 Starting compiler/backend/gc
Jun 25 06:59:28 Finished compiler/backend/gc                                      0s 144MB
Jun 25 06:59:29 Starting compiler/backend
Jun 25 06:59:49 Finished compiler/backend                                        19s   1GB
Jun 25 06:59:50 Starting compiler/encoders/asm
Jun 25 06:59:52 Finished compiler/encoders/asm                                    0s  89MB
Jun 25 06:59:53 Starting compiler/encoders/x64
Jun 25 06:59:54 Finished compiler/encoders/x64                                    0s  94MB
Jun 25 06:59:55 Starting compiler/encoders/arm7
Jun 25 06:59:57 Finished compiler/encoders/arm7                                   0s  98MB
Jun 25 06:59:57 Starting compiler/encoders/arm8
Jun 25 06:59:59 Finished compiler/encoders/arm8                                   0s 102MB
Jun 25 07:00:00 Starting compiler/encoders/arm8_asl
Jun 25 07:02:15 Finished compiler/encoders/arm8_asl                            2m13s   1GB
Jun 25 07:02:15 Starting compiler/encoders/mips
Jun 25 07:02:17 Finished compiler/encoders/mips                                   0s  93MB
Jun 25 07:02:18 Starting compiler/encoders/riscv
Jun 25 07:02:20 Finished compiler/encoders/riscv                                  0s 100MB
Jun 25 07:02:20 Starting compiler/encoders/ag32
Jun 25 07:02:22 Finished compiler/encoders/ag32                                   0s  96MB
Jun 25 07:02:23 Starting compiler/backend/x64
Jun 25 07:02:25 Finished compiler/backend/x64                                     0s 135MB
Jun 25 07:02:26 Starting compiler/backend/arm7
Jun 25 07:02:28 Finished compiler/backend/arm7                                    0s 135MB
Jun 25 07:02:28 Starting compiler/backend/arm8
Jun 25 07:02:30 Finished compiler/backend/arm8                                    0s 135MB
Jun 25 07:02:31 Starting compiler/backend/mips
Jun 25 07:02:33 Finished compiler/backend/mips                                    0s 135MB
Jun 25 07:02:34 Starting compiler/backend/riscv
Jun 25 07:02:36 Finished compiler/backend/riscv                                   0s 135MB
Jun 25 07:02:37 Starting compiler/backend/ag32
Jun 25 07:03:59 Finished compiler/backend/ag32                                 1m21s   3GB
Jun 25 07:04:00 Starting compiler/parsing/proofs
Jun 25 07:04:01 Finished compiler/parsing/proofs                                  0s  77MB
Jun 25 07:04:02 Starting compiler/inference/proofs
Jun 25 07:04:04 Finished compiler/inference/proofs                                0s  95MB
Jun 25 07:04:04 Starting compiler/backend/semantics
Jun 25 07:07:58 Finished compiler/backend/semantics                            3m52s   3GB
Jun 25 07:07:59 Starting compiler/backend/reg_alloc/proofs
Jun 25 07:08:00 Finished compiler/backend/reg_alloc/proofs                        0s  96MB
Jun 25 07:08:01 Starting compiler/backend/proofs
Jun 25 07:09:09 Finished compiler/backend/proofs                               1m06s   4GB
Jun 25 07:09:10 Starting compiler/backend/serialiser
Jun 25 07:09:12 Finished compiler/backend/serialiser                              0s 144MB
Jun 25 07:09:13 Starting compiler/encoders/x64/proofs
Jun 25 07:18:46 Finished compiler/encoders/x64/proofs                          9m32s   4GB
Jun 25 07:18:47 Starting compiler/encoders/arm7/proofs
Jun 25 07:31:34 Finished compiler/encoders/arm7/proofs                        12m46s   8GB
Jun 25 07:31:35 Starting compiler/encoders/arm8/proofs
Jun 25 07:38:12 Finished compiler/encoders/arm8/proofs                         6m35s   6GB
Jun 25 07:38:13 Starting compiler/encoders/arm8_asl/proofs
Jun 25 07:52:12 Finished compiler/encoders/arm8_asl/proofs                    13m58s   4GB
Jun 25 07:52:13 Starting compiler/encoders/mips/proofs
Jun 25 08:02:22 Finished compiler/encoders/mips/proofs                        10m07s   5GB
Jun 25 08:02:22 Starting compiler/encoders/riscv/proofs
Jun 25 08:10:36 Finished compiler/encoders/riscv/proofs                        8m12s   4GB
Jun 25 08:10:37 Starting compiler/encoders/ag32/proofs
Jun 25 08:12:59 Finished compiler/encoders/ag32/proofs                         2m21s   2GB
Jun 25 08:13:00 Starting compiler/backend/x64/proofs
Jun 25 08:13:43 Finished compiler/backend/x64/proofs                             42s   3GB
Jun 25 08:13:44 Starting compiler/backend/arm7/proofs
Jun 25 08:14:32 Finished compiler/backend/arm7/proofs                            46s   3GB
Jun 25 08:14:33 Starting compiler/backend/arm8/proofs
Jun 25 08:15:14 Finished compiler/backend/arm8/proofs                            40s   2GB
Jun 25 08:15:15 Starting compiler/backend/arm8_asl
Jun 25 08:15:42 Finished compiler/backend/arm8_asl                               26s   1GB
Jun 25 08:15:43 Starting compiler/backend/mips/proofs
Jun 25 08:16:30 Finished compiler/backend/mips/proofs                            45s   3GB
Jun 25 08:16:31 Starting compiler/backend/riscv/proofs
Jun 25 08:17:24 Finished compiler/backend/riscv/proofs                           52s   4GB
Jun 25 08:17:25 Starting compiler/backend/ag32/proofs
Jun 25 08:31:59 Finished compiler/backend/ag32/proofs                         14m32s   6GB
Jun 25 08:32:00 Starting compiler/backend/cv_compute
Jun 25 08:33:42 Finished compiler/backend/cv_compute                           1m41s   3GB
Jun 25 08:33:43 Starting cv_translator
Jun 25 08:52:46 Finished cv_translator                                        19m01s  11GB
Jun 25 08:52:47 Starting candle/set-theory
Jun 25 08:53:35 Finished candle/set-theory                                       47s   1GB
Jun 25 08:53:36 Starting candle/syntax-lib
Jun 25 08:53:37 Finished candle/syntax-lib                                        0s  77MB
Jun 25 08:53:38 Starting candle/standard/syntax
Jun 25 08:53:56 Finished candle/standard/syntax                                  17s   1GB
Jun 25 08:53:57 Starting candle/standard/semantics
Jun 25 08:56:36 Finished candle/standard/semantics                             2m38s   3GB
Jun 25 08:56:37 Starting candle/standard/monadic
Jun 25 08:56:39 Finished candle/standard/monadic                                  0s 106MB
Jun 25 08:56:40 Starting candle/standard/ml_kernel
Jun 25 08:58:33 Finished candle/standard/ml_kernel                             1m52s   6GB
Jun 25 08:58:34 Starting candle/overloading/syntax
Jun 25 09:02:07 Finished candle/overloading/syntax                             3m32s   2GB
Jun 25 09:02:08 Starting candle/overloading/semantics
Jun 25 09:13:36 Finished candle/overloading/semantics                         11m27s   7GB
Jun 25 09:13:37 Starting candle/overloading/monadic
Jun 25 09:16:21 Finished candle/overloading/monadic                            2m43s   3GB
Jun 25 09:16:22 Starting candle/overloading/ml_kernel
Jun 25 09:24:05 Finished candle/overloading/ml_kernel                          7m42s   7GB
Jun 25 09:24:06 Starting candle/overloading/ml_checker
Jun 25 09:26:43 Finished candle/overloading/ml_checker                         2m36s   7GB
Jun 25 09:26:44 Starting candle/prover
Jun 25 09:37:03 Finished candle/prover                                        10m18s   5GB
Jun 25 09:37:04 Starting pancake
Jun 25 09:38:13 Finished pancake                                               1m08s   1GB
Jun 25 09:38:14 Starting pancake/ffi
Jun 25 09:38:15 Finished pancake/ffi                                              0s  23MB
Jun 25 09:38:16 Starting pancake/semantics
Jun 25 09:41:03 Finished pancake/semantics                                     2m46s   3GB
Jun 25 09:41:04 Starting pancake/parser
Jun 25 09:41:37 Finished pancake/parser                                          31s   2GB
Jun 25 09:41:38 Starting pancake/proofs
Jun 25 10:12:59 Finished pancake/proofs                                       31m19s   9GB
Jun 25 10:12:59 Starting characteristic/examples
Jun 25 10:14:39 Finished characteristic/examples                               1m38s   6GB
Jun 25 10:14:40 Starting tutorial/solutions
Jun 25 10:17:21 Finished tutorial/solutions                                    2m40s   5GB
Jun 25 10:17:22 Starting translator/monadic/examples
Jun 25 10:21:21 Finished translator/monadic/examples                           3m57s   5GB
Jun 25 10:21:22 Starting examples
Jun 25 10:36:08 Finished examples                                             14m44s   8GB
Jun 25 10:36:09 Starting examples/compilation/x64
Jun 25 10:45:20 Finished examples/compilation/x64                              9m10s   7GB
Jun 25 10:45:21 Starting examples/compilation/x64/proofs
Jun 25 10:49:56 Finished examples/compilation/x64/proofs                       4m34s   9GB
Jun 25 10:49:57 Starting examples/compilation/ag32
Jun 25 10:52:33 Finished examples/compilation/ag32                             2m34s   4GB
Jun 25 10:52:34 Starting examples/compilation/ag32/proofs
Jun 25 10:54:17 Finished examples/compilation/ag32/proofs                      1m42s  10GB
Jun 25 10:54:18 Starting examples/compilation/to_word
Jun 25 10:58:15 Finished examples/compilation/to_word                          3m56s  12GB
Jun 25 10:58:16 Starting examples/lpr_checker
Jun 25 10:59:37 Finished examples/lpr_checker                                  1m20s   2GB
Jun 25 10:59:38 Starting examples/lpr_checker/array
Jun 25 11:29:00 Finished examples/lpr_checker/array                           29m20s  28GB
Jun 25 11:29:01 Starting examples/lpr_checker/array/compilation
Jun 25 11:31:29 Finished examples/lpr_checker/array/compilation                2m27s   8GB
Jun 25 11:31:30 Starting examples/lpr_checker/array/compilation/proofs
Jun 25 11:33:21 Finished examples/lpr_checker/array/compilation/proofs         1m50s   9GB
Jun 25 11:33:22 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 25 11:35:09 Finished examples/lpr_checker/array/compilation/proofsARM8     1m45s   8GB
Jun 25 11:35:10 Starting examples/xlrup_checker
Jun 25 11:36:23 Finished examples/xlrup_checker                                1m11s   2GB
Jun 25 11:36:24 Starting examples/xlrup_checker/array
Jun 25 11:51:32 Finished examples/xlrup_checker/array                         15m07s   6GB
Jun 25 11:51:33 Starting examples/xlrup_checker/array/compilation
Jun 25 11:52:58 Finished examples/xlrup_checker/array/compilation              1m24s   6GB
Jun 25 11:52:59 Starting examples/xlrup_checker/array/compilation/proofs
Jun 25 11:54:35 Finished examples/xlrup_checker/array/compilation/proofs       1m35s   9GB
Jun 25 11:54:36 Starting examples/pseudo_bool
Jun 25 11:56:45 Finished examples/pseudo_bool                                  2m08s   1GB
Jun 25 11:56:46 Starting examples/pseudo_bool/cnf_encoding
Jun 25 11:57:25 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Jun 25 11:57:26 Starting examples/pseudo_bool/graph_encoding
Jun 25 11:58:20 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Jun 25 11:58:21 Starting examples/pseudo_bool/array
Jun 25 13:04:10 Finished examples/pseudo_bool/array                         1h05m47s  38GB
Jun 25 13:04:11 Starting examples/pseudo_bool/array/compilation
Jun 25 13:17:12 Finished examples/pseudo_bool/array/compilation               12m59s  29GB
Jun 25 13:17:13 Starting examples/pseudo_bool/array/compilation/proofs
Jun 25 13:21:09 Finished examples/pseudo_bool/array/compilation/proofs         3m55s   9GB
Jun 25 13:21:10 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 25 13:23:00 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m49s   9GB
Jun 25 13:23:01 Starting examples/opentheory
Jun 25 13:33:50 Finished examples/opentheory                                  10m48s   7GB
Jun 25 13:33:51 Starting examples/opentheory
Jun 25 13:33:53 Finished examples/opentheory                                      0s 131MB
Jun 25 13:33:53 Starting examples/opentheory/compilation
Jun 25 13:35:54 Finished examples/opentheory/compilation                       1m59s   8GB
Jun 25 13:35:55 Starting examples/opentheory/compilation/proofs
Jun 25 13:37:48 Finished examples/opentheory/compilation/proofs                1m52s   8GB
Jun 25 13:37:49 Starting examples/opentheory/compilation/ag32
Jun 25 13:39:54 Finished examples/opentheory/compilation/ag32                  2m04s   9GB
Jun 25 13:39:55 Starting examples/opentheory/compilation/ag32/proofs
Jun 25 13:42:15 Finished examples/opentheory/compilation/ag32/proofs           2m19s  10GB
Jun 25 13:42:16 Starting examples/sat_encodings
Jun 25 13:45:09 Finished examples/sat_encodings                                2m51s   1GB
Jun 25 13:45:09 Starting examples/sat_encodings/case_studies
Jun 25 13:47:16 Finished examples/sat_encodings/case_studies                   2m05s   2GB
Jun 25 13:47:17 Starting examples/sat_encodings/translation
Jun 25 13:53:43 Finished examples/sat_encodings/translation                    6m25s   8GB
Jun 25 13:53:44 Starting examples/sat_encodings/translation/compilation
Jun 25 13:56:04 Finished examples/sat_encodings/translation/compilation        2m19s   6GB
Jun 25 13:56:05 Starting examples/deflate
Jun 25 13:57:29 Finished examples/deflate                                      1m22s   1GB
Jun 25 13:57:30 Starting examples/deflate/translation
Jun 25 13:59:12 Finished examples/deflate/translation                          1m41s   8GB
Jun 25 13:59:13 Starting examples/deflate/translation/compilation
Jun 25 14:00:17 Finished examples/deflate/translation/compilation              1m02s   5GB
Jun 25 14:00:18 Starting examples/vipr
Jun 25 14:04:21 Finished examples/vipr                                         4m01s   6GB
Jun 25 14:04:22 Starting examples/vipr/compilation
Jun 25 14:05:39 Finished examples/vipr/compilation                             1m16s   6GB
Jun 25 14:05:40 Starting translator/okasaki-examples
Jun 25 14:10:51 Finished translator/okasaki-examples                           5m09s   5GB
Jun 25 14:10:52 Starting translator/other-examples
Jun 25 14:12:07 Finished translator/other-examples                             1m13s   3GB
Jun 25 14:12:08 Starting compiler/parsing/tests
Jun 25 14:12:43 Finished compiler/parsing/tests                                  33s   1GB
Jun 25 14:12:43 Starting compiler/inference/tests
Jun 25 14:13:23 Finished compiler/inference/tests                                38s   3GB
Jun 25 14:13:24 Starting compiler/printing/test
Jun 25 14:14:57 Finished compiler/printing/test                                1m31s   7GB
Jun 25 14:14:58 Starting icing/flover
Jun 25 14:52:07 Finished icing/flover                                         37m08s   4GB
Jun 25 14:52:08 Starting icing/
Jun 25 15:20:02 Finished icing/                                               27m53s   9GB
Jun 25 15:20:03 Starting icing/examples
Jun 25 15:21:49 Finished icing/examples                                        1m45s   8GB
Jun 25 15:21:50 Starting compiler/repl
Jun 25 15:30:40 Finished compiler/repl                                         8m48s   9GB
Jun 25 15:30:41 Starting unverified/sexpr-bootstrap/x64/64
Jun 25 15:42:15 Finished unverified/sexpr-bootstrap/x64/64                    11m09s  16GB
Jun 25 15:42:16 Starting unverified/sexpr-bootstrap/x64/32
Jun 25 15:51:39 Finished unverified/sexpr-bootstrap/x64/32                     9m05s  14GB
Jun 25 15:51:40 Starting compiler/benchmarks
Jun 25 15:52:26 Finished compiler/benchmarks                                     44s 713MB
Jun 25 15:52:26 Starting compiler/bootstrap/compilation/x64/64
Jun 25 16:46:03 Finished compiler/bootstrap/compilation/x64/64                53m22s 112GB
Jun 25 16:46:04 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 25 17:09:01 Finished compiler/bootstrap/compilation/x64/64/proofs         22m55s  54GB
Jun 25 17:09:02 Starting compiler/bootstrap/compilation/x64/32
Jun 25 17:46:10 Finished compiler/bootstrap/compilation/x64/32                36m59s  97GB
Jun 25 17:46:10 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 25 17:50:33 Finished compiler/bootstrap/compilation/x64/32/proofs          4m21s  22GB
Jun 25 17:50:34 Starting compiler/bootstrap/compilation/ag32/32
Jun 25 18:26:55 Finished compiler/bootstrap/compilation/ag32/32               36m20s  88GB
Jun 25 18:26:55 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 25 18:32:11 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m14s  29GB
Jun 25 18:32:12 SUCCESS