Job 3507

CakeML:1ee993fade6862a8aae3200678f7a099b9dd809d
  Update pan_to_crepProofScript.sml [Sep 09 20:26:15]
#1483 (myreen-patch-1)
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:timtam

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