Job 3539

CakeML:2dddc536c197894f960027b1539376c3ac63937e
  Merge pull request #1494 from CakeML/mtrans_byte_array [Sep 24 05:45:40]
HOL:dfff742b1f89a43e9c1812a146e9a40d4c4d89fc
  Avoid Q.prove in Lib [Sep 16 11:12:56]
Machine:timtam
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

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