Job 762

CakeML:73308edaef80913e6823e18886def7bf8f31d4b8
  Merge pull request #621 from michaelsproul/unverified-sexpr-fix [Mar 22 06:55:37]
HOL:b6750c75a1260f3eba15073dfb32b9daf8da4efa
  Make definitions use a different equality symbol [Mar 21 23:28:51]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 26 12:17:58 Claimed job
Mar 26 12:18:02 Building HOL
Mar 26 12:27:20 Starting developers
Mar 26 12:27:22 Finished developers                                               2s  20MB
Mar 26 12:27:22 Starting developers/bin
Mar 26 12:28:39 Finished developers/bin                                        1m16s 918MB
Mar 26 12:28:39 Starting semantics/ffi
Mar 26 12:29:17 Finished semantics/ffi                                           38s 340MB
Mar 26 12:29:17 Starting semantics
Mar 26 12:30:54 Finished semantics                                             1m36s   1GB
Mar 26 12:30:54 Starting semantics/proofs
Mar 26 12:33:51 Finished semantics/proofs                                      2m56s   1GB
Mar 26 12:33:51 Starting basis/pure
Mar 26 12:37:21 Finished basis/pure                                            3m29s 689MB
Mar 26 12:37:21 Starting translator
Mar 26 12:39:00 Finished translator                                            1m39s   1GB
Mar 26 12:39:01 Starting compiler/parsing
Mar 26 12:39:58 Finished compiler/parsing                                        57s   2GB
Mar 26 12:39:58 Starting characteristic
Mar 26 12:44:17 Finished characteristic                                        4m18s   1GB
Mar 26 12:44:17 Starting translator/monadic
Mar 26 12:45:46 Finished translator/monadic                                    1m28s   1GB
Mar 26 12:45:46 Starting basis
Mar 26 13:01:51 Finished basis                                                16m04s   2GB
Mar 26 13:01:51 Starting compiler/inference
Mar 26 13:03:42 Finished compiler/inference                                    1m50s   1GB
Mar 26 13:03:42 Starting compiler/backend/reg_alloc
Mar 26 13:04:35 Finished compiler/backend/reg_alloc                              52s   1GB
Mar 26 13:04:36 Starting compiler/backend/gc
Mar 26 13:13:34 Finished compiler/backend/gc                                   8m58s   1GB
Mar 26 13:13:35 Starting compiler/backend
Mar 26 13:13:37 Finished compiler/backend                                         2s  22MB
Mar 26 13:13:37 Starting compiler/encoders/asm
Mar 26 13:13:39 Finished compiler/encoders/asm                                    1s  16MB
Mar 26 13:13:39 Starting compiler/encoders/x64
Mar 26 13:14:39 Finished compiler/encoders/x64                                 1m00s 861MB
Mar 26 13:14:40 Starting compiler/encoders/arm6
Mar 26 13:16:16 Finished compiler/encoders/arm6                                1m35s   1GB
Mar 26 13:16:16 Starting compiler/encoders/arm8
Mar 26 13:16:48 Finished compiler/encoders/arm8                                  31s 625MB
Mar 26 13:16:48 Starting compiler/encoders/mips
Mar 26 13:17:54 Finished compiler/encoders/mips                                1m05s   1GB
Mar 26 13:17:54 Starting compiler/encoders/riscv
Mar 26 13:19:13 Finished compiler/encoders/riscv                               1m17s 995MB
Mar 26 13:19:13 Starting compiler/encoders/ag32
Mar 26 13:19:30 Finished compiler/encoders/ag32                                  17s 559MB
Mar 26 13:19:30 Starting compiler/backend/x64
Mar 26 13:19:48 Finished compiler/backend/x64                                    17s   1GB
Mar 26 13:19:49 Starting compiler/backend/arm6
Mar 26 13:20:09 Finished compiler/backend/arm6                                   19s   1GB
Mar 26 13:20:09 Starting compiler/backend/arm8
Mar 26 13:20:27 Finished compiler/backend/arm8                                   17s 983MB
Mar 26 13:20:27 Starting compiler/backend/mips
Mar 26 13:20:45 Finished compiler/backend/mips                                   17s 788MB
Mar 26 13:20:45 Starting compiler/backend/riscv
Mar 26 13:21:03 Finished compiler/backend/riscv                                  17s 940MB
Mar 26 13:21:03 Starting compiler/backend/ag32
Mar 26 13:22:12 Finished compiler/backend/ag32                                 1m08s   1GB
Mar 26 13:22:12 Starting compiler/parsing/proofs
Mar 26 13:27:49 Finished compiler/parsing/proofs                               5m36s 826MB
Mar 26 13:27:49 Starting compiler/inference/proofs
Mar 26 13:30:27 Finished compiler/inference/proofs                             2m38s   1GB
Mar 26 13:30:28 Starting compiler/backend/semantics
Mar 26 13:37:21 Finished compiler/backend/semantics                            6m52s   1GB
Mar 26 13:37:21 Starting compiler/backend/reg_alloc/proofs
Mar 26 13:39:56 Finished compiler/backend/reg_alloc/proofs                     2m35s 821MB
Mar 26 13:39:57 Starting compiler/backend/proofs
Mar 26 14:16:30 Finished compiler/backend/proofs                              36m32s   3GB
Mar 26 14:16:30 Starting compiler/encoders/x64/proofs
Mar 26 14:26:19 Finished compiler/encoders/x64/proofs                          9m48s   5GB
Mar 26 14:26:19 Starting compiler/encoders/arm6/proofs
Mar 26 14:39:45 Finished compiler/encoders/arm6/proofs                        13m26s   3GB
Mar 26 14:39:46 Starting compiler/encoders/arm8/proofs
Mar 26 14:45:25 Finished compiler/encoders/arm8/proofs                         5m39s   1GB
Mar 26 14:45:25 Starting compiler/encoders/mips/proofs
Mar 26 14:55:11 Finished compiler/encoders/mips/proofs                         9m45s   2GB
Mar 26 14:55:12 Starting compiler/encoders/riscv/proofs
Mar 27 10:45:29 Resuming compiler/encoders/riscv/proofs
Mar 27 10:45:31 Finished compiler/encoders/riscv/proofs                           1s  17MB
Mar 27 10:45:31 Starting compiler/encoders/ag32/proofs
Mar 27 10:47:57 Finished compiler/encoders/ag32/proofs                         2m25s 627MB
Mar 27 10:47:57 Starting compiler/backend/x64/proofs
Mar 27 10:48:16 Finished compiler/backend/x64/proofs                             19s   1GB
Mar 27 10:48:17 Starting compiler/backend/arm6/proofs
Mar 27 10:48:39 Finished compiler/backend/arm6/proofs                            21s   1GB
Mar 27 10:48:39 Starting compiler/backend/arm8/proofs
Mar 27 10:48:58 Finished compiler/backend/arm8/proofs                            18s 774MB
Mar 27 10:48:58 Starting compiler/backend/mips/proofs
Mar 27 10:49:18 Finished compiler/backend/mips/proofs                            20s   1GB
Mar 27 10:49:19 Starting compiler/backend/riscv/proofs
Mar 27 10:49:38 Finished compiler/backend/riscv/proofs                           19s   1GB
Mar 27 10:49:39 Starting compiler/backend/ag32/proofs
Mar 27 10:58:23 Finished compiler/backend/ag32/proofs                          8m43s   3GB
Mar 27 10:58:23 Starting compiler/proofs
Mar 27 10:59:40 Finished compiler/proofs                                       1m17s   3GB
Mar 27 10:59:41 Starting candle/set-theory
Mar 27 11:00:07 Finished candle/set-theory                                       26s 663MB
Mar 27 11:00:08 Starting candle/syntax-lib
Mar 27 11:00:19 Finished candle/syntax-lib                                       10s 562MB
Mar 27 11:00:19 Starting candle/standard/syntax
Mar 27 11:02:01 Finished candle/standard/syntax                                1m41s   1GB
Mar 27 11:02:01 Starting candle/standard/semantics
Mar 27 11:03:38 Finished candle/standard/semantics                             1m36s   1GB
Mar 27 11:03:38 Starting candle/standard/monadic
Mar 27 11:05:10 Finished candle/standard/monadic                               1m31s   1GB
Mar 27 11:05:10 Starting candle/standard/ml_kernel
Mar 27 11:08:48 Finished candle/standard/ml_kernel                             3m37s   5GB
Mar 27 11:08:49 Starting candle/standard/opentheory
Mar 27 11:17:08 Finished candle/standard/opentheory                            8m18s   3GB
Mar 27 11:17:08 Starting candle/standard/opentheory/compilation
Mar 27 11:46:19 Finished candle/standard/opentheory/compilation               29m10s  15GB
Mar 27 11:46:19 Starting candle/standard/opentheory/compilation/proofs
Mar 27 11:47:16 Finished candle/standard/opentheory/compilation/proofs           56s   2GB
Mar 27 11:47:16 Starting characteristic/examples
Mar 27 11:48:44 Finished characteristic/examples                               1m27s   2GB
Mar 27 11:48:44 Starting tutorial/solutions
Mar 27 12:01:53 Finished tutorial/solutions                                   13m08s   6GB
Mar 27 12:01:53 Starting translator/monadic/examples
Mar 27 12:04:19 Finished translator/monadic/examples                           2m25s   2GB
Mar 27 12:04:19 Starting examples
Mar 27 12:11:46 Finished examples                                              7m26s   3GB
Mar 27 12:11:46 Starting examples/compilation/x64
Mar 27 14:05:56 Finished examples/compilation/x64                           1h54m10s  13GB
Mar 27 14:05:57 Starting examples/compilation/x64/proofs
Mar 27 14:07:24 Finished examples/compilation/x64/proofs                       1m26s   2GB
Mar 27 14:07:24 Starting examples/compilation/ag32
Mar 27 14:35:23 Finished examples/compilation/ag32                            27m59s   5GB
Mar 27 14:35:24 Starting examples/compilation/ag32/proofs
Mar 27 14:36:10 Finished examples/compilation/ag32/proofs                        46s   3GB
Mar 27 14:36:10 Starting translator/okasaki-examples
Mar 27 14:40:09 Finished translator/okasaki-examples                           3m58s   1GB
Mar 27 14:40:10 Starting translator/other-examples
Mar 27 14:43:44 Finished translator/other-examples                             3m34s   1GB
Mar 27 14:43:44 Starting compiler/parsing/tests
Mar 27 14:44:11 Finished compiler/parsing/tests                                  26s 477MB
Mar 27 14:44:11 Starting compiler/inference/tests
Mar 27 14:48:15 Finished compiler/inference/tests                              4m03s   3GB
Mar 27 14:48:15 Starting compiler/bootstrap/translation
Mar 27 17:08:41 Finished compiler/bootstrap/translation                     2h20m25s  41GB
Mar 27 17:08:41 Starting unverified/sexpr-bootstrap/x64/64
Mar 27 17:15:46 Finished unverified/sexpr-bootstrap/x64/64                     7m03s   2GB
Mar 27 17:15:46 Starting unverified/sexpr-bootstrap/x64/32
Mar 27 17:20:11 Finished unverified/sexpr-bootstrap/x64/32                     4m24s   7GB
Mar 27 17:20:11 Starting compiler/benchmarks
Mar 27 17:20:18 Finished compiler/benchmarks                                      6s  23MB
Mar 27 17:20:18 Starting compiler/bootstrap/compilation/x64/64
Mar 28 04:34:00 Finished compiler/bootstrap/compilation/x64/64             11h13m40s  64GB
Mar 28 04:34:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 28 04:37:27 Finished compiler/bootstrap/compilation/x64/64/proofs          3m26s   4GB
Mar 28 04:37:27 Starting compiler/bootstrap/compilation/x64/32
Mar 28 13:44:43 Finished compiler/bootstrap/compilation/x64/32              9h07m14s  64GB
Mar 28 13:44:43 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 28 13:47:48 Finished compiler/bootstrap/compilation/x64/32/proofs          3m04s   5GB
Mar 28 13:47:48 Starting compiler/bootstrap/compilation/ag32/32
Mar 28 23:35:12 Finished compiler/bootstrap/compilation/ag32/32             9h47m24s  64GB
Mar 28 23:35:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 28 23:49:25 Finished compiler/bootstrap/compilation/ag32/32/proofs        14m12s  12GB
Mar 28 23:49:26 SUCCESS