Job 2209

CakeML:a500b998760b855e6d32428c2e39ce0f69a89131
  Merge pull request #971 from CakeML/candle-parser-bugs [Aug 28 20:03:11]
HOL:56875629a42860effd84a80abd66e63a4c7a4961
  [rational] Weaken RAT_MINV_LES's precondition [Aug 28 06:33:33]
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

Sep 01 10:00:15 Claimed job
Sep 01 10:00:22 Building HOL
Sep 01 10:13:55 Starting developers
Sep 01 10:14:00 Finished developers                                               5s 198MB
Sep 01 10:14:00 Starting developers/bin
Sep 01 10:14:06 Finished developers/bin                                           5s   1GB
Sep 01 10:14:07 Starting compiler/proofs
Sep 01 12:08:26 Finished compiler/proofs                                    1h54m17s  15GB
Sep 01 12:08:26 Starting compiler/bootstrap/translation
Sep 01 20:21:56 Finished compiler/bootstrap/translation                     8h13m27s  44GB
Sep 01 20:21:56 Starting semantics/ffi
Sep 01 20:22:03 Finished semantics/ffi                                            6s 226MB
Sep 01 20:22:03 Starting semantics
Sep 01 20:22:04 Finished semantics                                                1s  20MB
Sep 01 20:22:04 Starting semantics/proofs
Sep 01 20:22:38 Finished semantics/proofs                                        33s   1GB
Sep 01 20:22:38 Starting semantics/alt_semantics
Sep 01 20:23:09 Finished semantics/alt_semantics                                 31s 677MB
Sep 01 20:23:10 Starting semantics/alt_semantics/proofs
Sep 01 20:35:04 Finished semantics/alt_semantics/proofs                       11m54s   2GB
Sep 01 20:35:04 Starting basis/pure
Sep 01 20:35:06 Finished basis/pure                                               1s  17MB
Sep 01 20:35:06 Starting translator
Sep 01 20:36:57 Finished translator                                            1m51s   2GB
Sep 01 20:36:57 Starting compiler/parsing
Sep 01 20:36:58 Finished compiler/parsing                                         1s  18MB
Sep 01 20:36:59 Starting characteristic
Sep 01 20:37:01 Finished characteristic                                           1s  23MB
Sep 01 20:37:01 Starting translator/monadic
Sep 01 20:37:03 Finished translator/monadic                                       1s  22MB
Sep 01 20:37:03 Starting basis
Sep 01 20:41:05 Finished basis                                                 4m01s   3GB
Sep 01 20:41:05 Starting compiler/inference
Sep 01 20:41:06 Finished compiler/inference                                       1s  32MB
Sep 01 20:41:07 Starting compiler/backend/reg_alloc
Sep 01 20:41:08 Finished compiler/backend/reg_alloc                               1s  19MB
Sep 01 20:41:08 Starting compiler/backend/gc
Sep 01 20:41:11 Finished compiler/backend/gc                                      2s  26MB
Sep 01 20:41:11 Starting compiler/backend
Sep 01 20:41:23 Finished compiler/backend                                        12s 766MB
Sep 01 20:41:23 Starting compiler/encoders/asm
Sep 01 20:41:25 Finished compiler/encoders/asm                                    1s  25MB
Sep 01 20:41:25 Starting compiler/encoders/x64
Sep 01 20:41:27 Finished compiler/encoders/x64                                    1s  26MB
Sep 01 20:41:27 Starting compiler/encoders/arm7
Sep 01 20:41:29 Finished compiler/encoders/arm7                                   1s  24MB
Sep 01 20:41:29 Starting compiler/encoders/arm8
Sep 01 20:41:31 Finished compiler/encoders/arm8                                   1s  23MB
Sep 01 20:41:31 Starting compiler/encoders/arm8_asl
Sep 01 23:05:54 Finished compiler/encoders/arm8_asl                         2h24m21s  46GB
Sep 01 23:05:54 Starting compiler/encoders/mips
Sep 01 23:05:56 Finished compiler/encoders/mips                                   1s  23MB
Sep 01 23:05:56 Starting compiler/encoders/riscv
Sep 01 23:05:58 Finished compiler/encoders/riscv                                  1s  19MB
Sep 01 23:05:58 Starting compiler/encoders/ag32
Sep 01 23:06:00 Finished compiler/encoders/ag32                                   1s  28MB
Sep 01 23:06:00 Starting compiler/backend/x64
Sep 01 23:06:02 Finished compiler/backend/x64                                     2s  25MB
Sep 01 23:06:02 Starting compiler/backend/arm7
Sep 01 23:06:04 Finished compiler/backend/arm7                                    2s  22MB
Sep 01 23:06:04 Starting compiler/backend/arm8
Sep 01 23:06:07 Finished compiler/backend/arm8                                    2s  36MB
Sep 01 23:06:07 Starting compiler/backend/mips
Sep 01 23:06:09 Finished compiler/backend/mips                                    2s  27MB
Sep 01 23:06:09 Starting compiler/backend/riscv
Sep 01 23:06:11 Finished compiler/backend/riscv                                   2s  23MB
Sep 01 23:06:11 Starting compiler/backend/ag32
Sep 01 23:07:38 Finished compiler/backend/ag32                                 1m27s   1GB
Sep 01 23:07:39 Starting compiler/parsing/proofs
Sep 01 23:07:40 Finished compiler/parsing/proofs                                  1s  19MB
Sep 01 23:07:40 Starting compiler/inference/proofs
Sep 01 23:07:42 Finished compiler/inference/proofs                                1s  19MB
Sep 01 23:07:42 Starting compiler/backend/semantics
Sep 01 23:08:56 Finished compiler/backend/semantics                            1m13s   2GB
Sep 01 23:08:56 Starting compiler/backend/reg_alloc/proofs
Sep 01 23:08:58 Finished compiler/backend/reg_alloc/proofs                        1s  27MB
Sep 01 23:08:58 Starting compiler/backend/proofs
Sep 01 23:09:59 Finished compiler/backend/proofs                               1m00s   3GB
Sep 01 23:09:59 Starting compiler/backend/serialiser
Sep 01 23:10:02 Finished compiler/backend/serialiser                              2s  40MB
Sep 01 23:10:02 Starting compiler/encoders/x64/proofs
Sep 01 23:19:49 Finished compiler/encoders/x64/proofs                          9m46s   6GB
Sep 01 23:19:49 Starting compiler/encoders/arm7/proofs
Sep 01 23:33:39 Finished compiler/encoders/arm7/proofs                        13m50s   4GB
Sep 01 23:33:40 Starting compiler/encoders/arm8/proofs
Sep 01 23:40:39 Finished compiler/encoders/arm8/proofs                         6m58s   1GB
Sep 01 23:40:39 Starting compiler/encoders/arm8_asl/proofs
Sep 02 00:33:03 Finished compiler/encoders/arm8_asl/proofs                    52m21s   6GB
Sep 02 00:33:03 Starting compiler/encoders/mips/proofs
Sep 02 00:43:44 Finished compiler/encoders/mips/proofs                        10m41s   2GB
Sep 02 00:43:44 Starting compiler/encoders/riscv/proofs
Sep 02 00:52:28 Finished compiler/encoders/riscv/proofs                        8m43s   2GB
Sep 02 00:52:28 Starting compiler/encoders/ag32/proofs
Sep 02 00:55:04 Finished compiler/encoders/ag32/proofs                         2m36s   1GB
Sep 02 00:55:04 Starting compiler/backend/x64/proofs
Sep 02 00:55:35 Finished compiler/backend/x64/proofs                             30s   2GB
Sep 02 00:55:35 Starting compiler/backend/arm7/proofs
Sep 02 00:56:07 Finished compiler/backend/arm7/proofs                            32s   1GB
Sep 02 00:56:08 Starting compiler/backend/arm8/proofs
Sep 02 00:56:39 Finished compiler/backend/arm8/proofs                            30s   1GB
Sep 02 00:56:39 Starting compiler/backend/arm8_asl
Sep 02 00:57:01 Finished compiler/backend/arm8_asl                               22s   1GB
Sep 02 00:57:01 Starting compiler/backend/mips/proofs
Sep 02 00:57:34 Finished compiler/backend/mips/proofs                            33s   2GB
Sep 02 00:57:34 Starting compiler/backend/riscv/proofs
Sep 02 00:58:07 Finished compiler/backend/riscv/proofs                           32s   1GB
Sep 02 00:58:07 Starting compiler/backend/ag32/proofs
Sep 02 01:11:57 Finished compiler/backend/ag32/proofs                         13m49s   2GB
Sep 02 01:11:57 Starting candle/set-theory
Sep 02 01:12:34 Finished candle/set-theory                                       37s   1GB
Sep 02 01:12:34 Starting candle/syntax-lib
Sep 02 01:12:36 Finished candle/syntax-lib                                        1s  27MB
Sep 02 01:12:36 Starting candle/standard/syntax
Sep 02 01:12:47 Finished candle/standard/syntax                                  10s 865MB
Sep 02 01:12:47 Starting candle/standard/semantics
Sep 02 01:14:45 Finished candle/standard/semantics                             1m58s   1GB
Sep 02 01:14:45 Starting candle/standard/monadic
Sep 02 01:14:47 Finished candle/standard/monadic                                  1s  22MB
Sep 02 01:14:47 Starting candle/standard/ml_kernel
Sep 02 01:16:25 Finished candle/standard/ml_kernel                             1m37s   3GB
Sep 02 01:16:25 Starting candle/overloading/syntax
Sep 02 01:19:49 Finished candle/overloading/syntax                             3m23s   1GB
Sep 02 01:19:49 Starting candle/overloading/semantics
Sep 02 01:32:22 Finished candle/overloading/semantics                         12m32s   2GB
Sep 02 01:32:22 Starting candle/overloading/monadic
Sep 02 01:35:13 Finished candle/overloading/monadic                            2m44s   1GB
Sep 02 01:35:13 Starting candle/overloading/ml_kernel
Sep 02 01:43:18 Finished candle/overloading/ml_kernel                          8m04s   3GB
Sep 02 01:43:18 Starting candle/overloading/ml_checker
Sep 02 01:45:52 Finished candle/overloading/ml_checker                         2m33s   3GB
Sep 02 01:45:52 Starting candle/prover
Sep 02 01:55:52 Finished candle/prover                                         9m59s   3GB
Sep 02 01:55:52 Starting pancake
Sep 02 01:56:37 Finished pancake                                                 44s   1GB
Sep 02 01:56:37 Starting pancake/ffi
Sep 02 01:56:37 Finished pancake/ffi                                              0s  13MB
Sep 02 01:56:37 Starting pancake/semantics
Sep 02 01:59:06 Finished pancake/semantics                                     2m28s   1GB
Sep 02 01:59:06 Starting pancake/parser
Sep 02 01:59:28 Finished pancake/parser                                          21s 961MB
Sep 02 01:59:28 Starting pancake/proofs
Sep 02 02:33:03 Finished pancake/proofs                                       33m35s   5GB
Sep 02 02:33:04 Starting characteristic/examples
Sep 02 02:34:50 Finished characteristic/examples                               1m46s   2GB
Sep 02 02:34:50 Starting tutorial/solutions
Sep 02 02:49:45 Finished tutorial/solutions                                   14m54s  10GB
Sep 02 02:49:45 Starting translator/monadic/examples
Sep 02 02:53:49 Finished translator/monadic/examples                           4m03s   2GB
Sep 02 02:53:49 Starting examples
Sep 02 03:10:30 Finished examples                                             16m40s   4GB
Sep 02 03:10:30 Starting examples/compilation/x64
Sep 02 05:09:20 Finished examples/compilation/x64                           1h58m49s  21GB
Sep 02 05:09:20 Starting examples/compilation/x64/proofs
Sep 02 05:11:58 Finished examples/compilation/x64/proofs                       2m37s   4GB
Sep 02 05:11:58 Starting examples/compilation/ag32
Sep 02 05:42:15 Finished examples/compilation/ag32                            30m17s   6GB
Sep 02 05:42:15 Starting examples/compilation/ag32/proofs
Sep 02 05:43:18 Finished examples/compilation/ag32/proofs                      1m02s   4GB
Sep 02 05:43:18 Starting examples/compilation/to_word
Sep 02 05:46:39 Finished examples/compilation/to_word                          3m21s   7GB
Sep 02 05:46:39 Starting examples/lpr_checker
Sep 02 05:47:45 Finished examples/lpr_checker                                  1m05s   1GB
Sep 02 05:47:45 Starting examples/lpr_checker/array
Sep 02 06:24:39 Finished examples/lpr_checker/array                           36m52s   8GB
Sep 02 06:24:39 Starting examples/lpr_checker/array/compilation
Sep 02 07:16:32 Finished examples/lpr_checker/array/compilation               51m52s  32GB
Sep 02 07:16:32 Starting examples/lpr_checker/array/compilation/proofs
Sep 02 07:18:32 Finished examples/lpr_checker/array/compilation/proofs         2m00s   3GB
Sep 02 07:18:32 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 02 07:24:13 Finished examples/lpr_checker/array/compilation/proofsARM8     5m40s  21GB
Sep 02 07:24:13 Starting examples/opentheory
Sep 02 07:35:10 Finished examples/opentheory                                  10m53s   4GB
Sep 02 07:35:11 Starting examples/opentheory
Sep 02 07:35:13 Finished examples/opentheory                                      1s  23MB
Sep 02 07:35:13 Starting examples/opentheory/compilation
Sep 02 08:12:15 Finished examples/opentheory/compilation                      37m01s  27GB
Sep 02 08:12:15 Starting examples/opentheory/compilation/proofs
Sep 02 08:13:20 Finished examples/opentheory/compilation/proofs                1m04s   4GB
Sep 02 08:13:21 Starting examples/opentheory/compilation/ag32
Sep 02 08:46:36 Finished examples/opentheory/compilation/ag32                 33m13s  37GB
Sep 02 08:46:36 Starting examples/opentheory/compilation/ag32/proofs
Sep 02 08:48:33 Finished examples/opentheory/compilation/ag32/proofs           1m56s   9GB
Sep 02 08:48:33 Starting examples/sat_encodings
Sep 02 08:50:36 Finished examples/sat_encodings                                2m02s 881MB
Sep 02 08:50:36 Starting examples/sat_encodings/case_studies
Sep 02 08:52:23 Finished examples/sat_encodings/case_studies                   1m46s   1GB
Sep 02 08:52:23 Starting examples/sat_encodings/translation
Sep 02 08:58:26 Finished examples/sat_encodings/translation                    6m03s   3GB
Sep 02 08:58:26 Starting examples/sat_encodings/translation/compilation
Sep 02 09:44:22 Finished examples/sat_encodings/translation/compilation       45m55s  22GB
Sep 02 09:44:22 Starting examples/deflate
Sep 02 09:45:23 Finished examples/deflate                                      1m00s   1GB
Sep 02 09:45:23 Starting examples/deflate/translation
Sep 02 09:47:09 Finished examples/deflate/translation                          1m43s   3GB
Sep 02 09:47:11 Starting examples/deflate/translation/compilation
Sep 02 10:07:19 Finished examples/deflate/translation/compilation             20m08s  13GB
Sep 02 10:07:19 Starting examples/vipr
Sep 02 10:11:33 Finished examples/vipr                                         4m13s   4GB
Sep 02 10:11:33 Starting examples/vipr/compilation
Sep 02 10:32:51 Finished examples/vipr/compilation                            21m17s  17GB
Sep 02 10:32:51 Starting translator/okasaki-examples
Sep 02 10:38:03 Finished translator/okasaki-examples                           5m11s   2GB
Sep 02 10:38:03 Starting translator/other-examples
Sep 02 10:40:47 Finished translator/other-examples                             2m43s   1GB
Sep 02 10:40:47 Starting compiler/parsing/tests
Sep 02 10:41:19 Finished compiler/parsing/tests                                  31s   1GB
Sep 02 10:41:19 Starting compiler/inference/tests
Sep 02 10:49:43 Finished compiler/inference/tests                              8m23s   5GB
Sep 02 10:49:43 Starting compiler/printing/test
Sep 02 10:53:42 Finished compiler/printing/test                                3m58s   3GB
Sep 02 10:53:42 Starting icing/flover
Sep 02 11:37:06 Finished icing/flover                                         43m23s   2GB
Sep 02 11:37:06 Starting icing/
Sep 02 12:32:51 Finished icing/                                               55m43s   8GB
Sep 02 12:32:51 Starting icing/examples
Sep 02 12:34:26 Finished icing/examples                                        1m35s   6GB
Sep 02 12:34:26 Starting compiler/repl
Sep 02 12:43:06 Finished compiler/repl                                         8m39s   5GB
Sep 02 12:43:06 Starting unverified/sexpr-bootstrap/x64/64
Sep 02 12:56:34 Finished unverified/sexpr-bootstrap/x64/64                    13m23s  17GB
Sep 02 12:56:34 Starting unverified/sexpr-bootstrap/x64/32
Sep 02 13:07:36 Finished unverified/sexpr-bootstrap/x64/32                    10m58s  13GB
Sep 02 13:07:36 Starting compiler/benchmarks
Sep 02 13:22:55 Finished compiler/benchmarks                                  15m18s   2GB
Sep 02 13:22:55 Starting compiler/bootstrap/compilation/x64/64
Sep 03 01:30:02 Finished compiler/bootstrap/compilation/x64/64             12h07m04s  64GB
Sep 03 01:30:03 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 03 01:50:29 Finished compiler/bootstrap/compilation/x64/64/proofs         20m26s  31GB
Sep 03 01:50:29 Starting compiler/bootstrap/compilation/x64/32
Sep 03 08:58:02 Finished compiler/bootstrap/compilation/x64/32              7h07m31s  64GB
Sep 03 08:58:02 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 03 09:01:14 Finished compiler/bootstrap/compilation/x64/32/proofs          3m11s  20GB
Sep 03 09:01:14 Starting compiler/bootstrap/compilation/ag32/32
Sep 03 16:19:31 Finished compiler/bootstrap/compilation/ag32/32             7h18m15s  64GB
Sep 03 16:19:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 03 16:26:26 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m55s  28GB
Sep 03 16:26:26 SUCCESS