Job 2424

CakeML:a14567ec355683fa0b4865d412e74610e3e1f1ae
  Merge pull request #1004 from DoomishGuy/pan_lower_ops [Jun 26 10:21:07]
HOL:493fc3fcd7d8390b7d85861775b6e56fd6b17d9f
  Remove some unicode [Jun 18 04:19:36]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Jun 26 10:33:08 Claimed job
Jun 26 10:33:12 Reusing HOL
Jun 26 10:33:22 Starting developers
Jun 26 10:33:26 Finished developers                                               2s 214MB
Jun 26 10:33:27 Starting developers/bin
Jun 26 10:33:42 Finished developers/bin                                          14s   1GB
Jun 26 10:33:43 Starting compiler/proofs
Jun 26 12:25:40 Finished compiler/proofs                                    1h51m56s  46GB
Jun 26 12:25:41 Starting compiler/bootstrap/translation
Jun 26 20:43:53 Finished compiler/bootstrap/translation                     8h18m10s  80GB
Jun 26 20:43:54 Starting semantics/ffi
Jun 26 20:44:02 Finished semantics/ffi                                            7s 724MB
Jun 26 20:44:03 Starting semantics
Jun 26 20:44:05 Finished semantics                                                0s  68MB
Jun 26 20:44:06 Starting semantics/proofs
Jun 26 20:44:42 Finished semantics/proofs                                        35s   2GB
Jun 26 20:44:43 Starting semantics/alt_semantics
Jun 26 20:45:24 Finished semantics/alt_semantics                                 40s   1GB
Jun 26 20:45:25 Starting semantics/alt_semantics/proofs
Jun 26 20:56:41 Finished semantics/alt_semantics/proofs                       11m14s   6GB
Jun 26 20:56:41 Starting basis/pure
Jun 26 20:56:43 Finished basis/pure                                               0s  70MB
Jun 26 20:56:44 Starting translator
Jun 26 20:58:30 Finished translator                                            1m45s   3GB
Jun 26 20:58:31 Starting compiler/parsing
Jun 26 20:58:32 Finished compiler/parsing                                         0s  69MB
Jun 26 20:58:33 Starting characteristic
Jun 26 20:58:35 Finished characteristic                                           0s  93MB
Jun 26 20:58:36 Starting translator/monadic
Jun 26 20:58:37 Finished translator/monadic                                       0s  96MB
Jun 26 20:58:38 Starting basis
Jun 26 21:02:12 Finished basis                                                 3m33s   5GB
Jun 26 21:02:13 Starting compiler/inference
Jun 26 21:02:15 Finished compiler/inference                                       0s 104MB
Jun 26 21:02:16 Starting compiler/backend/reg_alloc
Jun 26 21:02:17 Finished compiler/backend/reg_alloc                               0s  67MB
Jun 26 21:02:18 Starting compiler/backend/gc
Jun 26 21:02:20 Finished compiler/backend/gc                                      0s 144MB
Jun 26 21:02:21 Starting compiler/backend
Jun 26 21:02:42 Finished compiler/backend                                        20s   1GB
Jun 26 21:02:43 Starting compiler/encoders/asm
Jun 26 21:02:44 Finished compiler/encoders/asm                                    0s  89MB
Jun 26 21:02:45 Starting compiler/encoders/x64
Jun 26 21:02:47 Finished compiler/encoders/x64                                    0s  93MB
Jun 26 21:02:48 Starting compiler/encoders/arm7
Jun 26 21:02:49 Finished compiler/encoders/arm7                                   0s  98MB
Jun 26 21:02:50 Starting compiler/encoders/arm8
Jun 26 21:02:52 Finished compiler/encoders/arm8                                   0s 102MB
Jun 26 21:02:53 Starting compiler/encoders/arm8_asl
Jun 26 21:05:07 Finished compiler/encoders/arm8_asl                            2m12s   1GB
Jun 26 21:05:08 Starting compiler/encoders/mips
Jun 26 21:05:09 Finished compiler/encoders/mips                                   0s  93MB
Jun 26 21:05:10 Starting compiler/encoders/riscv
Jun 26 21:05:12 Finished compiler/encoders/riscv                                  0s 101MB
Jun 26 21:05:13 Starting compiler/encoders/ag32
Jun 26 21:05:14 Finished compiler/encoders/ag32                                   0s  96MB
Jun 26 21:05:15 Starting compiler/backend/x64
Jun 26 21:05:17 Finished compiler/backend/x64                                     0s 135MB
Jun 26 21:05:18 Starting compiler/backend/arm7
Jun 26 21:05:20 Finished compiler/backend/arm7                                    0s 135MB
Jun 26 21:05:21 Starting compiler/backend/arm8
Jun 26 21:05:23 Finished compiler/backend/arm8                                    0s 135MB
Jun 26 21:05:24 Starting compiler/backend/mips
Jun 26 21:05:25 Finished compiler/backend/mips                                    0s 135MB
Jun 26 21:05:26 Starting compiler/backend/riscv
Jun 26 21:05:28 Finished compiler/backend/riscv                                   0s 135MB
Jun 26 21:05:29 Starting compiler/backend/ag32
Jun 26 21:06:49 Finished compiler/backend/ag32                                 1m19s   3GB
Jun 26 21:06:50 Starting compiler/parsing/proofs
Jun 26 21:06:51 Finished compiler/parsing/proofs                                  0s  73MB
Jun 26 21:06:52 Starting compiler/inference/proofs
Jun 26 21:06:54 Finished compiler/inference/proofs                                0s  95MB
Jun 26 21:06:55 Starting compiler/backend/semantics
Jun 26 21:10:46 Finished compiler/backend/semantics                            3m49s   3GB
Jun 26 21:10:47 Starting compiler/backend/reg_alloc/proofs
Jun 26 21:10:48 Finished compiler/backend/reg_alloc/proofs                        0s  97MB
Jun 26 21:10:49 Starting compiler/backend/proofs
Jun 26 21:11:54 Finished compiler/backend/proofs                               1m03s   3GB
Jun 26 21:11:55 Starting compiler/backend/serialiser
Jun 26 21:11:56 Finished compiler/backend/serialiser                              0s 147MB
Jun 26 21:11:57 Starting compiler/encoders/x64/proofs
Jun 26 21:21:23 Finished compiler/encoders/x64/proofs                          9m24s   5GB
Jun 26 21:21:24 Starting compiler/encoders/arm7/proofs
Jun 26 21:34:15 Finished compiler/encoders/arm7/proofs                        12m50s   8GB
Jun 26 21:34:16 Starting compiler/encoders/arm8/proofs
Jun 26 21:40:47 Finished compiler/encoders/arm8/proofs                         6m29s   6GB
Jun 26 21:40:48 Starting compiler/encoders/arm8_asl/proofs
Jun 26 21:54:42 Finished compiler/encoders/arm8_asl/proofs                    13m53s   4GB
Jun 26 21:54:43 Starting compiler/encoders/mips/proofs
Jun 26 22:04:56 Finished compiler/encoders/mips/proofs                        10m12s   9GB
Jun 26 22:04:57 Starting compiler/encoders/riscv/proofs
Jun 26 22:13:12 Finished compiler/encoders/riscv/proofs                        8m14s   3GB
Jun 26 22:13:13 Starting compiler/encoders/ag32/proofs
Jun 26 22:15:36 Finished compiler/encoders/ag32/proofs                         2m21s   2GB
Jun 26 22:15:37 Starting compiler/backend/x64/proofs
Jun 26 22:16:20 Finished compiler/backend/x64/proofs                             42s   3GB
Jun 26 22:16:21 Starting compiler/backend/arm7/proofs
Jun 26 22:17:09 Finished compiler/backend/arm7/proofs                            46s   3GB
Jun 26 22:17:10 Starting compiler/backend/arm8/proofs
Jun 26 22:17:52 Finished compiler/backend/arm8/proofs                            41s   3GB
Jun 26 22:17:53 Starting compiler/backend/arm8_asl
Jun 26 22:18:20 Finished compiler/backend/arm8_asl                               26s   1GB
Jun 26 22:18:21 Starting compiler/backend/mips/proofs
Jun 26 22:19:09 Finished compiler/backend/mips/proofs                            46s   3GB
Jun 26 22:19:09 Starting compiler/backend/riscv/proofs
Jun 26 22:20:01 Finished compiler/backend/riscv/proofs                           50s   4GB
Jun 26 22:20:01 Starting compiler/backend/ag32/proofs
Jun 26 22:33:52 Finished compiler/backend/ag32/proofs                         13m49s   6GB
Jun 26 22:33:53 Starting compiler/backend/cv_compute
Jun 26 22:35:36 Finished compiler/backend/cv_compute                           1m42s   3GB
Jun 26 22:35:37 Starting cv_translator
Jun 26 22:55:03 Finished cv_translator                                        19m25s  10GB
Jun 26 22:55:04 Starting candle/set-theory
Jun 26 22:55:53 Finished candle/set-theory                                       48s   1GB
Jun 26 22:55:54 Starting candle/syntax-lib
Jun 26 22:55:56 Finished candle/syntax-lib                                        0s  77MB
Jun 26 22:55:57 Starting candle/standard/syntax
Jun 26 22:56:15 Finished candle/standard/syntax                                  17s   1GB
Jun 26 22:56:16 Starting candle/standard/semantics
Jun 26 22:58:54 Finished candle/standard/semantics                             2m36s   3GB
Jun 26 22:58:54 Starting candle/standard/monadic
Jun 26 22:58:56 Finished candle/standard/monadic                                  0s  99MB
Jun 26 22:58:57 Starting candle/standard/ml_kernel
Jun 26 23:00:52 Finished candle/standard/ml_kernel                             1m53s   7GB
Jun 26 23:00:53 Starting candle/overloading/syntax
Jun 26 23:04:31 Finished candle/overloading/syntax                             3m37s   3GB
Jun 26 23:04:32 Starting candle/overloading/semantics
Jun 26 23:15:58 Finished candle/overloading/semantics                         11m25s   6GB
Jun 26 23:15:58 Starting candle/overloading/monadic
Jun 26 23:18:36 Finished candle/overloading/monadic                            2m36s   3GB
Jun 26 23:18:36 Starting candle/overloading/ml_kernel
Jun 26 23:26:16 Finished candle/overloading/ml_kernel                          7m38s   7GB
Jun 26 23:26:17 Starting candle/overloading/ml_checker
Jun 26 23:28:54 Finished candle/overloading/ml_checker                         2m36s   7GB
Jun 26 23:28:55 Starting candle/prover
Jun 26 23:39:01 Finished candle/prover                                        10m04s   5GB
Jun 26 23:39:02 Starting pancake
Jun 26 23:40:11 Finished pancake                                               1m08s   1GB
Jun 26 23:40:12 Starting pancake/ffi
Jun 26 23:40:13 Finished pancake/ffi                                              0s  22MB
Jun 26 23:40:14 Starting pancake/semantics
Jun 26 23:42:56 Finished pancake/semantics                                     2m41s   2GB
Jun 26 23:42:57 Starting pancake/parser
Jun 26 23:43:31 Finished pancake/parser                                          32s   2GB
Jun 26 23:43:32 Starting pancake/proofs
Jun 27 00:14:29 Finished pancake/proofs                                       30m56s   9GB
Jun 27 00:14:30 Starting characteristic/examples
Jun 27 00:16:09 Finished characteristic/examples                               1m38s   6GB
Jun 27 00:16:10 Starting tutorial/solutions
Jun 27 00:18:45 Finished tutorial/solutions                                    2m33s   4GB
Jun 27 00:18:46 Starting translator/monadic/examples
Jun 27 00:22:45 Finished translator/monadic/examples                           3m57s   5GB
Jun 27 00:22:46 Starting examples
Jun 27 00:37:12 Finished examples                                             14m22s   8GB
Jun 27 00:37:13 Starting examples/compilation/x64
Jun 27 00:46:17 Finished examples/compilation/x64                              9m02s   6GB
Jun 27 00:46:18 Starting examples/compilation/x64/proofs
Jun 27 00:50:47 Finished examples/compilation/x64/proofs                       4m27s   8GB
Jun 27 00:50:48 Starting examples/compilation/ag32
Jun 27 00:53:25 Finished examples/compilation/ag32                             2m36s   4GB
Jun 27 00:53:26 Starting examples/compilation/ag32/proofs
Jun 27 00:55:06 Finished examples/compilation/ag32/proofs                      1m39s  10GB
Jun 27 00:55:07 Starting examples/compilation/to_word
Jun 27 00:59:05 Finished examples/compilation/to_word                          3m57s  12GB
Jun 27 00:59:06 Starting examples/lpr_checker
Jun 27 01:00:26 Finished examples/lpr_checker                                  1m19s   2GB
Jun 27 01:00:27 Starting examples/lpr_checker/array
Jun 27 01:28:54 Finished examples/lpr_checker/array                           28m26s  19GB
Jun 27 01:28:55 Starting examples/lpr_checker/array/compilation
Jun 27 01:31:29 Finished examples/lpr_checker/array/compilation                2m32s   9GB
Jun 27 01:31:30 Starting examples/lpr_checker/array/compilation/proofs
Jun 27 01:33:17 Finished examples/lpr_checker/array/compilation/proofs         1m46s   9GB
Jun 27 01:33:18 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 27 01:35:05 Finished examples/lpr_checker/array/compilation/proofsARM8     1m45s   8GB
Jun 27 01:35:06 Starting examples/xlrup_checker
Jun 27 01:36:17 Finished examples/xlrup_checker                                1m10s   2GB
Jun 27 01:36:18 Starting examples/xlrup_checker/array
Jun 27 01:51:42 Finished examples/xlrup_checker/array                         15m23s   7GB
Jun 27 01:51:43 Starting examples/xlrup_checker/array/compilation
Jun 27 01:53:07 Finished examples/xlrup_checker/array/compilation              1m22s   6GB
Jun 27 01:53:08 Starting examples/xlrup_checker/array/compilation/proofs
Jun 27 01:54:50 Finished examples/xlrup_checker/array/compilation/proofs       1m41s   9GB
Jun 27 01:54:51 Starting examples/pseudo_bool
Jun 27 01:57:04 Finished examples/pseudo_bool                                  2m12s   2GB
Jun 27 01:57:05 Starting examples/pseudo_bool/cnf_encoding
Jun 27 01:57:43 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Jun 27 01:57:44 Starting examples/pseudo_bool/graph_encoding
Jun 27 01:58:39 Finished examples/pseudo_bool/graph_encoding                     54s   1GB
Jun 27 01:58:40 Starting examples/pseudo_bool/array
Jun 27 03:03:56 Finished examples/pseudo_bool/array                         1h05m14s  22GB
Jun 27 03:03:56 Starting examples/pseudo_bool/array/compilation
Jun 27 03:16:54 Finished examples/pseudo_bool/array/compilation               12m57s  29GB
Jun 27 03:16:55 Starting examples/pseudo_bool/array/compilation/proofs
Jun 27 03:20:48 Finished examples/pseudo_bool/array/compilation/proofs         3m52s   9GB
Jun 27 03:20:49 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 27 03:22:41 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m50s   8GB
Jun 27 03:22:42 Starting examples/opentheory
Jun 27 03:33:25 Finished examples/opentheory                                  10m42s   7GB
Jun 27 03:33:26 Starting examples/opentheory
Jun 27 03:33:28 Finished examples/opentheory                                      0s 131MB
Jun 27 03:33:29 Starting examples/opentheory/compilation
Jun 27 03:35:30 Finished examples/opentheory/compilation                       1m59s   8GB
Jun 27 03:35:31 Starting examples/opentheory/compilation/proofs
Jun 27 03:37:25 Finished examples/opentheory/compilation/proofs                1m53s   6GB
Jun 27 03:37:26 Starting examples/opentheory/compilation/ag32
Jun 27 03:39:32 Finished examples/opentheory/compilation/ag32                  2m05s   9GB
Jun 27 03:39:33 Starting examples/opentheory/compilation/ag32/proofs
Jun 27 03:41:54 Finished examples/opentheory/compilation/ag32/proofs           2m20s  14GB
Jun 27 03:41:55 Starting examples/sat_encodings
Jun 27 03:44:46 Finished examples/sat_encodings                                2m49s   1GB
Jun 27 03:44:47 Starting examples/sat_encodings/case_studies
Jun 27 03:46:52 Finished examples/sat_encodings/case_studies                   2m04s   1GB
Jun 27 03:46:53 Starting examples/sat_encodings/translation
Jun 27 03:53:11 Finished examples/sat_encodings/translation                    6m17s   7GB
Jun 27 03:53:12 Starting examples/sat_encodings/translation/compilation
Jun 27 03:55:33 Finished examples/sat_encodings/translation/compilation        2m19s   6GB
Jun 27 03:55:34 Starting examples/deflate
Jun 27 03:57:02 Finished examples/deflate                                      1m27s   2GB
Jun 27 03:57:03 Starting examples/deflate/translation
Jun 27 03:58:45 Finished examples/deflate/translation                          1m40s   8GB
Jun 27 03:58:45 Starting examples/deflate/translation/compilation
Jun 27 03:59:48 Finished examples/deflate/translation/compilation              1m01s   5GB
Jun 27 03:59:49 Starting examples/vipr
Jun 27 04:03:56 Finished examples/vipr                                         4m06s   8GB
Jun 27 04:03:57 Starting examples/vipr/compilation
Jun 27 04:05:12 Finished examples/vipr/compilation                             1m13s   5GB
Jun 27 04:05:13 Starting translator/okasaki-examples
Jun 27 04:10:22 Finished translator/okasaki-examples                           5m07s   5GB
Jun 27 04:10:23 Starting translator/other-examples
Jun 27 04:11:37 Finished translator/other-examples                             1m12s   3GB
Jun 27 04:11:37 Starting compiler/parsing/tests
Jun 27 04:12:12 Finished compiler/parsing/tests                                  33s   1GB
Jun 27 04:12:12 Starting compiler/inference/tests
Jun 27 04:12:52 Finished compiler/inference/tests                                39s   3GB
Jun 27 04:12:53 Starting compiler/printing/test
Jun 27 04:14:26 Finished compiler/printing/test                                1m31s   7GB
Jun 27 04:14:27 Starting icing/flover
Jun 27 04:51:37 Finished icing/flover                                         37m08s   4GB
Jun 27 04:51:38 Starting icing/
Jun 27 05:19:40 Finished icing/                                               28m01s  10GB
Jun 27 05:19:41 Starting icing/examples
Jun 27 05:21:29 Finished icing/examples                                        1m46s   9GB
Jun 27 05:21:30 Starting compiler/repl
Jun 27 05:30:19 Finished compiler/repl                                         8m47s   9GB
Jun 27 05:30:20 Starting unverified/sexpr-bootstrap/x64/64
Jun 27 05:41:41 Finished unverified/sexpr-bootstrap/x64/64                    10m56s  16GB
Jun 27 05:41:42 Starting unverified/sexpr-bootstrap/x64/32
Jun 27 05:51:02 Finished unverified/sexpr-bootstrap/x64/32                     8m59s  14GB
Jun 27 05:51:03 Starting compiler/benchmarks
Jun 27 05:51:48 Finished compiler/benchmarks                                     44s 713MB
Jun 27 05:51:49 Starting compiler/bootstrap/compilation/x64/64
Jun 27 06:50:45 Finished compiler/bootstrap/compilation/x64/64                58m42s 135GB
Jun 27 06:50:46 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 27 07:13:45 Finished compiler/bootstrap/compilation/x64/64/proofs         22m58s  51GB
Jun 27 07:13:46 Starting compiler/bootstrap/compilation/x64/32
Jun 27 07:49:36 Finished compiler/bootstrap/compilation/x64/32                35m41s  81GB
Jun 27 07:49:37 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 27 07:54:21 Finished compiler/bootstrap/compilation/x64/32/proofs          4m43s  26GB
Jun 27 07:54:22 Starting compiler/bootstrap/compilation/ag32/32
Jun 27 08:31:31 Finished compiler/bootstrap/compilation/ag32/32               37m07s  93GB
Jun 27 08:31:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 27 08:36:48 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m15s  28GB
Jun 27 08:36:49 SUCCESS