CakeML Regression Test

Job 3141

CakeML:cfbbc19ad4cf304761270d66a4f73b90af1db24a
  fix divScript [Jan 15 01:13:46]
#1304 (mcandidate-fix)
Merging into:680922ba96c3158bcdb7f7becd76a1976dbcbe16
  Use mlstring in ast and related theories (#1298) [Jan 13 07:21:12]
HOL:46bd0daad63c7845609fb7d2a6773e52478faaaf
  An update for change to MOD (and a new theorem too) [Jan 14 18:51:29]
Machine:timtam

Jan 15 02:30:46 Claimed job
Jan 15 02:30:49 Reusing HOL
Jan 15 02:30:58 Starting developers
Jan 15 02:31:03 Finished developers                                               4s 107MB
Jan 15 02:31:04 Starting developers/bin
Jan 15 02:31:07 Finished developers/bin                                           3s  91MB
Jan 15 02:31:08 Starting misc
Jan 15 02:31:48 Finished misc                                                    39s   1GB
Jan 15 02:31:49 Starting compiler/proofs
Jan 15 03:34:48 Finished compiler/proofs                                    1h02m57s  12GB
Jan 15 03:34:48 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 15 09:41:55 Finished compiler/bootstrap/compilation/x64/64/proofs       6h07m05s  61GB
Jan 15 09:41:56 Starting semantics/ffi
Jan 15 09:42:07 Finished semantics/ffi                                           10s 532MB
Jan 15 09:42:08 Starting semantics
Jan 15 09:42:10 Finished semantics                                                1s  95MB
Jan 15 09:42:11 Starting semantics/proofs
Jan 15 09:42:34 Finished semantics/proofs                                        22s   1GB
Jan 15 09:42:35 Starting semantics/alt_semantics
Jan 15 09:42:56 Finished semantics/alt_semantics                                 19s 632MB
Jan 15 09:42:57 Starting semantics/alt_semantics/proofs
Jan 15 09:47:01 Finished semantics/alt_semantics/proofs                        4m03s   2GB
Jan 15 09:47:01 Starting basis/pure
Jan 15 09:47:03 Finished basis/pure                                               0s  84MB
Jan 15 09:47:04 Starting translator
Jan 15 09:48:08 Finished translator                                            1m03s   3GB
Jan 15 09:48:09 Starting compiler/parsing
Jan 15 09:48:11 Finished compiler/parsing                                         1s  98MB
Jan 15 09:48:12 Starting characteristic
Jan 15 09:48:14 Finished characteristic                                           1s 110MB
Jan 15 09:48:15 Starting translator/monadic
Jan 15 09:48:17 Finished translator/monadic                                       1s 124MB
Jan 15 09:48:18 Starting translator/monadic/monad_base
Jan 15 09:48:20 Finished translator/monadic/monad_base                            0s  92MB
Jan 15 09:48:21 Starting profiler
Jan 15 09:48:52 Finished profiler                                                29s   1GB
Jan 15 09:48:52 Starting basis
Jan 15 09:50:30 Finished basis                                                 1m36s   4GB
Jan 15 09:50:31 Starting compiler
Jan 15 09:50:34 Finished compiler                                                 2s 223MB
Jan 15 09:50:35 Starting compiler/inference
Jan 15 09:50:37 Finished compiler/inference                                       1s 110MB
Jan 15 09:50:38 Starting compiler/backend/reg_alloc
Jan 15 09:50:40 Finished compiler/backend/reg_alloc                               1s  94MB
Jan 15 09:50:41 Starting compiler/backend/gc
Jan 15 09:50:43 Finished compiler/backend/gc                                      1s 140MB
Jan 15 09:50:44 Starting compiler/backend
Jan 15 09:50:50 Finished compiler/backend                                         5s 288MB
Jan 15 09:50:51 Starting compiler/encoders/asm
Jan 15 09:50:53 Finished compiler/encoders/asm                                    1s 107MB
Jan 15 09:50:54 Starting compiler/encoders/x64
Jan 15 09:50:56 Finished compiler/encoders/x64                                    1s 108MB
Jan 15 09:50:56 Starting compiler/encoders/arm7
Jan 15 09:50:58 Finished compiler/encoders/arm7                                   1s 106MB
Jan 15 09:50:59 Starting compiler/encoders/arm8
Jan 15 09:51:01 Finished compiler/encoders/arm8                                   1s 108MB
Jan 15 09:51:02 Starting compiler/encoders/arm8_asl
Jan 15 11:49:41 Finished compiler/encoders/arm8_asl                         1h58m37s  33GB
Jan 15 11:49:41 Starting compiler/encoders/mips
Jan 15 11:49:43 Finished compiler/encoders/mips                                   1s 108MB
Jan 15 11:49:44 Starting compiler/encoders/riscv
Jan 15 11:49:46 Finished compiler/encoders/riscv                                  1s 107MB
Jan 15 11:49:47 Starting compiler/encoders/ag32
Jan 15 11:49:49 Finished compiler/encoders/ag32                                   1s 106MB
Jan 15 11:49:50 Starting compiler/encoders/tests
Jan 15 11:49:52 Finished compiler/encoders/tests                                  1s 138MB
Jan 15 11:49:53 Starting compiler/encoders/monadic_enc
Jan 15 11:50:17 Finished compiler/encoders/monadic_enc                           22s   1GB
Jan 15 11:50:18 Starting compiler/backend/x64
Jan 15 11:50:20 Finished compiler/backend/x64                                     1s 141MB
Jan 15 11:50:21 Starting compiler/backend/arm7
Jan 15 11:50:23 Finished compiler/backend/arm7                                    1s 144MB
Jan 15 11:50:24 Starting compiler/backend/arm8
Jan 15 11:50:27 Finished compiler/backend/arm8                                    1s 144MB
Jan 15 11:50:27 Starting compiler/backend/mips
Jan 15 11:50:30 Finished compiler/backend/mips                                    1s 142MB
Jan 15 11:50:31 Starting compiler/backend/riscv
Jan 15 11:50:33 Finished compiler/backend/riscv                                   1s 144MB
Jan 15 11:50:34 Starting compiler/backend/ag32
Jan 15 11:51:34 Finished compiler/backend/ag32                                   58s   2GB
Jan 15 11:51:34 Starting compiler/backend/pattern_matching
Jan 15 11:51:36 Finished compiler/backend/pattern_matching                        1s  88MB
Jan 15 11:51:37 Starting compiler/parsing/ocaml
Jan 15 11:53:25 Finished compiler/parsing/ocaml                                1m46s   1GB
Jan 15 11:53:25 Starting compiler/printing
Jan 15 11:53:28 Finished compiler/printing                                        1s 121MB
Jan 15 11:53:28 Starting compiler/parsing/proofs
Jan 15 11:53:30 Finished compiler/parsing/proofs                                  1s  98MB
Jan 15 11:53:31 Starting compiler/inference/proofs
Jan 15 11:53:34 Finished compiler/inference/proofs                                1s 115MB
Jan 15 11:53:34 Starting compiler/backend/semantics
Jan 15 11:55:40 Finished compiler/backend/semantics                            2m05s   3GB
Jan 15 11:55:41 Starting compiler/backend/reg_alloc/proofs
Jan 15 11:55:44 Finished compiler/backend/reg_alloc/proofs                        1s 126MB
Jan 15 11:55:44 Starting compiler/backend/proofs
Jan 15 11:56:27 Finished compiler/backend/proofs                                 41s   3GB
Jan 15 11:56:27 Starting compiler/backend/serialiser
Jan 15 11:56:30 Finished compiler/backend/serialiser                              1s 146MB
Jan 15 11:56:31 Starting compiler/encoders/x64/proofs
Jan 15 11:56:33 Finished compiler/encoders/x64/proofs                             1s 113MB
Jan 15 11:56:34 Starting compiler/encoders/arm7/proofs
Jan 15 12:07:36 Finished compiler/encoders/arm7/proofs                        11m01s  12GB
Jan 15 12:07:37 Starting compiler/encoders/arm8/proofs
Jan 15 12:14:24 Finished compiler/encoders/arm8/proofs                         6m46s   5GB
Jan 15 12:14:25 Starting compiler/encoders/arm8_asl/proofs
Jan 15 13:04:02 Finished compiler/encoders/arm8_asl/proofs                    49m36s  20GB
Jan 15 13:04:03 Starting compiler/encoders/mips/proofs
Jan 15 13:12:57 Finished compiler/encoders/mips/proofs                         8m53s   8GB
Jan 15 13:12:58 Starting compiler/encoders/riscv/proofs
Jan 15 13:20:33 Finished compiler/encoders/riscv/proofs                        7m33s   4GB
Jan 15 13:20:34 Starting compiler/encoders/ag32/proofs
Jan 15 13:23:11 Finished compiler/encoders/ag32/proofs                         2m36s   2GB
Jan 15 13:23:12 Starting compiler/backend/x64/proofs
Jan 15 13:23:16 Finished compiler/backend/x64/proofs                              2s 210MB
Jan 15 13:23:16 Starting compiler/backend/arm7/proofs
Jan 15 13:23:55 Finished compiler/backend/arm7/proofs                            37s   2GB
Jan 15 13:23:56 Starting compiler/backend/arm8/proofs
Jan 15 13:24:31 Finished compiler/backend/arm8/proofs                            34s   2GB
Jan 15 13:24:32 Starting compiler/backend/arm8_asl
Jan 15 13:24:58 Finished compiler/backend/arm8_asl                               24s   2GB
Jan 15 13:24:59 Starting compiler/backend/mips/proofs
Jan 15 13:25:35 Finished compiler/backend/mips/proofs                            35s   1GB
Jan 15 13:25:36 Starting compiler/backend/riscv/proofs
Jan 15 13:26:15 Finished compiler/backend/riscv/proofs                           37s   2GB
Jan 15 13:26:15 Starting compiler/backend/ag32/proofs
Jan 15 13:37:20 Finished compiler/backend/ag32/proofs                         11m03s   5GB
Jan 15 13:37:21 Starting compiler/backend/cv_compute
Jan 15 13:37:49 Finished compiler/backend/cv_compute                             27s   1GB
Jan 15 13:37:50 Starting cv_translator
Jan 15 13:42:58 Finished cv_translator                                         5m07s   5GB
Jan 15 13:42:59 Starting candle
Jan 15 13:43:00 Finished candle                                                   0s  18MB
Jan 15 13:43:01 Starting candle/set-theory
Jan 15 13:43:31 Finished candle/set-theory                                       28s 923MB
Jan 15 13:43:32 Starting candle/syntax-lib
Jan 15 13:43:33 Finished candle/syntax-lib                                        0s  91MB
Jan 15 13:43:34 Starting candle/standard
Jan 15 13:43:35 Finished candle/standard                                          0s  18MB
Jan 15 13:43:36 Starting candle/standard/syntax
Jan 15 13:43:51 Finished candle/standard/syntax                                  13s 757MB
Jan 15 13:43:52 Starting candle/standard/semantics Jan 15 13:43:52 119s