Job 3587

CakeML:e2b88323e632a5353c142ceef1af4bab77a8f928
  Merge pull request #1533 from CakeML/imul-idiv [Oct 06 09:49:45]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:timtam
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

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