Job 3530

CakeML:37825fa85c952988e03746ac0821d7063eb6a0a7
  fix whilespace [Sep 18 14:34:01]
#1492 (pan_decompiler)
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:lammmington

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