Job 2076

CakeML:64cd17eb616d68a37179855402bb3ff8806d661b
  Fix/avoid some breakage [Dec 17 21:46:43]
HOL:2b0247f47c7135a9e986b828fb5e4a7163696c6a
  gfg: add wf-ness constraint that all edge info is consistent [Dec 13 01:08:13]
Machine:oven3
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Dec 17 22:04:31 Claimed job
Dec 17 22:04:40 Building HOL
Dec 17 22:28:10 Starting developers
Dec 17 22:28:19 Finished developers                                               8s 104MB
Dec 17 22:28:19 Starting developers/bin
Dec 17 22:28:32 Finished developers/bin                                          12s   1GB
Dec 17 22:28:32 Starting compiler/proofs
Dec 18 01:57:59 Finished compiler/proofs                                    3h29m26s  22GB
Dec 18 01:57:59 Starting compiler/bootstrap/translation
Dec 18 12:32:30 Finished compiler/bootstrap/translation                    10h34m31s  43GB
Dec 18 12:32:31 Starting semantics/ffi
Dec 18 12:32:38 Finished semantics/ffi                                            7s 240MB
Dec 18 12:32:38 Starting semantics
Dec 18 12:32:41 Finished semantics                                                2s  35MB
Dec 18 12:32:41 Starting semantics/proofs
Dec 18 12:33:51 Finished semantics/proofs                                      1m10s 604MB
Dec 18 12:33:52 Starting semantics/alt_semantics
Dec 18 12:34:49 Finished semantics/alt_semantics                                 57s 535MB
Dec 18 12:34:50 Starting semantics/alt_semantics/proofs
Dec 18 13:00:45 Finished semantics/alt_semantics/proofs                       25m55s   1GB
Dec 18 13:00:45 Starting basis/pure
Dec 18 13:00:48 Finished basis/pure                                               2s  33MB
Dec 18 13:00:48 Starting translator
Dec 18 13:04:30 Finished translator                                            3m42s   1GB
Dec 18 13:04:30 Starting compiler/parsing
Dec 18 13:04:33 Finished compiler/parsing                                         2s  28MB
Dec 18 13:04:33 Starting characteristic
Dec 18 13:04:36 Finished characteristic                                           3s  26MB
Dec 18 13:04:37 Starting translator/monadic
Dec 18 13:04:40 Finished translator/monadic                                       2s  33MB
Dec 18 13:04:40 Starting basis
Dec 18 13:12:34 Finished basis                                                 7m53s   3GB
Dec 18 13:12:34 Starting compiler/inference
Dec 18 13:12:37 Finished compiler/inference                                       2s  17MB
Dec 18 13:12:37 Starting compiler/backend/reg_alloc
Dec 18 13:12:39 Finished compiler/backend/reg_alloc                               2s  32MB
Dec 18 13:12:40 Starting compiler/backend/gc
Dec 18 13:12:44 Finished compiler/backend/gc                                      3s  23MB
Dec 18 13:12:44 Starting compiler/backend
Dec 18 13:13:09 Finished compiler/backend                                        25s 586MB
Dec 18 13:13:10 Starting compiler/encoders/asm
Dec 18 13:13:13 Finished compiler/encoders/asm                                    2s  26MB
Dec 18 13:13:13 Starting compiler/encoders/x64
Dec 18 13:13:16 Finished compiler/encoders/x64                                    2s  22MB
Dec 18 13:13:16 Starting compiler/encoders/arm7
Dec 18 13:13:19 Finished compiler/encoders/arm7                                   2s  34MB
Dec 18 13:13:19 Starting compiler/encoders/arm8
Dec 18 13:13:22 Finished compiler/encoders/arm8                                   2s  28MB
Dec 18 13:13:22 Starting compiler/encoders/arm8_asl
Dec 18 17:32:48 Finished compiler/encoders/arm8_asl                         4h19m26s  32GB
Dec 18 17:32:49 Starting compiler/encoders/mips
Dec 18 17:32:52 Finished compiler/encoders/mips                                   2s  26MB
Dec 18 17:32:52 Starting compiler/encoders/riscv
Dec 18 17:32:55 Finished compiler/encoders/riscv                                  2s  31MB
Dec 18 17:32:55 Starting compiler/encoders/ag32
Dec 18 17:32:58 Finished compiler/encoders/ag32                                   2s  26MB
Dec 18 17:32:58 Starting compiler/backend/x64
Dec 18 17:33:02 Finished compiler/backend/x64                                     3s  46MB
Dec 18 17:33:02 Starting compiler/backend/arm7
Dec 18 17:33:06 Finished compiler/backend/arm7                                    3s  33MB
Dec 18 17:33:06 Starting compiler/backend/arm8
Dec 18 17:33:10 Finished compiler/backend/arm8                                    3s  31MB
Dec 18 17:33:10 Starting compiler/backend/mips
Dec 18 17:33:14 Finished compiler/backend/mips                                    3s  31MB
Dec 18 17:33:14 Starting compiler/backend/riscv
Dec 18 17:33:17 Finished compiler/backend/riscv                                   3s  33MB
Dec 18 17:33:17 Starting compiler/backend/ag32
Dec 18 17:36:12 Finished compiler/backend/ag32                                 2m54s   1GB
Dec 18 17:36:12 Starting compiler/parsing/proofs
Dec 18 17:36:15 Finished compiler/parsing/proofs                                  2s  25MB
Dec 18 17:36:15 Starting compiler/inference/proofs
Dec 18 17:36:18 Finished compiler/inference/proofs                                2s  32MB
Dec 18 17:36:18 Starting compiler/backend/semantics
Dec 18 17:38:40 Finished compiler/backend/semantics                            2m20s   1GB
Dec 18 17:38:40 Starting compiler/backend/reg_alloc/proofs
Dec 18 17:38:43 Finished compiler/backend/reg_alloc/proofs                        3s  33MB
Dec 18 17:38:44 Starting compiler/backend/proofs
Dec 18 17:40:36 Finished compiler/backend/proofs                               1m52s   2GB
Dec 18 17:40:37 Starting compiler/backend/serialiser
Dec 18 17:40:42 Finished compiler/backend/serialiser                              5s  49MB
Dec 18 17:40:43 Starting compiler/encoders/x64/proofs
Dec 18 18:02:57 Finished compiler/encoders/x64/proofs                         22m13s   4GB
Dec 18 18:02:57 Starting compiler/encoders/arm7/proofs
Dec 18 18:33:21 Finished compiler/encoders/arm7/proofs                        30m23s   3GB
Dec 18 18:33:21 Starting compiler/encoders/arm8/proofs
Dec 18 18:49:05 Finished compiler/encoders/arm8/proofs                        15m43s   1GB
Dec 18 18:49:05 Starting compiler/encoders/arm8_asl/proofs
Dec 18 20:45:26 Finished compiler/encoders/arm8_asl/proofs                  1h56m20s   6GB
Dec 18 20:45:26 Starting compiler/encoders/mips/proofs
Dec 18 21:09:17 Finished compiler/encoders/mips/proofs                        23m50s   2GB
Dec 18 21:09:17 Starting compiler/encoders/riscv/proofs
Dec 18 21:29:49 Finished compiler/encoders/riscv/proofs                       20m32s   1GB
Dec 18 21:29:50 Starting compiler/encoders/ag32/proofs
Dec 18 21:35:55 Finished compiler/encoders/ag32/proofs                         6m04s 876MB
Dec 18 21:35:55 Starting compiler/backend/x64/proofs
Dec 18 21:36:48 Finished compiler/backend/x64/proofs                             53s   1GB
Dec 18 21:36:48 Starting compiler/backend/arm7/proofs
Dec 18 21:37:46 Finished compiler/backend/arm7/proofs                            57s   1GB
Dec 18 21:37:47 Starting compiler/backend/arm8/proofs
Dec 18 21:38:44 Finished compiler/backend/arm8/proofs                            56s   1GB
Dec 18 21:38:44 Starting compiler/backend/arm8_asl
Dec 18 21:39:31 Finished compiler/backend/arm8_asl                               46s   1GB
Dec 18 21:39:31 Starting compiler/backend/mips/proofs
Dec 18 21:40:22 Finished compiler/backend/mips/proofs                            50s   1GB
Dec 18 21:40:22 Starting compiler/backend/riscv/proofs
Dec 18 21:41:17 Finished compiler/backend/riscv/proofs                           54s   1GB
Dec 18 21:41:18 Starting compiler/backend/ag32/proofs
Dec 18 22:10:57 Finished compiler/backend/ag32/proofs                         29m38s   2GB
Dec 18 22:10:57 Starting candle/set-theory
Dec 18 22:12:08 Finished candle/set-theory                                     1m10s 915MB
Dec 18 22:12:08 Starting candle/syntax-lib
Dec 18 22:12:11 Finished candle/syntax-lib                                        2s  32MB
Dec 18 22:12:11 Starting candle/standard/syntax
Dec 18 22:12:31 Finished candle/standard/syntax                                  20s 424MB
Dec 18 22:12:32 Starting candle/standard/semantics
Dec 18 22:16:17 Finished candle/standard/semantics                             3m45s   1GB
Dec 18 22:16:17 Starting candle/standard/monadic
Dec 18 22:16:20 Finished candle/standard/monadic                                  3s  33MB
Dec 18 22:16:21 Starting candle/standard/ml_kernel
Dec 18 22:19:33 Finished candle/standard/ml_kernel                             3m11s   2GB
Dec 18 22:19:33 Starting candle/overloading/syntax
Dec 18 22:26:41 Finished candle/overloading/syntax                             7m07s   1GB
Dec 18 22:26:41 Starting candle/overloading/semantics
Dec 18 22:53:41 Finished candle/overloading/semantics                         26m59s   2GB
Dec 18 22:53:41 Starting candle/overloading/monadic
Dec 18 22:59:16 Finished candle/overloading/monadic                            5m34s   1GB
Dec 18 22:59:17 Starting candle/overloading/ml_kernel
Dec 18 23:14:39 Finished candle/overloading/ml_kernel                         15m21s   3GB
Dec 18 23:14:39 Starting candle/overloading/ml_checker
Dec 18 23:20:00 Finished candle/overloading/ml_checker                         5m20s   2GB
Dec 18 23:20:00 Starting candle/prover
Dec 18 23:42:24 Finished candle/prover                                        22m23s   3GB
Dec 18 23:42:24 Starting pancake
Dec 18 23:48:45 Finished pancake                                               6m20s   4GB
Dec 18 23:48:45 Starting pancake/ffi
Dec 18 23:48:45 Finished pancake/ffi                                              0s  11MB
Dec 18 23:48:46 Starting pancake/semantics
Dec 18 23:54:01 Finished pancake/semantics                                     5m14s   1GB
Dec 18 23:54:01 Starting pancake/proofs
Dec 19 00:00:09 Finished pancake/proofs                                        6m07s   2GB
Dec 19 00:00:09 Starting characteristic/examples
Dec 19 00:03:11 Finished characteristic/examples                               3m02s   2GB
Dec 19 00:03:11 Starting tutorial/solutions
Dec 19 00:35:20 Finished tutorial/solutions                                   32m08s   9GB
Dec 19 00:35:20 Starting translator/monadic/examples
Dec 19 00:42:04 Finished translator/monadic/examples                           6m44s   2GB
Dec 19 00:42:05 Starting examples
Dec 19 01:01:40 Finished examples                                             19m34s   3GB
Dec 19 01:01:40 Starting examples/compilation/x64
Dec 19 05:20:08 Finished examples/compilation/x64                           4h18m27s  18GB
Dec 19 05:20:08 Starting examples/compilation/x64/proofs
Dec 19 05:23:48 Finished examples/compilation/x64/proofs                       3m39s   3GB
Dec 19 05:23:49 Starting examples/compilation/ag32
Dec 19 06:29:56 Finished examples/compilation/ag32                          1h06m06s   8GB
Dec 19 06:29:56 Starting examples/compilation/ag32/proofs
Dec 19 06:31:37 Finished examples/compilation/ag32/proofs                      1m40s   2GB
Dec 19 06:31:37 Starting examples/compilation/to_word
Dec 19 06:38:22 Finished examples/compilation/to_word                          6m44s   5GB
Dec 19 06:38:22 Starting examples/lpr_checker
Dec 19 06:40:20 Finished examples/lpr_checker                                  1m58s 918MB
Dec 19 06:40:21 Starting examples/lpr_checker/array
Dec 19 07:59:46 Finished examples/lpr_checker/array                         1h19m25s   5GB
Dec 19 07:59:46 Starting examples/lpr_checker/array/compilation
Dec 19 09:18:29 Finished examples/lpr_checker/array/compilation             1h18m42s  37GB
Dec 19 09:18:30 Starting examples/lpr_checker/array/compilation/proofs
Dec 19 09:21:15 Finished examples/lpr_checker/array/compilation/proofs         2m44s   5GB
Dec 19 09:21:15 Starting examples/opentheory
Dec 19 09:44:07 Finished examples/opentheory                                  22m51s   3GB
Dec 19 09:44:07 Starting examples/opentheory
Dec 19 09:44:10 Finished examples/opentheory                                      2s  34MB
Dec 19 09:44:11 Starting examples/opentheory/compilation
Dec 19 11:07:59 Finished examples/opentheory/compilation                    1h23m48s  40GB
Dec 19 11:07:59 Starting examples/opentheory/compilation/proofs
Dec 19 11:09:41 Finished examples/opentheory/compilation/proofs                1m41s   4GB
Dec 19 11:09:41 Starting examples/opentheory/compilation/ag32
Dec 19 12:25:19 Finished examples/opentheory/compilation/ag32               1h15m37s  40GB
Dec 19 12:25:19 Starting examples/opentheory/compilation/ag32/proofs
Dec 19 12:28:53 Finished examples/opentheory/compilation/ag32/proofs           3m34s   5GB
Dec 19 12:28:54 Starting examples/sat_encodings
Dec 19 12:32:44 Finished examples/sat_encodings                                3m50s 980MB
Dec 19 12:32:44 Starting examples/sat_encodings/case_studies
Dec 19 12:36:10 Finished examples/sat_encodings/case_studies                   3m25s 976MB
Dec 19 12:36:10 Starting examples/sat_encodings/translation
Dec 19 12:47:59 Finished examples/sat_encodings/translation                   11m49s   4GB
Dec 19 12:48:00 Starting examples/sat_encodings/translation/compilation
Dec 19 14:07:25 Finished examples/sat_encodings/translation/compilation     1h19m25s  21GB
Dec 19 14:07:25 Starting examples/deflate
Dec 19 14:09:11 Finished examples/deflate                                      1m45s   1GB
Dec 19 14:09:11 Starting examples/deflate/translation
Dec 19 14:12:14 Finished examples/deflate/translation                          3m03s   3GB
Dec 19 14:12:15 Starting examples/deflate/translation/compilation
Dec 19 14:49:05 Finished examples/deflate/translation/compilation             36m50s  15GB
Dec 19 14:49:05 Starting translator/okasaki-examples
Dec 19 14:59:10 Finished translator/okasaki-examples                          10m03s   1GB
Dec 19 14:59:10 Starting translator/other-examples
Dec 19 15:03:45 Finished translator/other-examples                             4m35s   1GB
Dec 19 15:03:45 Starting compiler/parsing/tests
Dec 19 15:04:54 Finished compiler/parsing/tests                                1m08s 583MB
Dec 19 15:04:54 Starting compiler/inference/tests
Dec 19 15:21:42 Finished compiler/inference/tests                             16m47s   3GB
Dec 19 15:21:42 Starting compiler/printing/test
Dec 19 15:28:52 Finished compiler/printing/test                                7m09s   3GB
Dec 19 15:28:53 Starting icing/flover
Dec 19 17:01:06 Finished icing/flover                                       1h32m13s   1GB
Dec 19 17:01:06 Starting icing/
Dec 19 19:17:56 Finished icing/                                             2h16m49s   7GB
Dec 19 19:17:56 Starting icing/examples
Dec 19 19:21:23 Finished icing/examples                                        3m26s   5GB
Dec 19 19:21:24 Starting compiler/repl
Dec 19 19:39:29 Finished compiler/repl                                        18m05s   5GB
Dec 19 19:39:30 Starting unverified/sexpr-bootstrap/x64/64
Dec 19 20:02:40 Finished unverified/sexpr-bootstrap/x64/64                    23m09s  14GB
Dec 19 20:02:40 Starting unverified/sexpr-bootstrap/x64/32
Dec 19 20:21:19 Finished unverified/sexpr-bootstrap/x64/32                    18m37s  10GB
Dec 19 20:21:19 Starting compiler/benchmarks
Dec 19 20:21:26 Finished compiler/benchmarks                                      6s  41MB
Dec 19 20:21:26 Starting compiler/bootstrap/compilation/x64/64
Dec 20 21:44:51 Finished compiler/bootstrap/compilation/x64/64             25h23m24s 107GB
Dec 20 21:44:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 20 22:35:19 Finished compiler/bootstrap/compilation/x64/64/proofs         50m26s  23GB
Dec 20 22:35:19 Starting compiler/bootstrap/compilation/x64/32
Dec 21 11:52:39 Finished compiler/bootstrap/compilation/x64/32             13h17m19s  90GB
Dec 21 11:52:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 21 11:58:09 Finished compiler/bootstrap/compilation/x64/32/proofs          5m28s  15GB
Dec 21 11:58:09 Starting compiler/bootstrap/compilation/ag32/32
Dec 22 02:23:20 Finished compiler/bootstrap/compilation/ag32/32            14h25m10s  99GB
Dec 22 02:23:21 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 22 02:39:27 Finished compiler/bootstrap/compilation/ag32/32/proofs        16m05s  16GB
Dec 22 02:39:27 SUCCESS