Job 2500

CakeML:25999ee54372265c76bd999736b6ba31286f4263
  Merge pull request #1026 from CakeML/pancake-explorer [Jul 28 06:38:14]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
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

Jul 28 19:38:00 Claimed job
Jul 28 19:38:04 Reusing HOL
Jul 28 19:38:15 Starting developers
Jul 28 19:38:19 Finished developers                                               2s 205MB
Jul 28 19:38:20 Starting developers/bin
Jul 28 19:38:30 Finished developers/bin                                           9s   1GB
Jul 28 19:38:31 Starting compiler/proofs
Jul 28 21:31:11 Finished compiler/proofs                                    1h52m38s  28GB
Jul 28 21:31:11 Starting compiler/bootstrap/translation
Jul 29 05:38:24 Finished compiler/bootstrap/translation                     8h07m11s  90GB
Jul 29 05:38:25 Starting semantics/ffi
Jul 29 05:38:34 Finished semantics/ffi                                            7s 657MB
Jul 29 05:38:35 Starting semantics
Jul 29 05:38:36 Finished semantics                                                0s  69MB
Jul 29 05:38:37 Starting semantics/proofs
Jul 29 05:39:16 Finished semantics/proofs                                        37s   1GB
Jul 29 05:39:17 Starting semantics/alt_semantics
Jul 29 05:39:58 Finished semantics/alt_semantics                                 40s   1GB
Jul 29 05:39:59 Starting semantics/alt_semantics/proofs
Jul 29 05:51:04 Finished semantics/alt_semantics/proofs                       11m03s   3GB
Jul 29 05:51:05 Starting basis/pure
Jul 29 05:51:06 Finished basis/pure                                               0s  70MB
Jul 29 05:51:07 Starting translator
Jul 29 05:52:52 Finished translator                                            1m44s   3GB
Jul 29 05:52:53 Starting compiler/parsing
Jul 29 05:52:54 Finished compiler/parsing                                         0s  69MB
Jul 29 05:52:55 Starting characteristic
Jul 29 05:52:57 Finished characteristic                                           0s  96MB
Jul 29 05:52:57 Starting translator/monadic
Jul 29 05:52:59 Finished translator/monadic                                       0s  96MB
Jul 29 05:53:00 Starting basis
Jul 29 05:56:35 Finished basis                                                 3m34s   5GB
Jul 29 05:56:36 Starting compiler/inference
Jul 29 05:56:37 Finished compiler/inference                                       0s  99MB
Jul 29 05:56:38 Starting compiler/backend/reg_alloc
Jul 29 05:56:39 Finished compiler/backend/reg_alloc                               0s  71MB
Jul 29 05:56:40 Starting compiler/backend/gc
Jul 29 05:56:42 Finished compiler/backend/gc                                      0s 138MB
Jul 29 05:56:43 Starting compiler/backend
Jul 29 05:57:03 Finished compiler/backend                                        18s   1GB
Jul 29 05:57:04 Starting compiler/encoders/asm
Jul 29 05:57:05 Finished compiler/encoders/asm                                    0s  89MB
Jul 29 05:57:06 Starting compiler/encoders/x64
Jul 29 05:57:08 Finished compiler/encoders/x64                                    0s 101MB
Jul 29 05:57:08 Starting compiler/encoders/arm7
Jul 29 05:57:10 Finished compiler/encoders/arm7                                   0s 101MB
Jul 29 05:57:11 Starting compiler/encoders/arm8
Jul 29 05:57:12 Finished compiler/encoders/arm8                                   0s 101MB
Jul 29 05:57:13 Starting compiler/encoders/arm8_asl
Jul 29 05:59:26 Finished compiler/encoders/arm8_asl                            2m11s   1GB
Jul 29 05:59:27 Starting compiler/encoders/mips
Jul 29 05:59:28 Finished compiler/encoders/mips                                   0s 101MB
Jul 29 05:59:29 Starting compiler/encoders/riscv
Jul 29 05:59:31 Finished compiler/encoders/riscv                                  0s 101MB
Jul 29 05:59:32 Starting compiler/encoders/ag32
Jul 29 05:59:33 Finished compiler/encoders/ag32                                   0s  97MB
Jul 29 05:59:34 Starting compiler/backend/x64
Jul 29 05:59:36 Finished compiler/backend/x64                                     0s 133MB
Jul 29 05:59:37 Starting compiler/backend/arm7
Jul 29 05:59:39 Finished compiler/backend/arm7                                    0s 133MB
Jul 29 05:59:39 Starting compiler/backend/arm8
Jul 29 05:59:41 Finished compiler/backend/arm8                                    0s 133MB
Jul 29 05:59:42 Starting compiler/backend/mips
Jul 29 05:59:44 Finished compiler/backend/mips                                    0s 133MB
Jul 29 05:59:45 Starting compiler/backend/riscv
Jul 29 05:59:47 Finished compiler/backend/riscv                                   0s 133MB
Jul 29 05:59:47 Starting compiler/backend/ag32
Jul 29 06:01:07 Finished compiler/backend/ag32                                 1m18s   2GB
Jul 29 06:01:08 Starting compiler/parsing/proofs
Jul 29 06:01:10 Finished compiler/parsing/proofs                                  0s  73MB
Jul 29 06:01:10 Starting compiler/inference/proofs
Jul 29 06:01:12 Finished compiler/inference/proofs                                0s  90MB
Jul 29 06:01:13 Starting compiler/backend/semantics
Jul 29 06:05:07 Finished compiler/backend/semantics                            3m52s   4GB
Jul 29 06:05:07 Starting compiler/backend/reg_alloc/proofs
Jul 29 06:05:09 Finished compiler/backend/reg_alloc/proofs                        0s  96MB
Jul 29 06:05:10 Starting compiler/backend/proofs
Jul 29 06:06:18 Finished compiler/backend/proofs                               1m07s   3GB
Jul 29 06:06:19 Starting compiler/backend/serialiser
Jul 29 06:06:21 Finished compiler/backend/serialiser                              0s 151MB
Jul 29 06:06:22 Starting compiler/encoders/x64/proofs
Jul 29 06:15:52 Finished compiler/encoders/x64/proofs                          9m29s   5GB
Jul 29 06:15:53 Starting compiler/encoders/arm7/proofs
Jul 29 06:28:48 Finished compiler/encoders/arm7/proofs                        12m54s  12GB
Jul 29 06:28:49 Starting compiler/encoders/arm8/proofs
Jul 29 06:35:14 Finished compiler/encoders/arm8/proofs                         6m24s   5GB
Jul 29 06:35:15 Starting compiler/encoders/arm8_asl/proofs
Jul 29 06:49:23 Finished compiler/encoders/arm8_asl/proofs                    14m06s   3GB
Jul 29 06:49:23 Starting compiler/encoders/mips/proofs
Jul 29 06:59:30 Finished compiler/encoders/mips/proofs                        10m05s   7GB
Jul 29 06:59:30 Starting compiler/encoders/riscv/proofs
Jul 29 07:08:09 Finished compiler/encoders/riscv/proofs                        8m37s   5GB
Jul 29 07:08:09 Starting compiler/encoders/ag32/proofs
Jul 29 07:10:32 Finished compiler/encoders/ag32/proofs                         2m21s   2GB
Jul 29 07:10:33 Starting compiler/backend/x64/proofs
Jul 29 07:11:16 Finished compiler/backend/x64/proofs                             41s   3GB
Jul 29 07:11:17 Starting compiler/backend/arm7/proofs
Jul 29 07:12:06 Finished compiler/backend/arm7/proofs                            48s   3GB
Jul 29 07:12:07 Starting compiler/backend/arm8/proofs
Jul 29 07:12:49 Finished compiler/backend/arm8/proofs                            41s   3GB
Jul 29 07:12:50 Starting compiler/backend/arm8_asl
Jul 29 07:13:18 Finished compiler/backend/arm8_asl                               27s   2GB
Jul 29 07:13:19 Starting compiler/backend/mips/proofs
Jul 29 07:14:05 Finished compiler/backend/mips/proofs                            44s   3GB
Jul 29 07:14:06 Starting compiler/backend/riscv/proofs
Jul 29 07:14:58 Finished compiler/backend/riscv/proofs                           51s   4GB
Jul 29 07:14:59 Starting compiler/backend/ag32/proofs
Jul 29 07:29:49 Finished compiler/backend/ag32/proofs                         14m48s   6GB
Jul 29 07:29:50 Starting compiler/backend/cv_compute
Jul 29 07:31:35 Finished compiler/backend/cv_compute                           1m43s   3GB
Jul 29 07:31:36 Starting cv_translator
Jul 29 07:50:42 Finished cv_translator                                        19m05s  12GB
Jul 29 07:50:43 Starting candle/set-theory
Jul 29 07:51:31 Finished candle/set-theory                                       47s   1GB
Jul 29 07:51:32 Starting candle/syntax-lib
Jul 29 07:51:33 Finished candle/syntax-lib                                        0s  76MB
Jul 29 07:51:34 Starting candle/standard/syntax
Jul 29 07:51:52 Finished candle/standard/syntax                                  17s   1GB
Jul 29 07:51:53 Starting candle/standard/semantics
Jul 29 07:54:32 Finished candle/standard/semantics                             2m38s   4GB
Jul 29 07:54:33 Starting candle/standard/monadic
Jul 29 07:54:35 Finished candle/standard/monadic                                  0s  98MB
Jul 29 07:54:36 Starting candle/standard/ml_kernel
Jul 29 07:56:28 Finished candle/standard/ml_kernel                             1m51s   6GB
Jul 29 07:56:29 Starting candle/overloading/syntax
Jul 29 08:00:08 Finished candle/overloading/syntax                             3m38s   3GB
Jul 29 08:00:09 Starting candle/overloading/semantics
Jul 29 08:11:44 Finished candle/overloading/semantics                         11m33s   7GB
Jul 29 08:11:45 Starting candle/overloading/monadic
Jul 29 08:14:27 Finished candle/overloading/monadic                            2m41s   3GB
Jul 29 08:14:28 Starting candle/overloading/ml_kernel
Jul 29 08:22:07 Finished candle/overloading/ml_kernel                          7m37s   6GB
Jul 29 08:22:07 Starting candle/overloading/ml_checker
Jul 29 08:24:45 Finished candle/overloading/ml_checker                         2m36s   7GB
Jul 29 08:24:46 Starting candle/prover
Jul 29 08:34:53 Finished candle/prover                                        10m06s   5GB
Jul 29 08:34:54 Starting pancake
Jul 29 08:36:03 Finished pancake                                               1m08s   1GB
Jul 29 08:36:04 Starting pancake/ffi
Jul 29 08:36:05 Finished pancake/ffi                                              0s  23MB
Jul 29 08:36:06 Starting pancake/semantics
Jul 29 08:38:58 Finished pancake/semantics                                     2m51s   4GB
Jul 29 08:38:59 Starting pancake/parser
Jul 29 08:39:33 Finished pancake/parser                                          32s   2GB
Jul 29 08:39:34 Starting pancake/proofs
Jul 29 09:11:06 Finished pancake/proofs                                       31m31s   9GB
Jul 29 09:11:07 Starting characteristic/examples
Jul 29 09:12:44 Finished characteristic/examples                               1m36s   6GB
Jul 29 09:12:45 Starting tutorial/solutions
Jul 29 09:15:23 Finished tutorial/solutions                                    2m37s   5GB
Jul 29 09:15:24 Starting translator/monadic/examples
Jul 29 09:19:21 Finished translator/monadic/examples                           3m55s   5GB
Jul 29 09:19:22 Starting examples
Jul 29 09:33:58 Finished examples                                             14m34s   7GB
Jul 29 09:33:58 Starting examples/compilation/x64
Jul 29 09:43:09 Finished examples/compilation/x64                              9m10s   7GB
Jul 29 09:43:10 Starting examples/compilation/x64/proofs
Jul 29 09:47:57 Finished examples/compilation/x64/proofs                       4m46s   8GB
Jul 29 09:47:58 Starting examples/compilation/ag32
Jul 29 09:50:34 Finished examples/compilation/ag32                             2m34s   5GB
Jul 29 09:50:35 Starting examples/compilation/ag32/proofs
Jul 29 09:52:20 Finished examples/compilation/ag32/proofs                      1m44s   8GB
Jul 29 09:52:21 Starting examples/compilation/to_word
Jul 29 09:56:19 Finished examples/compilation/to_word                          3m56s  11GB
Jul 29 09:56:20 Starting examples/lpr_checker
Jul 29 09:57:38 Finished examples/lpr_checker                                  1m17s   2GB
Jul 29 09:57:39 Starting examples/lpr_checker/array
Jul 29 10:26:35 Finished examples/lpr_checker/array                           28m55s  11GB
Jul 29 10:26:36 Starting examples/lpr_checker/array/compilation
Jul 29 10:29:05 Finished examples/lpr_checker/array/compilation                2m27s   9GB
Jul 29 10:29:06 Starting examples/lpr_checker/array/compilation/proofs
Jul 29 10:30:54 Finished examples/lpr_checker/array/compilation/proofs         1m47s   9GB
Jul 29 10:30:55 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 29 10:32:40 Finished examples/lpr_checker/array/compilation/proofsARM8     1m44s   8GB
Jul 29 10:32:41 Starting examples/xlrup_checker
Jul 29 10:33:54 Finished examples/xlrup_checker                                1m12s   1GB
Jul 29 10:33:55 Starting examples/xlrup_checker/array
Jul 29 10:49:00 Finished examples/xlrup_checker/array                         15m03s   6GB
Jul 29 10:49:00 Starting examples/xlrup_checker/array/compilation
Jul 29 10:50:24 Finished examples/xlrup_checker/array/compilation              1m23s   6GB
Jul 29 10:50:25 Starting examples/xlrup_checker/array/compilation/proofs
Jul 29 10:52:02 Finished examples/xlrup_checker/array/compilation/proofs       1m36s   8GB
Jul 29 10:52:03 Starting examples/pseudo_bool
Jul 29 10:54:14 Finished examples/pseudo_bool                                  2m09s   2GB
Jul 29 10:54:15 Starting examples/pseudo_bool/cnf_encoding
Jul 29 10:54:53 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Jul 29 10:54:54 Starting examples/pseudo_bool/graph_encoding
Jul 29 10:55:47 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Jul 29 10:55:48 Starting examples/pseudo_bool/array
Jul 29 12:02:38 Finished examples/pseudo_bool/array                         1h06m49s  45GB
Jul 29 12:02:39 Starting examples/pseudo_bool/array/compilation
Jul 29 12:15:36 Finished examples/pseudo_bool/array/compilation               12m56s  28GB
Jul 29 12:15:37 Starting examples/pseudo_bool/array/compilation/proofs
Jul 29 12:19:39 Finished examples/pseudo_bool/array/compilation/proofs         4m00s   9GB
Jul 29 12:19:39 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 29 12:21:29 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m49s   9GB
Jul 29 12:21:30 Starting examples/opentheory
Jul 29 12:32:24 Finished examples/opentheory                                  10m52s   8GB
Jul 29 12:32:25 Starting examples/opentheory
Jul 29 12:32:27 Finished examples/opentheory                                      0s 136MB
Jul 29 12:32:27 Starting examples/opentheory/compilation
Jul 29 12:34:33 Finished examples/opentheory/compilation                       2m04s   9GB
Jul 29 12:34:34 Starting examples/opentheory/compilation/proofs
Jul 29 12:36:22 Finished examples/opentheory/compilation/proofs                1m46s   7GB
Jul 29 12:36:22 Starting examples/opentheory/compilation/ag32
Jul 29 12:38:31 Finished examples/opentheory/compilation/ag32                  2m07s   9GB
Jul 29 12:38:32 Starting examples/opentheory/compilation/ag32/proofs
Jul 29 12:40:53 Finished examples/opentheory/compilation/ag32/proofs           2m20s  12GB
Jul 29 12:40:54 Starting examples/sat_encodings
Jul 29 12:43:49 Finished examples/sat_encodings                                2m54s   1GB
Jul 29 12:43:50 Starting examples/sat_encodings/case_studies
Jul 29 12:45:57 Finished examples/sat_encodings/case_studies                   2m05s   2GB
Jul 29 12:45:57 Starting examples/sat_encodings/translation
Jul 29 12:52:15 Finished examples/sat_encodings/translation                    6m16s   7GB
Jul 29 12:52:16 Starting examples/sat_encodings/translation/compilation
Jul 29 12:54:36 Finished examples/sat_encodings/translation/compilation        2m19s   6GB
Jul 29 12:54:37 Starting examples/deflate
Jul 29 12:56:01 Finished examples/deflate                                      1m22s   2GB
Jul 29 12:56:02 Starting examples/deflate/translation
Jul 29 12:57:44 Finished examples/deflate/translation                          1m41s   7GB
Jul 29 12:57:45 Starting examples/deflate/translation/compilation
Jul 29 12:58:46 Finished examples/deflate/translation/compilation              1m00s   5GB
Jul 29 12:58:47 Starting examples/vipr
Jul 29 13:02:48 Finished examples/vipr                                         4m00s   5GB
Jul 29 13:02:49 Starting examples/vipr/compilation
Jul 29 13:04:05 Finished examples/vipr/compilation                             1m14s   5GB
Jul 29 13:04:06 Starting translator/okasaki-examples
Jul 29 13:09:20 Finished translator/okasaki-examples                           5m12s   4GB
Jul 29 13:09:20 Starting translator/other-examples
Jul 29 13:10:31 Finished translator/other-examples                             1m09s   3GB
Jul 29 13:10:31 Starting compiler/parsing/tests
Jul 29 13:11:05 Finished compiler/parsing/tests                                  33s   1GB
Jul 29 13:11:06 Starting compiler/inference/tests
Jul 29 13:11:47 Finished compiler/inference/tests                                39s   3GB
Jul 29 13:11:48 Starting compiler/printing/test
Jul 29 13:13:18 Finished compiler/printing/test                                1m28s   5GB
Jul 29 13:13:18 Starting icing/flover
Jul 29 13:50:37 Finished icing/flover                                         37m17s   4GB
Jul 29 13:50:38 Starting icing/
Jul 29 14:18:25 Finished icing/                                               27m46s   9GB
Jul 29 14:18:26 Starting icing/examples
Jul 29 14:20:14 Finished icing/examples                                        1m47s   9GB
Jul 29 14:20:15 Starting compiler/repl
Jul 29 14:29:10 Finished compiler/repl                                         8m53s  12GB
Jul 29 14:29:10 Starting unverified/sexpr-bootstrap/x64/64
Jul 29 14:41:27 Finished unverified/sexpr-bootstrap/x64/64                    11m52s  18GB
Jul 29 14:41:28 Starting unverified/sexpr-bootstrap/x64/32
Jul 29 14:51:14 Finished unverified/sexpr-bootstrap/x64/32                     9m27s  14GB
Jul 29 14:51:15 Starting compiler/benchmarks
Jul 29 14:52:00 Finished compiler/benchmarks                                     43s 713MB
Jul 29 14:52:01 Starting compiler/bootstrap/compilation/x64/64
Jul 29 15:32:59 Finished compiler/bootstrap/compilation/x64/64                40m46s 120GB
Jul 29 15:33:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 29 15:55:59 Finished compiler/bootstrap/compilation/x64/64/proofs         22m57s  51GB
Jul 29 15:56:00 Starting compiler/bootstrap/compilation/x64/32
Jul 29 16:34:17 Finished compiler/bootstrap/compilation/x64/32                38m08s  93GB
Jul 29 16:34:18 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 29 16:39:12 Finished compiler/bootstrap/compilation/x64/32/proofs          4m53s  25GB
Jul 29 16:39:13 Starting compiler/bootstrap/compilation/arm8/64
Jul 29 17:37:40 Finished compiler/bootstrap/compilation/arm8/64               58m17s 147GB
Jul 29 17:37:40 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 29 17:43:23 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m42s  32GB
Jul 29 17:43:24 Starting compiler/bootstrap/compilation/ag32/32
Jul 29 18:21:40 Finished compiler/bootstrap/compilation/ag32/32               38m14s  99GB
Jul 29 18:21:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 29 18:27:22 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m40s  34GB
Jul 29 18:27:23 SUCCESS