Job 1964

CakeML:971151a653e5a0c840aedc3747ca44c56a19300c
  Merge pull request #895 from CakeML/issue894 [Jul 13 08:19:06]
HOL:a578cad744387d69eab334f1d15323a140b5ba64
  Demonstrate how to EVAL floating point arithmetic in selftest [Jul 18 01:48:09]
Machine:oven3
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jul 24 11:00:18 Claimed job
Jul 24 11:00:21 Building HOL
Jul 24 11:23:35 Starting developers
Jul 24 11:23:44 Finished developers                                               8s 131MB
Jul 24 11:23:44 Starting developers/bin
Jul 24 11:23:56 Finished developers/bin                                          11s   1GB
Jul 24 11:23:56 Starting semantics/ffi
Jul 24 11:24:21 Finished semantics/ffi                                           24s 259MB
Jul 24 11:24:21 Starting semantics
Jul 24 11:29:45 Finished semantics                                             5m23s   1GB
Jul 24 11:29:45 Starting semantics/proofs
Jul 24 11:45:44 Finished semantics/proofs                                     15m58s   1GB
Jul 24 11:45:44 Starting semantics/alt_semantics
Jul 24 11:46:44 Finished semantics/alt_semantics                                 59s 564MB
Jul 24 11:46:45 Starting semantics/alt_semantics/proofs
Jul 24 12:12:35 Finished semantics/alt_semantics/proofs                       25m50s   1GB
Jul 24 12:12:36 Starting basis/pure
Jul 24 12:20:16 Finished basis/pure                                            7m39s 928MB
Jul 24 12:20:16 Starting translator
Jul 24 12:28:25 Finished translator                                            8m09s   1GB
Jul 24 12:28:26 Starting compiler/parsing
Jul 24 12:31:32 Finished compiler/parsing                                      3m06s   3GB
Jul 24 12:31:32 Starting characteristic
Jul 24 12:46:25 Finished characteristic                                       14m52s   2GB
Jul 24 12:46:26 Starting translator/monadic
Jul 24 12:50:45 Finished translator/monadic                                    4m18s   1GB
Jul 24 12:50:45 Starting basis
Jul 24 14:46:17 Finished basis                                              1h55m32s  21GB
Jul 24 14:46:18 Starting compiler/inference
Jul 24 14:49:51 Finished compiler/inference                                    3m33s   1GB
Jul 24 14:49:51 Starting compiler/backend/reg_alloc
Jul 24 14:53:06 Finished compiler/backend/reg_alloc                            3m14s   1GB
Jul 24 14:53:07 Starting compiler/backend/gc
Jul 24 15:01:51 Finished compiler/backend/gc                                   8m44s   2GB
Jul 24 15:01:52 Starting compiler/backend
Jul 24 15:14:05 Finished compiler/backend                                     12m12s   3GB
Jul 24 15:14:05 Starting compiler/encoders/asm
Jul 24 15:15:11 Finished compiler/encoders/asm                                 1m06s 754MB
Jul 24 15:15:12 Starting compiler/encoders/x64
Jul 24 15:17:44 Finished compiler/encoders/x64                                 2m31s 717MB
Jul 24 15:17:44 Starting compiler/encoders/arm7
Jul 24 15:22:43 Finished compiler/encoders/arm7                                4m58s   1GB
Jul 24 15:22:43 Starting compiler/encoders/arm8
Jul 24 15:24:14 Finished compiler/encoders/arm8                                1m30s 714MB
Jul 24 15:24:14 Starting compiler/encoders/arm8_asl
Jul 24 19:47:10 Finished compiler/encoders/arm8_asl                         4h22m55s  34GB
Jul 24 19:47:11 Starting compiler/encoders/mips
Jul 24 19:50:37 Finished compiler/encoders/mips                                3m26s   1GB
Jul 24 19:50:37 Starting compiler/encoders/riscv
Jul 24 19:54:34 Finished compiler/encoders/riscv                               3m56s   1GB
Jul 24 19:54:34 Starting compiler/encoders/ag32
Jul 24 19:55:23 Finished compiler/encoders/ag32                                  47s 913MB
Jul 24 19:55:23 Starting compiler/backend/x64
Jul 24 19:56:12 Finished compiler/backend/x64                                    48s   1GB
Jul 24 19:56:12 Starting compiler/backend/arm7
Jul 24 19:57:03 Finished compiler/backend/arm7                                   51s   1GB
Jul 24 19:57:04 Starting compiler/backend/arm8
Jul 24 19:57:51 Finished compiler/backend/arm8                                   46s   1GB
Jul 24 19:57:51 Starting compiler/backend/mips
Jul 24 19:58:43 Finished compiler/backend/mips                                   51s   1GB
Jul 24 19:58:43 Starting compiler/backend/riscv
Jul 24 19:59:33 Finished compiler/backend/riscv                                  49s   1GB
Jul 24 19:59:33 Starting compiler/backend/ag32
Jul 24 20:02:36 Finished compiler/backend/ag32                                 3m02s   1GB
Jul 24 20:02:36 Starting compiler/parsing/proofs
Jul 24 20:11:21 Finished compiler/parsing/proofs                               8m44s   1GB
Jul 24 20:11:21 Starting compiler/inference/proofs
Jul 24 20:17:28 Finished compiler/inference/proofs                             6m06s   1GB
Jul 24 20:17:28 Starting compiler/backend/semantics
Jul 24 21:16:09 Finished compiler/backend/semantics                           58m40s   2GB
Jul 24 21:16:09 Starting compiler/backend/reg_alloc/proofs
Jul 24 21:24:27 Finished compiler/backend/reg_alloc/proofs                     8m17s   1GB
Jul 24 21:24:27 Starting compiler/backend/proofs
Jul 24 23:17:06 Finished compiler/backend/proofs                            1h52m38s  15GB
Jul 24 23:17:06 Starting compiler/backend/serialiser
Jul 24 23:20:36 Finished compiler/backend/serialiser                           3m30s   1GB
Jul 24 23:20:36 Starting compiler/encoders/x64/proofs
Jul 24 23:42:38 Finished compiler/encoders/x64/proofs                         22m01s   5GB
Jul 24 23:42:38 Starting compiler/encoders/arm7/proofs
Jul 25 00:13:35 Finished compiler/encoders/arm7/proofs                        30m56s   4GB
Jul 25 00:13:35 Starting compiler/encoders/arm8/proofs
Jul 25 00:29:58 Finished compiler/encoders/arm8/proofs                        16m22s   1GB
Jul 25 00:29:58 Starting compiler/encoders/arm8_asl/proofs
Jul 25 02:26:34 Finished compiler/encoders/arm8_asl/proofs                  1h56m35s   5GB
Jul 25 02:26:34 Starting compiler/encoders/mips/proofs
Jul 25 02:50:29 Finished compiler/encoders/mips/proofs                        23m54s   2GB
Jul 25 02:50:29 Starting compiler/encoders/riscv/proofs
Jul 25 03:11:06 Finished compiler/encoders/riscv/proofs                       20m36s   1GB
Jul 25 03:11:06 Starting compiler/encoders/ag32/proofs
Jul 25 03:17:09 Finished compiler/encoders/ag32/proofs                         6m02s 915MB
Jul 25 03:17:09 Starting compiler/backend/x64/proofs
Jul 25 03:18:12 Finished compiler/backend/x64/proofs                           1m02s   1GB
Jul 25 03:18:12 Starting compiler/backend/arm7/proofs
Jul 25 03:19:16 Finished compiler/backend/arm7/proofs                          1m03s   1GB
Jul 25 03:19:16 Starting compiler/backend/arm8/proofs
Jul 25 03:20:18 Finished compiler/backend/arm8/proofs                          1m02s   1GB
Jul 25 03:20:19 Starting compiler/backend/arm8_asl
Jul 25 03:21:06 Finished compiler/backend/arm8_asl                               47s   1GB
Jul 25 03:21:06 Starting compiler/backend/mips/proofs
Jul 25 03:22:10 Finished compiler/backend/mips/proofs                          1m03s   1GB
Jul 25 03:22:10 Starting compiler/backend/riscv/proofs
Jul 25 03:23:16 Finished compiler/backend/riscv/proofs                         1m05s   1GB
Jul 25 03:23:17 Starting compiler/backend/ag32/proofs
Jul 25 03:54:04 Finished compiler/backend/ag32/proofs                         30m47s   2GB
Jul 25 03:54:04 Starting compiler/proofs
Jul 25 03:59:23 Finished compiler/proofs                                       5m18s   4GB
Jul 25 03:59:23 Starting candle/set-theory
Jul 25 04:00:33 Finished candle/set-theory                                     1m09s 994MB
Jul 25 04:00:33 Starting candle/syntax-lib
Jul 25 04:01:04 Finished candle/syntax-lib                                       30s 524MB
Jul 25 04:01:04 Starting candle/standard/syntax
Jul 25 04:05:31 Finished candle/standard/syntax                                4m27s 974MB
Jul 25 04:05:31 Starting candle/standard/semantics
Jul 25 04:09:45 Finished candle/standard/semantics                             4m13s   1GB
Jul 25 04:09:45 Starting candle/standard/monadic
Jul 25 04:13:51 Finished candle/standard/monadic                               4m06s   1GB
Jul 25 04:13:52 Starting candle/standard/ml_kernel
Jul 25 04:27:51 Finished candle/standard/ml_kernel                            13m59s   2GB
Jul 25 04:27:51 Starting candle/overloading/syntax
Jul 25 04:34:51 Finished candle/overloading/syntax                             6m59s   1GB
Jul 25 04:34:51 Starting candle/overloading/semantics
Jul 25 05:01:22 Finished candle/overloading/semantics                         26m30s   2GB
Jul 25 05:01:22 Starting candle/overloading/monadic
Jul 25 05:07:13 Finished candle/overloading/monadic                            5m49s   1GB
Jul 25 05:07:13 Starting candle/overloading/ml_kernel
Jul 25 05:22:58 Finished candle/overloading/ml_kernel                         15m45s   3GB
Jul 25 05:22:58 Starting candle/overloading/ml_checker
Jul 25 05:28:30 Finished candle/overloading/ml_checker                         5m31s   3GB
Jul 25 05:28:30 Starting candle/prover
Jul 25 05:53:16 Finished candle/prover                                        24m45s   3GB
Jul 25 05:53:16 Starting pancake
Jul 25 06:01:04 Finished pancake                                               7m48s   3GB
Jul 25 06:01:04 Starting pancake/ffi
Jul 25 06:01:05 Finished pancake/ffi                                              0s  29MB
Jul 25 06:01:06 Starting pancake/semantics
Jul 25 06:06:40 Finished pancake/semantics                                     5m33s   1GB
Jul 25 06:06:40 Starting pancake/proofs
Jul 25 06:33:52 Finished pancake/proofs                                       27m11s   7GB
Jul 25 06:33:52 Starting characteristic/examples
Jul 25 06:36:56 Finished characteristic/examples                               3m04s   2GB
Jul 25 06:36:56 Starting tutorial/solutions
Jul 25 07:12:57 Finished tutorial/solutions                                   36m00s   8GB
Jul 25 07:12:57 Starting translator/monadic/examples
Jul 25 07:20:04 Finished translator/monadic/examples                           7m06s   2GB
Jul 25 07:20:04 Starting examples
Jul 25 07:39:46 Finished examples                                             19m41s   3GB
Jul 25 07:39:46 Starting examples/compilation/x64
Jul 25 12:14:01 Finished examples/compilation/x64                           4h34m14s  17GB
Jul 25 12:14:01 Starting examples/compilation/x64/proofs
Jul 25 12:18:30 Finished examples/compilation/x64/proofs                       4m28s   3GB
Jul 25 12:18:30 Starting examples/compilation/ag32
Jul 25 13:32:48 Finished examples/compilation/ag32                          1h14m18s   8GB
Jul 25 13:32:49 Starting examples/compilation/ag32/proofs
Jul 25 13:34:46 Finished examples/compilation/ag32/proofs                      1m56s   3GB
Jul 25 13:34:46 Starting examples/lpr_checker
Jul 25 13:36:55 Finished examples/lpr_checker                                  2m08s   1GB
Jul 25 13:36:55 Starting examples/lpr_checker/array
Jul 25 14:53:56 Finished examples/lpr_checker/array                         1h17m00s   6GB
Jul 25 14:53:57 Starting examples/lpr_checker/array/compilation
Jul 25 16:15:02 Finished examples/lpr_checker/array/compilation             1h21m04s  39GB
Jul 25 16:15:02 Starting examples/lpr_checker/array/compilation/proofs
Jul 25 16:17:56 Finished examples/lpr_checker/array/compilation/proofs         2m53s   6GB
Jul 25 16:17:56 Starting examples/opentheory
Jul 25 16:41:22 Finished examples/opentheory                                  23m26s   6GB
Jul 25 16:41:23 Starting examples/opentheory
Jul 25 16:41:26 Finished examples/opentheory                                      3s  32MB
Jul 25 16:41:26 Starting examples/opentheory/compilation
Jul 25 18:04:58 Finished examples/opentheory/compilation                    1h23m31s  36GB
Jul 25 18:04:58 Starting examples/opentheory/compilation/proofs
Jul 25 18:06:52 Finished examples/opentheory/compilation/proofs                1m53s   3GB
Jul 25 18:06:52 Starting examples/opentheory/compilation/ag32
Jul 25 19:30:32 Finished examples/opentheory/compilation/ag32               1h23m39s  48GB
Jul 25 19:30:32 Starting examples/opentheory/compilation/ag32/proofs
Jul 25 19:34:27 Finished examples/opentheory/compilation/ag32/proofs           3m54s   6GB
Jul 25 19:34:27 Starting examples/sat_encodings
Jul 25 19:38:51 Finished examples/sat_encodings                                4m23s   1GB
Jul 25 19:38:51 Starting examples/sat_encodings/case_studies
Jul 25 19:42:39 Finished examples/sat_encodings/case_studies                   3m47s   1GB
Jul 25 19:42:39 Starting examples/sat_encodings/translation
Jul 25 19:54:47 Finished examples/sat_encodings/translation                   12m07s   5GB
Jul 25 19:54:48 Starting examples/sat_encodings/translation/compilation
Jul 25 21:20:38 Finished examples/sat_encodings/translation/compilation     1h25m49s  21GB
Jul 25 21:20:38 Starting examples/deflate
Jul 25 21:22:36 Finished examples/deflate                                      1m57s 900MB
Jul 25 21:22:36 Starting examples/deflate/translation
Jul 25 21:25:43 Finished examples/deflate/translation                          3m07s   3GB
Jul 25 21:25:44 Starting examples/deflate/translation/compilation
Jul 25 22:04:46 Finished examples/deflate/translation/compilation             39m02s  14GB
Jul 25 22:04:46 Starting translator/okasaki-examples
Jul 25 22:15:04 Finished translator/okasaki-examples                          10m17s   1GB
Jul 25 22:15:05 Starting translator/other-examples
Jul 25 22:19:49 Finished translator/other-examples                             4m43s   1GB
Jul 25 22:19:49 Starting compiler/parsing/tests
Jul 25 22:20:57 Finished compiler/parsing/tests                                1m08s 574MB
Jul 25 22:20:58 Starting compiler/inference/tests
Jul 25 22:37:51 Finished compiler/inference/tests                             16m53s   3GB
Jul 25 22:37:52 Starting compiler/printing/test
Jul 25 22:45:36 Finished compiler/printing/test                                7m43s   3GB
Jul 25 22:45:36 Starting icing/flover
Jul 26 00:19:01 Finished icing/flover                                       1h33m24s   1GB
Jul 26 00:19:01 Starting icing/
Jul 26 02:34:48 Finished icing/                                             2h15m46s   7GB
Jul 26 02:34:48 Starting icing/examples
Jul 26 02:38:13 Finished icing/examples                                        3m24s   6GB
Jul 26 02:38:13 Starting compiler/repl
Jul 26 03:04:19 Finished compiler/repl                                        26m05s   6GB
Jul 26 03:04:19 Starting compiler/bootstrap/translation
Jul 26 12:38:43 Finished compiler/bootstrap/translation                     9h34m23s  41GB
Jul 26 12:38:43 Starting unverified/sexpr-bootstrap/x64/64
Jul 26 13:00:07 Finished unverified/sexpr-bootstrap/x64/64                    21m23s  11GB
Jul 26 13:00:08 Starting unverified/sexpr-bootstrap/x64/32
Jul 26 13:18:44 Finished unverified/sexpr-bootstrap/x64/32                    18m35s   9GB
Jul 26 13:18:44 Starting compiler/benchmarks
Jul 26 13:18:50 Finished compiler/benchmarks                                      5s  46MB
Jul 26 13:18:50 Starting compiler/bootstrap/compilation/x64/64
Jul 27 15:07:36 Finished compiler/bootstrap/compilation/x64/64             25h48m45s 110GB
Jul 27 15:07:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 27 15:47:55 Finished compiler/bootstrap/compilation/x64/64/proofs         40m18s  17GB
Jul 27 15:47:55 Starting compiler/bootstrap/compilation/x64/32
Jul 28 06:05:50 Finished compiler/bootstrap/compilation/x64/32             14h17m54s 109GB
Jul 28 06:05:50 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 28 06:10:57 Finished compiler/bootstrap/compilation/x64/32/proofs          5m06s  16GB
Jul 28 06:10:58 Starting compiler/bootstrap/compilation/ag32/32
Jul 28 20:01:06 Finished compiler/bootstrap/compilation/ag32/32            13h50m08s  73GB
Jul 28 20:01:07 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 28 20:14:21 Finished compiler/bootstrap/compilation/ag32/32/proofs        13m13s  40GB
Jul 28 20:14:21 SUCCESS