Job 3509

CakeML:27dcf70198a921b46fa752d44690eba75e8b9aae
  release notes + stray README updates [Sep 10 10:50:55]
#1482 (dopen-new)
Merging into:e6bb97e7b11423ddb00b92e00b7dc972de361e89
  Merge pull request #1481 from CakeML/mcandidate-fix [Sep 09 14:45:46]
HOL:e395eb6e69054ff6f7cef9d1107fd1a04dd5848f
  A Quote body is verbatim material [Sep 02 10:49:13]
Machine:lammmington

Sep 10 15:59:59 Claimed job
Sep 10 16:00:05 Reusing HOL
Sep 10 16:00:13 Starting developers
Sep 10 16:01:04 Finished developers                                              49s   1GB
Sep 10 16:01:05 Starting developers/bin
Sep 10 16:01:13 Finished developers/bin                                           7s   1GB
Sep 10 16:01:14 Starting misc
Sep 10 16:02:06 Finished misc                                                    50s   1GB
Sep 10 16:02:07 Starting compiler/proofs
Sep 10 17:23:24 Finished compiler/proofs                                    1h21m15s  11GB
Sep 10 17:23:25 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 10 23:54:55 Finished compiler/bootstrap/compilation/x64/64/proofs       6h31m29s  95GB
Sep 10 23:54:56 Starting semantics/ffi
Sep 10 23:55:19 Finished semantics/ffi                                           22s   1GB
Sep 10 23:55:20 Starting semantics
Sep 10 23:55:27 Finished semantics                                                5s   1GB
Sep 10 23:55:28 Starting semantics/proofs
Sep 10 23:55:59 Finished semantics/proofs                                        30s   1GB
Sep 10 23:56:00 Starting semantics/alt_semantics
Sep 10 23:56:23 Finished semantics/alt_semantics                                 22s   1GB
Sep 10 23:56:24 Starting semantics/alt_semantics/proofs
Sep 11 00:00:28 Finished semantics/alt_semantics/proofs                        4m03s   2GB
Sep 11 00:00:29 Starting basis/pure
Sep 11 00:00:36 Finished basis/pure                                               6s   1GB
Sep 11 00:00:37 Starting translator
Sep 11 00:01:52 Finished translator                                            1m14s   2GB
Sep 11 00:01:53 Starting compiler/parsing
Sep 11 00:02:47 Finished compiler/parsing                                        52s   2GB
Sep 11 00:02:47 Starting characteristic
Sep 11 00:02:56 Finished characteristic                                           5s   1GB
Sep 11 00:02:57 Starting translator/monadic
Sep 11 00:03:03 Finished translator/monadic                                       5s   1GB
Sep 11 00:03:04 Starting translator/monadic/monad_base
Sep 11 00:03:11 Finished translator/monadic/monad_base                            5s   1GB
Sep 11 00:03:12 Starting profiler
Sep 11 00:03:49 Finished profiler                                                36s   1GB
Sep 11 00:03:50 Starting basis
Sep 11 00:05:41 Finished basis                                                 1m49s   4GB
Sep 11 00:05:42 Starting compiler
Sep 11 00:05:49 Finished compiler                                                 5s   1GB
Sep 11 00:05:50 Starting compiler/inference
Sep 11 00:05:56 Finished compiler/inference                                       5s   1GB
Sep 11 00:05:57 Starting compiler/backend/reg_alloc
Sep 11 00:06:04 Finished compiler/backend/reg_alloc                               5s   1GB
Sep 11 00:06:05 Starting compiler/backend/gc
Sep 11 00:06:11 Finished compiler/backend/gc                                      5s   1GB
Sep 11 00:06:12 Starting compiler/backend
Sep 11 00:06:19 Finished compiler/backend                                         5s   1GB
Sep 11 00:06:20 Starting compiler/encoders/asm
Sep 11 00:06:27 Finished compiler/encoders/asm                                    5s   1GB
Sep 11 00:06:27 Starting compiler/encoders/x64
Sep 11 00:06:34 Finished compiler/encoders/x64                                    5s   1GB
Sep 11 00:06:35 Starting compiler/encoders/arm7
Sep 11 00:06:42 Finished compiler/encoders/arm7                                   5s   1GB
Sep 11 00:06:42 Starting compiler/encoders/arm8
Sep 11 00:06:49 Finished compiler/encoders/arm8                                   5s   1GB
Sep 11 00:06:50 Starting compiler/encoders/arm8_asl
Sep 11 00:07:16 Finished compiler/encoders/arm8_asl                              25s   1GB
Sep 11 00:07:17 Starting compiler/encoders/mips
Sep 11 00:07:23 Finished compiler/encoders/mips                                   5s   1GB
Sep 11 00:07:24 Starting compiler/encoders/riscv
Sep 11 00:07:31 Finished compiler/encoders/riscv                                  5s   1GB
Sep 11 00:07:32 Starting compiler/encoders/ag32
Sep 11 00:07:38 Finished compiler/encoders/ag32                                   5s   1GB
Sep 11 00:07:39 Starting compiler/encoders/tests
Sep 11 00:07:46 Finished compiler/encoders/tests                                  5s   1GB
Sep 11 00:07:47 Starting compiler/encoders/monadic_enc
Sep 11 00:08:16 Finished compiler/encoders/monadic_enc                           27s   1GB
Sep 11 00:08:16 Starting compiler/backend/x64
Sep 11 00:08:23 Finished compiler/backend/x64                                     5s   1GB
Sep 11 00:08:24 Starting compiler/backend/arm7
Sep 11 00:08:30 Finished compiler/backend/arm7                                    5s   1GB
Sep 11 00:08:31 Starting compiler/backend/arm8
Sep 11 00:08:38 Finished compiler/backend/arm8                                    5s   1GB
Sep 11 00:08:39 Starting compiler/backend/mips
Sep 11 00:08:46 Finished compiler/backend/mips                                    5s   1GB
Sep 11 00:08:46 Starting compiler/backend/riscv
Sep 11 00:08:53 Finished compiler/backend/riscv                                   5s   1GB
Sep 11 00:08:54 Starting compiler/backend/ag32
Sep 11 00:10:01 Finished compiler/backend/ag32                                 1m05s   1GB
Sep 11 00:10:02 Starting compiler/backend/pattern_matching
Sep 11 00:10:24 Finished compiler/backend/pattern_matching                       20s   1GB
Sep 11 00:10:24 Starting compiler/parsing/ocaml
Sep 11 00:12:44 Finished compiler/parsing/ocaml                                2m18s   1GB
Sep 11 00:12:45 Starting compiler/printing
Sep 11 00:13:49 Finished compiler/printing                                     1m02s   1GB
Sep 11 00:13:50 Starting compiler/parsing/proofs
Sep 11 00:13:56 Finished compiler/parsing/proofs                                  5s   1GB
Sep 11 00:13:57 Starting compiler/inference/proofs
Sep 11 00:14:04 Finished compiler/inference/proofs                                5s   1GB
Sep 11 00:14:05 Starting compiler/backend/semantics
Sep 11 00:17:13 Finished compiler/backend/semantics                            3m07s   3GB
Sep 11 00:17:14 Starting compiler/backend/reg_alloc/proofs
Sep 11 00:17:21 Finished compiler/backend/reg_alloc/proofs                        6s   1GB
Sep 11 00:17:22 Starting compiler/backend/proofs
Sep 11 00:18:13 Finished compiler/backend/proofs                                 50s   2GB
Sep 11 00:18:14 Starting compiler/backend/serialiser
Sep 11 00:18:21 Finished compiler/backend/serialiser                              5s   1GB
Sep 11 00:18:22 Starting compiler/encoders/x64/proofs
Sep 11 00:18:28 Finished compiler/encoders/x64/proofs                             5s   1GB
Sep 11 00:18:29 Starting compiler/encoders/arm7/proofs
Sep 11 00:30:58 Finished compiler/encoders/arm7/proofs                        12m27s   6GB
Sep 11 00:30:58 Starting compiler/encoders/arm8/proofs
Sep 11 00:38:53 Finished compiler/encoders/arm8/proofs                         7m53s   3GB
Sep 11 00:38:54 Starting compiler/encoders/arm8_asl/proofs
Sep 11 00:56:28 Finished compiler/encoders/arm8_asl/proofs                    17m32s   3GB
Sep 11 00:56:28 Starting compiler/encoders/mips/proofs
Sep 11 01:07:14 Finished compiler/encoders/mips/proofs                        10m43s   7GB
Sep 11 01:07:15 Starting compiler/encoders/riscv/proofs
Sep 11 01:16:55 Finished compiler/encoders/riscv/proofs                        9m39s   3GB
Sep 11 01:16:56 Starting compiler/encoders/ag32/proofs
Sep 11 01:20:10 Finished compiler/encoders/ag32/proofs                         3m12s   1GB
Sep 11 01:20:11 Starting compiler/backend/x64/proofs
Sep 11 01:20:17 Finished compiler/backend/x64/proofs                              5s   1GB
Sep 11 01:20:18 Starting compiler/backend/arm7/proofs
Sep 11 01:21:05 Finished compiler/backend/arm7/proofs                            45s   2GB
Sep 11 01:21:06 Starting compiler/backend/arm8/proofs
Sep 11 01:21:53 Finished compiler/backend/arm8/proofs                            46s   2GB
Sep 11 01:21:54 Starting compiler/backend/arm8_asl
Sep 11 01:22:32 Finished compiler/backend/arm8_asl                               36s   1GB
Sep 11 01:22:32 Starting compiler/backend/mips/proofs
Sep 11 01:23:20 Finished compiler/backend/mips/proofs                            46s   2GB
Sep 11 01:23:21 Starting compiler/backend/riscv/proofs
Sep 11 01:24:10 Finished compiler/backend/riscv/proofs                           48s   2GB
Sep 11 01:24:11 Starting compiler/backend/ag32/proofs
Sep 11 01:34:02 Finished compiler/backend/ag32/proofs                          9m49s   5GB
Sep 11 01:34:02 Starting compiler/backend/cv_compute
Sep 11 01:34:39 Finished compiler/backend/cv_compute                             36s   1GB
Sep 11 01:34:40 Starting cv_translator
Sep 11 01:40:10 Finished cv_translator                                         5m28s   3GB
Sep 11 01:40:11 Starting candle
Sep 11 01:40:17 Finished candle                                                   5s   1GB
Sep 11 01:40:18 Starting candle/set-theory
Sep 11 01:40:41 Finished candle/set-theory                                       21s   1GB
Sep 11 01:40:42 Starting candle/syntax-lib
Sep 11 01:40:48 Finished candle/syntax-lib                                        5s   1GB
Sep 11 01:40:49 Starting candle/standard
Sep 11 01:40:56 Finished candle/standard                                          5s   1GB
Sep 11 01:40:57 Starting candle/standard/syntax
Sep 11 01:41:17 Finished candle/standard/syntax                                  19s   1GB
Sep 11 01:41:18 Starting candle/standard/syntax/little_theories
Sep 11 01:42:37 Finished candle/standard/syntax/little_theories                1m18s   1GB
Sep 11 01:42:38 Starting candle/standard/semantics
Sep 11 01:42:45 Finished candle/standard/semantics                                5s   1GB
Sep 11 01:42:46 Starting candle/standard/monadic
Sep 11 01:42:52 Finished candle/standard/monadic                                  5s   1GB
Sep 11 01:42:53 Starting candle/standard/ml_kernel
Sep 11 01:45:13 Finished candle/standard/ml_kernel                             2m19s   4GB
Sep 11 01:45:14 Starting candle/overloading
Sep 11 01:45:21 Finished candle/overloading                                       5s   1GB
Sep 11 01:45:22 Starting candle/overloading/syntax
Sep 11 01:48:44 Finished candle/overloading/syntax                             3m21s   2GB
Sep 11 01:48:45 Starting candle/overloading/semantics
Sep 11 01:58:30 Finished candle/overloading/semantics                          9m43s   4GB
Sep 11 01:58:30 Starting candle/overloading/monadic
Sep 11 02:00:40 Finished candle/overloading/monadic                            2m08s   2GB
Sep 11 02:00:41 Starting candle/overloading/ml_kernel
Sep 11 02:07:55 Finished candle/overloading/ml_kernel                          7m12s   7GB
Sep 11 02:07:56 Starting candle/overloading/ml_checker
Sep 11 02:10:52 Finished candle/overloading/ml_checker                         2m54s   6GB
Sep 11 02:10:53 Starting candle/prover
Sep 11 02:10:59 Finished candle/prover                                            5s   1GB
Sep 11 02:11:00 Starting candle/prover/compute
Sep 11 02:11:07 Finished candle/prover/compute                                    5s   1GB
Sep 11 02:11:08 Starting pancake
Sep 11 02:11:14 Finished pancake                                                  5s   1GB
Sep 11 02:11:15 Starting pancake/semantics
Sep 11 02:14:40 Finished pancake/semantics                                     3m23s   2GB
Sep 11 02:14:40 Starting pancake/parser
Sep 11 02:15:28 Finished pancake/parser                                          46s   1GB
Sep 11 02:15:29 Starting pancake/static_checker
Sep 11 02:18:12 Finished pancake/static_checker                                2m41s   1GB
Sep 11 02:18:12 Starting pancake/proofs
Sep 11 02:34:47 Finished pancake/proofs                                       16m33s   4GB
Sep 11 02:34:48 Starting compiler/dafny
Sep 11 02:35:19 Finished compiler/dafny                                          30s   1GB
Sep 11 02:35:20 Starting compiler/dafny/translation
Sep 11 02:46:32 Finished compiler/dafny/translation                           11m11s   7GB
Sep 11 02:46:33 Starting compiler/dafny/compilation
Sep 11 02:48:52 Finished compiler/dafny/compilation                            2m17s   6GB
Sep 11 02:48:53 Starting compiler/dafny/semantics
Sep 11 02:49:38 Finished compiler/dafny/semantics                                44s   1GB
Sep 11 02:49:39 Starting compiler/dafny/proofs
Sep 11 02:51:25 Finished compiler/dafny/proofs                                 1m44s   1GB
Sep 11 02:51:26 Starting compiler/dafny/vcg
Sep 11 02:51:33 Finished compiler/dafny/vcg                                       6s   1GB
Sep 11 02:51:33 Starting compiler/dafny/vcg/examples
Sep 11 02:52:07 Finished compiler/dafny/vcg/examples                             32s   1GB
Sep 11 02:52:08 Starting compiler/scheme
Sep 11 02:52:41 Finished compiler/scheme                                         32s   1GB
Sep 11 02:52:42 Starting compiler/scheme/translation
Sep 11 02:59:53 Finished compiler/scheme/translation                           7m08s  10GB
Sep 11 02:59:54 Starting compiler/scheme/compilation
Sep 11 03:01:43 Finished compiler/scheme/compilation                           1m48s   5GB
Sep 11 03:01:44 Starting compiler/scheme/proofs
Sep 11 03:08:38 Finished compiler/scheme/proofs                                6m52s   2GB
Sep 11 03:08:39 Starting characteristic/examples
Sep 11 03:10:21 Finished characteristic/examples                               1m41s   5GB
Sep 11 03:10:22 Starting tutorial
Sep 11 03:10:29 Finished tutorial                                                 5s   1GB
Sep 11 03:10:30 Starting tutorial/solutions
Sep 11 03:13:30 Finished tutorial/solutions                                    2m58s   5GB
Sep 11 03:13:31 Starting translator/monadic/examples
Sep 11 03:16:41 Finished translator/monadic/examples                           3m09s   4GB
Sep 11 03:16:42 Starting examples
Sep 11 03:21:03 Finished examples                                              4m20s   3GB
Sep 11 03:21:04 Starting examples/compilation
Sep 11 03:21:12 Finished examples/compilation                                     6s   1GB
Sep 11 03:21:13 Starting examples/compilation/x64
Sep 11 03:30:26 Finished examples/compilation/x64                              9m12s   4GB
Sep 11 03:30:27 Starting examples/compilation/x64/proofs
Sep 11 03:34:20 Finished examples/compilation/x64/proofs                       3m52s   4GB
Sep 11 03:34:21 Starting examples/compilation/ag32
Sep 11 03:37:16 Finished examples/compilation/ag32                             2m53s   3GB
Sep 11 03:37:17 Starting examples/compilation/ag32/proofs
Sep 11 03:38:48 Finished examples/compilation/ag32/proofs                      1m29s   5GB
Sep 11 03:38:49 Starting examples/lpr_checker
Sep 11 03:39:33 Finished examples/lpr_checker                                    43s   1GB
Sep 11 03:39:34 Starting examples/lpr_checker/array
Sep 11 03:52:43 Finished examples/lpr_checker/array                           13m08s   4GB
Sep 11 03:52:43 Starting examples/lpr_checker/array/compilation
Sep 11 03:56:49 Finished examples/lpr_checker/array/compilation                4m04s   6GB
Sep 11 03:56:50 Starting examples/lpr_checker/array/compilation/proofs
Sep 11 03:58:37 Finished examples/lpr_checker/array/compilation/proofs         1m46s   6GB
Sep 11 03:58:38 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 11 04:00:34 Finished examples/lpr_checker/array/compilation/proofsARM8     1m55s   6GB
Sep 11 04:00:35 Starting .
Sep 11 04:00:41 Finished .                                                        5s   1GB
Sep 11 04:00:42 Starting examples/xlrup_checker
Sep 11 04:01:41 Finished examples/xlrup_checker                                  58s   1GB
Sep 11 04:01:42 Starting examples/xlrup_checker/array
Sep 11 04:11:43 Finished examples/xlrup_checker/array                          9m59s   5GB
Sep 11 04:11:44 Starting examples/xlrup_checker/array/compilation
Sep 11 04:13:31 Finished examples/xlrup_checker/array/compilation              1m46s   5GB
Sep 11 04:13:32 Starting examples/xlrup_checker/array/compilation/proofs
Sep 11 04:15:07 Finished examples/xlrup_checker/array/compilation/proofs       1m34s   5GB
Sep 11 04:15:08 Starting examples/cnf
Sep 11 04:15:42 Finished examples/cnf                                            33s   1GB
Sep 11 04:15:43 Starting examples/cnf/array
Sep 11 04:18:57 Finished examples/cnf/array                                    3m12s   1GB
Sep 11 04:18:58 Starting examples/cnf/dist
Sep 11 04:19:09 Finished examples/cnf/dist                                       10s   1GB
Sep 11 04:19:10 Starting examples/cnf/dist/array
Sep 11 04:23:58 Finished examples/cnf/dist/array                               4m47s   3GB
Sep 11 04:23:59 Starting examples/cnf/dist/array/compilation
Sep 11 04:25:06 Finished examples/cnf/dist/array/compilation                   1m06s   3GB
Sep 11 04:25:07 Starting examples/cnf/dist/array/compilation/proofs
Sep 11 04:26:35 Finished examples/cnf/dist/array/compilation/proofs            1m27s   4GB
Sep 11 04:26:36 Starting examples/cnf/lrup
Sep 11 04:26:48 Finished examples/cnf/lrup                                       10s   1GB
Sep 11 04:26:49 Starting examples/cnf/lrup/array
Sep 11 04:29:51 Finished examples/cnf/lrup/array                               3m01s   1GB
Sep 11 04:29:52 Starting examples/cnf/lrup/array/compilation
Sep 11 04:31:10 Finished examples/cnf/lrup/array/compilation                   1m17s   4GB
Sep 11 04:31:11 Starting examples/cnf/lrup/array/compilation/proofs
Sep 11 04:32:42 Finished examples/cnf/lrup/array/compilation/proofs            1m29s   4GB
Sep 11 04:32:42 Starting examples/scpog_checker
Sep 11 04:33:38 Finished examples/scpog_checker                                  55s   1GB
Sep 11 04:33:39 Starting examples/scpog_checker/array
Sep 11 04:39:48 Finished examples/scpog_checker/array                          6m07s   2GB
Sep 11 04:39:49 Starting examples/scpog_checker/array/compilation
Sep 11 04:42:32 Finished examples/scpog_checker/array/compilation              2m41s   8GB
Sep 11 04:42:33 Starting examples/scpog_checker/array/compilation/proofs
Sep 11 04:44:25 Finished examples/scpog_checker/array/compilation/proofs       1m51s   6GB
Sep 11 04:44:26 Starting examples/pseudo_bool
Sep 11 04:46:52 Finished examples/pseudo_bool                                  2m25s   1GB
Sep 11 04:46:53 Starting examples/pseudo_bool/cnf_encoding
Sep 11 04:47:32 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Sep 11 04:47:33 Starting examples/pseudo_bool/graph_encoding
Sep 11 04:48:25 Finished examples/pseudo_bool/graph_encoding                     50s   1GB
Sep 11 04:48:26 Starting examples/pseudo_bool/array
Sep 11 05:29:32 Finished examples/pseudo_bool/array                           41m04s  21GB
Sep 11 05:29:33 Starting examples/pseudo_bool/array/compilation
Sep 11 05:37:42 Finished examples/pseudo_bool/array/compilation                8m08s  21GB
Sep 11 05:37:43 Starting examples/pseudo_bool/array/compilation/proofs
Sep 11 05:40:28 Finished examples/pseudo_bool/array/compilation/proofs         2m44s   8GB
Sep 11 05:40:29 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 11 05:43:21 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m51s   8GB
Sep 11 05:43:22 Starting examples/pseudo_bool/cnf_encoding/array
Sep 11 05:45:51 Finished examples/pseudo_bool/cnf_encoding/array               2m28s   2GB
Sep 11 05:45:52 Starting examples/pseudo_bool/cnf_encoding/array/compilation
Sep 11 05:54:03 Finished examples/pseudo_bool/cnf_encoding/array/compilation     8m09s  21GB
Sep 11 05:54:03 Starting examples/pseudo_bool/cnf_encoding/array/compilation/proofs
Sep 11 05:56:52 Finished examples/pseudo_bool/cnf_encoding/array/compilation/proofs     2m47s   8GB
Sep 11 05:56:53 Starting examples/pseudo_bool/graph_encoding/array
Sep 11 06:04:08 Finished examples/pseudo_bool/graph_encoding/array             7m14s   3GB
Sep 11 06:04:09 Starting examples/pseudo_bool/graph_encoding/array/compilation
Sep 11 06:20:55 Finished examples/pseudo_bool/graph_encoding/array/compilation    16m42s  22GB
Sep 11 06:20:56 Starting examples/pseudo_bool/graph_encoding/array/compilation/proofs
Sep 11 06:26:39 Finished examples/pseudo_bool/graph_encoding/array/compilation/proofs     5m42s   8GB
Sep 11 06:26:40 Starting examples/pseudo_bool/cp_encoding
Sep 11 06:30:00 Finished examples/pseudo_bool/cp_encoding                      3m18s   1GB
Sep 11 06:30:01 Starting examples/pseudo_bool/cp_encoding/array
Sep 11 06:36:36 Finished examples/pseudo_bool/cp_encoding/array                6m34s   4GB
Sep 11 06:36:37 Starting examples/pseudo_bool/cp_encoding/array/compilation
Sep 11 06:55:09 Finished examples/pseudo_bool/cp_encoding/array/compilation    18m30s  40GB
Sep 11 06:55:09 Starting examples/pseudo_bool/cp_encoding/array/compilation/proofs
Sep 11 06:59:32 Finished examples/pseudo_bool/cp_encoding/array/compilation/proofs     4m21s  13GB
Sep 11 06:59:33 Starting examples/opentheory
Sep 11 07:06:49 Finished examples/opentheory                                   7m15s   3GB
Sep 11 07:06:50 Starting examples/opentheory/compilation
Sep 11 07:09:02 Finished examples/opentheory/compilation                       2m10s   6GB
Sep 11 07:09:03 Starting examples/opentheory/compilation/proofs
Sep 11 07:10:48 Finished examples/opentheory/compilation/proofs                1m44s   5GB
Sep 11 07:10:49 Starting examples/opentheory/compilation/ag32
Sep 11 07:13:13 Finished examples/opentheory/compilation/ag32                  2m20s   6GB
Sep 11 07:13:14 Starting examples/opentheory/compilation/ag32/proofs
Sep 11 07:15:19 Finished examples/opentheory/compilation/ag32/proofs           2m03s   7GB
Sep 11 07:15:20 Starting examples/sat_encodings
Sep 11 07:16:38 Finished examples/sat_encodings                                1m14s   1GB
Sep 11 07:16:41 Starting examples/sat_encodings/demo
Sep 11 07:16:51 Finished examples/sat_encodings/demo                              6s   1GB
Sep 11 07:16:53 Starting examples/sat_encodings/case_studies
Sep 11 07:18:47 Finished examples/sat_encodings/case_studies                   1m52s   1GB
Sep 11 07:18:48 Starting examples/sat_encodings/translation
Sep 11 07:22:56 Finished examples/sat_encodings/translation                    4m07s   3GB
Sep 11 07:22:57 Starting examples/sat_encodings/translation/compilation
Sep 11 07:25:48 Finished examples/sat_encodings/translation/compilation        2m49s   5GB
Sep 11 07:25:49 Starting examples/deflate
Sep 11 07:26:17 Finished examples/deflate                                        27s   1GB
Sep 11 07:26:19 Starting examples/deflate/translation
Sep 11 07:27:30 Finished examples/deflate/translation                          1m10s   3GB
Sep 11 07:27:31 Starting examples/deflate/translation/compilation
Sep 11 07:28:48 Finished examples/deflate/translation/compilation              1m16s   4GB
Sep 11 07:28:49 Starting examples/vipr
Sep 11 07:31:37 Finished examples/vipr                                         2m46s   6GB
Sep 11 07:31:38 Starting examples/vipr/compilation
Sep 11 07:33:04 Finished examples/vipr/compilation                             1m24s   4GB
Sep 11 07:33:05 Starting examples/flover/Infra
Sep 11 07:33:48 Finished examples/flover/Infra                                   42s   1GB
Sep 11 07:33:49 Starting examples/flover/semantics
Sep 11 07:35:22 Finished examples/flover/semantics                             1m32s   1GB
Sep 11 07:35:23 Starting examples/flover
Sep 11 07:55:19 Finished examples/flover                                      19m55s   1GB
Sep 11 07:55:20 Starting examples/template
Sep 11 07:55:29 Finished examples/template                                        7s   1GB
Sep 11 07:55:30 Starting examples/template/translation
Sep 11 07:55:59 Finished examples/template/translation                           28s   1GB
Sep 11 07:56:00 Starting examples/template/compilation
Sep 11 07:57:22 Finished examples/template/compilation                         1m20s   4GB
Sep 11 07:57:23 Starting translator/okasaki-examples
Sep 11 08:00:53 Finished translator/okasaki-examples                           3m29s   3GB
Sep 11 08:00:54 Starting translator/other-examples
Sep 11 08:02:12 Finished translator/other-examples                             1m16s   3GB
Sep 11 08:02:13 Starting translator/other-examples/auxiliary
Sep 11 08:02:20 Finished translator/other-examples/auxiliary                      6s   1GB
Sep 11 08:02:21 Starting compiler/parsing/tests
Sep 11 08:03:16 Finished compiler/parsing/tests                                  54s   1GB
Sep 11 08:03:17 Starting compiler/inference/tests
Sep 11 08:04:09 Finished compiler/inference/tests                                50s   3GB
Sep 11 08:04:10 Starting compiler/printing/test
Sep 11 08:07:28 Finished compiler/printing/test                                3m17s  14GB
Sep 11 08:07:29 Starting compiler/repl
Sep 11 08:07:36 Finished compiler/repl                                            6s   1GB
Sep 11 08:07:37 Starting compiler/benchmarks
Sep 11 08:30:29 Finished compiler/benchmarks                                  22m50s   2GB
Sep 11 08:30:30 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Sep 11 08:30:36 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             5s   1GB
Sep 11 08:30:37 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Sep 11 08:30:44 Finished compiler/benchmarks/mlton_benchmarks/cakeml              6s   1GB
Sep 11 08:30:45 Starting compiler/bootstrap/translation
Sep 11 10:20:36 Finished compiler/bootstrap/translation                     1h49m49s  40GB
Sep 11 10:20:37 Starting compiler/bootstrap/compilation/x64/64
Sep 11 10:25:47 Finished compiler/bootstrap/compilation/x64/64                 5m09s  25GB
Sep 11 10:25:48 Starting compiler/bootstrap/compilation/x64/32
Sep 11 11:04:55 Finished compiler/bootstrap/compilation/x64/32                39m06s  75GB
Sep 11 11:04:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 11 11:14:15 Finished compiler/bootstrap/compilation/x64/32/proofs          9m16s  32GB
Sep 11 11:14:16 Starting compiler/bootstrap/compilation/arm8/64
Sep 11 12:13:02 Finished compiler/bootstrap/compilation/arm8/64               58m45s  95GB
Sep 11 12:13:03 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 11 12:24:15 Finished compiler/bootstrap/compilation/arm8/64/proofs        11m10s  41GB
Sep 11 12:24:16 Starting compiler/bootstrap/compilation/ag32/32
Sep 11 13:06:17 Finished compiler/bootstrap/compilation/ag32/32               42m00s  75GB
Sep 11 13:06:18 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 11 13:17:22 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m03s  39GB
Sep 11 13:17:23 Starting unverified/sexpr-bootstrap/x64/64
Sep 11 13:24:16 Finished unverified/sexpr-bootstrap/x64/64                     6m51s  24GB
Sep 11 13:24:17 Starting unverified/sexpr-bootstrap/x64/32
Sep 11 13:30:01 Finished unverified/sexpr-bootstrap/x64/32                     5m43s  22GB
Sep 11 13:30:02 Starting unverified
Sep 11 13:30:09 Finished unverified                                               6s   1GB
Sep 11 13:30:10 SUCCESS