Job 1203

CakeML:c42539bd7447e5469c5648b185e15ce5259957f8
  Merge pull request #731 from CakeML/source_assert [Mar 06 07:23:32]
HOL:9eb85f2893da888359e9bff54ed3bca6467523d1
  Make |- (-x = 0) <=> (x = 0) an automatic rewrite (x:real) [Mar 05 01:35:06]
Machine:oven3 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 07 08:56:46 Claimed job
Mar 07 08:56:57 Building HOL
Mar 07 09:22:11 Starting developers
Mar 07 09:22:19 Finished developers                                               7s 136MB
Mar 07 09:22:19 Starting developers/bin
Mar 07 09:22:36 Finished developers/bin                                          16s   1GB
Mar 07 09:22:36 Starting semantics/ffi
Mar 07 09:22:59 Finished semantics/ffi                                           23s 244MB
Mar 07 09:22:59 Starting semantics
Mar 07 09:25:58 Finished semantics                                             2m58s 881MB
Mar 07 09:25:59 Starting semantics/proofs
Mar 07 09:33:00 Finished semantics/proofs                                      7m01s   1GB
Mar 07 09:33:00 Starting semantics/alt_semantics
Mar 07 09:33:19 Finished semantics/alt_semantics                                 18s 320MB
Mar 07 09:33:19 Starting semantics/alt_semantics/proofs
Mar 07 09:37:36 Finished semantics/alt_semantics/proofs                        4m16s   1GB
Mar 07 09:37:36 Starting basis/pure
Mar 07 09:43:35 Finished basis/pure                                            5m58s 906MB
Mar 07 09:43:35 Starting translator
Mar 07 09:48:53 Finished translator                                            5m17s   1GB
Mar 07 09:48:53 Starting compiler/parsing
Mar 07 09:51:14 Finished compiler/parsing                                      2m20s   2GB
Mar 07 09:51:14 Starting characteristic
Mar 07 10:03:37 Finished characteristic                                       12m22s   1GB
Mar 07 10:03:37 Starting translator/monadic
Mar 07 10:06:57 Finished translator/monadic                                    3m19s   1GB
Mar 07 10:06:57 Starting basis
Mar 07 11:12:43 Finished basis                                              1h05m45s  20GB
Mar 07 11:12:43 Starting compiler/inference
Mar 07 11:15:12 Finished compiler/inference                                    2m29s   1GB
Mar 07 11:15:13 Starting compiler/backend/reg_alloc
Mar 07 11:17:11 Finished compiler/backend/reg_alloc                            1m58s   1GB
Mar 07 11:17:12 Starting compiler/backend/gc
Mar 07 11:23:31 Finished compiler/backend/gc                                   6m19s   2GB
Mar 07 11:23:31 Starting compiler/backend
Mar 07 11:31:59 Finished compiler/backend                                      8m27s   3GB
Mar 07 11:31:59 Starting compiler/encoders/asm
Mar 07 11:32:47 Finished compiler/encoders/asm                                   48s 807MB
Mar 07 11:32:48 Starting compiler/encoders/x64
Mar 07 11:34:54 Finished compiler/encoders/x64                                 2m06s 998MB
Mar 07 11:34:54 Starting compiler/encoders/arm7
Mar 07 11:38:40 Finished compiler/encoders/arm7                                3m45s   1GB
Mar 07 11:38:41 Starting compiler/encoders/arm8
Mar 07 11:39:51 Finished compiler/encoders/arm8                                1m09s 668MB
Mar 07 11:39:51 Starting compiler/encoders/mips
Mar 07 11:42:22 Finished compiler/encoders/mips                                2m30s 972MB
Mar 07 11:42:22 Starting compiler/encoders/riscv
Mar 07 11:45:20 Finished compiler/encoders/riscv                               2m58s   1GB
Mar 07 11:45:20 Starting compiler/encoders/ag32
Mar 07 11:45:57 Finished compiler/encoders/ag32                                  36s 847MB
Mar 07 11:45:57 Starting compiler/backend/x64
Mar 07 11:46:36 Finished compiler/backend/x64                                    38s   1GB
Mar 07 11:46:36 Starting compiler/backend/arm7
Mar 07 11:47:17 Finished compiler/backend/arm7                                   40s   1GB
Mar 07 11:47:17 Starting compiler/backend/arm8
Mar 07 11:47:58 Finished compiler/backend/arm8                                   40s   1GB
Mar 07 11:47:59 Starting compiler/backend/mips
Mar 07 11:48:38 Finished compiler/backend/mips                                   39s   1GB
Mar 07 11:48:39 Starting compiler/backend/riscv
Mar 07 11:49:20 Finished compiler/backend/riscv                                  41s   1GB
Mar 07 11:49:21 Starting compiler/backend/ag32
Mar 07 11:51:38 Finished compiler/backend/ag32                                 2m17s   1GB
Mar 07 11:51:39 Starting compiler/parsing/proofs
Mar 07 12:03:45 Finished compiler/parsing/proofs                              12m06s 845MB
Mar 07 12:03:45 Starting compiler/inference/proofs
Mar 07 12:09:06 Finished compiler/inference/proofs                             5m20s 932MB
Mar 07 12:09:06 Starting compiler/backend/semantics
Mar 07 13:05:43 Finished compiler/backend/semantics                           56m36s   1GB
Mar 07 13:05:43 Starting compiler/backend/reg_alloc/proofs
Mar 07 13:13:00 Finished compiler/backend/reg_alloc/proofs                     7m16s 985MB
Mar 07 13:13:00 Starting compiler/backend/proofs
Mar 07 15:11:16 Finished compiler/backend/proofs                            1h58m15s  22GB
Mar 07 15:11:16 Starting compiler/encoders/x64/proofs
Mar 07 15:31:11 Finished compiler/encoders/x64/proofs                         19m54s   5GB
Mar 07 15:31:11 Starting compiler/encoders/arm7/proofs
Mar 07 15:58:32 Finished compiler/encoders/arm7/proofs                        27m20s   3GB
Mar 07 15:58:32 Starting compiler/encoders/arm8/proofs
Mar 07 16:12:47 Finished compiler/encoders/arm8/proofs                        14m15s   1GB
Mar 07 16:12:48 Starting compiler/encoders/mips/proofs
Mar 07 16:34:05 Finished compiler/encoders/mips/proofs                        21m17s   2GB
Mar 07 16:34:05 Starting compiler/encoders/riscv/proofs
Mar 07 16:53:11 Finished compiler/encoders/riscv/proofs                       19m05s 963MB
Mar 07 16:53:11 Starting compiler/encoders/ag32/proofs
Mar 07 16:58:38 Finished compiler/encoders/ag32/proofs                         5m25s 801MB
Mar 07 16:58:38 Starting compiler/backend/x64/proofs
Mar 07 16:59:24 Finished compiler/backend/x64/proofs                             45s 817MB
Mar 07 16:59:24 Starting compiler/backend/arm7/proofs
Mar 07 17:00:10 Finished compiler/backend/arm7/proofs                            45s   1GB
Mar 07 17:00:10 Starting compiler/backend/arm8/proofs
Mar 07 17:00:59 Finished compiler/backend/arm8/proofs                            49s 803MB
Mar 07 17:01:00 Starting compiler/backend/mips/proofs
Mar 07 17:01:45 Finished compiler/backend/mips/proofs                            44s   1GB
Mar 07 17:01:45 Starting compiler/backend/riscv/proofs
Mar 07 17:02:28 Finished compiler/backend/riscv/proofs                           42s   1GB
Mar 07 17:02:28 Starting compiler/backend/ag32/proofs
Mar 07 17:29:13 Finished compiler/backend/ag32/proofs                         26m44s   2GB
Mar 07 17:29:13 Starting compiler/proofs
Mar 07 17:32:56 Finished compiler/proofs                                       3m42s   3GB
Mar 07 17:32:56 Starting candle/set-theory
Mar 07 17:33:53 Finished candle/set-theory                                       56s 734MB
Mar 07 17:33:53 Starting candle/syntax-lib
Mar 07 17:34:14 Finished candle/syntax-lib                                       21s 494MB
Mar 07 17:34:14 Starting candle/standard/syntax
Mar 07 17:38:03 Finished candle/standard/syntax                                3m48s 977MB
Mar 07 17:38:03 Starting candle/standard/semantics
Mar 07 17:41:41 Finished candle/standard/semantics                             3m37s   1GB
Mar 07 17:41:42 Starting candle/standard/monadic
Mar 07 17:45:10 Finished candle/standard/monadic                               3m28s   1GB
Mar 07 17:45:10 Starting candle/standard/ml_kernel
Mar 07 17:56:01 Finished candle/standard/ml_kernel                            10m50s   3GB
Mar 07 17:56:01 Starting candle/standard/opentheory
Mar 07 18:15:29 Finished candle/standard/opentheory                           19m28s   5GB
Mar 07 18:15:29 Starting candle/standard/opentheory/compilation
Mar 07 19:19:30 Finished candle/standard/opentheory/compilation             1h03m59s  16GB
Mar 07 19:19:30 Starting candle/standard/opentheory/compilation/proofs
Mar 07 19:20:48 Finished candle/standard/opentheory/compilation/proofs         1m18s   3GB
Mar 07 19:20:49 Starting candle/overloading/syntax
Mar 07 19:27:05 Finished candle/overloading/syntax                             6m15s   1GB
Mar 07 19:27:05 Starting candle/overloading/semantics
Mar 07 19:41:54 Finished candle/overloading/semantics                         14m48s   3GB
Mar 07 19:41:54 Starting characteristic/examples
Mar 07 19:44:25 Finished characteristic/examples                               2m30s   2GB
Mar 07 19:44:25 Starting tutorial/solutions
Mar 07 20:15:45 Finished tutorial/solutions                                   31m19s   6GB
Mar 07 20:15:46 Starting translator/monadic/examples
Mar 07 20:20:49 Finished translator/monadic/examples                           5m03s   2GB
Mar 07 20:20:49 Starting examples
Mar 07 20:35:16 Finished examples                                             14m26s   3GB
Mar 07 20:35:16 Starting examples/compilation/x64
Mar 08 01:22:51 Finished examples/compilation/x64                           4h47m34s  24GB
Mar 08 01:22:51 Starting examples/compilation/x64/proofs
Mar 08 01:25:54 Finished examples/compilation/x64/proofs                       3m03s   2GB
Mar 08 01:25:54 Starting examples/compilation/ag32
Mar 08 02:32:22 Finished examples/compilation/ag32                          1h06m27s   6GB
Mar 08 02:32:22 Starting examples/compilation/ag32/proofs
Mar 08 02:33:44 Finished examples/compilation/ag32/proofs                      1m21s   2GB
Mar 08 02:33:45 Starting examples/cost
Mar 08 03:59:26 Finished examples/cost                                      1h25m40s   6GB
Mar 08 03:59:26 Starting examples/lpr_checker
Mar 08 04:07:07 Finished examples/lpr_checker                                  7m40s   3GB
Mar 08 04:07:07 Starting examples/lpr_checker/compilation
Mar 08 04:39:21 Finished examples/lpr_checker/compilation                     32m13s   8GB
Mar 08 04:39:21 Starting examples/lpr_checker/compilation/proofs
Mar 08 04:40:35 Finished examples/lpr_checker/compilation/proofs               1m13s   2GB
Mar 08 04:40:36 Starting examples/lpr_checker/array
Mar 08 04:57:27 Finished examples/lpr_checker/array                           16m51s   4GB
Mar 08 04:57:27 Starting examples/lpr_checker/array/compilation
Mar 08 05:30:07 Finished examples/lpr_checker/array/compilation               32m39s   7GB
Mar 08 05:30:08 Starting examples/lpr_checker/array/compilation/proofs
Mar 08 05:31:37 Finished examples/lpr_checker/array/compilation/proofs         1m29s   3GB
Mar 08 05:31:37 Starting translator/okasaki-examples
Mar 08 05:40:07 Finished translator/okasaki-examples                           8m29s   1GB
Mar 08 05:40:07 Starting translator/other-examples
Mar 08 05:43:41 Finished translator/other-examples                             3m32s   1GB
Mar 08 05:43:41 Starting compiler/parsing/tests
Mar 08 05:44:40 Finished compiler/parsing/tests                                  59s 640MB
Mar 08 05:44:40 Starting compiler/inference/tests
Mar 08 05:53:21 Finished compiler/inference/tests                              8m40s   3GB
Mar 08 05:53:21 Starting compiler/bootstrap/translation
Mar 08 11:16:09 Finished compiler/bootstrap/translation                     5h22m47s  58GB
Mar 08 11:16:09 Starting unverified/sexpr-bootstrap/x64/64
Mar 08 11:42:43 Finished unverified/sexpr-bootstrap/x64/64                    26m33s   9GB
Mar 08 11:42:44 Starting unverified/sexpr-bootstrap/x64/32
Mar 08 12:02:54 Finished unverified/sexpr-bootstrap/x64/32                    20m10s   7GB
Mar 08 12:02:55 Starting compiler/benchmarks
Mar 08 12:02:58 Finished compiler/benchmarks                                      3s  32MB
Mar 08 12:02:59 Starting compiler/bootstrap/compilation/x64/64
Mar 09 17:13:43 Finished compiler/bootstrap/compilation/x64/64             29h10m43s 113GB
Mar 09 17:13:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 09 17:18:19 Finished compiler/bootstrap/compilation/x64/64/proofs          4m35s  16GB
Mar 09 17:18:19 Starting compiler/bootstrap/compilation/x64/32
Mar 10 17:19:16 Finished compiler/bootstrap/compilation/x64/32             24h00m54s  78GB
Mar 10 17:19:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 10 17:23:27 Finished compiler/bootstrap/compilation/x64/32/proofs          4m10s  14GB
Mar 10 17:23:27 Starting compiler/bootstrap/compilation/ag32/32
Mar 12 02:55:09 Finished compiler/bootstrap/compilation/ag32/32            33h31m40s 114GB
Mar 12 02:55:09 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 12 03:27:15 Finished compiler/bootstrap/compilation/ag32/32/proofs        32m05s  23GB
Mar 12 03:27:15 SUCCESS