Job 2674

CakeML:b94ca1db7fb392d05ab143a451a30f7a5ba3390d
  Adjust @myreen's editor settings [Oct 18 21:56:34]
HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb
  Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04]
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

Oct 20 09:32:33 Claimed job
Oct 20 09:32:38 Building HOL
Oct 20 09:47:22 Starting developers
Oct 20 09:47:26 Finished developers                                               3s 208MB
Oct 20 09:47:27 Starting developers/bin
Oct 20 09:47:49 Finished developers/bin                                          20s   1GB
Oct 20 09:47:50 Starting compiler/proofs
Oct 20 11:34:42 Finished compiler/proofs                                    1h46m51s  44GB
Oct 20 11:34:43 Starting compiler/bootstrap/translation
Oct 20 20:42:27 Finished compiler/bootstrap/translation                     9h07m42s  86GB
Oct 20 20:42:27 Starting semantics/ffi
Oct 20 20:42:38 Finished semantics/ffi                                            9s 716MB
Oct 20 20:42:38 Starting semantics
Oct 20 20:42:40 Finished semantics                                                0s  69MB
Oct 20 20:42:41 Starting semantics/proofs
Oct 20 20:43:05 Finished semantics/proofs                                        23s 806MB
Oct 20 20:43:06 Starting semantics/alt_semantics
Oct 20 20:43:29 Finished semantics/alt_semantics                                 22s 670MB
Oct 20 20:43:30 Starting semantics/alt_semantics/proofs
Oct 20 20:53:41 Finished semantics/alt_semantics/proofs                       10m10s   3GB
Oct 20 20:53:42 Starting basis/pure
Oct 20 20:53:44 Finished basis/pure                                               0s  72MB
Oct 20 20:53:45 Starting translator
Oct 20 20:55:22 Finished translator                                            1m36s   4GB
Oct 20 20:55:23 Starting compiler/parsing
Oct 20 20:55:25 Finished compiler/parsing                                         0s  72MB
Oct 20 20:55:26 Starting characteristic
Oct 20 20:55:27 Finished characteristic                                           0s  96MB
Oct 20 20:55:28 Starting translator/monadic
Oct 20 20:55:30 Finished translator/monadic                                       0s  99MB
Oct 20 20:55:31 Starting basis
Oct 20 20:57:59 Finished basis                                                 2m27s   3GB
Oct 20 20:58:00 Starting compiler/inference
Oct 20 20:58:02 Finished compiler/inference                                       0s  93MB
Oct 20 20:58:03 Starting compiler/backend/reg_alloc
Oct 20 20:58:04 Finished compiler/backend/reg_alloc                               0s  67MB
Oct 20 20:58:05 Starting compiler/backend/gc
Oct 20 20:58:07 Finished compiler/backend/gc                                      1s 149MB
Oct 20 20:58:08 Starting compiler/backend
Oct 20 20:58:14 Finished compiler/backend                                         4s 319MB
Oct 20 20:58:14 Starting compiler/encoders/asm
Oct 20 20:58:16 Finished compiler/encoders/asm                                    0s  98MB
Oct 20 20:58:17 Starting compiler/encoders/x64
Oct 20 20:58:19 Finished compiler/encoders/x64                                    0s  98MB
Oct 20 20:58:20 Starting compiler/encoders/arm7
Oct 20 20:58:21 Finished compiler/encoders/arm7                                   0s  98MB
Oct 20 20:58:22 Starting compiler/encoders/arm8
Oct 20 20:58:24 Finished compiler/encoders/arm8                                   0s 104MB
Oct 20 20:58:25 Starting compiler/encoders/arm8_asl
Oct 20 23:13:56 Finished compiler/encoders/arm8_asl                         2h15m30s  43GB
Oct 20 23:13:57 Starting compiler/encoders/mips
Oct 20 23:13:58 Finished compiler/encoders/mips                                   0s 102MB
Oct 20 23:13:59 Starting compiler/encoders/riscv
Oct 20 23:14:01 Finished compiler/encoders/riscv                                  0s  99MB
Oct 20 23:14:02 Starting compiler/encoders/ag32
Oct 20 23:14:03 Finished compiler/encoders/ag32                                   0s  89MB
Oct 20 23:14:04 Starting compiler/backend/x64
Oct 20 23:14:07 Finished compiler/backend/x64                                     1s 139MB
Oct 20 23:14:07 Starting compiler/backend/arm7
Oct 20 23:14:10 Finished compiler/backend/arm7                                    1s 139MB
Oct 20 23:14:10 Starting compiler/backend/arm8
Oct 20 23:14:12 Finished compiler/backend/arm8                                    1s 139MB
Oct 20 23:14:13 Starting compiler/backend/mips
Oct 20 23:14:15 Finished compiler/backend/mips                                    1s 139MB
Oct 20 23:14:16 Starting compiler/backend/riscv
Oct 20 23:14:18 Finished compiler/backend/riscv                                   1s 139MB
Oct 20 23:14:19 Starting compiler/backend/ag32
Oct 20 23:15:32 Finished compiler/backend/ag32                                 1m11s   2GB
Oct 20 23:15:32 Starting compiler/parsing/proofs
Oct 20 23:15:34 Finished compiler/parsing/proofs                                  0s  74MB
Oct 20 23:15:35 Starting compiler/inference/proofs
Oct 20 23:15:37 Finished compiler/inference/proofs                                0s 100MB
Oct 20 23:15:38 Starting compiler/backend/semantics
Oct 20 23:18:53 Finished compiler/backend/semantics                            3m14s   4GB
Oct 20 23:18:54 Starting compiler/backend/reg_alloc/proofs
Oct 20 23:18:55 Finished compiler/backend/reg_alloc/proofs                        0s  94MB
Oct 20 23:18:56 Starting compiler/backend/proofs
Oct 20 23:19:51 Finished compiler/backend/proofs                                 53s   3GB
Oct 20 23:19:52 Starting compiler/backend/serialiser
Oct 20 23:19:54 Finished compiler/backend/serialiser                              1s 140MB
Oct 20 23:19:55 Starting compiler/encoders/x64/proofs
Oct 20 23:30:07 Finished compiler/encoders/x64/proofs                         10m11s   5GB
Oct 20 23:30:08 Starting compiler/encoders/arm7/proofs
Oct 20 23:43:16 Finished compiler/encoders/arm7/proofs                        13m06s   8GB
Oct 20 23:43:17 Starting compiler/encoders/arm8/proofs
Oct 20 23:50:08 Finished compiler/encoders/arm8/proofs                         6m50s   7GB
Oct 20 23:50:09 Starting compiler/encoders/arm8_asl/proofs
Oct 21 00:41:32 Finished compiler/encoders/arm8_asl/proofs                    51m21s  14GB
Oct 21 00:41:33 Starting compiler/encoders/mips/proofs
Oct 21 00:51:50 Finished compiler/encoders/mips/proofs                        10m15s   6GB
Oct 21 00:51:50 Starting compiler/encoders/riscv/proofs
Oct 21 01:00:11 Finished compiler/encoders/riscv/proofs                        8m19s   5GB
Oct 21 01:00:12 Starting compiler/encoders/ag32/proofs
Oct 21 01:03:10 Finished compiler/encoders/ag32/proofs                         2m56s   2GB
Oct 21 01:03:10 Starting compiler/backend/x64/proofs
Oct 21 01:03:58 Finished compiler/backend/x64/proofs                             46s   3GB
Oct 21 01:03:59 Starting compiler/backend/arm7/proofs
Oct 21 01:04:47 Finished compiler/backend/arm7/proofs                            47s   2GB
Oct 21 01:04:48 Starting compiler/backend/arm8/proofs
Oct 21 01:05:33 Finished compiler/backend/arm8/proofs                            43s   3GB
Oct 21 01:05:34 Starting compiler/backend/arm8_asl
Oct 21 01:06:05 Finished compiler/backend/arm8_asl                               30s   2GB
Oct 21 01:06:06 Starting compiler/backend/mips/proofs
Oct 21 01:06:56 Finished compiler/backend/mips/proofs                            49s   3GB
Oct 21 01:06:57 Starting compiler/backend/riscv/proofs
Oct 21 01:07:52 Finished compiler/backend/riscv/proofs                           54s   4GB
Oct 21 01:07:53 Starting compiler/backend/ag32/proofs
Oct 21 01:22:09 Finished compiler/backend/ag32/proofs                         14m15s   6GB
Oct 21 01:22:10 Starting compiler/backend/cv_compute
Oct 21 01:24:00 Finished compiler/backend/cv_compute                           1m48s   3GB
Oct 21 01:24:01 Starting cv_translator
Oct 21 01:44:06 Finished cv_translator                                        20m03s   9GB
Oct 21 01:44:07 Starting candle/set-theory
Oct 21 01:44:57 Finished candle/set-theory                                       49s   1GB
Oct 21 01:44:58 Starting candle/syntax-lib
Oct 21 01:44:59 Finished candle/syntax-lib                                        0s  74MB
Oct 21 01:45:00 Starting candle/standard/syntax
Oct 21 01:45:20 Finished candle/standard/syntax                                  19s   1GB
Oct 21 01:45:21 Starting candle/standard/semantics
Oct 21 01:48:11 Finished candle/standard/semantics                             2m49s   3GB
Oct 21 01:48:12 Starting candle/standard/monadic
Oct 21 01:48:14 Finished candle/standard/monadic                                  0s 106MB
Oct 21 01:48:15 Starting candle/standard/ml_kernel
Oct 21 01:50:21 Finished candle/standard/ml_kernel                             2m05s   5GB
Oct 21 01:50:22 Starting candle/overloading/syntax
Oct 21 01:54:03 Finished candle/overloading/syntax                             3m39s   3GB
Oct 21 01:54:04 Starting candle/overloading/semantics
Oct 21 02:05:38 Finished candle/overloading/semantics                         11m33s   4GB
Oct 21 02:05:39 Starting candle/overloading/monadic
Oct 21 02:08:05 Finished candle/overloading/monadic                            2m24s   2GB
Oct 21 02:08:06 Starting candle/overloading/ml_kernel
Oct 21 02:16:07 Finished candle/overloading/ml_kernel                          8m00s   6GB
Oct 21 02:16:08 Starting candle/overloading/ml_checker
Oct 21 02:18:52 Finished candle/overloading/ml_checker                         2m42s   7GB
Oct 21 02:18:53 Starting candle/prover
Oct 21 02:29:32 Finished candle/prover                                        10m38s   4GB
Oct 21 02:29:33 Starting pancake
Oct 21 02:30:00 Finished pancake                                                 26s 994MB
Oct 21 02:30:01 Starting pancake/ffi
Oct 21 02:30:02 Finished pancake/ffi                                              0s  22MB
Oct 21 02:30:03 Starting pancake/semantics
Oct 21 02:32:18 Finished pancake/semantics                                     2m14s   2GB
Oct 21 02:32:19 Starting pancake/parser
Oct 21 02:32:43 Finished pancake/parser                                          22s 796MB
Oct 21 02:32:44 Starting pancake/proofs
Oct 21 02:48:49 Finished pancake/proofs                                       16m04s   7GB
Oct 21 02:48:50 Starting compiler/dafny
Oct 21 02:51:23 Finished compiler/dafny                                        2m32s   9GB
Oct 21 02:51:24 Starting compiler/dafny/translation
Oct 21 03:20:04 Finished compiler/dafny/translation                           28m39s  15GB
Oct 21 03:20:05 Starting compiler/dafny/compilation
Oct 21 03:23:34 Finished compiler/dafny/compilation                            3m28s  14GB
Oct 21 03:23:35 Starting compiler/dafny/semantics
Oct 21 03:24:12 Finished compiler/dafny/semantics                                36s   1GB
Oct 21 03:24:12 Starting characteristic/examples
Oct 21 03:25:48 Finished characteristic/examples                               1m34s   5GB
Oct 21 03:25:48 Starting tutorial/solutions
Oct 21 03:28:40 Finished tutorial/solutions                                    2m50s   5GB
Oct 21 03:28:41 Starting translator/monadic/examples
Oct 21 03:31:52 Finished translator/monadic/examples                           3m10s   4GB
Oct 21 03:31:54 Starting examples
Oct 21 03:44:06 Finished examples                                             12m11s   5GB
Oct 21 03:44:07 Starting examples/compilation/x64
Oct 21 03:54:02 Finished examples/compilation/x64                              9m54s   8GB
Oct 21 03:54:03 Starting examples/compilation/x64/proofs
Oct 21 03:59:16 Finished examples/compilation/x64/proofs                       5m11s   7GB
Oct 21 03:59:16 Starting examples/compilation/ag32
Oct 21 04:02:04 Finished examples/compilation/ag32                             2m47s   5GB
Oct 21 04:02:05 Starting examples/compilation/ag32/proofs
Oct 21 04:04:07 Finished examples/compilation/ag32/proofs                      2m00s   8GB
Oct 21 04:04:08 Starting examples/compilation/to_word
Oct 21 04:08:27 Finished examples/compilation/to_word                          4m18s  13GB
Oct 21 04:08:28 Starting examples/lpr_checker
Oct 21 04:09:01 Finished examples/lpr_checker                                    31s   1GB
Oct 21 04:09:01 Starting examples/lpr_checker/array
Oct 21 04:35:31 Finished examples/lpr_checker/array                           26m28s  26GB
Oct 21 04:35:32 Starting examples/lpr_checker/array/compilation
Oct 21 04:38:12 Finished examples/lpr_checker/array/compilation                2m38s  10GB
Oct 21 04:38:13 Starting examples/lpr_checker/array/compilation/proofs
Oct 21 04:40:13 Finished examples/lpr_checker/array/compilation/proofs         2m00s   8GB
Oct 21 04:40:14 Starting examples/lpr_checker/array/compilation/proofsARM8
Oct 21 04:42:51 Finished examples/lpr_checker/array/compilation/proofsARM8     2m35s   9GB
Oct 21 04:42:52 Starting examples/xlrup_checker
Oct 21 04:43:28 Finished examples/xlrup_checker                                  34s   1GB
Oct 21 04:43:28 Starting examples/xlrup_checker/array
Oct 21 04:56:33 Finished examples/xlrup_checker/array                         13m03s  11GB
Oct 21 04:56:34 Starting examples/xlrup_checker/array/compilation
Oct 21 04:58:03 Finished examples/xlrup_checker/array/compilation              1m28s   7GB
Oct 21 04:58:04 Starting examples/xlrup_checker/array/compilation/proofs
Oct 21 04:59:50 Finished examples/xlrup_checker/array/compilation/proofs       1m44s   8GB
Oct 21 04:59:51 Starting examples/pseudo_bool
Oct 21 05:01:17 Finished examples/pseudo_bool                                  1m25s   1GB
Oct 21 05:01:18 Starting examples/pseudo_bool/cnf_encoding
Oct 21 05:01:59 Finished examples/pseudo_bool/cnf_encoding                       40s   1GB
Oct 21 05:02:00 Starting examples/pseudo_bool/graph_encoding
Oct 21 05:03:00 Finished examples/pseudo_bool/graph_encoding                     59s   2GB
Oct 21 05:03:01 Starting examples/pseudo_bool/array
Oct 21 06:05:54 Finished examples/pseudo_bool/array                         1h02m51s  27GB
Oct 21 06:05:55 Starting examples/pseudo_bool/array/compilation
Oct 21 06:19:37 Finished examples/pseudo_bool/array/compilation               13m41s  32GB
Oct 21 06:19:38 Starting examples/pseudo_bool/array/compilation/proofs
Oct 21 06:24:04 Finished examples/pseudo_bool/array/compilation/proofs         4m24s   9GB
Oct 21 06:24:05 Starting examples/pseudo_bool/array/compilation/proofsARM8
Oct 21 06:26:37 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m31s   8GB
Oct 21 06:26:38 Starting examples/opentheory
Oct 21 06:35:31 Finished examples/opentheory                                   8m51s   7GB
Oct 21 06:35:32 Starting examples/opentheory
Oct 21 06:35:34 Finished examples/opentheory                                      1s 135MB
Oct 21 06:35:35 Starting examples/opentheory/compilation
Oct 21 06:37:42 Finished examples/opentheory/compilation                       2m06s   9GB
Oct 21 06:37:43 Starting examples/opentheory/compilation/proofs
Oct 21 06:39:35 Finished examples/opentheory/compilation/proofs                1m51s   7GB
Oct 21 06:39:36 Starting examples/opentheory/compilation/ag32
Oct 21 06:41:53 Finished examples/opentheory/compilation/ag32                  2m16s  10GB
Oct 21 06:41:54 Starting examples/opentheory/compilation/ag32/proofs
Oct 21 06:44:26 Finished examples/opentheory/compilation/ag32/proofs           2m31s  11GB
Oct 21 06:44:27 Starting examples/sat_encodings
Oct 21 06:45:30 Finished examples/sat_encodings                                1m01s 952MB
Oct 21 06:45:31 Starting examples/sat_encodings/case_studies
Oct 21 06:47:45 Finished examples/sat_encodings/case_studies                   2m13s   2GB
Oct 21 06:47:46 Starting examples/sat_encodings/translation
Oct 21 06:51:24 Finished examples/sat_encodings/translation                    3m36s   5GB
Oct 21 06:51:25 Starting examples/sat_encodings/translation/compilation
Oct 21 06:53:56 Finished examples/sat_encodings/translation/compilation        2m30s   7GB
Oct 21 06:53:57 Starting examples/deflate
Oct 21 06:54:25 Finished examples/deflate                                        27s 756MB
Oct 21 06:54:26 Starting examples/deflate/translation
Oct 21 06:55:25 Finished examples/deflate/translation                            57s   2GB
Oct 21 06:55:26 Starting examples/deflate/translation/compilation
Oct 21 06:56:36 Finished examples/deflate/translation/compilation              1m08s   6GB
Oct 21 06:56:37 Starting examples/vipr
Oct 21 07:00:15 Finished examples/vipr                                         3m37s   4GB
Oct 21 07:00:15 Starting examples/vipr/compilation
Oct 21 07:01:36 Finished examples/vipr/compilation                             1m19s   6GB
Oct 21 07:01:37 Starting translator/okasaki-examples
Oct 21 07:05:53 Finished translator/okasaki-examples                           4m14s   4GB
Oct 21 07:05:54 Starting translator/other-examples
Oct 21 07:10:59 Finished translator/other-examples                             5m04s   3GB
Oct 21 07:11:00 Starting compiler/parsing/tests
Oct 21 07:11:39 Finished compiler/parsing/tests                                  37s   2GB
Oct 21 07:11:39 Starting compiler/inference/tests
Oct 21 07:12:28 Finished compiler/inference/tests                                47s   3GB
Oct 21 07:12:29 Starting compiler/printing/test
Oct 21 07:14:10 Finished compiler/printing/test                                1m40s   6GB
Oct 21 07:14:11 Starting icing/flover
Oct 21 07:51:59 Finished icing/flover                                         37m46s   4GB
Oct 21 07:52:00 Starting icing/
Oct 21 08:19:53 Finished icing/                                               27m52s   5GB
Oct 21 08:19:54 Starting icing/examples
Oct 21 08:21:48 Finished icing/examples                                        1m53s   9GB
Oct 21 08:21:49 Starting compiler/repl
Oct 21 08:30:59 Finished compiler/repl                                         9m08s  10GB
Oct 21 08:31:00 Starting unverified/sexpr-bootstrap/x64/64
Oct 21 08:45:34 Finished unverified/sexpr-bootstrap/x64/64                    14m07s  18GB
Oct 21 08:45:35 Starting unverified/sexpr-bootstrap/x64/32
Oct 21 08:57:06 Finished unverified/sexpr-bootstrap/x64/32                    11m09s  16GB
Oct 21 08:57:06 Starting compiler/benchmarks
Oct 21 08:57:52 Finished compiler/benchmarks                                     44s 712MB
Oct 21 08:57:53 Starting compiler/bootstrap/compilation/x64/64
Oct 21 09:43:33 Finished compiler/bootstrap/compilation/x64/64                45m26s 124GB
Oct 21 09:43:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 21 10:09:00 Finished compiler/bootstrap/compilation/x64/64/proofs         25m25s  55GB
Oct 21 10:09:01 Starting compiler/bootstrap/compilation/x64/32
Oct 21 10:51:28 Finished compiler/bootstrap/compilation/x64/32                42m18s 115GB
Oct 21 10:51:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 21 10:56:47 Finished compiler/bootstrap/compilation/x64/32/proofs          5m17s  26GB
Oct 21 10:56:48 Starting compiler/bootstrap/compilation/arm8/64
Oct 21 11:54:13 Finished compiler/bootstrap/compilation/arm8/64               57m15s 112GB
Oct 21 11:54:14 Starting compiler/bootstrap/compilation/arm8/64/proofs
Oct 21 12:00:02 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m47s  28GB
Oct 21 12:00:03 Starting compiler/bootstrap/compilation/ag32/32
Oct 21 12:42:08 Finished compiler/bootstrap/compilation/ag32/32               42m04s 107GB
Oct 21 12:42:09 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 21 12:48:09 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m58s  32GB
Oct 21 12:48:10 SUCCESS