Job 3579

CakeML:d8f2827e05311c2f7a43895a8efd87b373057b1e
  Mention malformed number errors in Pancake NEWS [Oct 03 18:07:31]
#1529 (wisper-dev:pan-digit-name)
Merging into:97c7610f42f9ba55e5fb5eb688a8170640ff6ca9
  Merge pull request #1515 from CakeML/ag32-comp-heap [Oct 04 03:40:22]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:timtam

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