Job 1978

CakeML:1afd9c2ae712011d1edddfc51a00c38d36bbb43a
  Merge pull request #906 from CakeML/candle-features [Aug 25 05:11:25]
HOL:2639637652b5be738521f6efa56cbf8a10e52599
  Start to revise simplifier documentation to capture recent changes [Sep 06 07:08:33]
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

Sep 09 17:03:57 Claimed job
Sep 09 17:05:23 Reusing HOL
Sep 09 17:06:03 Starting developers
Sep 09 17:06:09 Finished developers                                               5s 100MB
Sep 09 17:06:09 Starting developers/bin
Sep 09 17:07:54 Finished developers/bin                                        1m44s   1GB
Sep 09 17:07:54 Starting semantics/ffi
Sep 09 17:08:04 Finished semantics/ffi                                            9s 198MB
Sep 09 17:08:04 Starting semantics
Sep 09 17:10:37 Finished semantics                                             2m33s   1GB
Sep 09 17:10:38 Starting semantics/proofs
Sep 09 17:19:34 Finished semantics/proofs                                      8m55s   1GB
Sep 09 17:19:34 Starting semantics/alt_semantics
Sep 09 17:20:03 Finished semantics/alt_semantics                                 28s 563MB
Sep 09 17:20:03 Starting semantics/alt_semantics/proofs
Sep 09 17:36:07 Finished semantics/alt_semantics/proofs                       16m03s   3GB
Sep 09 17:36:07 Starting basis/pure
Sep 09 17:37:13 Finished basis/pure                                            1m06s 875MB
Sep 09 17:37:14 Starting translator
Sep 09 17:45:03 Finished translator                                            7m49s   2GB
Sep 09 17:45:03 Starting compiler/parsing
Sep 09 17:46:35 Finished compiler/parsing                                      1m32s   5GB
Sep 09 17:46:36 Starting characteristic
Sep 09 17:53:55 Finished characteristic                                        7m18s   2GB
Sep 09 17:53:55 Starting translator/monadic
Sep 09 17:55:56 Finished translator/monadic                                    2m00s   1GB
Sep 09 17:55:56 Starting basis
Sep 09 18:51:30 Finished basis                                                55m33s  18GB
Sep 09 18:51:31 Starting compiler/inference
Sep 09 18:53:05 Finished compiler/inference                                    1m34s   1GB
Sep 09 18:53:06 Starting compiler/backend/reg_alloc
Sep 09 18:54:54 Finished compiler/backend/reg_alloc                            1m45s   1GB
Sep 09 18:54:55 Starting compiler/backend/gc
Sep 09 18:59:27 Finished compiler/backend/gc                                   4m32s   2GB
Sep 09 18:59:28 Starting compiler/backend
Sep 09 19:05:26 Finished compiler/backend                                      5m57s   2GB
Sep 09 19:05:26 Starting compiler/encoders/asm
Sep 09 19:05:57 Finished compiler/encoders/asm                                   30s 709MB
Sep 09 19:05:57 Starting compiler/encoders/x64
Sep 09 19:06:27 Finished compiler/encoders/x64                                   29s 789MB
Sep 09 19:06:27 Starting compiler/encoders/arm7
Sep 09 19:07:29 Finished compiler/encoders/arm7                                1m01s 844MB
Sep 09 19:07:29 Starting compiler/encoders/arm8
Sep 09 19:07:47 Finished compiler/encoders/arm8                                  17s 621MB
Sep 09 19:07:47 Starting compiler/encoders/arm8_asl
Sep 09 19:10:46 Finished compiler/encoders/arm8_asl                            2m59s   1GB
Sep 09 19:10:47 Starting compiler/encoders/mips
Sep 09 19:11:08 Finished compiler/encoders/mips                                  21s   1GB
Sep 09 19:11:09 Starting compiler/encoders/riscv
Sep 09 19:11:29 Finished compiler/encoders/riscv                                 19s 940MB
Sep 09 19:11:29 Starting compiler/encoders/ag32
Sep 09 19:11:51 Finished compiler/encoders/ag32                                  21s   1GB
Sep 09 19:11:51 Starting compiler/backend/x64
Sep 09 19:12:13 Finished compiler/backend/x64                                    21s   1GB
Sep 09 19:12:13 Starting compiler/backend/arm7
Sep 09 19:12:37 Finished compiler/backend/arm7                                   23s   1GB
Sep 09 19:12:37 Starting compiler/backend/arm8
Sep 09 19:12:59 Finished compiler/backend/arm8                                   21s   1GB
Sep 09 19:12:59 Starting compiler/backend/mips
Sep 09 19:13:21 Finished compiler/backend/mips                                   21s   1GB
Sep 09 19:13:21 Starting compiler/backend/riscv
Sep 09 19:13:43 Finished compiler/backend/riscv                                  21s   1GB
Sep 09 19:13:43 Starting compiler/backend/ag32
Sep 09 19:15:14 Finished compiler/backend/ag32                                 1m30s   1GB
Sep 09 19:15:14 Starting compiler/parsing/proofs
Sep 09 19:19:34 Finished compiler/parsing/proofs                               4m19s   1GB
Sep 09 19:19:34 Starting compiler/inference/proofs
Sep 09 19:22:35 Finished compiler/inference/proofs                             3m00s 932MB
Sep 09 19:22:35 Starting compiler/backend/semantics
Sep 09 19:53:32 Finished compiler/backend/semantics                           30m57s   3GB
Sep 09 19:53:33 Starting compiler/backend/reg_alloc/proofs
Sep 09 19:57:35 Finished compiler/backend/reg_alloc/proofs                     4m01s   1GB
Sep 09 19:57:35 Starting compiler/backend/proofs
Sep 09 21:40:12 Finished compiler/backend/proofs                            1h42m36s  18GB
Sep 09 21:40:12 Starting compiler/backend/serialiser
Sep 09 21:41:57 Finished compiler/backend/serialiser                           1m44s   2GB
Sep 09 21:41:57 Starting compiler/encoders/x64/proofs
Sep 09 21:52:23 Finished compiler/encoders/x64/proofs                         10m25s   5GB
Sep 09 21:52:24 Starting compiler/encoders/arm7/proofs
Sep 09 22:07:12 Finished compiler/encoders/arm7/proofs                        14m48s   3GB
Sep 09 22:07:13 Starting compiler/encoders/arm8/proofs
Sep 09 22:14:33 Finished compiler/encoders/arm8/proofs                         7m20s   1GB
Sep 09 22:14:33 Starting compiler/encoders/arm8_asl/proofs
Sep 09 22:31:08 Finished compiler/encoders/arm8_asl/proofs                    16m34s   3GB
Sep 09 22:31:08 Starting compiler/encoders/mips/proofs
Sep 09 22:42:31 Finished compiler/encoders/mips/proofs                        11m21s   2GB
Sep 09 22:42:31 Starting compiler/encoders/riscv/proofs
Sep 09 22:52:06 Finished compiler/encoders/riscv/proofs                        9m34s   1GB
Sep 09 22:52:06 Starting compiler/encoders/ag32/proofs
Sep 09 22:54:58 Finished compiler/encoders/ag32/proofs                         2m51s 819MB
Sep 09 22:54:58 Starting compiler/backend/x64/proofs
Sep 09 22:55:23 Finished compiler/backend/x64/proofs                             25s   1GB
Sep 09 22:55:24 Starting compiler/backend/arm7/proofs
Sep 09 22:55:51 Finished compiler/backend/arm7/proofs                            26s   1GB
Sep 09 22:55:51 Starting compiler/backend/arm8/proofs
Sep 09 22:56:17 Finished compiler/backend/arm8/proofs                            26s   1GB
Sep 09 22:56:17 Starting compiler/backend/arm8_asl
Sep 09 22:56:39 Finished compiler/backend/arm8_asl                               20s   1GB
Sep 09 22:56:39 Starting compiler/backend/mips/proofs
Sep 09 22:57:05 Finished compiler/backend/mips/proofs                            25s   1GB
Sep 09 22:57:05 Starting compiler/backend/riscv/proofs
Sep 09 22:57:32 Finished compiler/backend/riscv/proofs                           27s   1GB
Sep 09 22:57:32 Starting compiler/backend/ag32/proofs
Sep 09 23:11:50 Finished compiler/backend/ag32/proofs                         14m17s   2GB
Sep 09 23:11:51 Starting compiler/proofs
Sep 09 23:14:02 Finished compiler/proofs                                       2m11s   5GB
Sep 09 23:14:03 Starting candle/set-theory
Sep 09 23:14:38 Finished candle/set-theory                                       34s 889MB
Sep 09 23:14:38 Starting candle/syntax-lib
Sep 09 23:14:52 Finished candle/syntax-lib                                       13s 543MB
Sep 09 23:14:52 Starting candle/standard/syntax
Sep 09 23:16:59 Finished candle/standard/syntax                                2m07s 926MB
Sep 09 23:16:59 Starting candle/standard/semantics
Sep 09 23:18:47 Finished candle/standard/semantics                             1m47s   1GB
Sep 09 23:18:47 Starting candle/standard/monadic
Sep 09 23:20:49 Finished candle/standard/monadic                               2m01s   1GB
Sep 09 23:20:49 Starting candle/standard/ml_kernel
Sep 09 23:28:00 Finished candle/standard/ml_kernel                             7m10s   3GB
Sep 09 23:28:00 Starting candle/overloading/syntax
Sep 09 23:31:47 Finished candle/overloading/syntax                             3m46s   1GB
Sep 09 23:31:47 Starting candle/overloading/semantics
Sep 09 23:44:32 Finished candle/overloading/semantics                         12m42s   2GB
Sep 09 23:44:32 Starting candle/overloading/monadic
Sep 09 23:47:20 Finished candle/overloading/monadic                            2m48s   1GB
Sep 09 23:47:21 Starting candle/overloading/ml_kernel
Sep 09 23:55:16 Finished candle/overloading/ml_kernel                          7m55s   2GB
Sep 09 23:55:16 Starting candle/overloading/ml_checker
Sep 09 23:57:47 Finished candle/overloading/ml_checker                         2m30s   2GB
Sep 09 23:57:47 Starting candle/prover
Sep 10 00:24:00 Finished candle/prover                                        26m12s   3GB
Sep 10 00:24:00 Starting pancake
Sep 10 00:27:19 Finished pancake                                               3m18s   4GB
Sep 10 00:27:19 Starting pancake/ffi
Sep 10 00:27:20 Finished pancake/ffi                                              0s   9MB
Sep 10 00:27:20 Starting pancake/semantics
Sep 10 00:30:00 Finished pancake/semantics                                     2m39s   1GB
Sep 10 00:30:00 Starting pancake/proofs
Sep 10 00:43:19 Finished pancake/proofs                                       13m18s   5GB
Sep 10 00:43:19 Starting characteristic/examples
Sep 10 00:44:48 Finished characteristic/examples                               1m28s   2GB
Sep 10 00:44:48 Starting tutorial/solutions
Sep 10 01:01:24 Finished tutorial/solutions                                   16m35s   8GB
Sep 10 01:01:24 Starting translator/monadic/examples
Sep 10 01:05:25 Finished translator/monadic/examples                           4m01s   2GB
Sep 10 01:05:26 Starting examples
Sep 10 01:16:17 Finished examples                                             10m51s   4GB
Sep 10 01:16:17 Starting examples/compilation/x64
Sep 10 03:24:59 Finished examples/compilation/x64                           2h08m41s  12GB
Sep 10 03:25:00 Starting examples/compilation/x64/proofs
Sep 10 03:27:02 Finished examples/compilation/x64/proofs                       2m02s   3GB
Sep 10 03:27:02 Starting examples/compilation/ag32
Sep 10 04:01:15 Finished examples/compilation/ag32                            34m12s   8GB
Sep 10 04:01:16 Starting examples/compilation/ag32/proofs
Sep 10 04:02:06 Finished examples/compilation/ag32/proofs                        50s   4GB
Sep 10 04:02:07 Starting examples/lpr_checker
Sep 10 04:03:06 Finished examples/lpr_checker                                    59s 996MB
Sep 10 04:03:06 Starting examples/lpr_checker/array
Sep 10 04:39:58 Finished examples/lpr_checker/array                           36m51s   5GB
Sep 10 04:39:59 Starting examples/lpr_checker/array/compilation
Sep 10 05:21:33 Finished examples/lpr_checker/array/compilation               41m33s  24GB
Sep 10 05:21:33 Starting examples/lpr_checker/array/compilation/proofs
Sep 10 05:22:57 Finished examples/lpr_checker/array/compilation/proofs         1m24s   6GB
Sep 10 05:22:57 Starting examples/opentheory
Sep 10 05:34:06 Finished examples/opentheory                                  11m08s   3GB
Sep 10 05:34:07 Starting examples/opentheory
Sep 10 05:34:08 Finished examples/opentheory                                      1s  18MB
Sep 10 05:34:09 Starting examples/opentheory/compilation
Sep 10 06:13:50 Finished examples/opentheory/compilation                      39m40s  19GB
Sep 10 06:13:50 Starting examples/opentheory/compilation/proofs
Sep 10 06:14:41 Finished examples/opentheory/compilation/proofs                  50s   4GB
Sep 10 06:14:41 Starting examples/opentheory/compilation/ag32
Sep 10 06:50:37 Finished examples/opentheory/compilation/ag32                 35m55s  22GB
Sep 10 06:50:37 Starting examples/opentheory/compilation/ag32/proofs
Sep 10 06:52:22 Finished examples/opentheory/compilation/ag32/proofs           1m44s   5GB
Sep 10 06:52:22 Starting examples/sat_encodings
Sep 10 06:54:14 Finished examples/sat_encodings                                1m51s 713MB
Sep 10 06:54:14 Starting examples/sat_encodings/case_studies
Sep 10 06:55:58 Finished examples/sat_encodings/case_studies                   1m43s 821MB
Sep 10 06:55:58 Starting examples/sat_encodings/translation
Sep 10 07:01:57 Finished examples/sat_encodings/translation                    5m58s   5GB
Sep 10 07:01:57 Starting examples/sat_encodings/translation/compilation
Sep 10 07:53:54 Finished examples/sat_encodings/translation/compilation       51m56s  23GB
Sep 10 07:53:54 Starting examples/deflate
Sep 10 07:54:47 Finished examples/deflate                                        52s 812MB
Sep 10 07:54:48 Starting examples/deflate/translation
Sep 10 07:56:27 Finished examples/deflate/translation                          1m38s   3GB
Sep 10 07:56:27 Starting examples/deflate/translation/compilation
Sep 10 08:19:52 Finished examples/deflate/translation/compilation             23m24s  17GB
Sep 10 08:19:52 Starting translator/okasaki-examples
Sep 10 08:25:06 Finished translator/okasaki-examples                           5m13s   1GB
Sep 10 08:25:06 Starting translator/other-examples
Sep 10 08:25:56 Finished translator/other-examples                               49s   1GB
Sep 10 08:25:56 Starting compiler/parsing/tests
Sep 10 08:26:27 Finished compiler/parsing/tests                                  30s 692MB
Sep 10 08:26:27 Starting compiler/inference/tests
Sep 10 08:35:13 Finished compiler/inference/tests                              8m45s   4GB
Sep 10 08:35:13 Starting compiler/printing/test
Sep 10 08:38:57 Finished compiler/printing/test                                3m43s   3GB
Sep 10 08:38:57 Starting icing/flover
Sep 10 09:30:19 Finished icing/flover                                         51m21s   1GB
Sep 10 09:30:19 Starting icing/
Sep 10 10:47:04 Finished icing/                                             1h16m43s   6GB
Sep 10 10:47:04 Starting icing/examples
Sep 10 10:48:35 Finished icing/examples                                        1m31s   3GB
Sep 10 10:48:36 Starting compiler/repl
Sep 10 13:23:54 Finished compiler/repl                                      2h35m18s  24GB
Sep 10 13:23:55 Starting compiler/bootstrap/translation
Sep 10 18:18:10 Finished compiler/bootstrap/translation                     4h54m15s  42GB
Sep 10 18:18:11 Starting unverified/sexpr-bootstrap/x64/64
Sep 10 18:29:11 Finished unverified/sexpr-bootstrap/x64/64                    10m58s  13GB
Sep 10 18:29:11 Starting unverified/sexpr-bootstrap/x64/32
Sep 10 18:37:55 Finished unverified/sexpr-bootstrap/x64/32                     8m42s  11GB
Sep 10 18:37:55 Starting compiler/benchmarks
Sep 10 18:37:59 Finished compiler/benchmarks                                      3s  29MB
Sep 10 18:37:59 Starting compiler/bootstrap/compilation/x64/64
Sep 11 06:26:40 Finished compiler/bootstrap/compilation/x64/64             11h48m39s  64GB
Sep 11 06:26:40 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 11 06:47:38 Finished compiler/bootstrap/compilation/x64/64/proofs         20m58s  30GB
Sep 11 06:47:39 Starting compiler/bootstrap/compilation/x64/32
Sep 11 13:28:08 Finished compiler/bootstrap/compilation/x64/32              6h40m27s  63GB
Sep 11 13:28:08 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 11 13:31:30 Finished compiler/bootstrap/compilation/x64/32/proofs          3m21s  11GB
Sep 11 13:31:30 Starting compiler/bootstrap/compilation/ag32/32
Sep 11 20:25:38 Finished compiler/bootstrap/compilation/ag32/32             6h54m05s  64GB
Sep 11 20:25:39 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 11 20:33:57 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m17s  16GB
Sep 11 20:33:57 SUCCESS