Job 3658

CakeML:8fc8edbc701fcc73ec6994bac07cfd29c82e2402
  Keep literal word64 shift amounts in place in source_lift_consts [Nov 02 05:49:08]
#1572 (fix-constant-lifting-at-shifts)
Merging into:2c8abfe53676cb4d1576174d5854a6de55e62e55
  Add more basis module names that need to be converted in Candle [Nov 02 04:39:03]
HOL:9783a49979c94c401ff8c0e51b2eefae7ea95ae3
  RecordType: name the variables of the record cases proof [Oct 26 22:48:32]
Machine:fairybread

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