Job 2316

CakeML:2dfec7f3c046be832517dafc6084be45d55e7082
  Merge pull request #983 from CakeML/fromsexpfix [Feb 29 22:18:07]
HOL:e85cc6517e56eaf3dd7b907048e3b37f3b231337
  remove whitespace [Feb 22 00:27:01]
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

Mar 03 12:42:04 Claimed job
Mar 03 12:42:12 Building HOL
Mar 03 12:55:11 Starting developers
Mar 03 12:55:17 Finished developers                                               5s 115MB
Mar 03 12:55:17 Starting developers/bin
Mar 03 12:55:23 Finished developers/bin                                           6s   1GB
Mar 03 12:55:23 Starting compiler/proofs
Mar 03 14:49:15 Finished compiler/proofs                                    1h53m52s  17GB
Mar 03 14:49:16 Starting compiler/bootstrap/translation
Mar 03 23:05:42 Finished compiler/bootstrap/translation                     8h16m26s  34GB
Mar 03 23:05:43 Starting semantics/ffi
Mar 03 23:05:49 Finished semantics/ffi                                            5s 205MB
Mar 03 23:05:49 Starting semantics
Mar 03 23:05:50 Finished semantics                                                1s  22MB
Mar 03 23:05:50 Starting semantics/proofs
Mar 03 23:06:25 Finished semantics/proofs                                        34s   1GB
Mar 03 23:06:25 Starting semantics/alt_semantics
Mar 03 23:06:58 Finished semantics/alt_semantics                                 32s 734MB
Mar 03 23:06:58 Starting semantics/alt_semantics/proofs
Mar 03 23:18:55 Finished semantics/alt_semantics/proofs                       11m56s   1GB
Mar 03 23:18:55 Starting basis/pure
Mar 03 23:18:57 Finished basis/pure                                               1s  19MB
Mar 03 23:18:57 Starting translator
Mar 03 23:20:43 Finished translator                                            1m46s   2GB
Mar 03 23:20:43 Starting compiler/parsing
Mar 03 23:20:45 Finished compiler/parsing                                         1s  18MB
Mar 03 23:20:45 Starting characteristic
Mar 03 23:20:47 Finished characteristic                                           1s  23MB
Mar 03 23:20:47 Starting translator/monadic
Mar 03 23:20:49 Finished translator/monadic                                       1s  20MB
Mar 03 23:20:49 Starting basis
Mar 03 23:24:29 Finished basis                                                 3m40s   3GB
Mar 03 23:24:29 Starting compiler/inference
Mar 03 23:24:31 Finished compiler/inference                                       1s  21MB
Mar 03 23:24:31 Starting compiler/backend/reg_alloc
Mar 03 23:24:33 Finished compiler/backend/reg_alloc                               1s  22MB
Mar 03 23:24:33 Starting compiler/backend/gc
Mar 03 23:24:35 Finished compiler/backend/gc                                      2s  25MB
Mar 03 23:24:35 Starting compiler/backend
Mar 03 23:24:48 Finished compiler/backend                                        12s 825MB
Mar 03 23:24:48 Starting compiler/encoders/asm
Mar 03 23:24:50 Finished compiler/encoders/asm                                    1s  24MB
Mar 03 23:24:50 Starting compiler/encoders/x64
Mar 03 23:24:52 Finished compiler/encoders/x64                                    1s  25MB
Mar 03 23:24:52 Starting compiler/encoders/arm7
Mar 03 23:24:54 Finished compiler/encoders/arm7                                   1s  24MB
Mar 03 23:24:54 Starting compiler/encoders/arm8
Mar 03 23:24:56 Finished compiler/encoders/arm8                                   1s  22MB
Mar 03 23:24:56 Starting compiler/encoders/arm8_asl
Mar 04 01:50:30 Finished compiler/encoders/arm8_asl                         2h25m34s  32GB
Mar 04 01:50:31 Starting compiler/encoders/mips
Mar 04 01:50:32 Finished compiler/encoders/mips                                   1s  24MB
Mar 04 01:50:33 Starting compiler/encoders/riscv
Mar 04 01:50:34 Finished compiler/encoders/riscv                                  1s  20MB
Mar 04 01:50:34 Starting compiler/encoders/ag32
Mar 04 01:50:36 Finished compiler/encoders/ag32                                   1s  26MB
Mar 04 01:50:36 Starting compiler/backend/x64
Mar 04 01:50:39 Finished compiler/backend/x64                                     2s  24MB
Mar 04 01:50:39 Starting compiler/backend/arm7
Mar 04 01:50:41 Finished compiler/backend/arm7                                    2s  23MB
Mar 04 01:50:41 Starting compiler/backend/arm8
Mar 04 01:50:43 Finished compiler/backend/arm8                                    2s  26MB
Mar 04 01:50:43 Starting compiler/backend/mips
Mar 04 01:50:46 Finished compiler/backend/mips                                    2s  27MB
Mar 04 01:50:46 Starting compiler/backend/riscv
Mar 04 01:50:48 Finished compiler/backend/riscv                                   2s  27MB
Mar 04 01:50:48 Starting compiler/backend/ag32
Mar 04 01:52:14 Finished compiler/backend/ag32                                 1m25s   1GB
Mar 04 01:52:14 Starting compiler/parsing/proofs
Mar 04 01:52:15 Finished compiler/parsing/proofs                                  1s  19MB
Mar 04 01:52:15 Starting compiler/inference/proofs
Mar 04 01:52:17 Finished compiler/inference/proofs                                1s  20MB
Mar 04 01:52:17 Starting compiler/backend/semantics
Mar 04 01:53:32 Finished compiler/backend/semantics                            1m14s   1GB
Mar 04 01:53:33 Starting compiler/backend/reg_alloc/proofs
Mar 04 01:53:34 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
Mar 04 01:53:35 Starting compiler/backend/proofs
Mar 04 01:54:34 Finished compiler/backend/proofs                                 59s   3GB
Mar 04 01:54:34 Starting compiler/backend/serialiser
Mar 04 01:54:37 Finished compiler/backend/serialiser                              2s  34MB
Mar 04 01:54:37 Starting compiler/encoders/x64/proofs
Mar 04 02:04:29 Finished compiler/encoders/x64/proofs                          9m51s   6GB
Mar 04 02:04:29 Starting compiler/encoders/arm7/proofs
Mar 04 02:18:15 Finished compiler/encoders/arm7/proofs                        13m46s   4GB
Mar 04 02:18:15 Starting compiler/encoders/arm8/proofs
Mar 04 02:25:16 Finished compiler/encoders/arm8/proofs                         7m00s   1GB
Mar 04 02:25:16 Starting compiler/encoders/arm8_asl/proofs
Mar 04 03:17:00 Finished compiler/encoders/arm8_asl/proofs                    51m43s   7GB
Mar 04 03:17:00 Starting compiler/encoders/mips/proofs
Mar 04 03:27:43 Finished compiler/encoders/mips/proofs                        10m43s   2GB
Mar 04 03:27:43 Starting compiler/encoders/riscv/proofs
Mar 04 03:36:47 Finished compiler/encoders/riscv/proofs                        9m03s   1GB
Mar 04 03:36:47 Starting compiler/encoders/ag32/proofs
Mar 04 03:39:19 Finished compiler/encoders/ag32/proofs                         2m32s   1GB
Mar 04 03:39:19 Starting compiler/backend/x64/proofs
Mar 04 03:39:50 Finished compiler/backend/x64/proofs                             30s   2GB
Mar 04 03:39:50 Starting compiler/backend/arm7/proofs
Mar 04 03:40:21 Finished compiler/backend/arm7/proofs                            31s   1GB
Mar 04 03:40:21 Starting compiler/backend/arm8/proofs
Mar 04 03:40:52 Finished compiler/backend/arm8/proofs                            30s   2GB
Mar 04 03:40:53 Starting compiler/backend/arm8_asl
Mar 04 03:41:17 Finished compiler/backend/arm8_asl                               24s   2GB
Mar 04 03:41:17 Starting compiler/backend/mips/proofs
Mar 04 03:41:51 Finished compiler/backend/mips/proofs                            33s   2GB
Mar 04 03:41:51 Starting compiler/backend/riscv/proofs
Mar 04 03:42:27 Finished compiler/backend/riscv/proofs                           36s   2GB
Mar 04 03:42:27 Starting compiler/backend/ag32/proofs
Mar 04 03:56:29 Finished compiler/backend/ag32/proofs                         14m01s   2GB
Mar 04 03:56:29 Starting candle/set-theory
Mar 04 03:57:08 Finished candle/set-theory                                       39s   1GB
Mar 04 03:57:08 Starting candle/syntax-lib
Mar 04 03:57:10 Finished candle/syntax-lib                                        1s  24MB
Mar 04 03:57:10 Starting candle/standard/syntax
Mar 04 03:57:21 Finished candle/standard/syntax                                  10s 766MB
Mar 04 03:57:21 Starting candle/standard/semantics
Mar 04 03:59:20 Finished candle/standard/semantics                             1m59s   1GB
Mar 04 03:59:20 Starting candle/standard/monadic
Mar 04 03:59:22 Finished candle/standard/monadic                                  1s  20MB
Mar 04 03:59:22 Starting candle/standard/ml_kernel
Mar 04 04:00:59 Finished candle/standard/ml_kernel                             1m36s   2GB
Mar 04 04:00:59 Starting candle/overloading/syntax
Mar 04 04:04:23 Finished candle/overloading/syntax                             3m23s   1GB
Mar 04 04:04:23 Starting candle/overloading/semantics
Mar 04 04:16:43 Finished candle/overloading/semantics                         12m20s   2GB
Mar 04 04:16:43 Starting candle/overloading/monadic
Mar 04 04:19:28 Finished candle/overloading/monadic                            2m45s   1GB
Mar 04 04:19:28 Starting candle/overloading/ml_kernel
Mar 04 04:27:29 Finished candle/overloading/ml_kernel                          8m00s   3GB
Mar 04 04:27:29 Starting candle/overloading/ml_checker
Mar 04 04:30:14 Finished candle/overloading/ml_checker                         2m45s   2GB
Mar 04 04:30:14 Starting candle/prover
Mar 04 04:40:23 Finished candle/prover                                        10m08s   3GB
Mar 04 04:40:24 Starting pancake
Mar 04 04:41:09 Finished pancake                                                 44s 868MB
Mar 04 04:41:09 Starting pancake/ffi
Mar 04 04:41:09 Finished pancake/ffi                                              0s  13MB
Mar 04 04:41:09 Starting pancake/semantics
Mar 04 04:43:36 Finished pancake/semantics                                     2m26s   1GB
Mar 04 04:43:36 Starting pancake/parser
Mar 04 04:43:59 Finished pancake/parser                                          22s   1GB
Mar 04 04:43:59 Starting pancake/proofs
Mar 04 05:17:35 Finished pancake/proofs                                       33m36s   5GB
Mar 04 05:17:35 Starting characteristic/examples
Mar 04 05:19:10 Finished characteristic/examples                               1m34s   2GB
Mar 04 05:19:10 Starting tutorial/solutions
Mar 04 05:34:31 Finished tutorial/solutions                                   15m20s   9GB
Mar 04 05:34:31 Starting translator/monadic/examples
Mar 04 05:38:37 Finished translator/monadic/examples                           4m05s   3GB
Mar 04 05:38:37 Starting examples
Mar 04 05:54:50 Finished examples                                             16m13s   3GB
Mar 04 05:54:50 Starting examples/compilation/x64
Mar 04 07:55:02 Finished examples/compilation/x64                           2h00m11s  19GB
Mar 04 07:55:02 Starting examples/compilation/x64/proofs
Mar 04 07:57:41 Finished examples/compilation/x64/proofs                       2m38s   4GB
Mar 04 07:57:41 Starting examples/compilation/ag32
Mar 04 08:28:21 Finished examples/compilation/ag32                            30m39s   7GB
Mar 04 08:28:21 Starting examples/compilation/ag32/proofs
Mar 04 08:29:23 Finished examples/compilation/ag32/proofs                      1m02s   4GB
Mar 04 08:29:24 Starting examples/compilation/to_word
Mar 04 08:32:47 Finished examples/compilation/to_word                          3m23s   7GB
Mar 04 08:32:47 Starting examples/lpr_checker
Mar 04 08:33:51 Finished examples/lpr_checker                                  1m04s   1GB
Mar 04 08:33:51 Starting examples/lpr_checker/array
Mar 04 09:05:11 Finished examples/lpr_checker/array                           31m19s   6GB
Mar 04 09:05:11 Starting examples/lpr_checker/array/compilation
Mar 04 09:57:04 Finished examples/lpr_checker/array/compilation               51m52s  20GB
Mar 04 09:57:05 Starting examples/lpr_checker/array/compilation/proofs
Mar 04 09:59:08 Finished examples/lpr_checker/array/compilation/proofs         2m02s   3GB
Mar 04 09:59:08 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 04 10:10:04 Finished examples/lpr_checker/array/compilation/proofsARM8    10m56s  20GB
Mar 04 10:10:05 Starting examples/xlrup_checker
Mar 04 10:11:04 Finished examples/xlrup_checker                                  59s   1GB
Mar 04 10:11:04 Starting examples/xlrup_checker/array
Mar 04 10:28:57 Finished examples/xlrup_checker/array                         17m53s   4GB
Mar 04 10:28:57 Starting examples/xlrup_checker/array/compilation
Mar 04 10:50:48 Finished examples/xlrup_checker/array/compilation             21m50s  16GB
Mar 04 10:50:48 Starting examples/xlrup_checker/array/compilation/proofs
Mar 04 10:51:48 Finished examples/xlrup_checker/array/compilation/proofs       1m00s   3GB
Mar 04 10:51:48 Starting examples/pseudo_bool
Mar 04 10:53:44 Finished examples/pseudo_bool                                  1m55s   1GB
Mar 04 10:53:44 Starting examples/pseudo_bool/cnf_encoding
Mar 04 10:54:10 Finished examples/pseudo_bool/cnf_encoding                       25s 601MB
Mar 04 10:54:10 Starting examples/pseudo_bool/graph_encoding
Mar 04 10:54:51 Finished examples/pseudo_bool/graph_encoding                     41s   1GB
Mar 04 10:54:51 Starting examples/pseudo_bool/array
Mar 04 12:02:33 Finished examples/pseudo_bool/array                         1h07m40s   8GB
Mar 04 12:02:33 Starting examples/pseudo_bool/array/compilation
Mar 04 19:21:50 Finished examples/pseudo_bool/array/compilation             7h19m17s  63GB
Mar 04 19:21:50 Starting examples/pseudo_bool/array/compilation/proofs
Mar 04 19:24:26 Finished examples/pseudo_bool/array/compilation/proofs         2m35s   6GB
Mar 04 19:24:26 Starting examples/opentheory
Mar 04 19:35:20 Finished examples/opentheory                                  10m54s   4GB
Mar 04 19:35:20 Starting examples/opentheory
Mar 04 19:35:22 Finished examples/opentheory                                      1s  32MB
Mar 04 19:35:22 Starting examples/opentheory/compilation
Mar 04 20:12:11 Finished examples/opentheory/compilation                      36m48s  31GB
Mar 04 20:12:11 Starting examples/opentheory/compilation/proofs
Mar 04 20:13:16 Finished examples/opentheory/compilation/proofs                1m04s   4GB
Mar 04 20:13:16 Starting examples/opentheory/compilation/ag32
Mar 04 20:46:35 Finished examples/opentheory/compilation/ag32                 33m19s  30GB
Mar 04 20:46:35 Starting examples/opentheory/compilation/ag32/proofs
Mar 04 20:48:32 Finished examples/opentheory/compilation/ag32/proofs           1m56s   8GB
Mar 04 20:48:32 Starting examples/sat_encodings
Mar 04 20:50:37 Finished examples/sat_encodings                                2m04s   1GB
Mar 04 20:50:37 Starting examples/sat_encodings/case_studies
Mar 04 20:52:23 Finished examples/sat_encodings/case_studies                   1m45s   1GB
Mar 04 20:52:23 Starting examples/sat_encodings/translation
Mar 04 20:58:33 Finished examples/sat_encodings/translation                    6m10s   3GB
Mar 04 20:58:33 Starting examples/sat_encodings/translation/compilation
Mar 04 21:45:37 Finished examples/sat_encodings/translation/compilation       47m03s  23GB
Mar 04 21:45:37 Starting examples/deflate
Mar 04 21:46:39 Finished examples/deflate                                      1m01s 901MB
Mar 04 21:46:39 Starting examples/deflate/translation
Mar 04 21:48:22 Finished examples/deflate/translation                          1m42s   3GB
Mar 04 21:48:22 Starting examples/deflate/translation/compilation
Mar 04 22:08:28 Finished examples/deflate/translation/compilation             20m06s  13GB
Mar 04 22:08:28 Starting examples/vipr
Mar 04 22:12:32 Finished examples/vipr                                         4m03s   3GB
Mar 04 22:12:32 Starting examples/vipr/compilation
Mar 04 22:33:40 Finished examples/vipr/compilation                            21m08s  16GB
Mar 04 22:33:40 Starting translator/okasaki-examples
Mar 04 22:38:54 Finished translator/okasaki-examples                           5m13s   2GB
Mar 04 22:38:54 Starting translator/other-examples
Mar 04 22:42:31 Finished translator/other-examples                             3m37s   1GB
Mar 04 22:42:32 Starting compiler/parsing/tests
Mar 04 22:43:04 Finished compiler/parsing/tests                                  32s 773MB
Mar 04 22:43:04 Starting compiler/inference/tests
Mar 04 22:51:50 Finished compiler/inference/tests                              8m46s   7GB
Mar 04 22:51:50 Starting compiler/printing/test
Mar 04 22:55:47 Finished compiler/printing/test                                3m56s   3GB
Mar 04 22:55:47 Starting icing/flover
Mar 04 23:39:25 Finished icing/flover                                         43m37s   2GB
Mar 04 23:39:25 Starting icing/
Mar 05 00:33:22 Finished icing/                                               53m57s   7GB
Mar 05 00:33:23 Starting icing/examples
Mar 05 00:35:02 Finished icing/examples                                        1m38s   3GB
Mar 05 00:35:02 Starting compiler/repl
Mar 05 00:43:47 Finished compiler/repl                                         8m45s   6GB
Mar 05 00:43:47 Starting unverified/sexpr-bootstrap/x64/64
Mar 05 00:57:33 Finished unverified/sexpr-bootstrap/x64/64                    13m45s  16GB
Mar 05 00:57:34 Starting unverified/sexpr-bootstrap/x64/32
Mar 05 01:08:28 Finished unverified/sexpr-bootstrap/x64/32                    10m53s  14GB
Mar 05 01:08:28 Starting compiler/benchmarks
Mar 05 01:24:05 Finished compiler/benchmarks                                  15m37s   2GB
Mar 05 01:24:05 Starting compiler/bootstrap/compilation/x64/64
Mar 05 13:32:58 Finished compiler/bootstrap/compilation/x64/64             12h08m52s  64GB
Mar 05 13:32:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 05 13:53:54 Finished compiler/bootstrap/compilation/x64/64/proofs         20m55s  33GB
Mar 05 13:53:54 Starting compiler/bootstrap/compilation/x64/32
Mar 05 21:08:36 Finished compiler/bootstrap/compilation/x64/32              7h14m41s  64GB
Mar 05 21:08:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 05 21:11:42 Finished compiler/bootstrap/compilation/x64/32/proofs          3m06s  19GB
Mar 05 21:11:42 Starting compiler/bootstrap/compilation/ag32/32
Mar 06 04:33:59 Finished compiler/bootstrap/compilation/ag32/32             7h22m16s  64GB
Mar 06 04:33:59 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 06 04:41:13 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m13s  37GB
Mar 06 04:41:13 SUCCESS