Job 3655

CakeML:732ff5992400599c4107b839aea51a02a13d294e
  Add basis bindings for array and vector copying [Nov 01 13:31:23]
#1559 (byte-array-scan)
Merging into:665f9b21712ad093e10a404ccc2f78e64a34aeef
  add release note for ptr-eq [Oct 28 14:47:54]
HOL:9783a49979c94c401ff8c0e51b2eefae7ea95ae3
  RecordType: name the variables of the record cases proof [Oct 26 22:48:32]
Machine:fairybread

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