Job 2609

CakeML:762879bde315421b0e54ebcb551c66da58daf5c6
  Merge pull request #1054 from halogentlepersuasion/pan_fields [Sep 15 18:36:37]
HOL:7bf55e0eb37d0d68268a5b6c2d55dc2895fd6361
  Fix bug in reduceLib.NOT_CONV [Sep 09 04:53:02]
Machine:lammmington
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 15 18:54:33 Claimed job
Sep 15 18:54:37 Reusing HOL
Sep 15 18:54:49 Starting developers
Sep 15 18:54:53 Finished developers                                               3s 201MB
Sep 15 18:54:54 Starting developers/bin
Sep 15 18:55:15 Finished developers/bin                                          19s   1GB
Sep 15 18:55:15 Starting compiler/proofs
Sep 15 20:40:35 Finished compiler/proofs                                    1h45m18s  41GB
Sep 15 20:40:36 Starting compiler/bootstrap/translation
Sep 16 05:27:36 Finished compiler/bootstrap/translation                     8h46m59s  87GB
Sep 16 05:27:37 Starting semantics/ffi
Sep 16 05:27:47 Finished semantics/ffi                                            8s 736MB
Sep 16 05:27:48 Starting semantics
Sep 16 05:27:49 Finished semantics                                                0s  62MB
Sep 16 05:27:50 Starting semantics/proofs
Sep 16 05:28:13 Finished semantics/proofs                                        22s 863MB
Sep 16 05:28:14 Starting semantics/alt_semantics
Sep 16 05:28:40 Finished semantics/alt_semantics                                 25s 705MB
Sep 16 05:28:41 Starting semantics/alt_semantics/proofs
Sep 16 05:39:00 Finished semantics/alt_semantics/proofs                       10m17s   2GB
Sep 16 05:39:01 Starting basis/pure
Sep 16 05:39:02 Finished basis/pure                                               0s  74MB
Sep 16 05:39:03 Starting translator
Sep 16 05:40:41 Finished translator                                            1m36s   4GB
Sep 16 05:40:42 Starting compiler/parsing
Sep 16 05:40:43 Finished compiler/parsing                                         0s  72MB
Sep 16 05:40:44 Starting characteristic
Sep 16 05:40:46 Finished characteristic                                           0s  95MB
Sep 16 05:40:47 Starting translator/monadic
Sep 16 05:40:48 Finished translator/monadic                                       0s  93MB
Sep 16 05:40:49 Starting basis
Sep 16 05:43:26 Finished basis                                                 2m36s   9GB
Sep 16 05:43:27 Starting compiler/inference
Sep 16 05:43:29 Finished compiler/inference                                       0s  93MB
Sep 16 05:43:30 Starting compiler/backend/reg_alloc
Sep 16 05:43:31 Finished compiler/backend/reg_alloc                               0s  67MB
Sep 16 05:43:32 Starting compiler/backend/gc
Sep 16 05:43:34 Finished compiler/backend/gc                                      1s 147MB
Sep 16 05:43:35 Starting compiler/backend
Sep 16 05:43:41 Finished compiler/backend                                         4s 356MB
Sep 16 05:43:42 Starting compiler/encoders/asm
Sep 16 05:43:43 Finished compiler/encoders/asm                                    0s  89MB
Sep 16 05:43:44 Starting compiler/encoders/x64
Sep 16 05:43:46 Finished compiler/encoders/x64                                    0s 101MB
Sep 16 05:43:47 Starting compiler/encoders/arm7
Sep 16 05:43:48 Finished compiler/encoders/arm7                                   0s 102MB
Sep 16 05:43:49 Starting compiler/encoders/arm8
Sep 16 05:43:51 Finished compiler/encoders/arm8                                   0s 105MB
Sep 16 05:43:52 Starting compiler/encoders/arm8_asl
Sep 16 05:46:05 Finished compiler/encoders/arm8_asl                            2m11s   1GB
Sep 16 05:46:06 Starting compiler/encoders/mips
Sep 16 05:46:07 Finished compiler/encoders/mips                                   0s  93MB
Sep 16 05:46:08 Starting compiler/encoders/riscv
Sep 16 05:46:10 Finished compiler/encoders/riscv                                  0s 103MB
Sep 16 05:46:11 Starting compiler/encoders/ag32
Sep 16 05:46:12 Finished compiler/encoders/ag32                                   0s  97MB
Sep 16 05:46:13 Starting compiler/backend/x64
Sep 16 05:46:15 Finished compiler/backend/x64                                     1s 137MB
Sep 16 05:46:16 Starting compiler/backend/arm7
Sep 16 05:46:18 Finished compiler/backend/arm7                                    1s 137MB
Sep 16 05:46:19 Starting compiler/backend/arm8
Sep 16 05:46:21 Finished compiler/backend/arm8                                    1s 136MB
Sep 16 05:46:22 Starting compiler/backend/mips
Sep 16 05:46:24 Finished compiler/backend/mips                                    1s 137MB
Sep 16 05:46:25 Starting compiler/backend/riscv
Sep 16 05:46:27 Finished compiler/backend/riscv                                   1s 137MB
Sep 16 05:46:28 Starting compiler/backend/ag32
Sep 16 05:47:54 Finished compiler/backend/ag32                                 1m24s   3GB
Sep 16 05:47:55 Starting compiler/parsing/proofs
Sep 16 05:47:56 Finished compiler/parsing/proofs                                  0s  75MB
Sep 16 05:47:57 Starting compiler/inference/proofs
Sep 16 05:47:59 Finished compiler/inference/proofs                                0s  91MB
Sep 16 05:48:00 Starting compiler/backend/semantics
Sep 16 05:51:15 Finished compiler/backend/semantics                            3m14s   3GB
Sep 16 05:51:16 Starting compiler/backend/reg_alloc/proofs
Sep 16 05:51:18 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Sep 16 05:51:19 Starting compiler/backend/proofs
Sep 16 05:52:17 Finished compiler/backend/proofs                                 56s   4GB
Sep 16 05:52:18 Starting compiler/backend/serialiser
Sep 16 05:52:20 Finished compiler/backend/serialiser                              1s 148MB
Sep 16 05:52:21 Starting compiler/encoders/x64/proofs
Sep 16 06:02:49 Finished compiler/encoders/x64/proofs                         10m26s   5GB
Sep 16 06:02:50 Starting compiler/encoders/arm7/proofs
Sep 16 06:15:49 Finished compiler/encoders/arm7/proofs                        12m58s   9GB
Sep 16 06:15:50 Starting compiler/encoders/arm8/proofs
Sep 16 06:22:42 Finished compiler/encoders/arm8/proofs                         6m51s   6GB
Sep 16 06:22:43 Starting compiler/encoders/arm8_asl/proofs
Sep 16 06:38:12 Finished compiler/encoders/arm8_asl/proofs                    15m28s   5GB
Sep 16 06:38:13 Starting compiler/encoders/mips/proofs
Sep 16 06:48:40 Finished compiler/encoders/mips/proofs                        10m25s   9GB
Sep 16 06:48:41 Starting compiler/encoders/riscv/proofs
Sep 16 06:57:18 Finished compiler/encoders/riscv/proofs                        8m36s   6GB
Sep 16 06:57:19 Starting compiler/encoders/ag32/proofs
Sep 16 07:00:14 Finished compiler/encoders/ag32/proofs                         2m54s   2GB
Sep 16 07:00:15 Starting compiler/backend/x64/proofs
Sep 16 07:01:02 Finished compiler/backend/x64/proofs                             46s   3GB
Sep 16 07:01:03 Starting compiler/backend/arm7/proofs
Sep 16 07:01:50 Finished compiler/backend/arm7/proofs                            46s   3GB
Sep 16 07:01:51 Starting compiler/backend/arm8/proofs
Sep 16 07:02:37 Finished compiler/backend/arm8/proofs                            45s   3GB
Sep 16 07:02:38 Starting compiler/backend/arm8_asl
Sep 16 07:03:10 Finished compiler/backend/arm8_asl                               30s   2GB
Sep 16 07:03:11 Starting compiler/backend/mips/proofs
Sep 16 07:04:01 Finished compiler/backend/mips/proofs                            49s   3GB
Sep 16 07:04:02 Starting compiler/backend/riscv/proofs
Sep 16 07:05:00 Finished compiler/backend/riscv/proofs                           57s   3GB
Sep 16 07:05:01 Starting compiler/backend/ag32/proofs
Sep 16 07:19:48 Finished compiler/backend/ag32/proofs                         14m45s   4GB
Sep 16 07:19:48 Starting compiler/backend/cv_compute
Sep 16 07:21:42 Finished compiler/backend/cv_compute                           1m52s   3GB
Sep 16 07:21:43 Starting cv_translator
Sep 16 07:41:44 Finished cv_translator                                        19m59s  13GB
Sep 16 07:41:45 Starting candle/set-theory
Sep 16 07:42:39 Finished candle/set-theory                                       53s   1GB
Sep 16 07:42:40 Starting candle/syntax-lib
Sep 16 07:42:42 Finished candle/syntax-lib                                        0s  72MB
Sep 16 07:42:43 Starting candle/standard/syntax
Sep 16 07:43:02 Finished candle/standard/syntax                                  18s   1GB
Sep 16 07:43:03 Starting candle/standard/semantics
Sep 16 07:45:50 Finished candle/standard/semantics                             2m46s   2GB
Sep 16 07:45:51 Starting candle/standard/monadic
Sep 16 07:45:53 Finished candle/standard/monadic                                  0s 100MB
Sep 16 07:45:54 Starting candle/standard/ml_kernel
Sep 16 07:48:01 Finished candle/standard/ml_kernel                             2m06s   5GB
Sep 16 07:48:02 Starting candle/overloading/syntax
Sep 16 07:51:39 Finished candle/overloading/syntax                             3m36s   2GB
Sep 16 07:51:40 Starting candle/overloading/semantics
Sep 16 08:03:31 Finished candle/overloading/semantics                         11m49s   7GB
Sep 16 08:03:32 Starting candle/overloading/monadic
Sep 16 08:06:17 Finished candle/overloading/monadic                            2m44s   2GB
Sep 16 08:06:18 Starting candle/overloading/ml_kernel
Sep 16 08:14:21 Finished candle/overloading/ml_kernel                          8m02s   7GB
Sep 16 08:14:22 Starting candle/overloading/ml_checker
Sep 16 08:17:09 Finished candle/overloading/ml_checker                         2m46s   7GB
Sep 16 08:17:10 Starting candle/prover
Sep 16 08:27:48 Finished candle/prover                                        10m36s   5GB
Sep 16 08:27:49 Starting pancake
Sep 16 08:28:14 Finished pancake                                                 24s 841MB
Sep 16 08:28:15 Starting pancake/ffi
Sep 16 08:28:16 Finished pancake/ffi                                              0s  22MB
Sep 16 08:28:17 Starting pancake/semantics
Sep 16 08:30:29 Finished pancake/semantics                                     2m11s   3GB
Sep 16 08:30:30 Starting pancake/parser
Sep 16 08:30:54 Finished pancake/parser                                          22s 602MB
Sep 16 08:30:55 Starting pancake/proofs
Sep 16 08:46:51 Finished pancake/proofs                                       15m55s   7GB
Sep 16 08:46:52 Starting characteristic/examples
Sep 16 08:48:22 Finished characteristic/examples                               1m28s   5GB
Sep 16 08:48:22 Starting tutorial/solutions
Sep 16 08:51:12 Finished tutorial/solutions                                    2m48s   5GB
Sep 16 08:51:13 Starting translator/monadic/examples
Sep 16 08:54:32 Finished translator/monadic/examples                           3m18s   4GB
Sep 16 08:54:33 Starting examples
Sep 16 09:06:53 Finished examples                                             12m18s   5GB
Sep 16 09:06:54 Starting examples/compilation/x64
Sep 16 09:16:51 Finished examples/compilation/x64                              9m56s   7GB
Sep 16 09:16:52 Starting examples/compilation/x64/proofs
Sep 16 09:21:53 Finished examples/compilation/x64/proofs                       4m59s   8GB
Sep 16 09:21:54 Starting examples/compilation/ag32
Sep 16 09:24:42 Finished examples/compilation/ag32                             2m47s   5GB
Sep 16 09:24:43 Starting examples/compilation/ag32/proofs
Sep 16 09:26:41 Finished examples/compilation/ag32/proofs                      1m57s   8GB
Sep 16 09:26:42 Starting examples/compilation/to_word
Sep 16 09:31:00 Finished examples/compilation/to_word                          4m16s  13GB
Sep 16 09:31:01 Starting examples/lpr_checker
Sep 16 09:31:40 Finished examples/lpr_checker                                    38s   1GB
Sep 16 09:31:41 Starting examples/lpr_checker/array
Sep 16 09:58:25 Finished examples/lpr_checker/array                           26m42s  29GB
Sep 16 09:58:26 Starting examples/lpr_checker/array/compilation
Sep 16 10:01:06 Finished examples/lpr_checker/array/compilation                2m39s  10GB
Sep 16 10:01:07 Starting examples/lpr_checker/array/compilation/proofs
Sep 16 10:03:09 Finished examples/lpr_checker/array/compilation/proofs         2m01s   9GB
Sep 16 10:03:10 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 16 10:05:13 Finished examples/lpr_checker/array/compilation/proofsARM8     2m02s   8GB
Sep 16 10:05:14 Starting examples/xlrup_checker
Sep 16 10:05:50 Finished examples/xlrup_checker                                  35s   1GB
Sep 16 10:05:51 Starting examples/xlrup_checker/array
Sep 16 10:19:18 Finished examples/xlrup_checker/array                         13m26s  11GB
Sep 16 10:19:19 Starting examples/xlrup_checker/array/compilation
Sep 16 10:20:50 Finished examples/xlrup_checker/array/compilation              1m30s   7GB
Sep 16 10:20:51 Starting examples/xlrup_checker/array/compilation/proofs
Sep 16 10:22:49 Finished examples/xlrup_checker/array/compilation/proofs       1m56s   6GB
Sep 16 10:22:50 Starting examples/pseudo_bool
Sep 16 10:24:18 Finished examples/pseudo_bool                                  1m27s   1GB
Sep 16 10:24:19 Starting examples/pseudo_bool/cnf_encoding
Sep 16 10:25:02 Finished examples/pseudo_bool/cnf_encoding                       41s   1GB
Sep 16 10:25:03 Starting examples/pseudo_bool/graph_encoding
Sep 16 10:25:59 Finished examples/pseudo_bool/graph_encoding                     55s   1GB
Sep 16 10:26:00 Starting examples/pseudo_bool/array
Sep 16 11:29:54 Finished examples/pseudo_bool/array                         1h03m52s  32GB
Sep 16 11:29:55 Starting examples/pseudo_bool/array/compilation
Sep 16 11:43:44 Finished examples/pseudo_bool/array/compilation               13m48s  31GB
Sep 16 11:43:45 Starting examples/pseudo_bool/array/compilation/proofs
Sep 16 11:48:09 Finished examples/pseudo_bool/array/compilation/proofs         4m22s  10GB
Sep 16 11:48:10 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 16 11:50:06 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m55s   8GB
Sep 16 11:50:07 Starting examples/opentheory
Sep 16 11:58:55 Finished examples/opentheory                                   8m47s   5GB
Sep 16 11:58:56 Starting examples/opentheory
Sep 16 11:58:58 Finished examples/opentheory                                      1s 133MB
Sep 16 11:58:59 Starting examples/opentheory/compilation
Sep 16 12:01:08 Finished examples/opentheory/compilation                       2m08s   9GB
Sep 16 12:01:09 Starting examples/opentheory/compilation/proofs
Sep 16 12:03:04 Finished examples/opentheory/compilation/proofs                1m53s   7GB
Sep 16 12:03:04 Starting examples/opentheory/compilation/ag32
Sep 16 12:05:17 Finished examples/opentheory/compilation/ag32                  2m11s   9GB
Sep 16 12:05:18 Starting examples/opentheory/compilation/ag32/proofs
Sep 16 12:07:52 Finished examples/opentheory/compilation/ag32/proofs           2m33s  13GB
Sep 16 12:07:53 Starting examples/sat_encodings
Sep 16 12:08:56 Finished examples/sat_encodings                                1m01s 933MB
Sep 16 12:08:57 Starting examples/sat_encodings/case_studies
Sep 16 12:11:11 Finished examples/sat_encodings/case_studies                   2m13s   2GB
Sep 16 12:11:12 Starting examples/sat_encodings/translation
Sep 16 12:14:57 Finished examples/sat_encodings/translation                    3m44s   6GB
Sep 16 12:14:58 Starting examples/sat_encodings/translation/compilation
Sep 16 12:17:31 Finished examples/sat_encodings/translation/compilation        2m32s   7GB
Sep 16 12:17:32 Starting examples/deflate
Sep 16 12:18:00 Finished examples/deflate                                        27s 765MB
Sep 16 12:18:01 Starting examples/deflate/translation
Sep 16 12:19:01 Finished examples/deflate/translation                            59s   2GB
Sep 16 12:19:02 Starting examples/deflate/translation/compilation
Sep 16 12:20:11 Finished examples/deflate/translation/compilation              1m08s   5GB
Sep 16 12:20:12 Starting examples/vipr
Sep 16 12:23:51 Finished examples/vipr                                         3m37s   4GB
Sep 16 12:23:52 Starting examples/vipr/compilation
Sep 16 12:25:11 Finished examples/vipr/compilation                             1m18s   6GB
Sep 16 12:25:12 Starting translator/okasaki-examples
Sep 16 12:29:38 Finished translator/okasaki-examples                           4m25s   3GB
Sep 16 12:29:39 Starting translator/other-examples
Sep 16 12:30:56 Finished translator/other-examples                             1m16s   3GB
Sep 16 12:30:57 Starting compiler/parsing/tests
Sep 16 12:31:37 Finished compiler/parsing/tests                                  38s   2GB
Sep 16 12:31:38 Starting compiler/inference/tests
Sep 16 12:32:25 Finished compiler/inference/tests                                46s   3GB
Sep 16 12:32:26 Starting compiler/printing/test
Sep 16 12:34:06 Finished compiler/printing/test                                1m39s   6GB
Sep 16 12:34:07 Starting icing/flover
Sep 16 13:11:09 Finished icing/flover                                         37m01s   4GB
Sep 16 13:11:10 Starting icing/
Sep 16 13:39:03 Finished icing/                                               27m51s   9GB
Sep 16 13:39:04 Starting icing/examples
Sep 16 13:41:01 Finished icing/examples                                        1m56s   9GB
Sep 16 13:41:02 Starting compiler/repl
Sep 16 13:50:19 Finished compiler/repl                                         9m15s  10GB
Sep 16 13:50:20 Starting unverified/sexpr-bootstrap/x64/64
Sep 16 14:04:27 Finished unverified/sexpr-bootstrap/x64/64                    13m40s  18GB
Sep 16 14:04:28 Starting unverified/sexpr-bootstrap/x64/32
Sep 16 14:16:00 Finished unverified/sexpr-bootstrap/x64/32                    11m11s  13GB
Sep 16 14:16:01 Starting compiler/benchmarks
Sep 16 14:16:46 Finished compiler/benchmarks                                     44s 712MB
Sep 16 14:16:47 Starting compiler/bootstrap/compilation/x64/64
Sep 16 15:03:50 Finished compiler/bootstrap/compilation/x64/64                46m49s 124GB
Sep 16 15:03:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 16 15:29:18 Finished compiler/bootstrap/compilation/x64/64/proofs         25m25s  53GB
Sep 16 15:29:19 Starting compiler/bootstrap/compilation/x64/32
Sep 16 16:12:05 Finished compiler/bootstrap/compilation/x64/32                42m37s 104GB
Sep 16 16:12:06 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 16 16:17:02 Finished compiler/bootstrap/compilation/x64/32/proofs          4m55s  25GB
Sep 16 16:17:03 Starting compiler/bootstrap/compilation/arm8/64
Sep 16 17:17:17 Finished compiler/bootstrap/compilation/arm8/64             1h00m05s 124GB
Sep 16 17:17:18 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 16 17:23:10 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m51s  30GB
Sep 16 17:23:11 Starting compiler/bootstrap/compilation/ag32/32
Sep 16 18:04:57 Finished compiler/bootstrap/compilation/ag32/32               41m44s  99GB
Sep 16 18:04:58 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 16 18:11:16 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m17s  31GB
Sep 16 18:11:17 SUCCESS