Job 2611

CakeML:49f0d44be26ff907ef52240f3818a4c3caa10598
  Merge pull request #1055 from CakeML/pan_news [Sep 18 13:05:16]
HOL:7bf55e0eb37d0d68268a5b6c2d55dc2895fd6361
  Fix bug in reduceLib.NOT_CONV [Sep 09 04:53:02]
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-arm8-64.tar.gz
cake-x64-32.tar.gz

Sep 18 13:06:39 Claimed job
Sep 18 13:06:41 Reusing HOL
Sep 18 13:07:26 Starting developers
Sep 18 13:07:32 Finished developers                                               5s 130MB
Sep 18 13:07:32 Starting developers/bin
Sep 18 13:07:38 Finished developers/bin                                           5s   1GB
Sep 18 13:07:38 Starting compiler/proofs
Sep 18 15:05:50 Finished compiler/proofs                                    1h58m12s  15GB
Sep 18 15:05:50 Starting compiler/bootstrap/translation
Sep 19 00:01:01 Finished compiler/bootstrap/translation                     8h55m10s  48GB
Sep 19 00:01:01 Starting semantics/ffi
Sep 19 00:01:07 Finished semantics/ffi                                            5s 410MB
Sep 19 00:01:07 Starting semantics
Sep 19 00:01:09 Finished semantics                                                1s  20MB
Sep 19 00:01:09 Starting semantics/proofs
Sep 19 00:01:34 Finished semantics/proofs                                        25s 423MB
Sep 19 00:01:34 Starting semantics/alt_semantics
Sep 19 00:02:00 Finished semantics/alt_semantics                                 25s 578MB
Sep 19 00:02:00 Starting semantics/alt_semantics/proofs
Sep 19 00:13:40 Finished semantics/alt_semantics/proofs                       11m39s   1GB
Sep 19 00:13:40 Starting basis/pure
Sep 19 00:13:42 Finished basis/pure                                               1s  21MB
Sep 19 00:13:42 Starting translator
Sep 19 00:15:25 Finished translator                                            1m42s   1GB
Sep 19 00:15:25 Starting compiler/parsing
Sep 19 00:15:27 Finished compiler/parsing                                         1s  20MB
Sep 19 00:15:27 Starting characteristic
Sep 19 00:15:29 Finished characteristic                                           1s  22MB
Sep 19 00:15:29 Starting translator/monadic
Sep 19 00:15:31 Finished translator/monadic                                       1s  19MB
Sep 19 00:15:31 Starting basis
Sep 19 00:18:05 Finished basis                                                 2m33s   3GB
Sep 19 00:18:05 Starting compiler/inference
Sep 19 00:18:07 Finished compiler/inference                                       1s  22MB
Sep 19 00:18:07 Starting compiler/backend/reg_alloc
Sep 19 00:18:08 Finished compiler/backend/reg_alloc                               1s  19MB
Sep 19 00:18:08 Starting compiler/backend/gc
Sep 19 00:18:11 Finished compiler/backend/gc                                      2s  29MB
Sep 19 00:18:11 Starting compiler/backend
Sep 19 00:18:16 Finished compiler/backend                                         5s 293MB
Sep 19 00:18:17 Starting compiler/encoders/asm
Sep 19 00:18:18 Finished compiler/encoders/asm                                    1s  20MB
Sep 19 00:18:19 Starting compiler/encoders/x64
Sep 19 00:18:20 Finished compiler/encoders/x64                                    1s  24MB
Sep 19 00:18:21 Starting compiler/encoders/arm7
Sep 19 00:18:22 Finished compiler/encoders/arm7                                   1s  25MB
Sep 19 00:18:22 Starting compiler/encoders/arm8
Sep 19 00:18:24 Finished compiler/encoders/arm8                                   1s  26MB
Sep 19 00:18:24 Starting compiler/encoders/arm8_asl
Sep 19 00:21:30 Finished compiler/encoders/arm8_asl                            3m05s   1GB
Sep 19 00:21:30 Starting compiler/encoders/mips
Sep 19 00:21:32 Finished compiler/encoders/mips                                   1s  23MB
Sep 19 00:21:32 Starting compiler/encoders/riscv
Sep 19 00:21:34 Finished compiler/encoders/riscv                                  1s  29MB
Sep 19 00:21:34 Starting compiler/encoders/ag32
Sep 19 00:21:36 Finished compiler/encoders/ag32                                   1s  28MB
Sep 19 00:21:36 Starting compiler/backend/x64
Sep 19 00:21:38 Finished compiler/backend/x64                                     2s  26MB
Sep 19 00:21:38 Starting compiler/backend/arm7
Sep 19 00:21:40 Finished compiler/backend/arm7                                    2s  31MB
Sep 19 00:21:40 Starting compiler/backend/arm8
Sep 19 00:21:43 Finished compiler/backend/arm8                                    2s  28MB
Sep 19 00:21:43 Starting compiler/backend/mips
Sep 19 00:21:45 Finished compiler/backend/mips                                    2s  23MB
Sep 19 00:21:45 Starting compiler/backend/riscv
Sep 19 00:21:47 Finished compiler/backend/riscv                                   2s  24MB
Sep 19 00:21:48 Starting compiler/backend/ag32
Sep 19 00:23:16 Finished compiler/backend/ag32                                 1m28s   1GB
Sep 19 00:23:16 Starting compiler/parsing/proofs
Sep 19 00:23:18 Finished compiler/parsing/proofs                                  1s  18MB
Sep 19 00:23:18 Starting compiler/inference/proofs
Sep 19 00:23:20 Finished compiler/inference/proofs                                1s  25MB
Sep 19 00:23:20 Starting compiler/backend/semantics
Sep 19 00:26:51 Finished compiler/backend/semantics                            3m30s   1GB
Sep 19 00:26:51 Starting compiler/backend/reg_alloc/proofs
Sep 19 00:26:53 Finished compiler/backend/reg_alloc/proofs                        1s  26MB
Sep 19 00:26:53 Starting compiler/backend/proofs
Sep 19 00:27:49 Finished compiler/backend/proofs                                 55s   3GB
Sep 19 00:27:49 Starting compiler/backend/serialiser
Sep 19 00:27:51 Finished compiler/backend/serialiser                              2s  33MB
Sep 19 00:27:51 Starting compiler/encoders/x64/proofs
Sep 19 00:38:29 Finished compiler/encoders/x64/proofs                         10m38s   5GB
Sep 19 00:38:29 Starting compiler/encoders/arm7/proofs
Sep 19 00:52:33 Finished compiler/encoders/arm7/proofs                        14m03s   3GB
Sep 19 00:52:33 Starting compiler/encoders/arm8/proofs
Sep 19 01:00:05 Finished compiler/encoders/arm8/proofs                         7m31s   1GB
Sep 19 01:00:05 Starting compiler/encoders/arm8_asl/proofs
Sep 19 01:17:51 Finished compiler/encoders/arm8_asl/proofs                    17m45s   2GB
Sep 19 01:17:51 Starting compiler/encoders/mips/proofs
Sep 19 01:28:36 Finished compiler/encoders/mips/proofs                        10m45s   3GB
Sep 19 01:28:36 Starting compiler/encoders/riscv/proofs
Sep 19 01:37:32 Finished compiler/encoders/riscv/proofs                        8m55s   2GB
Sep 19 01:37:32 Starting compiler/encoders/ag32/proofs
Sep 19 01:40:49 Finished compiler/encoders/ag32/proofs                         3m16s   1GB
Sep 19 01:40:49 Starting compiler/backend/x64/proofs
Sep 19 01:41:23 Finished compiler/backend/x64/proofs                             33s   2GB
Sep 19 01:41:23 Starting compiler/backend/arm7/proofs
Sep 19 01:41:57 Finished compiler/backend/arm7/proofs                            33s   1GB
Sep 19 01:41:57 Starting compiler/backend/arm8/proofs
Sep 19 01:42:29 Finished compiler/backend/arm8/proofs                            31s   1GB
Sep 19 01:42:29 Starting compiler/backend/arm8_asl
Sep 19 01:42:53 Finished compiler/backend/arm8_asl                               24s   2GB
Sep 19 01:42:53 Starting compiler/backend/mips/proofs
Sep 19 01:43:27 Finished compiler/backend/mips/proofs                            33s   1GB
Sep 19 01:43:27 Starting compiler/backend/riscv/proofs
Sep 19 01:44:04 Finished compiler/backend/riscv/proofs                           36s   2GB
Sep 19 01:44:04 Starting compiler/backend/ag32/proofs
Sep 19 01:58:53 Finished compiler/backend/ag32/proofs                         14m48s   4GB
Sep 19 01:58:53 Starting compiler/backend/cv_compute
Sep 19 02:00:14 Finished compiler/backend/cv_compute                           1m21s   2GB
Sep 19 02:00:14 Starting cv_translator
Sep 19 02:21:19 Finished cv_translator                                        21m04s   6GB
Sep 19 02:21:19 Starting candle/set-theory
Sep 19 02:22:03 Finished candle/set-theory                                       44s   1GB
Sep 19 02:22:03 Starting candle/syntax-lib
Sep 19 02:22:04 Finished candle/syntax-lib                                        1s  22MB
Sep 19 02:22:05 Starting candle/standard/syntax
Sep 19 02:22:18 Finished candle/standard/syntax                                  13s 868MB
Sep 19 02:22:18 Starting candle/standard/semantics
Sep 19 02:24:31 Finished candle/standard/semantics                             2m13s   1GB
Sep 19 02:24:31 Starting candle/standard/monadic
Sep 19 02:24:33 Finished candle/standard/monadic                                  1s  24MB
Sep 19 02:24:33 Starting candle/standard/ml_kernel
Sep 19 02:26:17 Finished candle/standard/ml_kernel                             1m43s   4GB
Sep 19 02:26:17 Starting candle/overloading/syntax
Sep 19 02:29:50 Finished candle/overloading/syntax                             3m32s   1GB
Sep 19 02:29:50 Starting candle/overloading/semantics
Sep 19 02:42:12 Finished candle/overloading/semantics                         12m21s   2GB
Sep 19 02:42:12 Starting candle/overloading/monadic
Sep 19 02:44:55 Finished candle/overloading/monadic                            2m43s   1GB
Sep 19 02:44:56 Starting candle/overloading/ml_kernel
Sep 19 02:53:15 Finished candle/overloading/ml_kernel                          8m19s   4GB
Sep 19 02:53:15 Starting candle/overloading/ml_checker
Sep 19 02:55:56 Finished candle/overloading/ml_checker                         2m41s   3GB
Sep 19 02:55:56 Starting candle/prover
Sep 19 03:06:20 Finished candle/prover                                        10m23s   4GB
Sep 19 03:06:20 Starting pancake
Sep 19 03:06:46 Finished pancake                                                 25s 821MB
Sep 19 03:06:46 Starting pancake/ffi
Sep 19 03:06:46 Finished pancake/ffi                                              0s  13MB
Sep 19 03:06:46 Starting pancake/semantics
Sep 19 03:09:14 Finished pancake/semantics                                     2m27s   1GB
Sep 19 03:09:14 Starting pancake/parser
Sep 19 03:09:40 Finished pancake/parser                                          25s 416MB
Sep 19 03:09:40 Starting pancake/proofs
Sep 19 03:27:59 Finished pancake/proofs                                       18m19s   3GB
Sep 19 03:28:00 Starting compiler/dafny
Sep 19 03:30:27 Finished compiler/dafny                                        2m27s  10GB
Sep 19 03:30:27 Starting compiler/dafny/translation
Sep 19 04:00:09 Finished compiler/dafny/translation                           29m41s  13GB
Sep 19 04:00:09 Starting compiler/dafny/compilation
Sep 19 04:03:28 Finished compiler/dafny/compilation                            3m19s  11GB
Sep 19 04:03:28 Starting compiler/dafny/semantics
Sep 19 04:04:06 Finished compiler/dafny/semantics                                37s 830MB
Sep 19 04:04:06 Starting characteristic/examples
Sep 19 04:05:36 Finished characteristic/examples                               1m30s   2GB
Sep 19 04:05:37 Starting tutorial/solutions
Sep 19 04:08:23 Finished tutorial/solutions                                    2m46s   3GB
Sep 19 04:08:23 Starting translator/monadic/examples
Sep 19 04:12:14 Finished translator/monadic/examples                           3m50s   2GB
Sep 19 04:12:14 Starting examples
Sep 19 04:26:50 Finished examples                                             14m35s   2GB
Sep 19 04:26:50 Starting examples/compilation/x64
Sep 19 04:35:54 Finished examples/compilation/x64                              9m04s   5GB
Sep 19 04:35:54 Starting examples/compilation/x64/proofs
Sep 19 04:38:51 Finished examples/compilation/x64/proofs                       2m56s   5GB
Sep 19 04:38:51 Starting examples/compilation/ag32
Sep 19 04:41:06 Finished examples/compilation/ag32                             2m15s   2GB
Sep 19 04:41:06 Starting examples/compilation/ag32/proofs
Sep 19 04:42:38 Finished examples/compilation/ag32/proofs                      1m31s   4GB
Sep 19 04:42:38 Starting examples/compilation/to_word
Sep 19 04:46:09 Finished examples/compilation/to_word                          3m30s   7GB
Sep 19 04:46:09 Starting examples/lpr_checker
Sep 19 04:46:49 Finished examples/lpr_checker                                    40s 607MB
Sep 19 04:46:49 Starting examples/lpr_checker/array
Sep 19 05:14:55 Finished examples/lpr_checker/array                           28m05s   4GB
Sep 19 05:14:55 Starting examples/lpr_checker/array/compilation
Sep 19 05:17:39 Finished examples/lpr_checker/array/compilation                2m44s   7GB
Sep 19 05:17:39 Starting examples/lpr_checker/array/compilation/proofs
Sep 19 05:18:59 Finished examples/lpr_checker/array/compilation/proofs         1m19s   6GB
Sep 19 05:18:59 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 19 05:20:19 Finished examples/lpr_checker/array/compilation/proofsARM8     1m19s   6GB
Sep 19 05:20:19 Starting examples/xlrup_checker
Sep 19 05:20:57 Finished examples/xlrup_checker                                  37s 602MB
Sep 19 05:20:57 Starting examples/xlrup_checker/array
Sep 19 05:35:37 Finished examples/xlrup_checker/array                         14m39s   3GB
Sep 19 05:35:37 Starting examples/xlrup_checker/array/compilation
Sep 19 05:37:00 Finished examples/xlrup_checker/array/compilation              1m22s   5GB
Sep 19 05:37:00 Starting examples/xlrup_checker/array/compilation/proofs
Sep 19 05:38:05 Finished examples/xlrup_checker/array/compilation/proofs       1m04s   5GB
Sep 19 05:38:05 Starting examples/pseudo_bool
Sep 19 05:39:36 Finished examples/pseudo_bool                                  1m31s   1GB
Sep 19 05:39:36 Starting examples/pseudo_bool/cnf_encoding
Sep 19 05:40:06 Finished examples/pseudo_bool/cnf_encoding                       30s 840MB
Sep 19 05:40:06 Starting examples/pseudo_bool/graph_encoding
Sep 19 05:40:55 Finished examples/pseudo_bool/graph_encoding                     48s 998MB
Sep 19 05:40:55 Starting examples/pseudo_bool/array
Sep 19 06:47:09 Finished examples/pseudo_bool/array                         1h06m11s   7GB
Sep 19 06:47:09 Starting examples/pseudo_bool/array/compilation
Sep 19 07:02:01 Finished examples/pseudo_bool/array/compilation               14m52s  25GB
Sep 19 07:02:01 Starting examples/pseudo_bool/array/compilation/proofs
Sep 19 07:05:02 Finished examples/pseudo_bool/array/compilation/proofs         3m00s   7GB
Sep 19 07:05:02 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 19 07:06:20 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m18s   7GB
Sep 19 07:06:21 Starting examples/opentheory
Sep 19 07:15:36 Finished examples/opentheory                                   9m15s   2GB
Sep 19 07:15:36 Starting examples/opentheory
Sep 19 07:15:38 Finished examples/opentheory                                      1s  25MB
Sep 19 07:15:38 Starting examples/opentheory/compilation
Sep 19 07:17:40 Finished examples/opentheory/compilation                       2m01s   6GB
Sep 19 07:17:41 Starting examples/opentheory/compilation/proofs
Sep 19 07:18:46 Finished examples/opentheory/compilation/proofs                1m05s   6GB
Sep 19 07:18:46 Starting examples/opentheory/compilation/ag32
Sep 19 07:20:50 Finished examples/opentheory/compilation/ag32                  2m03s   5GB
Sep 19 07:20:50 Starting examples/opentheory/compilation/ag32/proofs
Sep 19 07:22:34 Finished examples/opentheory/compilation/ag32/proofs           1m44s   7GB
Sep 19 07:22:34 Starting examples/sat_encodings
Sep 19 07:23:42 Finished examples/sat_encodings                                1m07s 444MB
Sep 19 07:23:42 Starting examples/sat_encodings/case_studies
Sep 19 07:25:36 Finished examples/sat_encodings/case_studies                   1m54s   1GB
Sep 19 07:25:36 Starting examples/sat_encodings/translation
Sep 19 07:29:39 Finished examples/sat_encodings/translation                    4m02s   1GB
Sep 19 07:29:39 Starting examples/sat_encodings/translation/compilation
Sep 19 07:32:08 Finished examples/sat_encodings/translation/compilation        2m28s   4GB
Sep 19 07:32:08 Starting examples/deflate
Sep 19 07:32:39 Finished examples/deflate                                        31s 464MB
Sep 19 07:32:39 Starting examples/deflate/translation
Sep 19 07:33:49 Finished examples/deflate/translation                          1m09s   1GB
Sep 19 07:33:49 Starting examples/deflate/translation/compilation
Sep 19 07:34:58 Finished examples/deflate/translation/compilation              1m09s   4GB
Sep 19 07:34:59 Starting examples/vipr
Sep 19 07:38:54 Finished examples/vipr                                         3m55s   5GB
Sep 19 07:38:54 Starting examples/vipr/compilation
Sep 19 07:40:10 Finished examples/vipr/compilation                             1m15s   4GB
Sep 19 07:40:10 Starting translator/okasaki-examples
Sep 19 07:44:54 Finished translator/okasaki-examples                           4m43s   2GB
Sep 19 07:44:54 Starting translator/other-examples
Sep 19 07:45:57 Finished translator/other-examples                             1m03s   2GB
Sep 19 07:45:57 Starting compiler/parsing/tests
Sep 19 07:46:35 Finished compiler/parsing/tests                                  37s 872MB
Sep 19 07:46:35 Starting compiler/inference/tests
Sep 19 07:47:07 Finished compiler/inference/tests                                32s   2GB
Sep 19 07:47:08 Starting compiler/printing/test
Sep 19 07:48:40 Finished compiler/printing/test                                1m32s   2GB
Sep 19 07:48:40 Starting icing/flover
Sep 19 08:35:14 Finished icing/flover                                         46m33s   2GB
Sep 19 08:35:14 Starting icing/
Sep 19 09:05:05 Finished icing/                                               29m50s   3GB
Sep 19 09:05:05 Starting icing/examples
Sep 19 09:06:46 Finished icing/examples                                        1m41s   4GB
Sep 19 09:06:47 Starting compiler/repl
Sep 19 09:15:37 Finished compiler/repl                                         8m50s   6GB
Sep 19 09:15:37 Starting unverified/sexpr-bootstrap/x64/64
Sep 19 09:31:53 Finished unverified/sexpr-bootstrap/x64/64                    16m15s  20GB
Sep 19 09:31:53 Starting unverified/sexpr-bootstrap/x64/32
Sep 19 09:44:58 Finished unverified/sexpr-bootstrap/x64/32                    13m03s  15GB
Sep 19 09:44:58 Starting compiler/benchmarks
Sep 19 10:00:40 Finished compiler/benchmarks                                  15m41s   2GB
Sep 19 10:00:40 Starting compiler/bootstrap/compilation/x64/64
Sep 19 10:41:38 Finished compiler/bootstrap/compilation/x64/64                40m57s  64GB
Sep 19 10:41:38 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 19 11:07:16 Finished compiler/bootstrap/compilation/x64/64/proofs         25m37s  47GB
Sep 19 11:07:16 Starting compiler/bootstrap/compilation/x64/32
Sep 19 11:44:15 Finished compiler/bootstrap/compilation/x64/32                36m58s  64GB
Sep 19 11:44:15 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 19 11:50:26 Finished compiler/bootstrap/compilation/x64/32/proofs          6m11s  19GB
Sep 19 11:50:26 Starting compiler/bootstrap/compilation/arm8/64
Sep 19 12:42:16 Finished compiler/bootstrap/compilation/arm8/64               51m49s  64GB
Sep 19 12:42:16 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 19 12:47:20 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m04s  32GB
Sep 19 12:47:20 Starting compiler/bootstrap/compilation/ag32/32
Sep 19 13:26:16 Finished compiler/bootstrap/compilation/ag32/32               38m55s  64GB
Sep 19 13:26:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 19 13:33:29 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m12s  18GB
Sep 19 13:33:29 SUCCESS