Job 3656

CakeML:2c8abfe53676cb4d1576174d5854a6de55e62e55
  Add more basis module names that need to be converted in Candle [Nov 02 04:39:03]
HOL:9783a49979c94c401ff8c0e51b2eefae7ea95ae3
  RecordType: name the variables of the record cases proof [Oct 26 22:48:32]
Machine:bikkie
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

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