CakeML Regression Test

Job 1377

CakeML:bc1d24030a96270694c72cff1c37f656c1e85a9f
  Disambiguate some terms [Oct 16 13:02:29]
HOL:6c2b347359d14514e88c56ae31d4cf5bff5a5e58
  Merge remote-tracking branch 'origin/develop' into thibault-wip [Oct 19 09:13:50]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Oct 21 12:39:46 Claimed job
Oct 21 12:39:54 Building HOL
Oct 21 12:58:57 Starting developers
Oct 21 12:59:00 Finished developers                                               3s 112MB
Oct 21 12:59:00 Starting developers/bin
Oct 21 12:59:09 Finished developers/bin                                           8s   1GB
Oct 21 12:59:09 Starting semantics/ffi
Oct 21 12:59:25 Finished semantics/ffi                                           15s 307MB
Oct 21 12:59:25 Starting semantics
Oct 21 13:01:56 Finished semantics                                             2m30s   1GB
Oct 21 13:01:56 Starting semantics/proofs
Oct 21 13:06:53 Finished semantics/proofs                                      4m56s   3GB
Oct 21 13:06:53 Starting semantics/alt_semantics
Oct 21 13:07:05 Finished semantics/alt_semantics                                 11s 406MB
Oct 21 13:07:05 Starting semantics/alt_semantics/proofs
Oct 21 13:10:10 Finished semantics/alt_semantics/proofs                        3m05s   1GB
Oct 21 13:10:11 Starting basis/pure
Oct 21 13:14:12 Finished basis/pure                                            4m01s   1GB
Oct 21 13:14:12 Starting translator
Oct 21 13:18:21 Finished translator                                            4m08s   2GB
Oct 21 13:18:22 Starting compiler/parsing
Oct 21 13:20:38 Finished compiler/parsing                                      2m15s   3GB
Oct 21 13:20:38 Starting characteristic
Oct 21 13:28:17 Finished characteristic                                        7m38s   2GB
Oct 21 13:28:17 Starting translator/monadic
Oct 21 13:30:13 Finished translator/monadic                                    1m56s   1GB
Oct 21 13:30:14 Starting basis
Oct 21 14:03:55 Finished basis                                                33m41s  36GB
Oct 21 14:03:55 Starting compiler/inference
Oct 21 14:05:03 Finished compiler/inference                                    1m07s   2GB
Oct 21 14:05:03 Starting compiler/backend/reg_alloc
Oct 21 14:06:07 Finished compiler/backend/reg_alloc                            1m04s   1GB
Oct 21 14:06:08 Starting compiler/backend/gc
Oct 21 14:09:36 Finished compiler/backend/gc                                   3m28s   3GB
Oct 21 14:09:37 Starting compiler/backend
Oct 21 14:14:24 Finished compiler/backend                                      4m46s   4GB
Oct 21 14:14:24 Starting compiler/encoders/asm
Oct 21 14:14:45 Finished compiler/encoders/asm                                   21s   1GB
Oct 21 14:14:45 Starting compiler/encoders/x64
Oct 21 14:15:47 Finished compiler/encoders/x64                                 1m00s   1GB
Oct 21 14:15:47 Starting compiler/encoders/arm7
Oct 21 14:17:42 Finished compiler/encoders/arm7                                1m55s   1GB
Oct 21 14:17:42 Starting compiler/encoders/arm8
Oct 21 14:18:20 Finished compiler/encoders/arm8                                  37s   1GB
Oct 21 14:18:20 Starting compiler/encoders/mips
Oct 21 14:19:36 Finished compiler/encoders/mips                                1m15s   1GB
Oct 21 14:19:36 Starting compiler/encoders/riscv
Oct 21 14:21:04 Finished compiler/encoders/riscv                               1m27s   1GB
Oct 21 14:21:04 Starting compiler/encoders/ag32
Oct 21 14:21:23 Finished compiler/encoders/ag32                                  18s 914MB
Oct 21 14:21:23 Starting compiler/backend/x64
Oct 21 14:21:42 Finished compiler/backend/x64                                    18s   1GB
Oct 21 14:21:42 Starting compiler/backend/arm7
Oct 21 14:22:03 Finished compiler/backend/arm7                                   20s   1GB
Oct 21 14:22:03 Starting compiler/backend/arm8
Oct 21 14:22:22 Finished compiler/backend/arm8                                   18s   1GB
Oct 21 14:22:22 Starting compiler/backend/mips
Oct 21 14:22:41 Finished compiler/backend/mips                                   19s   1GB
Oct 21 14:22:42 Starting compiler/backend/riscv
Oct 21 14:23:01 Finished compiler/backend/riscv                                  19s   1GB
Oct 21 14:23:02 Starting compiler/backend/ag32
Oct 21 14:24:10 Finished compiler/backend/ag32                                 1m08s   3GB
Oct 21 14:24:11 Starting compiler/parsing/proofs
Oct 21 14:29:38 Finished compiler/parsing/proofs                               5m27s   1GB
Oct 21 14:29:38 Starting compiler/inference/proofs
Oct 21 14:32:04 Finished compiler/inference/proofs                             2m25s   2GB
Oct 21 14:32:04 Starting compiler/backend/semantics
Oct 21 14:57:43 Finished compiler/backend/semantics                           25m39s   5GB
Oct 21 14:57:43 Starting compiler/backend/reg_alloc/proofs
Oct 21 15:00:59 Finished compiler/backend/reg_alloc/proofs                     3m15s   1GB
Oct 21 15:00:59 Starting compiler/backend/proofs
Oct 21 15:53:31 Finished compiler/backend/proofs                              52m32s  18GB
Oct 21 15:53:31 Starting compiler/encoders/x64/proofs
Oct 21 16:03:06 Finished compiler/encoders/x64/proofs                          9m34s   4GB
Oct 21 16:03:06 Starting compiler/encoders/arm7/proofs
Oct 21 16:15:37 Finished compiler/encoders/arm7/proofs                        12m31s   4GB
Oct 21 16:15:37 Starting compiler/encoders/arm8/proofs
Oct 21 16:22:03 Finished compiler/encoders/arm8/proofs                         6m25s   3GB
Oct 21 16:22:03 Starting compiler/encoders/mips/proofs
Oct 21 16:32:01 Finished compiler/encoders/mips/proofs                         9m57s   5GB
Oct 21 16:32:01 Starting compiler/encoders/riscv/proofs
Oct 21 16:40:27 Finished compiler/encoders/riscv/proofs                        8m25s   3GB
Oct 21 16:40:27 Starting compiler/encoders/ag32/proofs
Oct 21 16:42:48 Finished compiler/encoders/ag32/proofs                         2m20s   2GB
Oct 21 16:42:48 Starting compiler/backend/x64/proofs
Oct 21 16:43:08 Finished compiler/backend/x64/proofs                             19s   1GB
Oct 21 16:43:08 Starting compiler/backend/arm7/proofs
Oct 21 16:43:29 Finished compiler/backend/arm7/proofs                            21s   1GB
Oct 21 16:43:29 Starting compiler/backend/arm8/proofs
Oct 21 16:43:48 Finished compiler/backend/arm8/proofs                            18s   1GB
Oct 21 16:43:48 Starting compiler/backend/mips/proofs
Oct 21 16:44:08 Finished compiler/backend/mips/proofs                            19s   1GB
Oct 21 16:44:08 Starting compiler/backend/riscv/proofs
Oct 21 16:44:30 Finished compiler/backend/riscv/proofs                           21s   1GB
Oct 21 16:44:30 Starting compiler/backend/ag32/proofs
Oct 21 16:56:27 Finished compiler/backend/ag32/proofs                         11m56s   4GB
Oct 21 16:56:27 Starting compiler/proofs
Oct 21 16:58:16 Finished compiler/proofs                                       1m49s   5GB
Oct 21 16:58:16 Starting candle/set-theory
Oct 21 16:58:46 Finished candle/set-theory                                       29s   1GB
Oct 21 16:58:46 Starting candle/syntax-lib
Oct 21 16:58:58 Finished candle/syntax-lib                                       11s 782MB
Oct 21 16:58:58 Starting candle/standard/syntax
Oct 21 17:00:47 Finished candle/standard/syntax                                1m48s   1GB
Oct 21 17:00:47 Starting candle/standard/semantics
Oct 21 17:02:33 Finished candle/standard/semantics                             1m45s   2GB
Oct 21 17:02:33 Starting candle/standard/monadic
Oct 21 17:04:13 Finished candle/standard/monadic                               1m39s   1GB
Oct 21 17:04:13 Starting candle/standard/ml_kernel
Oct 21 17:09:22 Finished candle/standard/ml_kernel                             5m09s  10GB
Oct 21 17:09:23 Starting candle/overloading/syntax
Oct 21 17:12:28 Finished candle/overloading/syntax                             3m04s   1GB
Oct 21 17:12:28 Starting candle/overloading/semantics
Oct 21 17:24:19 Finished candle/overloading/semantics                         11m51s   7GB
Oct 21 17:24:19 Starting characteristic/examples
Oct 21 17:25:35 Finished characteristic/examples                               1m15s   4GB
Oct 21 17:25:35 Starting tutorial/solutions
Oct 22 08:04:32 Resuming tutorial/solutions