Job 2697

CakeML:d8b47adcad1fba86c8f0ae0ce9d1da925b080c63
  Merge pull request #1085 from CakeML/parse_err [Nov 12 20:21:29]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Nov 13 18:56:38 Claimed job
Nov 13 18:56:41 Reusing HOL
Nov 13 18:56:53 Starting developers
Nov 13 18:56:57 Finished developers                                               3s 215MB
Nov 13 18:56:58 Starting developers/bin
Nov 13 18:57:18 Finished developers/bin                                          19s   1GB
Nov 13 18:57:19 Starting compiler/proofs
Nov 13 20:38:47 Finished compiler/proofs                                    1h41m26s  28GB
Nov 13 20:38:47 Starting compiler/bootstrap/translation
Nov 14 05:34:37 Finished compiler/bootstrap/translation                     8h55m49s  58GB
Nov 14 05:34:38 Starting semantics/ffi
Nov 14 05:34:55 Finished semantics/ffi                                           15s   1GB
Nov 14 05:34:56 Starting semantics
Nov 14 05:34:57 Finished semantics                                                0s  61MB
Nov 14 05:34:58 Starting semantics/proofs
Nov 14 05:35:21 Finished semantics/proofs                                        22s 843MB
Nov 14 05:35:22 Starting semantics/alt_semantics
Nov 14 05:35:43 Finished semantics/alt_semantics                                 19s 508MB
Nov 14 05:35:44 Starting semantics/alt_semantics/proofs
Nov 14 05:45:54 Finished semantics/alt_semantics/proofs                       10m09s   3GB
Nov 14 05:45:55 Starting basis/pure
Nov 14 05:45:57 Finished basis/pure                                               0s  70MB
Nov 14 05:45:58 Starting translator
Nov 14 05:47:33 Finished translator                                            1m34s   3GB
Nov 14 05:47:34 Starting compiler/parsing
Nov 14 05:47:35 Finished compiler/parsing                                         0s  71MB
Nov 14 05:47:36 Starting characteristic
Nov 14 05:47:38 Finished characteristic                                           0s  96MB
Nov 14 05:47:39 Starting translator/monadic
Nov 14 05:47:40 Finished translator/monadic                                       0s  99MB
Nov 14 05:47:41 Starting basis
Nov 14 05:50:05 Finished basis                                                 2m22s   4GB
Nov 14 05:50:06 Starting compiler/inference
Nov 14 05:50:08 Finished compiler/inference                                       0s  92MB
Nov 14 05:50:08 Starting compiler/backend/reg_alloc
Nov 14 05:50:10 Finished compiler/backend/reg_alloc                               0s  66MB
Nov 14 05:50:11 Starting compiler/backend/gc
Nov 14 05:50:13 Finished compiler/backend/gc                                      1s 147MB
Nov 14 05:50:14 Starting compiler/backend
Nov 14 05:50:19 Finished compiler/backend                                         4s 303MB
Nov 14 05:50:20 Starting compiler/encoders/asm
Nov 14 05:50:22 Finished compiler/encoders/asm                                    0s  89MB
Nov 14 05:50:22 Starting compiler/encoders/x64
Nov 14 05:50:24 Finished compiler/encoders/x64                                    0s  97MB
Nov 14 05:50:25 Starting compiler/encoders/arm7
Nov 14 05:50:27 Finished compiler/encoders/arm7                                   0s 105MB
Nov 14 05:50:28 Starting compiler/encoders/arm8
Nov 14 05:50:29 Finished compiler/encoders/arm8                                   0s  98MB
Nov 14 05:50:30 Starting compiler/encoders/arm8_asl
Nov 14 05:52:42 Finished compiler/encoders/arm8_asl                            2m11s   1GB
Nov 14 05:52:43 Starting compiler/encoders/mips
Nov 14 05:52:45 Finished compiler/encoders/mips                                   0s  99MB
Nov 14 05:52:46 Starting compiler/encoders/riscv
Nov 14 05:52:48 Finished compiler/encoders/riscv                                  0s  99MB
Nov 14 05:52:48 Starting compiler/encoders/ag32
Nov 14 05:52:50 Finished compiler/encoders/ag32                                   0s  89MB
Nov 14 05:52:51 Starting compiler/backend/x64
Nov 14 05:52:53 Finished compiler/backend/x64                                     1s 138MB
Nov 14 05:52:54 Starting compiler/backend/arm7
Nov 14 05:52:56 Finished compiler/backend/arm7                                    1s 137MB
Nov 14 05:52:57 Starting compiler/backend/arm8
Nov 14 05:52:59 Finished compiler/backend/arm8                                    1s 139MB
Nov 14 05:53:00 Starting compiler/backend/mips
Nov 14 05:53:02 Finished compiler/backend/mips                                    1s 137MB
Nov 14 05:53:03 Starting compiler/backend/riscv
Nov 14 05:53:05 Finished compiler/backend/riscv                                   1s 137MB
Nov 14 05:53:06 Starting compiler/backend/ag32
Nov 14 05:54:18 Finished compiler/backend/ag32                                 1m11s   3GB
Nov 14 05:54:19 Starting compiler/parsing/proofs
Nov 14 05:54:21 Finished compiler/parsing/proofs                                  0s  75MB
Nov 14 05:54:22 Starting compiler/inference/proofs
Nov 14 05:54:23 Finished compiler/inference/proofs                                0s  98MB
Nov 14 05:54:24 Starting compiler/backend/semantics
Nov 14 05:57:34 Finished compiler/backend/semantics                            3m09s   3GB
Nov 14 05:57:35 Starting compiler/backend/reg_alloc/proofs
Nov 14 05:57:37 Finished compiler/backend/reg_alloc/proofs                        0s 101MB
Nov 14 05:57:38 Starting compiler/backend/proofs
Nov 14 05:58:37 Finished compiler/backend/proofs                                 58s   5GB
Nov 14 05:58:38 Starting compiler/backend/serialiser
Nov 14 05:58:40 Finished compiler/backend/serialiser                              1s 140MB
Nov 14 05:58:41 Starting compiler/encoders/x64/proofs
Nov 14 06:08:45 Finished compiler/encoders/x64/proofs                         10m03s   5GB
Nov 14 06:08:46 Starting compiler/encoders/arm7/proofs
Nov 14 06:21:45 Finished compiler/encoders/arm7/proofs                        12m58s   7GB
Nov 14 06:21:46 Starting compiler/encoders/arm8/proofs
Nov 14 06:28:51 Finished compiler/encoders/arm8/proofs                         7m03s   4GB
Nov 14 06:28:52 Starting compiler/encoders/arm8_asl/proofs
Nov 14 06:43:58 Finished compiler/encoders/arm8_asl/proofs                    15m05s   3GB
Nov 14 06:43:59 Starting compiler/encoders/mips/proofs
Nov 14 06:54:21 Finished compiler/encoders/mips/proofs                        10m20s  10GB
Nov 14 06:54:22 Starting compiler/encoders/riscv/proofs
Nov 14 07:02:58 Finished compiler/encoders/riscv/proofs                        8m35s   3GB
Nov 14 07:02:59 Starting compiler/encoders/ag32/proofs
Nov 14 07:05:54 Finished compiler/encoders/ag32/proofs                         2m53s   2GB
Nov 14 07:05:55 Starting compiler/backend/x64/proofs
Nov 14 07:06:40 Finished compiler/backend/x64/proofs                             45s   2GB
Nov 14 07:06:41 Starting compiler/backend/arm7/proofs
Nov 14 07:07:29 Finished compiler/backend/arm7/proofs                            46s   3GB
Nov 14 07:07:30 Starting compiler/backend/arm8/proofs
Nov 14 07:08:16 Finished compiler/backend/arm8/proofs                            45s   3GB
Nov 14 07:08:17 Starting compiler/backend/arm8_asl
Nov 14 07:08:49 Finished compiler/backend/arm8_asl                               31s   2GB
Nov 14 07:08:50 Starting compiler/backend/mips/proofs
Nov 14 07:09:40 Finished compiler/backend/mips/proofs                            49s   3GB
Nov 14 07:09:41 Starting compiler/backend/riscv/proofs
Nov 14 07:10:38 Finished compiler/backend/riscv/proofs                           55s   3GB
Nov 14 07:10:39 Starting compiler/backend/ag32/proofs
Nov 14 07:27:22 Finished compiler/backend/ag32/proofs                         16m42s   6GB
Nov 14 07:27:23 Starting compiler/backend/cv_compute
Nov 14 07:29:13 Finished compiler/backend/cv_compute                           1m49s   3GB
Nov 14 07:29:14 Starting cv_translator
Nov 14 07:48:54 Finished cv_translator                                        19m38s  13GB
Nov 14 07:48:55 Starting candle/set-theory
Nov 14 07:49:42 Finished candle/set-theory                                       46s   1GB
Nov 14 07:49:43 Starting candle/syntax-lib
Nov 14 07:49:45 Finished candle/syntax-lib                                        0s  69MB
Nov 14 07:49:45 Starting candle/standard/syntax
Nov 14 07:50:06 Finished candle/standard/syntax                                  19s   1GB
Nov 14 07:50:07 Starting candle/standard/semantics
Nov 14 07:52:53 Finished candle/standard/semantics                             2m45s   3GB
Nov 14 07:52:54 Starting candle/standard/monadic
Nov 14 07:52:56 Finished candle/standard/monadic                                  0s 102MB
Nov 14 07:52:57 Starting candle/standard/ml_kernel
Nov 14 07:55:00 Finished candle/standard/ml_kernel                             2m02s   5GB
Nov 14 07:55:01 Starting candle/overloading/syntax
Nov 14 07:58:36 Finished candle/overloading/syntax                             3m33s   2GB
Nov 14 07:58:37 Starting candle/overloading/semantics
Nov 14 08:10:14 Finished candle/overloading/semantics                         11m36s   7GB
Nov 14 08:10:15 Starting candle/overloading/monadic
Nov 14 08:12:41 Finished candle/overloading/monadic                            2m24s   2GB
Nov 14 08:12:42 Starting candle/overloading/ml_kernel
Nov 14 08:20:40 Finished candle/overloading/ml_kernel                          7m57s   7GB
Nov 14 08:20:41 Starting candle/overloading/ml_checker
Nov 14 08:23:30 Finished candle/overloading/ml_checker                         2m48s   7GB
Nov 14 08:23:31 Starting candle/prover
Nov 14 08:34:12 Finished candle/prover                                        10m39s   5GB
Nov 14 08:34:13 Starting pancake
Nov 14 08:34:41 Finished pancake                                                 26s 999MB
Nov 14 08:34:42 Starting pancake/ffi
Nov 14 08:34:43 Finished pancake/ffi                                              0s  22MB
Nov 14 08:34:44 Starting pancake/semantics
Nov 14 08:36:54 Finished pancake/semantics                                     2m09s   1GB
Nov 14 08:36:55 Starting pancake/parser
Nov 14 08:37:20 Finished pancake/parser                                          24s 469MB
Nov 14 08:37:21 Starting pancake/proofs
Nov 14 08:53:37 Finished pancake/proofs                                       16m15s   7GB
Nov 14 08:53:38 Starting compiler/dafny
Nov 14 08:56:25 Finished compiler/dafny                                        2m46s  11GB
Nov 14 08:56:26 Starting compiler/dafny/translation
Nov 14 09:25:27 Finished compiler/dafny/translation                           28m59s  14GB
Nov 14 09:25:28 Starting compiler/dafny/compilation
Nov 14 09:27:59 Finished compiler/dafny/compilation                            2m29s   8GB
Nov 14 09:28:00 Starting compiler/dafny/semantics
Nov 14 09:28:35 Finished compiler/dafny/semantics                                34s   1GB
Nov 14 09:28:36 Starting characteristic/examples
Nov 14 09:30:09 Finished characteristic/examples                               1m32s   5GB
Nov 14 09:30:10 Starting tutorial/solutions
Nov 14 09:32:49 Finished tutorial/solutions                                    2m37s   6GB
Nov 14 09:32:50 Starting translator/monadic/examples
Nov 14 09:35:59 Finished translator/monadic/examples                           3m08s   3GB
Nov 14 09:36:00 Starting examples
Nov 14 09:48:22 Finished examples                                             12m17s   5GB
Nov 14 09:48:26 Starting examples/compilation/x64
Nov 14 09:56:15 Finished examples/compilation/x64                              7m47s   8GB
Nov 14 09:56:16 Starting examples/compilation/x64/proofs
Nov 14 10:01:21 Finished examples/compilation/x64/proofs                       5m04s   7GB
Nov 14 10:01:22 Starting examples/compilation/ag32
Nov 14 10:03:44 Finished examples/compilation/ag32                             2m20s   3GB
Nov 14 10:03:45 Starting examples/compilation/ag32/proofs
Nov 14 10:05:47 Finished examples/compilation/ag32/proofs                      2m01s  10GB
Nov 14 10:05:48 Starting examples/compilation/to_word
Nov 14 10:10:06 Finished examples/compilation/to_word                          4m16s  13GB
Nov 14 10:10:07 Starting examples/lpr_checker
Nov 14 10:10:37 Finished examples/lpr_checker                                    29s   1GB
Nov 14 10:10:38 Starting examples/lpr_checker/array
Nov 14 10:36:53 Finished examples/lpr_checker/array                           26m13s  26GB
Nov 14 10:36:54 Starting examples/lpr_checker/array/compilation
Nov 14 10:38:46 Finished examples/lpr_checker/array/compilation                1m50s   7GB
Nov 14 10:38:46 Starting examples/lpr_checker/array/compilation/proofs
Nov 14 10:40:51 Finished examples/lpr_checker/array/compilation/proofs         2m04s  10GB
Nov 14 10:40:52 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 14 10:42:48 Finished examples/lpr_checker/array/compilation/proofsARM8     1m54s   8GB
Nov 14 10:42:49 Starting examples/xlrup_checker
Nov 14 10:43:23 Finished examples/xlrup_checker                                  33s   1GB
Nov 14 10:43:24 Starting examples/xlrup_checker/array
Nov 14 10:56:31 Finished examples/xlrup_checker/array                         13m05s   9GB
Nov 14 10:56:32 Starting examples/xlrup_checker/array/compilation
Nov 14 10:57:33 Finished examples/xlrup_checker/array/compilation              1m00s   4GB
Nov 14 10:57:34 Starting examples/xlrup_checker/array/compilation/proofs
Nov 14 10:59:19 Finished examples/xlrup_checker/array/compilation/proofs       1m43s   7GB
Nov 14 10:59:20 Starting examples/pseudo_bool
Nov 14 11:00:50 Finished examples/pseudo_bool                                  1m29s   2GB
Nov 14 11:00:51 Starting examples/pseudo_bool/cnf_encoding
Nov 14 11:01:31 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Nov 14 11:01:32 Starting examples/pseudo_bool/graph_encoding
Nov 14 11:02:28 Finished examples/pseudo_bool/graph_encoding                     55s   2GB
Nov 14 11:02:29 Starting examples/pseudo_bool/array
Nov 14 12:10:56 Finished examples/pseudo_bool/array                         1h08m25s  39GB
Nov 14 12:10:56 Starting examples/pseudo_bool/array/compilation
Nov 14 12:19:55 Finished examples/pseudo_bool/array/compilation                8m57s  16GB
Nov 14 12:19:56 Starting examples/pseudo_bool/array/compilation/proofs
Nov 14 12:24:11 Finished examples/pseudo_bool/array/compilation/proofs         4m14s   9GB
Nov 14 12:24:12 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 14 12:26:11 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m57s   9GB
Nov 14 12:26:12 Starting examples/opentheory
Nov 14 12:34:42 Finished examples/opentheory                                   8m29s   5GB
Nov 14 12:34:43 Starting examples/opentheory
Nov 14 12:34:45 Finished examples/opentheory                                      1s 134MB
Nov 14 12:34:46 Starting examples/opentheory/compilation
Nov 14 12:36:14 Finished examples/opentheory/compilation                       1m26s   5GB
Nov 14 12:36:14 Starting examples/opentheory/compilation/proofs
Nov 14 12:38:06 Finished examples/opentheory/compilation/proofs                1m50s   7GB
Nov 14 12:38:07 Starting examples/opentheory/compilation/ag32
Nov 14 12:39:41 Finished examples/opentheory/compilation/ag32                  1m32s   5GB
Nov 14 12:39:42 Starting examples/opentheory/compilation/ag32/proofs
Nov 14 12:42:23 Finished examples/opentheory/compilation/ag32/proofs           2m39s  10GB
Nov 14 12:42:24 Starting examples/sat_encodings
Nov 14 12:43:24 Finished examples/sat_encodings                                  59s 879MB
Nov 14 12:43:25 Starting examples/sat_encodings/case_studies
Nov 14 12:45:36 Finished examples/sat_encodings/case_studies                   2m10s   2GB
Nov 14 12:45:37 Starting examples/sat_encodings/translation
Nov 14 12:49:12 Finished examples/sat_encodings/translation                    3m33s   2GB
Nov 14 12:49:13 Starting examples/sat_encodings/translation/compilation
Nov 14 12:51:05 Finished examples/sat_encodings/translation/compilation        1m50s   4GB
Nov 14 12:51:06 Starting examples/deflate
Nov 14 12:51:33 Finished examples/deflate                                        26s 687MB
Nov 14 12:51:34 Starting examples/deflate/translation
Nov 14 12:52:34 Finished examples/deflate/translation                            58s   2GB
Nov 14 12:52:35 Starting examples/deflate/translation/compilation
Nov 14 12:53:24 Finished examples/deflate/translation/compilation                48s   3GB
Nov 14 12:53:25 Starting examples/vipr
Nov 14 12:56:59 Finished examples/vipr                                         3m32s   4GB
Nov 14 12:57:00 Starting examples/vipr/compilation
Nov 14 12:57:59 Finished examples/vipr/compilation                               57s   4GB
Nov 14 12:58:00 Starting translator/okasaki-examples
Nov 14 13:02:13 Finished translator/okasaki-examples                           4m12s   3GB
Nov 14 13:02:14 Starting translator/other-examples
Nov 14 13:03:30 Finished translator/other-examples                             1m14s   3GB
Nov 14 13:03:31 Starting compiler/parsing/tests
Nov 14 13:04:09 Finished compiler/parsing/tests                                  37s   2GB
Nov 14 13:04:10 Starting compiler/inference/tests
Nov 14 13:04:55 Finished compiler/inference/tests                                43s   3GB
Nov 14 13:04:56 Starting compiler/printing/test
Nov 14 13:06:36 Finished compiler/printing/test                                1m39s   6GB
Nov 14 13:06:37 Starting icing/flover
Nov 14 13:43:25 Finished icing/flover                                         36m46s   4GB
Nov 14 13:43:26 Starting icing/
Nov 14 14:10:58 Finished icing/                                               27m30s   9GB
Nov 14 14:10:58 Starting icing/examples
Nov 14 14:12:50 Finished icing/examples                                        1m50s   9GB
Nov 14 14:12:51 Starting compiler/repl
Nov 14 14:22:07 Finished compiler/repl                                         9m14s  12GB
Nov 14 14:22:08 Starting unverified/sexpr-bootstrap/x64/64
Nov 14 14:36:29 Finished unverified/sexpr-bootstrap/x64/64                    13m54s  17GB
Nov 14 14:36:30 Starting unverified/sexpr-bootstrap/x64/32
Nov 14 14:48:02 Finished unverified/sexpr-bootstrap/x64/32                    11m12s  14GB
Nov 14 14:48:03 Starting compiler/benchmarks
Nov 14 14:48:49 Finished compiler/benchmarks                                     44s 711MB
Nov 14 14:48:50 Starting compiler/bootstrap/compilation/x64/64
Nov 14 15:13:17 Finished compiler/bootstrap/compilation/x64/64                24m13s  84GB
Nov 14 15:13:18 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 14 15:38:37 Finished compiler/bootstrap/compilation/x64/64/proofs         25m17s  53GB
Nov 14 15:38:38 Starting compiler/bootstrap/compilation/x64/32
Nov 14 16:03:41 Finished compiler/bootstrap/compilation/x64/32                24m54s  68GB
Nov 14 16:03:42 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 14 16:08:47 Finished compiler/bootstrap/compilation/x64/32/proofs          5m04s  25GB
Nov 14 16:08:48 Starting compiler/bootstrap/compilation/arm8/64
Nov 14 16:45:47 Finished compiler/bootstrap/compilation/arm8/64               36m49s  93GB
Nov 14 16:45:48 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 14 16:51:42 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m53s  30GB
Nov 14 16:51:43 Starting compiler/bootstrap/compilation/ag32/32
Nov 14 17:16:50 Finished compiler/bootstrap/compilation/ag32/32               25m05s  75GB
Nov 14 17:16:50 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 14 17:23:10 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m18s  31GB
Nov 14 17:23:11 SUCCESS