Job 2188

CakeML:5c1bae6b33cf93343962f658faefefee12f74a9c
  Merge pull request #965 from CakeML/explorer [Aug 10 04:53:38]
HOL:357d6c43687341407aee3390b69b4f1a7ef5cf57
  Modernise some ratScript.sml syntax [Aug 15 05:20:32]
Machine:pavlova
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 18 06:42:57 Claimed job
Aug 18 06:43:01 Building HOL
Aug 18 06:57:51 Starting developers
Aug 18 06:57:55 Finished developers                                               2s 214MB
Aug 18 06:57:56 Starting developers/bin
Aug 18 06:58:06 Finished developers/bin                                           9s   1GB
Aug 18 06:58:07 Starting compiler/proofs
Aug 18 08:42:39 Finished compiler/proofs                                    1h44m31s  44GB
Aug 18 08:42:40 Starting compiler/bootstrap/translation
Aug 18 16:37:10 Finished compiler/bootstrap/translation                     7h54m27s  74GB
Aug 18 16:37:11 Starting semantics/ffi
Aug 18 16:37:20 Finished semantics/ffi                                            8s 675MB
Aug 18 16:37:21 Starting semantics
Aug 18 16:37:22 Finished semantics                                                0s  65MB
Aug 18 16:37:23 Starting semantics/proofs
Aug 18 16:37:58 Finished semantics/proofs                                        33s   2GB
Aug 18 16:37:59 Starting semantics/alt_semantics
Aug 18 16:38:37 Finished semantics/alt_semantics                                 37s   1GB
Aug 18 16:38:37 Starting semantics/alt_semantics/proofs
Aug 18 16:49:33 Finished semantics/alt_semantics/proofs                       10m54s   5GB
Aug 18 16:49:34 Starting basis/pure
Aug 18 16:49:35 Finished basis/pure                                               0s  72MB
Aug 18 16:49:36 Starting translator
Aug 18 16:51:22 Finished translator                                            1m45s   4GB
Aug 18 16:51:23 Starting compiler/parsing
Aug 18 16:51:24 Finished compiler/parsing                                         0s  68MB
Aug 18 16:51:25 Starting characteristic
Aug 18 16:51:27 Finished characteristic                                           0s  89MB
Aug 18 16:51:28 Starting translator/monadic
Aug 18 16:51:29 Finished translator/monadic                                       0s  91MB
Aug 18 16:51:30 Starting basis
Aug 18 16:55:32 Finished basis                                                 4m00s   5GB
Aug 18 16:55:32 Starting compiler/inference
Aug 18 16:55:34 Finished compiler/inference                                       0s  79MB
Aug 18 16:55:35 Starting compiler/backend/reg_alloc
Aug 18 16:55:36 Finished compiler/backend/reg_alloc                               0s  65MB
Aug 18 16:55:37 Starting compiler/backend/gc
Aug 18 16:55:38 Finished compiler/backend/gc                                      0s 137MB
Aug 18 16:55:39 Starting compiler/backend
Aug 18 16:55:57 Finished compiler/backend                                        16s   1GB
Aug 18 16:55:58 Starting compiler/encoders/asm
Aug 18 16:55:59 Finished compiler/encoders/asm                                    0s  90MB
Aug 18 16:56:00 Starting compiler/encoders/x64
Aug 18 16:56:01 Finished compiler/encoders/x64                                    0s  89MB
Aug 18 16:56:02 Starting compiler/encoders/arm7
Aug 18 16:56:03 Finished compiler/encoders/arm7                                   0s  94MB
Aug 18 16:56:04 Starting compiler/encoders/arm8
Aug 18 16:56:06 Finished compiler/encoders/arm8                                   0s  89MB
Aug 18 16:56:06 Starting compiler/encoders/arm8_asl
Aug 18 19:15:20 Finished compiler/encoders/arm8_asl                         2h19m10s  45GB
Aug 18 19:15:21 Starting compiler/encoders/mips
Aug 18 19:15:22 Finished compiler/encoders/mips                                   0s  86MB
Aug 18 19:15:23 Starting compiler/encoders/riscv
Aug 18 19:15:25 Finished compiler/encoders/riscv                                  0s  90MB
Aug 18 19:15:25 Starting compiler/encoders/ag32
Aug 18 19:15:27 Finished compiler/encoders/ag32                                   0s  85MB
Aug 18 19:15:28 Starting compiler/backend/x64
Aug 18 19:15:29 Finished compiler/backend/x64                                     0s 123MB
Aug 18 19:15:30 Starting compiler/backend/arm7
Aug 18 19:15:32 Finished compiler/backend/arm7                                    0s 122MB
Aug 18 19:15:33 Starting compiler/backend/arm8
Aug 18 19:15:34 Finished compiler/backend/arm8                                    0s 122MB
Aug 18 19:15:35 Starting compiler/backend/mips
Aug 18 19:15:37 Finished compiler/backend/mips                                    0s 121MB
Aug 18 19:15:37 Starting compiler/backend/riscv
Aug 18 19:15:39 Finished compiler/backend/riscv                                   0s 121MB
Aug 18 19:15:40 Starting compiler/backend/ag32
Aug 18 19:17:03 Finished compiler/backend/ag32                                 1m22s   3GB
Aug 18 19:17:04 Starting compiler/parsing/proofs
Aug 18 19:17:05 Finished compiler/parsing/proofs                                  0s  75MB
Aug 18 19:17:06 Starting compiler/inference/proofs
Aug 18 19:17:07 Finished compiler/inference/proofs                                0s  83MB
Aug 18 19:17:08 Starting compiler/backend/semantics
Aug 18 19:18:33 Finished compiler/backend/semantics                            1m23s   3GB
Aug 18 19:18:33 Starting compiler/backend/reg_alloc/proofs
Aug 18 19:18:35 Finished compiler/backend/reg_alloc/proofs                        0s  90MB
Aug 18 19:18:36 Starting compiler/backend/proofs
Aug 18 19:19:39 Finished compiler/backend/proofs                               1m02s   3GB
Aug 18 19:19:40 Starting compiler/backend/serialiser
Aug 18 19:19:42 Finished compiler/backend/serialiser                              1s 179MB
Aug 18 19:19:43 Starting compiler/encoders/x64/proofs
Aug 18 19:29:07 Finished compiler/encoders/x64/proofs                          9m23s   5GB
Aug 18 19:29:08 Starting compiler/encoders/arm7/proofs
Aug 18 19:41:59 Finished compiler/encoders/arm7/proofs                        12m50s   6GB
Aug 18 19:42:00 Starting compiler/encoders/arm8/proofs
Aug 18 19:48:25 Finished compiler/encoders/arm8/proofs                         6m23s   6GB
Aug 18 19:48:26 Starting compiler/encoders/arm8_asl/proofs
Aug 18 20:36:08 Finished compiler/encoders/arm8_asl/proofs                    47m40s  11GB
Aug 18 20:36:09 Starting compiler/encoders/mips/proofs
Aug 18 20:46:11 Finished compiler/encoders/mips/proofs                        10m01s   7GB
Aug 18 20:46:12 Starting compiler/encoders/riscv/proofs
Aug 18 20:54:51 Finished compiler/encoders/riscv/proofs                        8m37s   4GB
Aug 18 20:54:51 Starting compiler/encoders/ag32/proofs
Aug 18 20:57:19 Finished compiler/encoders/ag32/proofs                         2m27s   2GB
Aug 18 20:57:20 Starting compiler/backend/x64/proofs
Aug 18 20:58:02 Finished compiler/backend/x64/proofs                             41s   2GB
Aug 18 20:58:03 Starting compiler/backend/arm7/proofs
Aug 18 20:58:50 Finished compiler/backend/arm7/proofs                            45s   2GB
Aug 18 20:58:50 Starting compiler/backend/arm8/proofs
Aug 18 20:59:28 Finished compiler/backend/arm8/proofs                            36s   2GB
Aug 18 20:59:29 Starting compiler/backend/arm8_asl
Aug 18 20:59:56 Finished compiler/backend/arm8_asl                               26s   2GB
Aug 18 20:59:57 Starting compiler/backend/mips/proofs
Aug 18 21:00:40 Finished compiler/backend/mips/proofs                            42s   3GB
Aug 18 21:00:41 Starting compiler/backend/riscv/proofs
Aug 18 21:01:30 Finished compiler/backend/riscv/proofs                           48s   4GB
Aug 18 21:01:31 Starting compiler/backend/ag32/proofs
Aug 18 21:14:37 Finished compiler/backend/ag32/proofs                         13m04s   6GB
Aug 18 21:14:38 Starting candle/set-theory
Aug 18 21:15:21 Finished candle/set-theory                                       42s   1GB
Aug 18 21:15:21 Starting candle/syntax-lib
Aug 18 21:15:23 Finished candle/syntax-lib                                        0s  71MB
Aug 18 21:15:24 Starting candle/standard/syntax
Aug 18 21:15:40 Finished candle/standard/syntax                                  15s   1GB
Aug 18 21:15:41 Starting candle/standard/semantics
Aug 18 21:18:07 Finished candle/standard/semantics                             2m25s   3GB
Aug 18 21:18:08 Starting candle/standard/monadic
Aug 18 21:18:10 Finished candle/standard/monadic                                  0s 100MB
Aug 18 21:18:10 Starting candle/standard/ml_kernel
Aug 18 21:20:00 Finished candle/standard/ml_kernel                             1m48s   6GB
Aug 18 21:20:01 Starting candle/overloading/syntax
Aug 18 21:23:24 Finished candle/overloading/syntax                             3m22s   3GB
Aug 18 21:23:25 Starting candle/overloading/semantics
Aug 18 21:34:39 Finished candle/overloading/semantics                         11m12s   6GB
Aug 18 21:34:40 Starting candle/overloading/monadic
Aug 18 21:37:15 Finished candle/overloading/monadic                            2m33s   3GB
Aug 18 21:37:16 Starting candle/overloading/ml_kernel
Aug 18 21:44:48 Finished candle/overloading/ml_kernel                          7m31s   7GB
Aug 18 21:44:49 Starting candle/overloading/ml_checker
Aug 18 21:47:22 Finished candle/overloading/ml_checker                         2m32s   7GB
Aug 18 21:47:23 Starting candle/prover
Aug 18 21:57:16 Finished candle/prover                                         9m52s   5GB
Aug 18 21:57:17 Starting pancake
Aug 18 21:58:16 Finished pancake                                                 58s   1GB
Aug 18 21:58:17 Starting pancake/ffi
Aug 18 21:58:18 Finished pancake/ffi                                              0s  20MB
Aug 18 21:58:19 Starting pancake/semantics
Aug 18 22:00:36 Finished pancake/semantics                                     2m15s   2GB
Aug 18 22:00:36 Starting pancake/parser
Aug 18 22:01:01 Finished pancake/parser                                          24s   1GB
Aug 18 22:01:02 Starting pancake/proofs
Aug 18 22:30:53 Finished pancake/proofs                                       29m49s   8GB
Aug 18 22:30:54 Starting characteristic/examples
Aug 18 22:32:28 Finished characteristic/examples                               1m33s   5GB
Aug 18 22:32:29 Starting tutorial/solutions
Aug 18 22:48:14 Finished tutorial/solutions                                   15m43s  13GB
Aug 18 22:48:15 Starting translator/monadic/examples
Aug 18 22:52:00 Finished translator/monadic/examples                           3m44s   5GB
Aug 18 22:52:01 Starting examples
Aug 18 23:06:41 Finished examples                                             14m38s   7GB
Aug 18 23:06:41 Starting examples/compilation/x64
Aug 19 01:04:27 Finished examples/compilation/x64                           1h57m42s  35GB
Aug 19 01:04:28 Starting examples/compilation/x64/proofs
Aug 19 01:08:13 Finished examples/compilation/x64/proofs                       3m44s   6GB
Aug 19 01:08:14 Starting examples/compilation/ag32
Aug 19 01:38:21 Finished examples/compilation/ag32                            30m05s  10GB
Aug 19 01:38:21 Starting examples/compilation/ag32/proofs
Aug 19 01:39:55 Finished examples/compilation/ag32/proofs                      1m32s   6GB
Aug 19 01:39:56 Starting examples/compilation/to_word
Aug 19 01:43:46 Finished examples/compilation/to_word                          3m49s  11GB
Aug 19 01:43:47 Starting examples/lpr_checker
Aug 19 01:45:04 Finished examples/lpr_checker                                  1m15s   2GB
Aug 19 01:45:05 Starting examples/lpr_checker/array
Aug 19 02:19:12 Finished examples/lpr_checker/array                           34m03s   9GB
Aug 19 02:19:12 Starting examples/lpr_checker/array/compilation
Aug 19 02:53:07 Finished examples/lpr_checker/array/compilation               33m53s  51GB
Aug 19 02:53:08 Starting examples/lpr_checker/array/compilation/proofs
Aug 19 02:54:59 Finished examples/lpr_checker/array/compilation/proofs         1m50s   9GB
Aug 19 02:55:00 Starting examples/opentheory
Aug 19 03:05:52 Finished examples/opentheory                                  10m51s   7GB
Aug 19 03:05:53 Starting examples/opentheory
Aug 19 03:05:55 Finished examples/opentheory                                      0s 132MB
Aug 19 03:05:55 Starting examples/opentheory/compilation
Aug 19 03:41:09 Finished examples/opentheory/compilation                      35m12s  48GB
Aug 19 03:41:10 Starting examples/opentheory/compilation/proofs
Aug 19 03:42:39 Finished examples/opentheory/compilation/proofs                1m28s   6GB
Aug 19 03:42:40 Starting examples/opentheory/compilation/ag32
Aug 19 04:14:22 Finished examples/opentheory/compilation/ag32                 31m41s  39GB
Aug 19 04:14:23 Starting examples/opentheory/compilation/ag32/proofs
Aug 19 04:16:39 Finished examples/opentheory/compilation/ag32/proofs           2m14s  11GB
Aug 19 04:16:40 Starting examples/sat_encodings
Aug 19 04:19:16 Finished examples/sat_encodings                                2m35s   1GB
Aug 19 04:19:16 Starting examples/sat_encodings/case_studies
Aug 19 04:21:16 Finished examples/sat_encodings/case_studies                   1m58s   1GB
Aug 19 04:21:17 Starting examples/sat_encodings/translation
Aug 19 04:27:17 Finished examples/sat_encodings/translation                    5m59s   7GB
Aug 19 04:27:18 Starting examples/sat_encodings/translation/compilation
Aug 19 05:02:43 Finished examples/sat_encodings/translation/compilation       35m23s  42GB
Aug 19 05:02:43 Starting examples/deflate
Aug 19 05:03:59 Finished examples/deflate                                      1m15s   1GB
Aug 19 05:04:00 Starting examples/deflate/translation
Aug 19 05:05:36 Finished examples/deflate/translation                          1m34s   7GB
Aug 19 05:05:36 Starting examples/deflate/translation/compilation
Aug 19 05:21:29 Finished examples/deflate/translation/compilation             15m51s  20GB
Aug 19 05:21:30 Starting examples/vipr
Aug 19 05:25:31 Finished examples/vipr                                         4m00s   5GB
Aug 19 05:25:32 Starting examples/vipr/compilation
Aug 19 05:46:37 Finished examples/vipr/compilation                            21m04s  39GB
Aug 19 05:46:38 Starting translator/okasaki-examples
Aug 19 05:51:40 Finished translator/okasaki-examples                           5m01s   3GB
Aug 19 05:51:41 Starting translator/other-examples
Aug 19 05:55:16 Finished translator/other-examples                             3m33s   3GB
Aug 19 05:55:17 Starting compiler/parsing/tests
Aug 19 05:55:51 Finished compiler/parsing/tests                                  33s   1GB
Aug 19 05:55:52 Starting compiler/inference/tests
Aug 19 06:03:19 Finished compiler/inference/tests                              7m25s   6GB
Aug 19 06:03:20 Starting compiler/printing/test
Aug 19 06:06:49 Finished compiler/printing/test                                3m27s   6GB
Aug 19 06:06:50 Starting icing/flover
Aug 19 06:43:09 Finished icing/flover                                         36m18s   4GB
Aug 19 06:43:10 Starting icing/
Aug 19 07:39:25 Finished icing/                                               56m12s  22GB
Aug 19 07:39:26 Starting icing/examples
Aug 19 07:41:06 Finished icing/examples                                        1m40s   8GB
Aug 19 07:41:07 Starting compiler/repl
Aug 19 07:49:51 Finished compiler/repl                                         8m42s   9GB
Aug 19 07:49:52 Starting unverified/sexpr-bootstrap/x64/64
Aug 19 08:01:05 Finished unverified/sexpr-bootstrap/x64/64                    10m51s  15GB
Aug 19 08:01:06 Starting unverified/sexpr-bootstrap/x64/32
Aug 19 08:10:05 Finished unverified/sexpr-bootstrap/x64/32                     8m41s  13GB
Aug 19 08:10:05 Starting compiler/benchmarks
Aug 19 08:10:50 Finished compiler/benchmarks                                     43s 713MB
Aug 19 08:10:51 Starting compiler/bootstrap/compilation/x64/64
Aug 19 22:45:50 Finished compiler/bootstrap/compilation/x64/64             14h34m46s 150GB
Aug 19 22:45:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 19 23:06:49 Finished compiler/bootstrap/compilation/x64/64/proofs         20m57s  51GB
Aug 19 23:06:50 Starting compiler/bootstrap/compilation/x64/32
Aug 20 06:26:37 Finished compiler/bootstrap/compilation/x64/32              7h19m38s 122GB
Aug 20 06:26:37 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 20 06:30:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m33s  18GB
Aug 20 06:30:12 Starting compiler/bootstrap/compilation/ag32/32
Aug 20 14:04:15 Finished compiler/bootstrap/compilation/ag32/32             7h34m01s 151GB
Aug 20 14:04:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 20 14:11:57 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m40s  48GB
Aug 20 14:11:58 SUCCESS