Job 3598

CakeML:f9f06253f2e1eb2e1f0cd133302c86360cffb787
  Use the unsafe string subscript in the pseudo_bool and cnf checkers [Oct 10 09:35:10]
#1538 (strsub-unsafe)
Merging into:d35069c897d1e1924a90679de79e8ba0c00efc6f
  Remove old_drule, var_eq_old and temp_loose_equality retrofits (#1536) [Oct 08 07:01:22]
HOL:652d1f0aad5cd537ed1e5d470ba3444e70ba470e
  Merge remote-tracking branch 'origin/master' into develop [Sep 27 02:14:15]
Machine:spagbol

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