Job 3555

CakeML:3c3cd273f9d89da1c51bf37d64b277288a4d3240
  Fix incorrect disabled tag on 32bit feature [Sep 29 09:18:27]
#1506 (fix_localise)
Merging into:530c7deec135ad421cce7ca768eed2f5801261b2
  Merge pull request #1502 from CakeML/bool_array_in_basis [Sep 28 20:21:18]
HOL:dfff742b1f89a43e9c1812a146e9a40d4c4d89fc
  Avoid Q.prove in Lib [Sep 16 11:12:56]
Machine:pavlova

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