Job 3528

CakeML:7c990b4317741c4b5440946eb562dc10904d9f8e
  astPP [Sep 15 19:18:37]
#1488 (translate-ast)
Merging into:990d9c31eaa9c10707a4587bd567e22b03cc2ce1
  Merge pull request #1491 from CakeML/mcandidate-fix [Sep 17 19:54:39]
HOL:dfff742b1f89a43e9c1812a146e9a40d4c4d89fc
  Avoid Q.prove in Lib [Sep 16 11:12:56]
Machine:pavlova

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