Job 2410

CakeML:08588c8c69a14aa1e36010a05c6545e7a12a4924
  Merge pull request #999 from CakeML/pan_logop [Jun 09 21:54:50]
HOL:a1037385a92acdb9b8bb1f0c243fe6f1f6120eaf
  Fix examples/vector given changes in 562bb668f092d [Jun 03 00:48:36]
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 10 19:01:55 Claimed job
Jun 10 19:01:59 Reusing HOL
Jun 10 19:02:10 Starting developers
Jun 10 19:02:14 Finished developers                                               2s 219MB
Jun 10 19:02:15 Starting developers/bin
Jun 10 19:02:33 Finished developers/bin                                          17s   1GB
Jun 10 19:02:34 Starting compiler/proofs
Jun 10 21:01:37 Finished compiler/proofs                                    1h59m01s  31GB
Jun 10 21:01:38 Starting compiler/bootstrap/translation
Jun 11 05:20:12 Finished compiler/bootstrap/translation                     8h18m32s  75GB
Jun 11 05:20:13 Starting semantics/ffi
Jun 11 05:20:21 Finished semantics/ffi                                            7s 738MB
Jun 11 05:20:22 Starting semantics
Jun 11 05:20:23 Finished semantics                                                0s  69MB
Jun 11 05:20:24 Starting semantics/proofs
Jun 11 05:21:03 Finished semantics/proofs                                        37s   2GB
Jun 11 05:21:04 Starting semantics/alt_semantics
Jun 11 05:21:45 Finished semantics/alt_semantics                                 40s   1GB
Jun 11 05:21:46 Starting semantics/alt_semantics/proofs
Jun 11 05:32:59 Finished semantics/alt_semantics/proofs                       11m12s   3GB
Jun 11 05:33:00 Starting basis/pure
Jun 11 05:33:02 Finished basis/pure                                               0s  70MB
Jun 11 05:33:03 Starting translator
Jun 11 05:34:51 Finished translator                                            1m47s   4GB
Jun 11 05:34:51 Starting compiler/parsing
Jun 11 05:34:53 Finished compiler/parsing                                         0s  74MB
Jun 11 05:34:54 Starting characteristic
Jun 11 05:34:55 Finished characteristic                                           0s  90MB
Jun 11 05:34:56 Starting translator/monadic
Jun 11 05:34:58 Finished translator/monadic                                       0s  96MB
Jun 11 05:34:59 Starting basis
Jun 11 05:38:32 Finished basis                                                 3m32s   6GB
Jun 11 05:38:33 Starting compiler/inference
Jun 11 05:38:36 Finished compiler/inference                                       1s 179MB
Jun 11 05:38:36 Starting compiler/backend/reg_alloc
Jun 11 05:38:38 Finished compiler/backend/reg_alloc                               0s  69MB
Jun 11 05:38:39 Starting compiler/backend/gc
Jun 11 05:38:41 Finished compiler/backend/gc                                      0s 142MB
Jun 11 05:38:41 Starting compiler/backend
Jun 11 05:39:02 Finished compiler/backend                                        20s   1GB
Jun 11 05:39:03 Starting compiler/encoders/asm
Jun 11 05:39:05 Finished compiler/encoders/asm                                    0s  93MB
Jun 11 05:39:06 Starting compiler/encoders/x64
Jun 11 05:39:07 Finished compiler/encoders/x64                                    0s 100MB
Jun 11 05:39:08 Starting compiler/encoders/arm7
Jun 11 05:39:11 Finished compiler/encoders/arm7                                   0s 101MB
Jun 11 05:39:12 Starting compiler/encoders/arm8
Jun 11 05:39:14 Finished compiler/encoders/arm8                                   0s 100MB
Jun 11 05:39:15 Starting compiler/encoders/arm8_asl
Jun 11 05:41:31 Finished compiler/encoders/arm8_asl                            2m14s   1GB
Jun 11 05:41:32 Starting compiler/encoders/mips
Jun 11 05:41:33 Finished compiler/encoders/mips                                   0s 101MB
Jun 11 05:41:34 Starting compiler/encoders/riscv
Jun 11 05:41:36 Finished compiler/encoders/riscv                                  0s 100MB
Jun 11 05:41:37 Starting compiler/encoders/ag32
Jun 11 05:41:38 Finished compiler/encoders/ag32                                   0s 100MB
Jun 11 05:41:39 Starting compiler/backend/x64
Jun 11 05:41:41 Finished compiler/backend/x64                                     0s 143MB
Jun 11 05:41:42 Starting compiler/backend/arm7
Jun 11 05:41:44 Finished compiler/backend/arm7                                    0s 143MB
Jun 11 05:41:45 Starting compiler/backend/arm8
Jun 11 05:41:47 Finished compiler/backend/arm8                                    0s 143MB
Jun 11 05:41:47 Starting compiler/backend/mips
Jun 11 05:41:49 Finished compiler/backend/mips                                    0s 143MB
Jun 11 05:41:50 Starting compiler/backend/riscv
Jun 11 05:41:52 Finished compiler/backend/riscv                                   0s 143MB
Jun 11 05:41:53 Starting compiler/backend/ag32
Jun 11 05:43:15 Finished compiler/backend/ag32                                 1m20s   3GB
Jun 11 05:43:16 Starting compiler/parsing/proofs
Jun 11 05:43:17 Finished compiler/parsing/proofs                                  0s  73MB
Jun 11 05:43:18 Starting compiler/inference/proofs
Jun 11 05:43:20 Finished compiler/inference/proofs                                1s 181MB
Jun 11 05:43:21 Starting compiler/backend/semantics
Jun 11 05:47:11 Finished compiler/backend/semantics                            3m48s   3GB
Jun 11 05:47:12 Starting compiler/backend/reg_alloc/proofs
Jun 11 05:47:13 Finished compiler/backend/reg_alloc/proofs                        0s  92MB
Jun 11 05:47:14 Starting compiler/backend/proofs
Jun 11 05:48:20 Finished compiler/backend/proofs                               1m04s   3GB
Jun 11 05:48:21 Starting compiler/backend/serialiser
Jun 11 05:48:23 Finished compiler/backend/serialiser                              0s 137MB
Jun 11 05:48:23 Starting compiler/encoders/x64/proofs
Jun 11 05:57:52 Finished compiler/encoders/x64/proofs                          9m27s   5GB
Jun 11 05:57:53 Starting compiler/encoders/arm7/proofs
Jun 11 06:10:35 Finished compiler/encoders/arm7/proofs                        12m41s   7GB
Jun 11 06:10:36 Starting compiler/encoders/arm8/proofs
Jun 11 06:16:59 Finished compiler/encoders/arm8/proofs                         6m22s   4GB
Jun 11 06:17:00 Starting compiler/encoders/arm8_asl/proofs
Jun 11 06:31:08 Finished compiler/encoders/arm8_asl/proofs                    14m06s   4GB
Jun 11 06:31:09 Starting compiler/encoders/mips/proofs
Jun 11 06:41:16 Finished compiler/encoders/mips/proofs                        10m06s   6GB
Jun 11 06:41:17 Starting compiler/encoders/riscv/proofs
Jun 11 06:49:39 Finished compiler/encoders/riscv/proofs                        8m20s   4GB
Jun 11 06:49:40 Starting compiler/encoders/ag32/proofs
Jun 11 06:52:06 Finished compiler/encoders/ag32/proofs                         2m25s   2GB
Jun 11 06:52:07 Starting compiler/backend/x64/proofs
Jun 11 06:52:50 Finished compiler/backend/x64/proofs                             42s   3GB
Jun 11 06:52:51 Starting compiler/backend/arm7/proofs
Jun 11 06:53:37 Finished compiler/backend/arm7/proofs                            44s   2GB
Jun 11 06:53:38 Starting compiler/backend/arm8/proofs
Jun 11 06:54:21 Finished compiler/backend/arm8/proofs                            41s   3GB
Jun 11 06:54:21 Starting compiler/backend/arm8_asl
Jun 11 06:54:51 Finished compiler/backend/arm8_asl                               28s   2GB
Jun 11 06:54:52 Starting compiler/backend/mips/proofs
Jun 11 06:55:39 Finished compiler/backend/mips/proofs                            46s   3GB
Jun 11 06:55:40 Starting compiler/backend/riscv/proofs
Jun 11 06:56:33 Finished compiler/backend/riscv/proofs                           52s   4GB
Jun 11 06:56:34 Starting compiler/backend/ag32/proofs
Jun 11 07:10:51 Finished compiler/backend/ag32/proofs                         14m15s   6GB
Jun 11 07:10:52 Starting compiler/backend/cv_compute
Jun 11 07:12:38 Finished compiler/backend/cv_compute                           1m45s   3GB
Jun 11 07:12:39 Starting cv_translator
Jun 11 07:22:07 Finished cv_translator                                         9m26s   8GB
Jun 11 07:22:08 Starting candle/set-theory
Jun 11 07:22:57 Finished candle/set-theory                                       48s   1GB
Jun 11 07:22:58 Starting candle/syntax-lib
Jun 11 07:23:00 Finished candle/syntax-lib                                        0s  71MB
Jun 11 07:23:01 Starting candle/standard/syntax
Jun 11 07:23:20 Finished candle/standard/syntax                                  18s   1GB
Jun 11 07:23:21 Starting candle/standard/semantics
Jun 11 07:26:03 Finished candle/standard/semantics                             2m41s   2GB
Jun 11 07:26:04 Starting candle/standard/monadic
Jun 11 07:26:06 Finished candle/standard/monadic                                  0s 105MB
Jun 11 07:26:07 Starting candle/standard/ml_kernel
Jun 11 07:28:05 Finished candle/standard/ml_kernel                             1m56s   6GB
Jun 11 07:28:05 Starting candle/overloading/syntax
Jun 11 07:31:49 Finished candle/overloading/syntax                             3m42s   2GB
Jun 11 07:31:50 Starting candle/overloading/semantics
Jun 11 07:43:24 Finished candle/overloading/semantics                         11m33s   4GB
Jun 11 07:43:25 Starting candle/overloading/monadic
Jun 11 07:46:02 Finished candle/overloading/monadic                            2m35s   3GB
Jun 11 07:46:03 Starting candle/overloading/ml_kernel
Jun 11 07:53:40 Finished candle/overloading/ml_kernel                          7m36s   7GB
Jun 11 07:53:41 Starting candle/overloading/ml_checker
Jun 11 07:56:15 Finished candle/overloading/ml_checker                         2m32s   7GB
Jun 11 07:56:16 Starting candle/prover
Jun 11 08:06:14 Finished candle/prover                                         9m57s   5GB
Jun 11 08:06:15 Starting pancake
Jun 11 08:07:22 Finished pancake                                               1m06s   1GB
Jun 11 08:07:23 Starting pancake/ffi
Jun 11 08:07:24 Finished pancake/ffi                                              0s  22MB
Jun 11 08:07:25 Starting pancake/semantics
Jun 11 08:10:08 Finished pancake/semantics                                     2m42s   2GB
Jun 11 08:10:09 Starting pancake/parser
Jun 11 08:10:42 Finished pancake/parser                                          31s   2GB
Jun 11 08:10:43 Starting pancake/proofs
Jun 11 08:42:05 Finished pancake/proofs                                       31m20s   8GB
Jun 11 08:42:06 Starting characteristic/examples
Jun 11 08:43:42 Finished characteristic/examples                               1m35s   6GB
Jun 11 08:43:43 Starting tutorial/solutions
Jun 11 08:59:21 Finished tutorial/solutions                                   15m37s  13GB
Jun 11 08:59:22 Starting translator/monadic/examples
Jun 11 09:03:19 Finished translator/monadic/examples                           3m55s   5GB
Jun 11 09:03:20 Starting examples
Jun 11 09:17:48 Finished examples                                             14m26s   8GB
Jun 11 09:17:49 Starting examples/compilation/x64
Jun 11 11:17:21 Finished examples/compilation/x64                           1h59m30s  34GB
Jun 11 11:17:22 Starting examples/compilation/x64/proofs
Jun 11 11:21:14 Finished examples/compilation/x64/proofs                       3m51s   6GB
Jun 11 11:21:15 Starting examples/compilation/ag32
Jun 11 11:51:38 Finished examples/compilation/ag32                            30m22s  13GB
Jun 11 11:51:39 Starting examples/compilation/ag32/proofs
Jun 11 11:53:10 Finished examples/compilation/ag32/proofs                      1m29s   7GB
Jun 11 11:53:11 Starting examples/compilation/to_word
Jun 11 11:57:07 Finished examples/compilation/to_word                          3m55s  13GB
Jun 11 11:57:08 Starting examples/lpr_checker
Jun 11 11:58:28 Finished examples/lpr_checker                                  1m18s   2GB
Jun 11 11:58:29 Starting examples/lpr_checker/array
Jun 11 12:27:21 Finished examples/lpr_checker/array                           28m51s  22GB
Jun 11 12:27:22 Starting examples/lpr_checker/array/compilation
Jun 11 13:06:45 Finished examples/lpr_checker/array/compilation               39m22s  72GB
Jun 11 13:06:46 Starting examples/lpr_checker/array/compilation/proofs
Jun 11 13:08:29 Finished examples/lpr_checker/array/compilation/proofs         1m42s   7GB
Jun 11 13:08:30 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 11 13:20:18 Finished examples/lpr_checker/array/compilation/proofsARM8    11m46s  49GB
Jun 11 13:20:19 Starting examples/xlrup_checker
Jun 11 13:21:33 Finished examples/xlrup_checker                                1m13s   2GB
Jun 11 13:21:34 Starting examples/xlrup_checker/array
Jun 11 13:36:40 Finished examples/xlrup_checker/array                         15m04s   6GB
Jun 11 13:36:41 Starting examples/xlrup_checker/array/compilation
Jun 11 13:58:34 Finished examples/xlrup_checker/array/compilation             21m52s  40GB
Jun 11 13:58:35 Starting examples/xlrup_checker/array/compilation/proofs
Jun 11 14:00:06 Finished examples/xlrup_checker/array/compilation/proofs       1m30s   6GB
Jun 11 14:00:07 Starting examples/pseudo_bool
Jun 11 14:02:20 Finished examples/pseudo_bool                                  2m11s   2GB
Jun 11 14:02:21 Starting examples/pseudo_bool/cnf_encoding
Jun 11 14:03:00 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Jun 11 14:03:01 Starting examples/pseudo_bool/graph_encoding
Jun 11 14:03:55 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Jun 11 14:03:56 Starting examples/pseudo_bool/array
Jun 11 15:10:24 Finished examples/pseudo_bool/array                         1h06m26s  42GB
Jun 11 15:10:25 Starting examples/pseudo_bool/array/compilation
Jun 11 20:15:10 Finished examples/pseudo_bool/array/compilation             5h04m44s 152GB
Jun 11 20:15:11 Starting examples/pseudo_bool/array/compilation/proofs
Jun 11 20:18:50 Finished examples/pseudo_bool/array/compilation/proofs         3m37s   9GB
Jun 11 20:18:51 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 11 20:29:31 Finished examples/pseudo_bool/array/compilation/proofsARM8    10m38s  34GB
Jun 11 20:29:32 Starting examples/opentheory
Jun 11 20:40:22 Finished examples/opentheory                                  10m49s   8GB
Jun 11 20:40:23 Starting examples/opentheory
Jun 11 20:40:25 Finished examples/opentheory                                      0s 132MB
Jun 11 20:40:26 Starting examples/opentheory/compilation
Jun 11 21:17:49 Finished examples/opentheory/compilation                      37m22s  55GB
Jun 11 21:17:50 Starting examples/opentheory/compilation/proofs
Jun 11 21:19:24 Finished examples/opentheory/compilation/proofs                1m32s   6GB
Jun 11 21:19:25 Starting examples/opentheory/compilation/ag32
Jun 11 21:51:26 Finished examples/opentheory/compilation/ag32                 32m00s  44GB
Jun 11 21:51:27 Starting examples/opentheory/compilation/ag32/proofs
Jun 11 21:53:49 Finished examples/opentheory/compilation/ag32/proofs           2m21s  12GB
Jun 11 21:53:50 Starting examples/sat_encodings
Jun 11 21:56:44 Finished examples/sat_encodings                                2m53s   1GB
Jun 11 21:56:45 Starting examples/sat_encodings/case_studies
Jun 11 21:58:53 Finished examples/sat_encodings/case_studies                   2m07s   2GB
Jun 11 21:58:54 Starting examples/sat_encodings/translation
Jun 11 22:05:14 Finished examples/sat_encodings/translation                    6m19s   7GB
Jun 11 22:05:15 Starting examples/sat_encodings/translation/compilation
Jun 11 22:40:29 Finished examples/sat_encodings/translation/compilation       35m12s  41GB
Jun 11 22:40:29 Starting examples/deflate
Jun 11 22:41:51 Finished examples/deflate                                      1m20s   1GB
Jun 11 22:41:52 Starting examples/deflate/translation
Jun 11 22:43:37 Finished examples/deflate/translation                          1m43s   7GB
Jun 11 22:43:38 Starting examples/deflate/translation/compilation
Jun 11 23:00:44 Finished examples/deflate/translation/compilation             17m05s  24GB
Jun 11 23:00:45 Starting examples/vipr
Jun 11 23:04:49 Finished examples/vipr                                         4m02s   6GB
Jun 11 23:04:50 Starting examples/vipr/compilation
Jun 11 23:24:55 Finished examples/vipr/compilation                            20m04s  34GB
Jun 11 23:24:56 Starting translator/okasaki-examples
Jun 11 23:29:59 Finished translator/okasaki-examples                           5m02s   4GB
Jun 11 23:30:00 Starting translator/other-examples
Jun 11 23:31:20 Finished translator/other-examples                             1m18s   3GB
Jun 11 23:31:21 Starting compiler/parsing/tests
Jun 11 23:31:55 Finished compiler/parsing/tests                                  33s   1GB
Jun 11 23:31:56 Starting compiler/inference/tests
Jun 11 23:32:37 Finished compiler/inference/tests                                40s   2GB
Jun 11 23:32:38 Starting compiler/printing/test
Jun 11 23:34:12 Finished compiler/printing/test                                1m32s   6GB
Jun 11 23:34:13 Starting icing/flover
Jun 12 00:11:29 Finished icing/flover                                         37m15s   3GB
Jun 12 00:11:30 Starting icing/
Jun 12 01:06:01 Finished icing/                                               54m30s  26GB
Jun 12 01:06:02 Starting icing/examples
Jun 12 01:07:50 Finished icing/examples                                        1m46s   9GB
Jun 12 01:07:51 Starting compiler/repl
Jun 12 01:16:50 Finished compiler/repl                                         8m58s  11GB
Jun 12 01:16:51 Starting unverified/sexpr-bootstrap/x64/64
Jun 12 01:28:34 Finished unverified/sexpr-bootstrap/x64/64                    11m17s  16GB
Jun 12 01:28:35 Starting unverified/sexpr-bootstrap/x64/32
Jun 12 01:38:06 Finished unverified/sexpr-bootstrap/x64/32                     9m09s  14GB
Jun 12 01:38:07 Starting compiler/benchmarks
Jun 12 01:38:52 Finished compiler/benchmarks                                     43s 713MB
Jun 12 01:38:53 Starting compiler/bootstrap/compilation/x64/64
Jun 12 16:39:35 Finished compiler/bootstrap/compilation/x64/64             15h00m28s 136GB
Jun 12 16:39:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 12 17:01:08 Finished compiler/bootstrap/compilation/x64/64/proofs         21m31s  47GB
Jun 12 17:01:09 Starting compiler/bootstrap/compilation/x64/32
Jun 13 00:33:15 Finished compiler/bootstrap/compilation/x64/32              7h31m57s 122GB
Jun 13 00:33:15 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 13 00:37:01 Finished compiler/bootstrap/compilation/x64/32/proofs          3m44s  19GB
Jun 13 00:37:02 Starting compiler/bootstrap/compilation/ag32/32
Jun 13 08:37:21 Finished compiler/bootstrap/compilation/ag32/32             8h00m17s 174GB
Jun 13 08:37:22 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 13 08:45:50 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m26s  52GB
Jun 13 08:45:51 SUCCESS