Job 56

CakeML:86e425f90becc1a7b71b911339c8ca4e4f38b807
  Remove is_precond functionality for Eval_{And,Or} [Nov 30 08:02:45]
#394 (translator-shortcircuit-logical)
Merging into:b2d9e31391e56d6e9b7050c344649fd937e3fa11
  Merge pull request #352 from CakeML/arm6_export [Nov 30 07:55:58]
HOL:962f50c154fdb0fa6d960a2b4534ff29de2dfa4e
  Automatically prove "case-eqsplit" theorems and store in TypeBase [Nov 30 05:28:38]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Nov 30 08:05:02 Claimed job
Nov 30 08:05:10 Building HOL
Nov 30 09:36:49 Resuming semantics/ffi
Nov 30 09:37:56 Finished semantics/ffi                                         1m05s 352MB
Nov 30 09:37:58 Starting semantics
Nov 30 09:40:37 Finished semantics                                             2m37s   1GB
Nov 30 09:40:39 Starting semantics/proofs
Nov 30 09:44:08 Finished semantics/proofs                                      3m27s   1GB
Nov 30 09:44:10 Starting basis/pure
Nov 30 09:50:01 Finished basis/pure                                            5m49s 675MB
Nov 30 09:50:03 Starting translator
Nov 30 09:57:07 Finished translator                                            7m01s 989MB
Nov 30 09:57:09 Starting compiler/parsing
Nov 30 09:59:31 Finished compiler/parsing                                      2m20s   2GB
Nov 30 09:59:33 Starting characteristic
Nov 30 10:04:12 Finished characteristic                                        4m37s   1GB
Nov 30 10:04:14 Starting basis
Nov 30 10:30:56 Finished basis                                                26m39s   2GB
Nov 30 10:30:58 Starting translator/monadic
Nov 30 10:34:34 Finished translator/monadic                                    3m33s   1GB
Nov 30 10:34:35 Starting compiler/inference
Nov 30 10:37:20 Finished compiler/inference                                    2m43s   1GB
Nov 30 10:37:22 Starting compiler/backend/reg_alloc
Nov 30 10:38:11 Finished compiler/backend/reg_alloc                              47s 848MB
Nov 30 10:38:13 Starting compiler/backend/gc
Nov 30 10:54:13 Finished compiler/backend/gc                                  15m57s   5GB
Nov 30 10:54:15 Starting compiler/backend
Nov 30 10:54:19 Finished compiler/backend                                         1s  21MB
Nov 30 10:54:21 Starting compiler/encoders/asm
Nov 30 10:54:23 Finished compiler/encoders/asm                                    0s  20MB
Nov 30 10:54:25 Starting compiler/encoders/x64
Nov 30 10:55:36 Finished compiler/encoders/x64                                 1m09s 495MB
Nov 30 10:55:38 Starting compiler/encoders/arm6
Nov 30 10:58:34 Finished compiler/encoders/arm6                                2m53s   1GB
Nov 30 10:58:36 Starting compiler/encoders/arm8
Nov 30 10:59:22 Finished compiler/encoders/arm8                                  44s 445MB
Nov 30 10:59:24 Starting compiler/encoders/mips
Nov 30 11:00:48 Finished compiler/encoders/mips                                1m21s 676MB
Nov 30 11:00:50 Starting compiler/encoders/riscv
Nov 30 11:02:23 Finished compiler/encoders/riscv                               1m30s 471MB
Nov 30 11:02:25 Starting compiler/backend/x64
Nov 30 11:03:08 Finished compiler/backend/x64                                    41s   1GB
Nov 30 11:03:10 Starting compiler/backend/arm6
Nov 30 11:03:55 Finished compiler/backend/arm6                                   43s   1GB
Nov 30 11:03:56 Starting compiler/backend/arm8
Nov 30 11:04:41 Finished compiler/backend/arm8                                   42s   1GB
Nov 30 11:04:43 Starting compiler/backend/mips
Nov 30 11:05:29 Finished compiler/backend/mips                                   44s   1GB
Nov 30 11:05:31 Starting compiler/backend/riscv
Nov 30 11:06:16 Finished compiler/backend/riscv                                  43s   1GB
Nov 30 11:06:18 Starting compiler/parsing/proofs
Nov 30 11:10:46 Finished compiler/parsing/proofs                               4m25s 903MB
Nov 30 11:10:48 Starting compiler/inference/proofs
Nov 30 11:14:59 Finished compiler/inference/proofs                             4m09s   1GB
Nov 30 11:15:01 Starting compiler/backend/semantics
Nov 30 11:33:45 Finished compiler/backend/semantics                           18m42s   4GB
Nov 30 11:33:47 Starting compiler/backend/reg_alloc/proofs
Nov 30 11:35:01 Finished compiler/backend/reg_alloc/proofs                     1m11s 448MB
Nov 30 11:35:03 Starting compiler/backend/proofs
Nov 30 12:42:34 Finished compiler/backend/proofs                            1h07m29s   6GB
Nov 30 12:42:36 Starting compiler/encoders/x64/proofs
Nov 30 12:53:39 Finished compiler/encoders/x64/proofs                         11m00s   1GB
Nov 30 12:53:41 Starting compiler/encoders/arm6/proofs
Nov 30 13:07:09 Finished compiler/encoders/arm6/proofs                        13m26s   3GB
Nov 30 13:07:11 Starting compiler/encoders/arm8/proofs
Nov 30 13:16:23 Finished compiler/encoders/arm8/proofs                         9m09s   1GB
Nov 30 13:16:25 Starting compiler/encoders/mips/proofs
Nov 30 13:29:24 Finished compiler/encoders/mips/proofs                        12m57s   2GB
Nov 30 13:29:26 Starting compiler/encoders/riscv/proofs
Nov 30 13:43:18 Finished compiler/encoders/riscv/proofs                       13m49s 971MB
Nov 30 13:43:20 Starting compiler/backend/x64/proofs
Nov 30 13:44:11 Finished compiler/backend/x64/proofs                             50s   1GB
Nov 30 13:44:13 Starting compiler/backend/arm6/proofs
Nov 30 13:45:12 Finished compiler/backend/arm6/proofs                            56s   1GB
Nov 30 13:45:14 Starting compiler/backend/arm8/proofs
Nov 30 13:46:06 Finished compiler/backend/arm8/proofs                            50s   1GB
Nov 30 13:46:08 Starting compiler/backend/mips/proofs
Nov 30 13:47:04 Finished compiler/backend/mips/proofs                            54s   1GB
Nov 30 13:47:06 Starting compiler/backend/riscv/proofs
Nov 30 13:48:00 Finished compiler/backend/riscv/proofs                           51s   1GB
Nov 30 13:48:02 Starting compiler/proofs
Nov 30 13:50:30 Finished compiler/proofs                                       2m25s   1GB
Nov 30 13:50:31 Starting candle/set-theory
Nov 30 13:52:12 Finished candle/set-theory                                     1m38s 563MB
Nov 30 13:52:14 Starting candle/syntax-lib
Nov 30 13:52:35 Finished candle/syntax-lib                                       19s 553MB
Nov 30 13:52:36 Starting candle/standard/syntax
Nov 30 13:55:28 Finished candle/standard/syntax                                2m49s 920MB
Nov 30 13:55:30 Starting candle/standard/semantics
Nov 30 13:57:53 Finished candle/standard/semantics                             2m21s   1GB
Nov 30 13:57:55 Starting candle/standard/monadic
Nov 30 14:00:33 Finished candle/standard/monadic                               2m36s 975MB
Nov 30 14:00:35 Starting candle/standard/ml_kernel
Nov 30 14:11:44 Finished candle/standard/ml_kernel                            11m06s   2GB
Nov 30 14:11:46 Starting candle/standard/opentheory
Nov 30 14:12:18 Finished candle/standard/opentheory                              29s 605MB
Nov 30 14:12:20 Starting characteristic/examples
Nov 30 14:14:29 Finished characteristic/examples                               2m07s   1GB
Nov 30 14:14:31 Starting tutorial/solutions
Nov 30 14:45:55 Finished tutorial/solutions                                   31m21s   9GB
Nov 30 14:45:56 Starting examples
Nov 30 14:53:19 Finished examples                                              7m20s   2GB
Nov 30 14:53:21 Starting examples/compilation
Nov 30 19:28:29 Finished examples/compilation                               4h35m05s  15GB
Nov 30 19:28:31 Starting examples/compilation/proofs
Nov 30 19:33:52 Finished examples/compilation/proofs                           5m19s   3GB
Nov 30 19:33:54 Starting compiler/benchmarks
Nov 30 21:15:11 Finished compiler/benchmarks                                1h41m15s  16GB
Nov 30 21:15:13 Starting translator/okasaki-examples
Nov 30 21:22:35 Finished translator/okasaki-examples                           7m20s   1GB
Nov 30 21:22:37 Starting translator/other-examples
Nov 30 21:29:21 Finished translator/other-examples                             6m41s 960MB
Nov 30 21:29:22 Starting compiler/parsing/tests
Nov 30 21:30:02 Finished compiler/parsing/tests                                  37s 344MB
Nov 30 21:30:04 Starting compiler/bootstrap/translation
Dec 01 05:24:47 Finished compiler/bootstrap/translation                     7h54m41s  44GB
Dec 01 05:24:49 Starting compiler/bootstrap/compilation/x64/64
Dec 02 01:28:06 Finished compiler/bootstrap/compilation/x64/64             20h03m15s  85GB
Dec 02 01:28:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 02 01:28:10 FAILED: compiler/bootstrap/compilation/x64/64/proofs
]0;Holmake: ../../../../backend/proofsHolmake failed with exception: SysErr ("No such file or directory", SOME ENOENT)