Job 2207

CakeML:69cb57aed524f8bc3194c96ef94dced24d8d696f
  Merge pull request #970 from Tiana-J-TU/pan-upd-funcall-syntax [Aug 27 10:24:09]
HOL:6fd1cd2ed6786825d8fb2ab4da513ea370b8d65c
  Get close to tailcall-ification of unify algorithm [Aug 21 07:16:05]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 27 20:52:06 Claimed job
Aug 27 20:52:08 Reusing HOL
Aug 27 20:52:49 Starting developers
Aug 27 20:52:55 Finished developers                                               5s 113MB
Aug 27 20:52:55 Starting developers/bin
Aug 27 20:53:01 Finished developers/bin                                           5s   1GB
Aug 27 20:53:01 Starting compiler/proofs
Aug 27 22:43:16 Finished compiler/proofs                                    1h50m13s  18GB
Aug 27 22:43:16 Starting compiler/bootstrap/translation
Aug 28 07:03:56 Finished compiler/bootstrap/translation                     8h20m37s  46GB
Aug 28 07:03:56 Starting semantics/ffi
Aug 28 07:04:02 Finished semantics/ffi                                            5s 219MB
Aug 28 07:04:02 Starting semantics
Aug 28 07:04:04 Finished semantics                                                1s  19MB
Aug 28 07:04:04 Starting semantics/proofs
Aug 28 07:04:37 Finished semantics/proofs                                        32s 749MB
Aug 28 07:04:37 Starting semantics/alt_semantics
Aug 28 07:05:08 Finished semantics/alt_semantics                                 31s 749MB
Aug 28 07:05:08 Starting semantics/alt_semantics/proofs
Aug 28 07:17:02 Finished semantics/alt_semantics/proofs                       11m53s   1GB
Aug 28 07:17:02 Starting basis/pure
Aug 28 07:17:04 Finished basis/pure                                               1s  18MB
Aug 28 07:17:04 Starting translator
Aug 28 07:18:54 Finished translator                                            1m50s   1GB
Aug 28 07:18:55 Starting compiler/parsing
Aug 28 07:18:56 Finished compiler/parsing                                         1s  23MB
Aug 28 07:18:56 Starting characteristic
Aug 28 07:18:58 Finished characteristic                                           1s  24MB
Aug 28 07:18:58 Starting translator/monadic
Aug 28 07:19:00 Finished translator/monadic                                       1s  24MB
Aug 28 07:19:00 Starting basis
Aug 28 07:22:58 Finished basis                                                 3m57s   3GB
Aug 28 07:22:58 Starting compiler/inference
Aug 28 07:23:00 Finished compiler/inference                                       1s  19MB
Aug 28 07:23:00 Starting compiler/backend/reg_alloc
Aug 28 07:23:02 Finished compiler/backend/reg_alloc                               1s  21MB
Aug 28 07:23:02 Starting compiler/backend/gc
Aug 28 07:23:04 Finished compiler/backend/gc                                      2s  22MB
Aug 28 07:23:04 Starting compiler/backend
Aug 28 07:23:17 Finished compiler/backend                                        12s 797MB
Aug 28 07:23:17 Starting compiler/encoders/asm
Aug 28 07:23:18 Finished compiler/encoders/asm                                    1s  24MB
Aug 28 07:23:19 Starting compiler/encoders/x64
Aug 28 07:23:20 Finished compiler/encoders/x64                                    1s  21MB
Aug 28 07:23:21 Starting compiler/encoders/arm7
Aug 28 07:23:22 Finished compiler/encoders/arm7                                   1s  20MB
Aug 28 07:23:22 Starting compiler/encoders/arm8
Aug 28 07:23:24 Finished compiler/encoders/arm8                                   1s  27MB
Aug 28 07:23:24 Starting compiler/encoders/arm8_asl
Aug 28 07:26:37 Finished compiler/encoders/arm8_asl                            3m12s   1GB
Aug 28 07:26:37 Starting compiler/encoders/mips
Aug 28 07:26:39 Finished compiler/encoders/mips                                   1s  27MB
Aug 28 07:26:39 Starting compiler/encoders/riscv
Aug 28 07:26:41 Finished compiler/encoders/riscv                                  1s  20MB
Aug 28 07:26:41 Starting compiler/encoders/ag32
Aug 28 07:26:43 Finished compiler/encoders/ag32                                   1s  26MB
Aug 28 07:26:43 Starting compiler/backend/x64
Aug 28 07:26:45 Finished compiler/backend/x64                                     2s  27MB
Aug 28 07:26:45 Starting compiler/backend/arm7
Aug 28 07:26:47 Finished compiler/backend/arm7                                    2s  23MB
Aug 28 07:26:48 Starting compiler/backend/arm8
Aug 28 07:26:50 Finished compiler/backend/arm8                                    2s  20MB
Aug 28 07:26:50 Starting compiler/backend/mips
Aug 28 07:26:52 Finished compiler/backend/mips                                    2s  21MB
Aug 28 07:26:52 Starting compiler/backend/riscv
Aug 28 07:26:54 Finished compiler/backend/riscv                                   2s  29MB
Aug 28 07:26:55 Starting compiler/backend/ag32
Aug 28 07:28:22 Finished compiler/backend/ag32                                 1m26s   1GB
Aug 28 07:28:22 Starting compiler/parsing/proofs
Aug 28 07:28:23 Finished compiler/parsing/proofs                                  1s  20MB
Aug 28 07:28:23 Starting compiler/inference/proofs
Aug 28 07:28:25 Finished compiler/inference/proofs                                1s  22MB
Aug 28 07:28:25 Starting compiler/backend/semantics
Aug 28 07:29:38 Finished compiler/backend/semantics                            1m12s   1GB
Aug 28 07:29:38 Starting compiler/backend/reg_alloc/proofs
Aug 28 07:29:40 Finished compiler/backend/reg_alloc/proofs                        1s  25MB
Aug 28 07:29:40 Starting compiler/backend/proofs
Aug 28 07:30:37 Finished compiler/backend/proofs                                 57s   2GB
Aug 28 07:30:37 Starting compiler/backend/serialiser
Aug 28 07:30:40 Finished compiler/backend/serialiser                              2s  30MB
Aug 28 07:30:41 Starting compiler/encoders/x64/proofs
Aug 28 07:40:27 Finished compiler/encoders/x64/proofs                          9m46s   6GB
Aug 28 07:40:27 Starting compiler/encoders/arm7/proofs
Aug 28 07:54:06 Finished compiler/encoders/arm7/proofs                        13m38s   5GB
Aug 28 07:54:06 Starting compiler/encoders/arm8/proofs
Aug 28 08:01:00 Finished compiler/encoders/arm8/proofs                         6m54s   1GB
Aug 28 08:01:00 Starting compiler/encoders/arm8_asl/proofs
Aug 28 08:16:54 Finished compiler/encoders/arm8_asl/proofs                    15m51s   2GB
Aug 28 08:16:54 Starting compiler/encoders/mips/proofs
Aug 28 08:27:21 Finished compiler/encoders/mips/proofs                        10m27s   2GB
Aug 28 08:27:21 Starting compiler/encoders/riscv/proofs
Aug 28 08:36:23 Finished compiler/encoders/riscv/proofs                        9m02s   1GB
Aug 28 08:36:24 Starting compiler/encoders/ag32/proofs
Aug 28 08:39:01 Finished compiler/encoders/ag32/proofs                         2m36s   1GB
Aug 28 08:39:01 Starting compiler/backend/x64/proofs
Aug 28 08:39:31 Finished compiler/backend/x64/proofs                             30s   1GB
Aug 28 08:39:31 Starting compiler/backend/arm7/proofs
Aug 28 08:40:05 Finished compiler/backend/arm7/proofs                            33s   2GB
Aug 28 08:40:05 Starting compiler/backend/arm8/proofs
Aug 28 08:40:35 Finished compiler/backend/arm8/proofs                            29s   1GB
Aug 28 08:40:35 Starting compiler/backend/arm8_asl
Aug 28 08:40:58 Finished compiler/backend/arm8_asl                               22s   1GB
Aug 28 08:40:58 Starting compiler/backend/mips/proofs
Aug 28 08:41:30 Finished compiler/backend/mips/proofs                            32s   2GB
Aug 28 08:41:30 Starting compiler/backend/riscv/proofs
Aug 28 08:42:04 Finished compiler/backend/riscv/proofs                           33s   2GB
Aug 28 08:42:04 Starting compiler/backend/ag32/proofs
Aug 28 08:55:37 Finished compiler/backend/ag32/proofs                         13m32s   2GB
Aug 28 08:55:37 Starting candle/set-theory
Aug 28 08:56:15 Finished candle/set-theory                                       37s   1GB
Aug 28 08:56:15 Starting candle/syntax-lib
Aug 28 08:56:17 Finished candle/syntax-lib                                        1s  24MB
Aug 28 08:56:17 Starting candle/standard/syntax
Aug 28 08:56:28 Finished candle/standard/syntax                                  11s 682MB
Aug 28 08:56:28 Starting candle/standard/semantics
Aug 28 08:58:27 Finished candle/standard/semantics                             1m58s   1GB
Aug 28 08:58:27 Starting candle/standard/monadic
Aug 28 08:58:29 Finished candle/standard/monadic                                  1s  20MB
Aug 28 08:58:29 Starting candle/standard/ml_kernel
Aug 28 09:00:05 Finished candle/standard/ml_kernel                             1m36s   3GB
Aug 28 09:00:05 Starting candle/overloading/syntax
Aug 28 09:03:26 Finished candle/overloading/syntax                             3m20s   1GB
Aug 28 09:03:26 Starting candle/overloading/semantics
Aug 28 09:15:28 Finished candle/overloading/semantics                         12m02s   4GB
Aug 28 09:15:28 Starting candle/overloading/monadic
Aug 28 09:18:13 Finished candle/overloading/monadic                            2m44s   1GB
Aug 28 09:18:14 Starting candle/overloading/ml_kernel
Aug 28 09:26:09 Finished candle/overloading/ml_kernel                          7m55s   3GB
Aug 28 09:26:09 Starting candle/overloading/ml_checker
Aug 28 09:28:44 Finished candle/overloading/ml_checker                         2m34s   2GB
Aug 28 09:28:44 Starting candle/prover
Aug 28 09:38:37 Finished candle/prover                                         9m53s   3GB
Aug 28 09:38:37 Starting pancake
Aug 28 09:39:22 Finished pancake                                                 44s   1GB
Aug 28 09:39:22 Starting pancake/ffi
Aug 28 09:39:23 Finished pancake/ffi                                              0s  13MB
Aug 28 09:39:23 Starting pancake/semantics
Aug 28 09:41:53 Finished pancake/semantics                                     2m29s   1GB
Aug 28 09:41:53 Starting pancake/parser
Aug 28 09:42:15 Finished pancake/parser                                          21s 811MB
Aug 28 09:42:15 Starting pancake/proofs
Aug 28 10:15:08 Finished pancake/proofs                                       32m52s   5GB
Aug 28 10:15:08 Starting characteristic/examples
Aug 28 10:16:38 Finished characteristic/examples                               1m30s   2GB
Aug 28 10:16:38 Starting tutorial/solutions
Aug 28 10:31:52 Finished tutorial/solutions                                   15m11s   8GB
Aug 28 10:31:52 Starting translator/monadic/examples
Aug 28 10:35:53 Finished translator/monadic/examples                           4m00s   2GB
Aug 28 10:35:53 Starting examples
Aug 28 10:52:15 Finished examples                                             16m22s   3GB
Aug 28 10:52:15 Starting examples/compilation/x64
Aug 28 12:52:04 Finished examples/compilation/x64                           1h59m45s  16GB
Aug 28 12:52:04 Starting examples/compilation/x64/proofs
Aug 28 12:54:36 Finished examples/compilation/x64/proofs                       2m32s   4GB
Aug 28 12:54:36 Starting examples/compilation/ag32
Aug 28 13:24:38 Finished examples/compilation/ag32                            30m01s  10GB
Aug 28 13:24:38 Starting examples/compilation/ag32/proofs
Aug 28 13:25:41 Finished examples/compilation/ag32/proofs                      1m02s   4GB
Aug 28 13:25:41 Starting examples/compilation/to_word
Aug 28 13:29:04 Finished examples/compilation/to_word                          3m22s   6GB
Aug 28 13:29:04 Starting examples/lpr_checker
Aug 28 13:30:09 Finished examples/lpr_checker                                  1m05s   1GB
Aug 28 13:30:09 Starting examples/lpr_checker/array
Aug 28 14:07:16 Finished examples/lpr_checker/array                           37m05s   6GB
Aug 28 14:07:16 Starting examples/lpr_checker/array/compilation
Aug 28 15:00:14 Finished examples/lpr_checker/array/compilation               52m57s  25GB
Aug 28 15:00:14 Starting examples/lpr_checker/array/compilation/proofs
Aug 28 15:02:27 Finished examples/lpr_checker/array/compilation/proofs         2m13s   3GB
Aug 28 15:02:28 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 28 15:08:58 Finished examples/lpr_checker/array/compilation/proofsARM8     6m27s  25GB
Aug 28 15:09:00 Starting examples/opentheory
Aug 28 15:20:00 Finished examples/opentheory                                  11m00s   3GB
Aug 28 15:20:01 Starting examples/opentheory
Aug 28 15:20:02 Finished examples/opentheory                                      1s  31MB
Aug 28 15:20:03 Starting examples/opentheory/compilation
Aug 28 16:01:21 Finished examples/opentheory/compilation                      41m18s  26GB
Aug 28 16:01:22 Starting examples/opentheory/compilation/proofs
Aug 28 16:02:23 Finished examples/opentheory/compilation/proofs                1m01s   5GB
Aug 28 16:02:23 Starting examples/opentheory/compilation/ag32
Aug 28 16:38:40 Finished examples/opentheory/compilation/ag32                 36m15s  26GB
Aug 28 16:38:40 Starting examples/opentheory/compilation/ag32/proofs
Aug 28 16:40:37 Finished examples/opentheory/compilation/ag32/proofs           1m56s   8GB
Aug 28 16:40:37 Starting examples/sat_encodings
Aug 28 16:42:48 Finished examples/sat_encodings                                2m10s   1GB
Aug 28 16:42:48 Starting examples/sat_encodings/case_studies
Aug 28 16:44:40 Finished examples/sat_encodings/case_studies                   1m52s   1GB
Aug 28 16:44:41 Starting examples/sat_encodings/translation
Aug 28 16:50:46 Finished examples/sat_encodings/translation                    6m05s   4GB
Aug 28 16:50:46 Starting examples/sat_encodings/translation/compilation
Aug 28 17:37:20 Finished examples/sat_encodings/translation/compilation       46m33s  20GB
Aug 28 17:37:20 Starting examples/deflate
Aug 28 17:38:20 Finished examples/deflate                                        59s 878MB
Aug 28 17:38:20 Starting examples/deflate/translation
Aug 28 17:40:04 Finished examples/deflate/translation                          1m42s   3GB
Aug 28 17:40:04 Starting examples/deflate/translation/compilation
Aug 28 18:00:11 Finished examples/deflate/translation/compilation             20m06s  13GB
Aug 28 18:00:11 Starting examples/vipr
Aug 28 18:04:15 Finished examples/vipr                                         4m03s   5GB
Aug 28 18:04:15 Starting examples/vipr/compilation
Aug 28 18:24:49 Finished examples/vipr/compilation                            20m33s  16GB
Aug 28 18:24:49 Starting translator/okasaki-examples
Aug 28 18:29:56 Finished translator/okasaki-examples                           5m07s   2GB
Aug 28 18:29:57 Starting translator/other-examples
Aug 28 18:30:51 Finished translator/other-examples                               53s   1GB
Aug 28 18:30:51 Starting compiler/parsing/tests
Aug 28 18:31:23 Finished compiler/parsing/tests                                  31s 935MB
Aug 28 18:31:23 Starting compiler/inference/tests
Aug 28 18:39:59 Finished compiler/inference/tests                              8m36s   4GB
Aug 28 18:40:00 Starting compiler/printing/test
Aug 28 18:43:56 Finished compiler/printing/test                                3m55s   3GB
Aug 28 18:43:56 Starting icing/flover
Aug 28 19:27:47 Finished icing/flover                                         43m50s   2GB
Aug 28 19:27:47 Starting icing/
Aug 28 20:23:33 Finished icing/                                               55m43s   8GB
Aug 28 20:23:34 Starting icing/examples
Aug 28 20:25:11 Finished icing/examples                                        1m35s   4GB
Aug 28 20:25:11 Starting compiler/repl
Aug 28 20:33:48 Finished compiler/repl                                         8m37s   5GB
Aug 28 20:33:48 Starting unverified/sexpr-bootstrap/x64/64
Aug 28 20:47:18 Finished unverified/sexpr-bootstrap/x64/64                    13m28s  16GB
Aug 28 20:47:18 Starting unverified/sexpr-bootstrap/x64/32
Aug 28 20:58:12 Finished unverified/sexpr-bootstrap/x64/32                    10m53s  12GB
Aug 28 20:58:13 Starting compiler/benchmarks
Aug 28 21:13:44 Finished compiler/benchmarks                                  15m30s   2GB
Aug 28 21:13:44 Starting compiler/bootstrap/compilation/x64/64
Aug 29 09:23:00 Finished compiler/bootstrap/compilation/x64/64             12h09m10s  64GB
Aug 29 09:23:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 29 09:43:43 Finished compiler/bootstrap/compilation/x64/64/proofs         20m42s  36GB
Aug 29 09:43:43 Starting compiler/bootstrap/compilation/x64/32
Aug 29 16:53:20 Finished compiler/bootstrap/compilation/x64/32              7h09m35s  59GB
Aug 29 16:53:20 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 29 16:56:22 Finished compiler/bootstrap/compilation/x64/32/proofs          3m01s  20GB
Aug 29 16:56:22 Starting compiler/bootstrap/compilation/ag32/32
Aug 30 00:11:55 Finished compiler/bootstrap/compilation/ag32/32             7h15m30s  64GB
Aug 30 00:11:55 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 30 00:18:39 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m43s  23GB
Aug 30 00:18:39 SUCCESS