Job 2419

CakeML:8451def8f0758cd25a4de7cf764028a0a063ce4f
  Merge pull request #1002 from CakeML/to_data_cv [Jun 21 20:32:28]
HOL:493fc3fcd7d8390b7d85861775b6e56fd6b17d9f
  Remove some unicode [Jun 18 04:19:36]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Jun 21 20:37:28 Claimed job
Jun 21 20:37:30 Reusing HOL
Jun 21 20:38:16 Starting developers
Jun 21 20:38:21 Finished developers                                               5s 175MB
Jun 21 20:38:21 Starting developers/bin
Jun 21 20:38:27 Finished developers/bin                                           6s   1GB
Jun 21 20:38:28 Starting compiler/proofs
Jun 21 22:40:18 Finished compiler/proofs                                    2h01m50s  14GB
Jun 21 22:40:18 Starting compiler/bootstrap/translation
Jun 22 07:02:31 Finished compiler/bootstrap/translation                     8h22m12s  51GB
Jun 22 07:02:31 Starting semantics/ffi
Jun 22 07:02:36 Finished semantics/ffi                                            4s 399MB
Jun 22 07:02:36 Starting semantics
Jun 22 07:02:38 Finished semantics                                                1s  20MB
Jun 22 07:02:38 Starting semantics/proofs
Jun 22 07:03:12 Finished semantics/proofs                                        33s 861MB
Jun 22 07:03:12 Starting semantics/alt_semantics
Jun 22 07:03:45 Finished semantics/alt_semantics                                 32s 927MB
Jun 22 07:03:45 Starting semantics/alt_semantics/proofs
Jun 22 07:15:56 Finished semantics/alt_semantics/proofs                       12m10s   1GB
Jun 22 07:15:56 Starting basis/pure
Jun 22 07:15:57 Finished basis/pure                                               1s  18MB
Jun 22 07:15:58 Starting translator
Jun 22 07:17:47 Finished translator                                            1m49s   2GB
Jun 22 07:17:48 Starting compiler/parsing
Jun 22 07:17:49 Finished compiler/parsing                                         1s  18MB
Jun 22 07:17:49 Starting characteristic
Jun 22 07:17:51 Finished characteristic                                           1s  21MB
Jun 22 07:17:51 Starting translator/monadic
Jun 22 07:17:53 Finished translator/monadic                                       1s  24MB
Jun 22 07:17:53 Starting basis
Jun 22 07:21:33 Finished basis                                                 3m39s   3GB
Jun 22 07:21:33 Starting compiler/inference
Jun 22 07:21:35 Finished compiler/inference                                       1s  19MB
Jun 22 07:21:36 Starting compiler/backend/reg_alloc
Jun 22 07:21:37 Finished compiler/backend/reg_alloc                               1s  21MB
Jun 22 07:21:37 Starting compiler/backend/gc
Jun 22 07:21:40 Finished compiler/backend/gc                                      2s  23MB
Jun 22 07:21:40 Starting compiler/backend
Jun 22 07:21:54 Finished compiler/backend                                        14s 767MB
Jun 22 07:21:54 Starting compiler/encoders/asm
Jun 22 07:21:56 Finished compiler/encoders/asm                                    1s  26MB
Jun 22 07:21:56 Starting compiler/encoders/x64
Jun 22 07:21:58 Finished compiler/encoders/x64                                    1s  28MB
Jun 22 07:21:58 Starting compiler/encoders/arm7
Jun 22 07:22:00 Finished compiler/encoders/arm7                                   1s  24MB
Jun 22 07:22:00 Starting compiler/encoders/arm8
Jun 22 07:22:02 Finished compiler/encoders/arm8                                   1s  26MB
Jun 22 07:22:02 Starting compiler/encoders/arm8_asl
Jun 22 07:25:19 Finished compiler/encoders/arm8_asl                            3m16s   1GB
Jun 22 07:25:19 Starting compiler/encoders/mips
Jun 22 07:25:21 Finished compiler/encoders/mips                                   1s  24MB
Jun 22 07:25:21 Starting compiler/encoders/riscv
Jun 22 07:25:23 Finished compiler/encoders/riscv                                  1s  21MB
Jun 22 07:25:23 Starting compiler/encoders/ag32
Jun 22 07:25:25 Finished compiler/encoders/ag32                                   1s  19MB
Jun 22 07:25:25 Starting compiler/backend/x64
Jun 22 07:25:27 Finished compiler/backend/x64                                     2s  27MB
Jun 22 07:25:28 Starting compiler/backend/arm7
Jun 22 07:25:30 Finished compiler/backend/arm7                                    2s  30MB
Jun 22 07:25:30 Starting compiler/backend/arm8
Jun 22 07:25:32 Finished compiler/backend/arm8                                    2s  31MB
Jun 22 07:25:33 Starting compiler/backend/mips
Jun 22 07:25:35 Finished compiler/backend/mips                                    2s  28MB
Jun 22 07:25:35 Starting compiler/backend/riscv
Jun 22 07:25:37 Finished compiler/backend/riscv                                   2s  25MB
Jun 22 07:25:37 Starting compiler/backend/ag32
Jun 22 07:27:04 Finished compiler/backend/ag32                                 1m26s   1GB
Jun 22 07:27:04 Starting compiler/parsing/proofs
Jun 22 07:27:06 Finished compiler/parsing/proofs                                  1s  20MB
Jun 22 07:27:06 Starting compiler/inference/proofs
Jun 22 07:27:08 Finished compiler/inference/proofs                                1s  24MB
Jun 22 07:27:08 Starting compiler/backend/semantics
Jun 22 07:31:00 Finished compiler/backend/semantics                            3m52s   1GB
Jun 22 07:31:00 Starting compiler/backend/reg_alloc/proofs
Jun 22 07:31:02 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
Jun 22 07:31:02 Starting compiler/backend/proofs
Jun 22 07:32:06 Finished compiler/backend/proofs                               1m03s   3GB
Jun 22 07:32:06 Starting compiler/backend/serialiser
Jun 22 07:32:08 Finished compiler/backend/serialiser                              2s  27MB
Jun 22 07:32:09 Starting compiler/encoders/x64/proofs
Jun 22 07:41:58 Finished compiler/encoders/x64/proofs                          9m49s   5GB
Jun 22 07:41:58 Starting compiler/encoders/arm7/proofs
Jun 22 07:55:44 Finished compiler/encoders/arm7/proofs                        13m45s   4GB
Jun 22 07:55:44 Starting compiler/encoders/arm8/proofs
Jun 22 08:02:45 Finished compiler/encoders/arm8/proofs                         7m01s   1GB
Jun 22 08:02:45 Starting compiler/encoders/arm8_asl/proofs
Jun 22 08:18:51 Finished compiler/encoders/arm8_asl/proofs                    16m06s   2GB
Jun 22 08:18:51 Starting compiler/encoders/mips/proofs
Jun 22 08:29:33 Finished compiler/encoders/mips/proofs                        10m41s   2GB
Jun 22 08:29:33 Starting compiler/encoders/riscv/proofs
Jun 22 08:38:14 Finished compiler/encoders/riscv/proofs                        8m40s   2GB
Jun 22 08:38:14 Starting compiler/encoders/ag32/proofs
Jun 22 08:40:47 Finished compiler/encoders/ag32/proofs                         2m32s   1GB
Jun 22 08:40:47 Starting compiler/backend/x64/proofs
Jun 22 08:41:21 Finished compiler/backend/x64/proofs                             33s   2GB
Jun 22 08:41:21 Starting compiler/backend/arm7/proofs
Jun 22 08:41:58 Finished compiler/backend/arm7/proofs                            36s   2GB
Jun 22 08:41:58 Starting compiler/backend/arm8/proofs
Jun 22 08:42:32 Finished compiler/backend/arm8/proofs                            34s   2GB
Jun 22 08:42:32 Starting compiler/backend/arm8_asl
Jun 22 08:42:57 Finished compiler/backend/arm8_asl                               24s   2GB
Jun 22 08:42:57 Starting compiler/backend/mips/proofs
Jun 22 08:43:33 Finished compiler/backend/mips/proofs                            35s   2GB
Jun 22 08:43:33 Starting compiler/backend/riscv/proofs
Jun 22 08:44:11 Finished compiler/backend/riscv/proofs                           37s   2GB
Jun 22 08:44:11 Starting compiler/backend/ag32/proofs
Jun 22 08:58:43 Finished compiler/backend/ag32/proofs                         14m32s   3GB
Jun 22 08:58:43 Starting compiler/backend/cv_compute
Jun 22 09:00:05 Finished compiler/backend/cv_compute                           1m21s   2GB
Jun 22 09:00:05 Starting cv_translator
Jun 22 09:20:28 Finished cv_translator                                        20m23s   7GB
Jun 22 09:20:28 Starting candle/set-theory
Jun 22 09:21:12 Finished candle/set-theory                                       44s 998MB
Jun 22 09:21:12 Starting candle/syntax-lib
Jun 22 09:21:14 Finished candle/syntax-lib                                        1s  18MB
Jun 22 09:21:14 Starting candle/standard/syntax
Jun 22 09:21:27 Finished candle/standard/syntax                                  12s 796MB
Jun 22 09:21:27 Starting candle/standard/semantics
Jun 22 09:23:36 Finished candle/standard/semantics                             2m09s   1GB
Jun 22 09:23:36 Starting candle/standard/monadic
Jun 22 09:23:38 Finished candle/standard/monadic                                  1s  25MB
Jun 22 09:23:38 Starting candle/standard/ml_kernel
Jun 22 09:25:23 Finished candle/standard/ml_kernel                             1m45s   3GB
Jun 22 09:25:23 Starting candle/overloading/syntax
Jun 22 09:28:57 Finished candle/overloading/syntax                             3m33s   1GB
Jun 22 09:28:57 Starting candle/overloading/semantics
Jun 22 09:41:15 Finished candle/overloading/semantics                         12m17s   4GB
Jun 22 09:41:15 Starting candle/overloading/monadic
Jun 22 09:44:05 Finished candle/overloading/monadic                            2m50s   2GB
Jun 22 09:44:05 Starting candle/overloading/ml_kernel
Jun 22 09:52:11 Finished candle/overloading/ml_kernel                          8m06s   3GB
Jun 22 09:52:11 Starting candle/overloading/ml_checker
Jun 22 09:54:51 Finished candle/overloading/ml_checker                         2m40s   3GB
Jun 22 09:54:52 Starting candle/prover
Jun 22 10:04:55 Finished candle/prover                                        10m03s   3GB
Jun 22 10:04:55 Starting pancake
Jun 22 10:05:45 Finished pancake                                                 49s   1GB
Jun 22 10:05:45 Starting pancake/ffi
Jun 22 10:05:45 Finished pancake/ffi                                              0s  13MB
Jun 22 10:05:46 Starting pancake/semantics
Jun 22 10:08:30 Finished pancake/semantics                                     2m44s   1GB
Jun 22 10:08:30 Starting pancake/parser
Jun 22 10:08:58 Finished pancake/parser                                          28s   1GB
Jun 22 10:08:58 Starting pancake/proofs
Jun 22 10:43:54 Finished pancake/proofs                                       34m55s   6GB
Jun 22 10:43:54 Starting characteristic/examples
Jun 22 10:45:30 Finished characteristic/examples                               1m35s   3GB
Jun 22 10:45:30 Starting tutorial/solutions
Jun 22 10:48:07 Finished tutorial/solutions                                    2m37s   2GB
Jun 22 10:48:07 Starting translator/monadic/examples
Jun 22 10:52:29 Finished translator/monadic/examples                           4m21s   3GB
Jun 22 10:52:29 Starting examples
Jun 22 11:08:39 Finished examples                                             16m09s   4GB
Jun 22 11:08:39 Starting examples/compilation/x64
Jun 22 11:17:23 Finished examples/compilation/x64                              8m44s   5GB
Jun 22 11:17:23 Starting examples/compilation/x64/proofs
Jun 22 11:20:15 Finished examples/compilation/x64/proofs                       2m51s   4GB
Jun 22 11:20:15 Starting examples/compilation/ag32
Jun 22 11:22:25 Finished examples/compilation/ag32                             2m10s   2GB
Jun 22 11:22:25 Starting examples/compilation/ag32/proofs
Jun 22 11:23:35 Finished examples/compilation/ag32/proofs                      1m09s   5GB
Jun 22 11:23:36 Starting examples/compilation/to_word
Jun 22 11:27:07 Finished examples/compilation/to_word                          3m31s   6GB
Jun 22 11:27:08 Starting examples/lpr_checker
Jun 22 11:28:18 Finished examples/lpr_checker                                  1m10s   1GB
Jun 22 11:28:18 Starting examples/lpr_checker/array
Jun 22 11:58:47 Finished examples/lpr_checker/array                           30m28s   7GB
Jun 22 11:58:48 Starting examples/lpr_checker/array/compilation
Jun 22 12:01:31 Finished examples/lpr_checker/array/compilation                2m43s   8GB
Jun 22 12:01:31 Starting examples/lpr_checker/array/compilation/proofs
Jun 22 12:02:56 Finished examples/lpr_checker/array/compilation/proofs         1m25s   5GB
Jun 22 12:02:56 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 22 12:04:14 Finished examples/lpr_checker/array/compilation/proofsARM8     1m17s   7GB
Jun 22 12:04:14 Starting examples/xlrup_checker
Jun 22 12:05:18 Finished examples/xlrup_checker                                1m03s   1GB
Jun 22 12:05:18 Starting examples/xlrup_checker/array
Jun 22 12:21:32 Finished examples/xlrup_checker/array                         16m13s   4GB
Jun 22 12:21:32 Starting examples/xlrup_checker/array/compilation
Jun 22 12:22:54 Finished examples/xlrup_checker/array/compilation              1m21s   4GB
Jun 22 12:22:54 Starting examples/xlrup_checker/array/compilation/proofs
Jun 22 12:24:00 Finished examples/xlrup_checker/array/compilation/proofs       1m05s   5GB
Jun 22 12:24:00 Starting examples/pseudo_bool
Jun 22 12:26:06 Finished examples/pseudo_bool                                  2m05s   1GB
Jun 22 12:26:06 Starting examples/pseudo_bool/cnf_encoding
Jun 22 12:26:36 Finished examples/pseudo_bool/cnf_encoding                       30s   1GB
Jun 22 12:26:36 Starting examples/pseudo_bool/graph_encoding
Jun 22 12:27:25 Finished examples/pseudo_bool/graph_encoding                     48s 868MB
Jun 22 12:27:25 Starting examples/pseudo_bool/array
Jun 22 13:36:57 Finished examples/pseudo_bool/array                         1h09m32s   8GB
Jun 22 13:36:58 Starting examples/pseudo_bool/array/compilation
Jun 22 13:52:29 Finished examples/pseudo_bool/array/compilation               15m31s  26GB
Jun 22 13:52:29 Starting examples/pseudo_bool/array/compilation/proofs
Jun 22 13:55:22 Finished examples/pseudo_bool/array/compilation/proofs         2m53s   7GB
Jun 22 13:55:23 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 22 13:56:40 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m17s   7GB
Jun 22 13:56:40 Starting examples/opentheory
Jun 22 14:07:56 Finished examples/opentheory                                  11m15s   4GB
Jun 22 14:07:56 Starting examples/opentheory
Jun 22 14:07:58 Finished examples/opentheory                                      1s  28MB
Jun 22 14:07:58 Starting examples/opentheory/compilation
Jun 22 14:09:58 Finished examples/opentheory/compilation                       1m59s   5GB
Jun 22 14:09:58 Starting examples/opentheory/compilation/proofs
Jun 22 14:11:02 Finished examples/opentheory/compilation/proofs                1m04s   5GB
Jun 22 14:11:02 Starting examples/opentheory/compilation/ag32
Jun 22 14:13:04 Finished examples/opentheory/compilation/ag32                  2m01s   6GB
Jun 22 14:13:04 Starting examples/opentheory/compilation/ag32/proofs
Jun 22 14:14:45 Finished examples/opentheory/compilation/ag32/proofs           1m40s   6GB
Jun 22 14:14:45 Starting examples/sat_encodings
Jun 22 14:17:06 Finished examples/sat_encodings                                2m20s   1GB
Jun 22 14:17:06 Starting examples/sat_encodings/case_studies
Jun 22 14:19:03 Finished examples/sat_encodings/case_studies                   1m56s   1GB
Jun 22 14:19:03 Starting examples/sat_encodings/translation
Jun 22 14:25:46 Finished examples/sat_encodings/translation                    6m43s   4GB
Jun 22 14:25:46 Starting examples/sat_encodings/translation/compilation
Jun 22 14:28:07 Finished examples/sat_encodings/translation/compilation        2m21s   5GB
Jun 22 14:28:07 Starting examples/deflate
Jun 22 14:29:16 Finished examples/deflate                                      1m08s 907MB
Jun 22 14:29:16 Starting examples/deflate/translation
Jun 22 14:31:05 Finished examples/deflate/translation                          1m48s   3GB
Jun 22 14:31:05 Starting examples/deflate/translation/compilation
Jun 22 14:32:14 Finished examples/deflate/translation/compilation              1m09s   4GB
Jun 22 14:32:14 Starting examples/vipr
Jun 22 14:36:24 Finished examples/vipr                                         4m09s   4GB
Jun 22 14:36:24 Starting examples/vipr/compilation
Jun 22 14:37:41 Finished examples/vipr/compilation                             1m16s   3GB
Jun 22 14:37:41 Starting translator/okasaki-examples
Jun 22 14:43:04 Finished translator/okasaki-examples                           5m22s   2GB
Jun 22 14:43:04 Starting translator/other-examples
Jun 22 14:44:06 Finished translator/other-examples                             1m01s   2GB
Jun 22 14:44:06 Starting compiler/parsing/tests
Jun 22 14:44:38 Finished compiler/parsing/tests                                  32s 837MB
Jun 22 14:44:38 Starting compiler/inference/tests
Jun 22 14:45:11 Finished compiler/inference/tests                                32s   1GB
Jun 22 14:45:11 Starting compiler/printing/test
Jun 22 14:46:38 Finished compiler/printing/test                                1m27s   2GB
Jun 22 14:46:38 Starting icing/flover
Jun 22 15:31:46 Finished icing/flover                                         45m08s   2GB
Jun 22 15:31:47 Starting icing/
Jun 22 16:25:58 Finished icing/                                               54m11s   7GB
Jun 22 16:25:59 Starting icing/examples
Jun 22 16:27:36 Finished icing/examples                                        1m37s   2GB
Jun 22 16:27:36 Starting compiler/repl
Jun 22 16:36:29 Finished compiler/repl                                         8m52s   6GB
Jun 22 16:36:29 Starting unverified/sexpr-bootstrap/x64/64
Jun 22 16:50:15 Finished unverified/sexpr-bootstrap/x64/64                    13m45s  13GB
Jun 22 16:50:15 Starting unverified/sexpr-bootstrap/x64/32
Jun 22 17:01:38 Finished unverified/sexpr-bootstrap/x64/32                    11m22s  16GB
Jun 22 17:01:38 Starting compiler/benchmarks
Jun 22 17:17:49 Finished compiler/benchmarks                                  16m10s   2GB
Jun 22 17:17:49 Starting compiler/bootstrap/compilation/x64/64
Jun 22 18:14:51 Finished compiler/bootstrap/compilation/x64/64                57m00s  63GB
Jun 22 18:14:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 22 18:36:32 Finished compiler/bootstrap/compilation/x64/64/proofs         21m41s  48GB
Jun 22 18:36:32 Starting compiler/bootstrap/compilation/x64/32
Jun 22 19:10:20 Finished compiler/bootstrap/compilation/x64/32                33m47s  62GB
Jun 22 19:10:20 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 22 19:15:58 Finished compiler/bootstrap/compilation/x64/32/proofs          5m38s  18GB
Jun 22 19:15:58 Starting compiler/bootstrap/compilation/ag32/32
Jun 22 19:50:17 Finished compiler/bootstrap/compilation/ag32/32               34m18s  63GB
Jun 22 19:50:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 22 19:56:51 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m34s  19GB
Jun 22 19:56:51 SUCCESS