Job 2412

CakeML:08588c8c69a14aa1e36010a05c6545e7a12a4924
  Merge pull request #999 from CakeML/pan_logop [Jun 09 21:54:50]
HOL:2d2cddffe3dfeee7bc31b0fb499fb32cd2218dd2
  Updated CCS example [Jun 06 23:22:02]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Jun 13 16:46:21 Claimed job
Jun 13 16:46:29 Building HOL
Jun 13 17:02:21 Starting developers
Jun 13 17:02:25 Finished developers                                               2s 213MB
Jun 13 17:02:26 Starting developers/bin
Jun 13 17:02:39 Finished developers/bin                                          12s   1GB
Jun 13 17:02:40 Starting compiler/proofs
Jun 13 18:57:46 Finished compiler/proofs                                    1h55m04s  47GB
Jun 13 18:57:47 Starting compiler/bootstrap/translation
Jun 14 03:26:45 Finished compiler/bootstrap/translation                     8h28m56s  53GB
Jun 14 03:26:46 Starting semantics/ffi
Jun 14 03:26:55 Finished semantics/ffi                                            7s 620MB
Jun 14 03:26:56 Starting semantics
Jun 14 03:26:57 Finished semantics                                                0s  69MB
Jun 14 03:26:58 Starting semantics/proofs
Jun 14 03:27:36 Finished semantics/proofs                                        37s   2GB
Jun 14 03:27:37 Starting semantics/alt_semantics
Jun 14 03:28:18 Finished semantics/alt_semantics                                 39s   1GB
Jun 14 03:28:19 Starting semantics/alt_semantics/proofs
Jun 14 03:39:37 Finished semantics/alt_semantics/proofs                       11m17s   3GB
Jun 14 03:39:38 Starting basis/pure
Jun 14 03:39:39 Finished basis/pure                                               0s  70MB
Jun 14 03:39:40 Starting translator
Jun 14 03:41:24 Finished translator                                            1m43s   3GB
Jun 14 03:41:25 Starting compiler/parsing
Jun 14 03:41:27 Finished compiler/parsing                                         0s  75MB
Jun 14 03:41:28 Starting characteristic
Jun 14 03:41:29 Finished characteristic                                           0s  91MB
Jun 14 03:41:30 Starting translator/monadic
Jun 14 03:41:32 Finished translator/monadic                                       0s  96MB
Jun 14 03:41:33 Starting basis
Jun 14 03:45:12 Finished basis                                                 3m38s   7GB
Jun 14 03:45:13 Starting compiler/inference
Jun 14 03:45:15 Finished compiler/inference                                       1s 177MB
Jun 14 03:45:16 Starting compiler/backend/reg_alloc
Jun 14 03:45:17 Finished compiler/backend/reg_alloc                               0s  69MB
Jun 14 03:45:18 Starting compiler/backend/gc
Jun 14 03:45:20 Finished compiler/backend/gc                                      0s 139MB
Jun 14 03:45:21 Starting compiler/backend
Jun 14 03:45:42 Finished compiler/backend                                        19s   1GB
Jun 14 03:45:43 Starting compiler/encoders/asm
Jun 14 03:45:44 Finished compiler/encoders/asm                                    0s  90MB
Jun 14 03:45:45 Starting compiler/encoders/x64
Jun 14 03:45:47 Finished compiler/encoders/x64                                    0s 101MB
Jun 14 03:45:48 Starting compiler/encoders/arm7
Jun 14 03:45:49 Finished compiler/encoders/arm7                                   0s 101MB
Jun 14 03:45:50 Starting compiler/encoders/arm8
Jun 14 03:45:52 Finished compiler/encoders/arm8                                   0s 101MB
Jun 14 03:45:53 Starting compiler/encoders/arm8_asl
Jun 14 06:01:45 Finished compiler/encoders/arm8_asl                         2h15m51s  57GB
Jun 14 06:01:46 Starting compiler/encoders/mips
Jun 14 06:01:48 Finished compiler/encoders/mips                                   0s 101MB
Jun 14 06:01:49 Starting compiler/encoders/riscv
Jun 14 06:01:50 Finished compiler/encoders/riscv                                  0s 101MB
Jun 14 06:01:51 Starting compiler/encoders/ag32
Jun 14 06:01:53 Finished compiler/encoders/ag32                                   0s  96MB
Jun 14 06:01:54 Starting compiler/backend/x64
Jun 14 06:01:56 Finished compiler/backend/x64                                     0s 135MB
Jun 14 06:01:57 Starting compiler/backend/arm7
Jun 14 06:01:59 Finished compiler/backend/arm7                                    0s 135MB
Jun 14 06:01:59 Starting compiler/backend/arm8
Jun 14 06:02:01 Finished compiler/backend/arm8                                    0s 135MB
Jun 14 06:02:02 Starting compiler/backend/mips
Jun 14 06:02:04 Finished compiler/backend/mips                                    0s 135MB
Jun 14 06:02:05 Starting compiler/backend/riscv
Jun 14 06:02:07 Finished compiler/backend/riscv                                   0s 135MB
Jun 14 06:02:08 Starting compiler/backend/ag32
Jun 14 06:03:30 Finished compiler/backend/ag32                                 1m21s   3GB
Jun 14 06:03:31 Starting compiler/parsing/proofs
Jun 14 06:03:33 Finished compiler/parsing/proofs                                  0s  73MB
Jun 14 06:03:34 Starting compiler/inference/proofs
Jun 14 06:03:36 Finished compiler/inference/proofs                                1s 183MB
Jun 14 06:03:37 Starting compiler/backend/semantics
Jun 14 06:07:31 Finished compiler/backend/semantics                            3m53s   3GB
Jun 14 06:07:32 Starting compiler/backend/reg_alloc/proofs
Jun 14 06:07:34 Finished compiler/backend/reg_alloc/proofs                        0s  91MB
Jun 14 06:07:35 Starting compiler/backend/proofs
Jun 14 06:08:46 Finished compiler/backend/proofs                               1m09s   3GB
Jun 14 06:08:47 Starting compiler/backend/serialiser
Jun 14 06:08:49 Finished compiler/backend/serialiser                              0s 138MB
Jun 14 06:08:50 Starting compiler/encoders/x64/proofs
Jun 14 06:18:24 Finished compiler/encoders/x64/proofs                          9m33s   5GB
Jun 14 06:18:25 Starting compiler/encoders/arm7/proofs
Jun 14 06:31:22 Finished compiler/encoders/arm7/proofs                        12m55s   9GB
Jun 14 06:31:23 Starting compiler/encoders/arm8/proofs
Jun 14 06:38:05 Finished compiler/encoders/arm8/proofs                         6m40s   6GB
Jun 14 06:38:05 Starting compiler/encoders/arm8_asl/proofs
Jun 14 07:26:07 Finished compiler/encoders/arm8_asl/proofs                    48m00s  14GB
Jun 14 07:26:07 Starting compiler/encoders/mips/proofs
Jun 14 07:36:16 Finished compiler/encoders/mips/proofs                        10m07s   6GB
Jun 14 07:36:17 Starting compiler/encoders/riscv/proofs
Jun 14 07:45:02 Finished compiler/encoders/riscv/proofs                        8m44s   3GB
Jun 14 07:45:03 Starting compiler/encoders/ag32/proofs
Jun 14 07:47:26 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jun 14 07:47:27 Starting compiler/backend/x64/proofs
Jun 14 07:48:09 Finished compiler/backend/x64/proofs                             41s   3GB
Jun 14 07:48:10 Starting compiler/backend/arm7/proofs
Jun 14 07:49:00 Finished compiler/backend/arm7/proofs                            49s   3GB
Jun 14 07:49:01 Starting compiler/backend/arm8/proofs
Jun 14 07:49:43 Finished compiler/backend/arm8/proofs                            40s   3GB
Jun 14 07:49:44 Starting compiler/backend/arm8_asl
Jun 14 07:50:12 Finished compiler/backend/arm8_asl                               27s   2GB
Jun 14 07:50:13 Starting compiler/backend/mips/proofs
Jun 14 07:50:59 Finished compiler/backend/mips/proofs                            45s   3GB
Jun 14 07:51:00 Starting compiler/backend/riscv/proofs
Jun 14 07:51:52 Finished compiler/backend/riscv/proofs                           51s   4GB
Jun 14 07:51:53 Starting compiler/backend/ag32/proofs
Jun 14 08:05:55 Finished compiler/backend/ag32/proofs                         14m00s   6GB
Jun 14 08:05:56 Starting compiler/backend/cv_compute
Jun 14 08:07:39 Finished compiler/backend/cv_compute                           1m42s   3GB
Jun 14 08:07:40 Starting cv_translator
Jun 14 08:17:14 Finished cv_translator                                         9m32s   6GB
Jun 14 08:17:15 Starting candle/set-theory
Jun 14 08:18:02 Finished candle/set-theory                                       46s   1GB
Jun 14 08:18:03 Starting candle/syntax-lib
Jun 14 08:18:05 Finished candle/syntax-lib                                        0s  71MB
Jun 14 08:18:06 Starting candle/standard/syntax
Jun 14 08:18:24 Finished candle/standard/syntax                                  17s   1GB
Jun 14 08:18:24 Starting candle/standard/semantics
Jun 14 08:21:04 Finished candle/standard/semantics                             2m38s   3GB
Jun 14 08:21:04 Starting candle/standard/monadic
Jun 14 08:21:06 Finished candle/standard/monadic                                  0s 107MB
Jun 14 08:21:07 Starting candle/standard/ml_kernel
Jun 14 08:23:03 Finished candle/standard/ml_kernel                             1m55s   6GB
Jun 14 08:23:04 Starting candle/overloading/syntax
Jun 14 08:26:42 Finished candle/overloading/syntax                             3m36s   3GB
Jun 14 08:26:43 Starting candle/overloading/semantics
Jun 14 08:38:14 Finished candle/overloading/semantics                         11m30s   5GB
Jun 14 08:38:15 Starting candle/overloading/monadic
Jun 14 08:40:57 Finished candle/overloading/monadic                            2m40s   3GB
Jun 14 08:40:57 Starting candle/overloading/ml_kernel
Jun 14 08:48:45 Finished candle/overloading/ml_kernel                          7m46s   7GB
Jun 14 08:48:46 Starting candle/overloading/ml_checker
Jun 14 08:51:19 Finished candle/overloading/ml_checker                         2m32s   7GB
Jun 14 08:51:20 Starting candle/prover
Jun 14 09:01:31 Finished candle/prover                                        10m09s   6GB
Jun 14 09:01:31 Starting pancake
Jun 14 09:02:41 Finished pancake                                               1m08s   1GB
Jun 14 09:02:42 Starting pancake/ffi
Jun 14 09:02:43 Finished pancake/ffi                                              0s  23MB
Jun 14 09:02:44 Starting pancake/semantics
Jun 14 09:05:30 Finished pancake/semantics                                     2m44s   2GB
Jun 14 09:05:31 Starting pancake/parser
Jun 14 09:06:03 Finished pancake/parser                                          31s   2GB
Jun 14 09:06:04 Starting pancake/proofs
Jun 14 09:36:59 Finished pancake/proofs                                       30m54s   7GB
Jun 14 09:37:00 Starting characteristic/examples
Jun 14 09:38:40 Finished characteristic/examples                               1m38s   6GB
Jun 14 09:38:41 Starting tutorial/solutions
Jun 14 09:54:28 Finished tutorial/solutions                                   15m46s  10GB
Jun 14 09:54:29 Starting translator/monadic/examples
Jun 14 09:58:28 Finished translator/monadic/examples                           3m57s   5GB
Jun 14 09:58:29 Starting examples
Jun 14 10:13:22 Finished examples                                             14m52s   8GB
Jun 14 10:13:23 Starting examples/compilation/x64
Jun 14 12:12:13 Finished examples/compilation/x64                           1h58m48s  32GB
Jun 14 12:12:14 Starting examples/compilation/x64/proofs
Jun 14 12:16:15 Finished examples/compilation/x64/proofs                       4m00s   6GB
Jun 14 12:16:16 Starting examples/compilation/ag32
Jun 14 12:46:16 Finished examples/compilation/ag32                            29m58s  10GB
Jun 14 12:46:17 Starting examples/compilation/ag32/proofs
Jun 14 12:47:49 Finished examples/compilation/ag32/proofs                      1m31s   7GB
Jun 14 12:47:50 Starting examples/compilation/to_word
Jun 14 12:52:04 Finished examples/compilation/to_word                          4m13s  13GB
Jun 14 12:52:05 Starting examples/lpr_checker
Jun 14 12:53:27 Finished examples/lpr_checker                                  1m20s   2GB
Jun 14 12:53:28 Starting examples/lpr_checker/array
Jun 14 13:21:48 Finished examples/lpr_checker/array                           28m19s  11GB
Jun 14 13:21:49 Starting examples/lpr_checker/array/compilation
Jun 14 13:59:40 Finished examples/lpr_checker/array/compilation               37m50s  56GB
Jun 14 13:59:41 Starting examples/lpr_checker/array/compilation/proofs
Jun 14 14:01:26 Finished examples/lpr_checker/array/compilation/proofs         1m44s   8GB
Jun 14 14:01:27 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 14 14:13:47 Finished examples/lpr_checker/array/compilation/proofsARM8    12m18s  36GB
Jun 14 14:13:48 Starting examples/xlrup_checker
Jun 14 14:15:02 Finished examples/xlrup_checker                                1m12s   1GB
Jun 14 14:15:03 Starting examples/xlrup_checker/array
Jun 14 14:30:15 Finished examples/xlrup_checker/array                         15m11s   8GB
Jun 14 14:30:16 Starting examples/xlrup_checker/array/compilation
Jun 14 14:51:16 Finished examples/xlrup_checker/array/compilation             20m59s  28GB
Jun 14 14:51:17 Starting examples/xlrup_checker/array/compilation/proofs
Jun 14 14:52:48 Finished examples/xlrup_checker/array/compilation/proofs       1m29s   6GB
Jun 14 14:52:49 Starting examples/pseudo_bool
Jun 14 14:55:02 Finished examples/pseudo_bool                                  2m11s   1GB
Jun 14 14:55:03 Starting examples/pseudo_bool/cnf_encoding
Jun 14 14:55:43 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Jun 14 14:55:44 Starting examples/pseudo_bool/graph_encoding
Jun 14 14:56:37 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Jun 14 14:56:38 Starting examples/pseudo_bool/array
Jun 14 16:04:03 Finished examples/pseudo_bool/array                         1h07m23s  51GB
Jun 14 16:04:04 Starting examples/pseudo_bool/array/compilation
Jun 14 21:10:04 Finished examples/pseudo_bool/array/compilation             5h05m58s 153GB
Jun 14 21:10:05 Starting examples/pseudo_bool/array/compilation/proofs
Jun 14 21:13:43 Finished examples/pseudo_bool/array/compilation/proofs         3m36s   9GB
Jun 14 21:13:44 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 14 21:24:38 Finished examples/pseudo_bool/array/compilation/proofsARM8    10m53s  34GB
Jun 14 21:24:39 Starting examples/opentheory
Jun 14 21:35:29 Finished examples/opentheory                                  10m48s   7GB
Jun 14 21:35:30 Starting examples/opentheory
Jun 14 21:35:32 Finished examples/opentheory                                      0s 135MB
Jun 14 21:35:33 Starting examples/opentheory/compilation
Jun 14 22:11:46 Finished examples/opentheory/compilation                      36m11s  53GB
Jun 14 22:11:47 Starting examples/opentheory/compilation/proofs
Jun 14 22:13:20 Finished examples/opentheory/compilation/proofs                1m31s   6GB
Jun 14 22:13:21 Starting examples/opentheory/compilation/ag32
Jun 14 22:45:25 Finished examples/opentheory/compilation/ag32                 32m03s  46GB
Jun 14 22:45:26 Starting examples/opentheory/compilation/ag32/proofs
Jun 14 22:47:46 Finished examples/opentheory/compilation/ag32/proofs           2m18s  11GB
Jun 14 22:47:47 Starting examples/sat_encodings
Jun 14 22:50:42 Finished examples/sat_encodings                                2m54s   2GB
Jun 14 22:50:43 Starting examples/sat_encodings/case_studies
Jun 14 22:52:51 Finished examples/sat_encodings/case_studies                   2m06s   2GB
Jun 14 22:52:52 Starting examples/sat_encodings/translation
Jun 14 22:59:15 Finished examples/sat_encodings/translation                    6m22s   8GB
Jun 14 22:59:16 Starting examples/sat_encodings/translation/compilation
Jun 14 23:34:40 Finished examples/sat_encodings/translation/compilation       35m22s  34GB
Jun 14 23:34:41 Starting examples/deflate
Jun 14 23:36:05 Finished examples/deflate                                      1m23s   1GB
Jun 14 23:36:06 Starting examples/deflate/translation
Jun 14 23:37:48 Finished examples/deflate/translation                          1m41s   7GB
Jun 14 23:37:49 Starting examples/deflate/translation/compilation
Jun 14 23:54:52 Finished examples/deflate/translation/compilation             17m01s  20GB
Jun 14 23:54:53 Starting examples/vipr
Jun 14 23:59:01 Finished examples/vipr                                         4m06s   7GB
Jun 14 23:59:02 Starting examples/vipr/compilation
Jun 15 00:19:26 Finished examples/vipr/compilation                            20m23s  37GB
Jun 15 00:19:27 Starting translator/okasaki-examples
Jun 15 00:24:40 Finished translator/okasaki-examples                           5m11s   5GB
Jun 15 00:24:41 Starting translator/other-examples
Jun 15 00:29:34 Finished translator/other-examples                             4m51s   3GB
Jun 15 00:29:35 Starting compiler/parsing/tests
Jun 15 00:30:09 Finished compiler/parsing/tests                                  33s   1GB
Jun 15 00:30:10 Starting compiler/inference/tests
Jun 15 00:30:53 Finished compiler/inference/tests                                41s   3GB
Jun 15 00:30:54 Starting compiler/printing/test
Jun 15 00:32:27 Finished compiler/printing/test                                1m32s   5GB
Jun 15 00:32:28 Starting icing/flover
Jun 15 01:09:43 Finished icing/flover                                         37m13s   4GB
Jun 15 01:09:44 Starting icing/
Jun 15 02:04:32 Finished icing/                                               54m46s  27GB
Jun 15 02:04:33 Starting icing/examples
Jun 15 02:06:17 Finished icing/examples                                        1m43s   8GB
Jun 15 02:06:18 Starting compiler/repl
Jun 15 02:15:13 Finished compiler/repl                                         8m54s   9GB
Jun 15 02:15:14 Starting unverified/sexpr-bootstrap/x64/64
Jun 15 02:26:51 Finished unverified/sexpr-bootstrap/x64/64                    11m11s  16GB
Jun 15 02:26:52 Starting unverified/sexpr-bootstrap/x64/32
Jun 15 02:36:21 Finished unverified/sexpr-bootstrap/x64/32                     9m09s  13GB
Jun 15 02:36:22 Starting compiler/benchmarks
Jun 15 02:37:07 Finished compiler/benchmarks                                     44s 713MB
Jun 15 02:37:08 Starting compiler/bootstrap/compilation/x64/64
Jun 15 17:57:20 Finished compiler/bootstrap/compilation/x64/64             15h19m59s 203GB
Jun 15 17:57:21 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 15 18:19:12 Finished compiler/bootstrap/compilation/x64/64/proofs         21m49s  43GB
Jun 15 18:19:13 Starting compiler/bootstrap/compilation/x64/32
Jun 16 01:57:30 Finished compiler/bootstrap/compilation/x64/32              7h38m08s 156GB
Jun 16 01:57:31 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 16 02:01:18 Finished compiler/bootstrap/compilation/x64/32/proofs          3m46s  22GB
Jun 16 02:01:19 Starting compiler/bootstrap/compilation/ag32/32
Jun 16 10:07:16 Finished compiler/bootstrap/compilation/ag32/32             8h05m55s 125GB
Jun 16 10:07:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 16 10:15:36 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m17s  51GB
Jun 16 10:15:37 SUCCESS