Job 2399

CakeML:9435b5c9b8574935c4b39fec492d0e78ce82c8f5
  Partly fix and partly comment out tests [May 23 15:03:37]
#985 (cvunify)
Merging into:9bd268c67c5965851d3f1feb25c2cb8bd6c542f3
  Merge pull request #995 from CakeML/pb-err [May 28 12:17:25]
HOL:19857c9570c4db45bb6410a1ced45b9ab7bb4cb7
  Fixed intLib to avoid noisy output; some cleanups in hurdUtils [May 22 11:23:37]
Machine:pavlova

May 31 08:32:19 Claimed job
May 31 08:32:28 Reusing HOL
May 31 08:32:39 Starting developers
May 31 08:32:43 Finished developers                                               2s 214MB
May 31 08:32:44 Starting developers/bin
May 31 08:32:58 Finished developers/bin                                          13s   1GB
May 31 08:32:59 Starting compiler/proofs
May 31 10:24:07 Finished compiler/proofs                                    1h51m07s  27GB
May 31 10:24:08 Starting compiler/bootstrap/translation
May 31 18:32:32 Finished compiler/bootstrap/translation                     8h08m22s  74GB
May 31 18:32:33 Starting semantics/ffi
May 31 18:32:41 Finished semantics/ffi                                            7s 738MB
May 31 18:32:42 Starting semantics
May 31 18:32:44 Finished semantics                                                0s  68MB
May 31 18:32:45 Starting semantics/proofs
May 31 18:33:22 Finished semantics/proofs                                        36s   1GB
May 31 18:33:23 Starting semantics/alt_semantics
May 31 18:34:04 Finished semantics/alt_semantics                                 40s   1GB
May 31 18:34:05 Starting semantics/alt_semantics/proofs
May 31 18:45:13 Finished semantics/alt_semantics/proofs                       11m06s   5GB
May 31 18:45:14 Starting basis/pure
May 31 18:45:15 Finished basis/pure                                               0s  70MB
May 31 18:45:16 Starting translator
May 31 18:47:06 Finished translator                                            1m48s   4GB
May 31 18:47:07 Starting compiler/parsing
May 31 18:47:08 Finished compiler/parsing                                         0s  71MB
May 31 18:47:09 Starting characteristic
May 31 18:47:10 Finished characteristic                                           0s  88MB
May 31 18:47:11 Starting translator/monadic
May 31 18:47:13 Finished translator/monadic                                       0s  96MB
May 31 18:47:14 Starting basis
May 31 18:50:47 Finished basis                                                 3m31s   5GB
May 31 18:50:48 Starting compiler/inference
May 31 18:50:50 Finished compiler/inference                                       1s 177MB
May 31 18:50:51 Starting compiler/backend/reg_alloc
May 31 18:50:52 Finished compiler/backend/reg_alloc                               0s  71MB
May 31 18:50:53 Starting compiler/backend/gc
May 31 18:50:55 Finished compiler/backend/gc                                      0s 136MB
May 31 18:50:56 Starting compiler/backend
May 31 18:51:17 Finished compiler/backend                                        19s   1GB
May 31 18:51:17 Starting compiler/encoders/asm
May 31 18:51:19 Finished compiler/encoders/asm                                    0s  90MB
May 31 18:51:20 Starting compiler/encoders/x64
May 31 18:51:21 Finished compiler/encoders/x64                                    0s 100MB
May 31 18:51:22 Starting compiler/encoders/arm7
May 31 18:51:24 Finished compiler/encoders/arm7                                   0s 102MB
May 31 18:51:25 Starting compiler/encoders/arm8
May 31 18:51:26 Finished compiler/encoders/arm8                                   0s  94MB
May 31 18:51:27 Starting compiler/encoders/arm8_asl
May 31 18:53:43 Finished compiler/encoders/arm8_asl                            2m15s   1GB
May 31 18:53:44 Starting compiler/encoders/mips
May 31 18:53:46 Finished compiler/encoders/mips                                   0s 101MB
May 31 18:53:47 Starting compiler/encoders/riscv
May 31 18:53:48 Finished compiler/encoders/riscv                                  0s 103MB
May 31 18:53:49 Starting compiler/encoders/ag32
May 31 18:53:51 Finished compiler/encoders/ag32                                   0s  95MB
May 31 18:53:52 Starting compiler/backend/x64
May 31 18:53:53 Finished compiler/backend/x64                                     0s 142MB
May 31 18:53:54 Starting compiler/backend/arm7
May 31 18:53:56 Finished compiler/backend/arm7                                    0s 142MB
May 31 18:53:57 Starting compiler/backend/arm8
May 31 18:53:59 Finished compiler/backend/arm8                                    0s 142MB
May 31 18:54:00 Starting compiler/backend/mips
May 31 18:54:02 Finished compiler/backend/mips                                    0s 142MB
May 31 18:54:03 Starting compiler/backend/riscv
May 31 18:54:04 Finished compiler/backend/riscv                                   0s 141MB
May 31 18:54:05 Starting compiler/backend/ag32
May 31 18:55:27 Finished compiler/backend/ag32                                 1m20s   3GB
May 31 18:55:28 Starting compiler/parsing/proofs
May 31 18:55:29 Finished compiler/parsing/proofs                                  0s  73MB
May 31 18:55:30 Starting compiler/inference/proofs
May 31 18:55:32 Finished compiler/inference/proofs                                1s 184MB
May 31 18:55:33 Starting compiler/backend/semantics
May 31 18:59:21 Finished compiler/backend/semantics                            3m47s   3GB
May 31 18:59:22 Starting compiler/backend/reg_alloc/proofs
May 31 18:59:24 Finished compiler/backend/reg_alloc/proofs                        0s  91MB
May 31 18:59:25 Starting compiler/backend/proofs
May 31 19:00:34 Finished compiler/backend/proofs                               1m08s   4GB
May 31 19:00:35 Starting compiler/backend/serialiser
May 31 19:00:37 Finished compiler/backend/serialiser                              0s 137MB
May 31 19:00:38 Starting compiler/encoders/x64/proofs
May 31 19:09:42 Finished compiler/encoders/x64/proofs                          9m03s   5GB
May 31 19:09:43 Starting compiler/encoders/arm7/proofs
May 31 19:22:26 Finished compiler/encoders/arm7/proofs                        12m42s   7GB
May 31 19:22:27 Starting compiler/encoders/arm8/proofs
May 31 19:29:07 Finished compiler/encoders/arm8/proofs                         6m39s   6GB
May 31 19:29:08 Starting compiler/encoders/arm8_asl/proofs
May 31 19:42:59 Finished compiler/encoders/arm8_asl/proofs                    13m49s   4GB
May 31 19:43:00 Starting compiler/encoders/mips/proofs
May 31 19:53:01 Finished compiler/encoders/mips/proofs                         9m59s  10GB
May 31 19:53:02 Starting compiler/encoders/riscv/proofs
May 31 20:01:27 Finished compiler/encoders/riscv/proofs                        8m24s   6GB
May 31 20:01:28 Starting compiler/encoders/ag32/proofs
May 31 20:03:52 Finished compiler/encoders/ag32/proofs                         2m23s   2GB
May 31 20:03:53 Starting compiler/backend/x64/proofs
May 31 20:04:34 Finished compiler/backend/x64/proofs                             39s   3GB
May 31 20:04:35 Starting compiler/backend/arm7/proofs
May 31 20:05:19 Finished compiler/backend/arm7/proofs                            42s   2GB
May 31 20:05:20 Starting compiler/backend/arm8/proofs
May 31 20:06:01 Finished compiler/backend/arm8/proofs                            40s   3GB
May 31 20:06:02 Starting compiler/backend/arm8_asl
May 31 20:06:32 Finished compiler/backend/arm8_asl                               28s   2GB
May 31 20:06:33 Starting compiler/backend/mips/proofs
May 31 20:07:20 Finished compiler/backend/mips/proofs                            46s   3GB
May 31 20:07:21 Starting compiler/backend/riscv/proofs
May 31 20:08:11 Finished compiler/backend/riscv/proofs                           49s   4GB
May 31 20:08:12 Starting compiler/backend/ag32/proofs
May 31 20:22:36 Finished compiler/backend/ag32/proofs                         14m22s   6GB
May 31 20:22:37 Starting compiler/backend/cv_compute
May 31 20:24:20 Finished compiler/backend/cv_compute                           1m42s   3GB
May 31 20:24:21 Starting cv_translator
May 31 20:33:48 Finished cv_translator                                         9m25s   8GB
May 31 20:33:49 Starting candle/set-theory
May 31 20:34:39 Finished candle/set-theory                                       49s   1GB
May 31 20:34:40 Starting candle/syntax-lib
May 31 20:34:41 Finished candle/syntax-lib                                        0s  71MB
May 31 20:34:42 Starting candle/standard/syntax
May 31 20:35:00 Finished candle/standard/syntax                                  16s   1GB
May 31 20:35:01 Starting candle/standard/semantics
May 31 20:37:39 Finished candle/standard/semantics                             2m36s   3GB
May 31 20:37:40 Starting candle/standard/monadic
May 31 20:37:41 Finished candle/standard/monadic                                  0s 103MB
May 31 20:37:42 Starting candle/standard/ml_kernel
May 31 20:39:35 Finished candle/standard/ml_kernel                             1m52s   6GB
May 31 20:39:36 Starting candle/overloading/syntax
May 31 20:43:08 Finished candle/overloading/syntax                             3m30s   2GB
May 31 20:43:09 Starting candle/overloading/semantics
May 31 20:54:45 Finished candle/overloading/semantics                         11m35s   9GB
May 31 20:54:46 Starting candle/overloading/monadic
May 31 20:57:28 Finished candle/overloading/monadic                            2m40s   2GB
May 31 20:57:29 Starting candle/overloading/ml_kernel
May 31 21:05:15 Finished candle/overloading/ml_kernel                          7m45s   6GB
May 31 21:05:16 Starting candle/overloading/ml_checker
May 31 21:07:51 Finished candle/overloading/ml_checker                         2m34s   6GB
May 31 21:07:52 Starting candle/prover
May 31 21:17:58 Finished candle/prover                                        10m04s   5GB
May 31 21:17:59 Starting pancake
May 31 21:19:07 Finished pancake                                               1m07s   1GB
May 31 21:19:07 Starting pancake/ffi
May 31 21:19:08 Finished pancake/ffi                                              0s  23MB
May 31 21:19:09 Starting pancake/semantics
May 31 21:21:55 Finished pancake/semantics                                     2m44s   2GB
May 31 21:21:56 Starting pancake/parser
May 31 21:22:27 Finished pancake/parser                                          30s   2GB
May 31 21:22:28 Starting pancake/proofs
May 31 21:53:49 Finished pancake/proofs                                       31m19s   8GB
May 31 21:53:50 Starting characteristic/examples
May 31 21:55:30 Finished characteristic/examples                               1m38s   6GB
May 31 21:55:31 Starting tutorial/solutions
May 31 22:11:03 Finished tutorial/solutions                                   15m31s  11GB
May 31 22:11:04 Starting translator/monadic/examples
May 31 22:15:04 Finished translator/monadic/examples                           3m58s   5GB
May 31 22:15:05 Starting examples
May 31 22:29:31 Finished examples                                             14m24s   7GB
May 31 22:29:32 Starting examples/compilation/x64
Jun 01 00:27:04 Finished examples/compilation/x64                           1h57m31s  35GB
Jun 01 00:27:04 Starting examples/compilation/x64/proofs
Jun 01 00:31:03 Finished examples/compilation/x64/proofs                       3m57s   6GB
Jun 01 00:31:04 Starting examples/compilation/ag32
Jun 01 01:00:48 Finished examples/compilation/ag32                            29m43s  14GB
Jun 01 01:00:49 Starting examples/compilation/ag32/proofs
Jun 01 01:02:27 Finished examples/compilation/ag32/proofs                      1m36s   7GB
Jun 01 01:02:28 Starting examples/compilation/to_word
Jun 01 01:06:20 Finished examples/compilation/to_word                          3m51s  13GB
Jun 01 01:06:21 Starting examples/lpr_checker
Jun 01 01:07:43 Finished examples/lpr_checker                                  1m20s   2GB
Jun 01 01:07:44 Starting examples/lpr_checker/array
Jun 01 01:36:39 Finished examples/lpr_checker/array                           28m54s  27GB
Jun 01 01:36:40 Starting examples/lpr_checker/array/compilation
Jun 01 02:15:42 Finished examples/lpr_checker/array/compilation               39m00s  71GB
Jun 01 02:15:42 Starting examples/lpr_checker/array/compilation/proofs
Jun 01 02:17:27 Finished examples/lpr_checker/array/compilation/proofs         1m43s   8GB
Jun 01 02:17:28 Starting examples/lpr_checker/array/compilation/proofsARM8
Jun 01 02:40:07 Finished examples/lpr_checker/array/compilation/proofsARM8    22m37s  34GB
Jun 01 02:40:08 Starting examples/xlrup_checker
Jun 01 02:41:21 Finished examples/xlrup_checker                                1m11s   2GB
Jun 01 02:41:22 Starting examples/xlrup_checker/array
Jun 01 02:56:42 Finished examples/xlrup_checker/array                         15m19s   8GB
Jun 01 02:56:43 Starting examples/xlrup_checker/array/compilation
Jun 01 03:19:13 Finished examples/xlrup_checker/array/compilation             22m29s  43GB
Jun 01 03:19:14 Starting examples/xlrup_checker/array/compilation/proofs
Jun 01 03:20:43 Finished examples/xlrup_checker/array/compilation/proofs       1m28s   7GB
Jun 01 03:20:44 Starting examples/pseudo_bool
Jun 01 03:22:56 Finished examples/pseudo_bool                                  2m10s   2GB
Jun 01 03:22:57 Starting examples/pseudo_bool/cnf_encoding
Jun 01 03:23:38 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
Jun 01 03:23:38 Starting examples/pseudo_bool/graph_encoding
Jun 01 03:24:32 Finished examples/pseudo_bool/graph_encoding                     53s   1GB
Jun 01 03:24:33 Starting examples/pseudo_bool/array
Jun 01 04:32:32 Finished examples/pseudo_bool/array                         1h07m57s  34GB
Jun 01 04:32:33 Starting examples/pseudo_bool/array/compilation
Jun 01 13:30:58 Finished examples/pseudo_bool/array/compilation             8h58m24s 138GB
Jun 01 13:30:59 Starting examples/pseudo_bool/array/compilation/proofs
Jun 01 13:34:25 Finished examples/pseudo_bool/array/compilation/proofs         3m25s   8GB
Jun 01 13:34:26 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jun 01 13:45:19 Finished examples/pseudo_bool/array/compilation/proofsARM8    10m52s  36GB
Jun 01 13:45:20 Starting examples/opentheory
Jun 01 13:56:04 Finished examples/opentheory                                  10m42s   8GB
Jun 01 13:56:05 Starting examples/opentheory
Jun 01 13:56:06 Finished examples/opentheory                                      0s 130MB
Jun 01 13:56:07 Starting examples/opentheory/compilation
Jun 01 14:32:10 Finished examples/opentheory/compilation                      36m02s  54GB
Jun 01 14:32:11 Starting examples/opentheory/compilation/proofs
Jun 01 14:33:41 Finished examples/opentheory/compilation/proofs                1m28s   6GB
Jun 01 14:33:42 Starting examples/opentheory/compilation/ag32
Jun 01 15:05:49 Finished examples/opentheory/compilation/ag32                 32m05s  50GB
Jun 01 15:05:50 Starting examples/opentheory/compilation/ag32/proofs
Jun 01 15:08:11 Finished examples/opentheory/compilation/ag32/proofs           2m20s  11GB
Jun 01 15:08:12 Starting examples/sat_encodings
Jun 01 15:11:07 Finished examples/sat_encodings                                2m53s   1GB
Jun 01 15:11:08 Starting examples/sat_encodings/case_studies
Jun 01 15:13:15 Finished examples/sat_encodings/case_studies                   2m06s   2GB
Jun 01 15:13:16 Starting examples/sat_encodings/translation
Jun 01 15:19:39 Finished examples/sat_encodings/translation                    6m21s   8GB
Jun 01 15:19:40 Starting examples/sat_encodings/translation/compilation
Jun 01 15:54:43 Finished examples/sat_encodings/translation/compilation       35m02s  22GB
Jun 01 15:54:44 Starting examples/deflate
Jun 01 15:56:10 Finished examples/deflate                                      1m25s   1GB
Jun 01 15:56:11 Starting examples/deflate/translation
Jun 01 15:57:50 Finished examples/deflate/translation                          1m38s   7GB
Jun 01 15:57:51 Starting examples/deflate/translation/compilation
Jun 01 16:14:19 Finished examples/deflate/translation/compilation             16m26s  16GB
Jun 01 16:14:20 Starting examples/vipr
Jun 01 16:18:23 Finished examples/vipr                                         4m01s   6GB
Jun 01 16:18:24 Starting examples/vipr/compilation
Jun 01 16:38:16 Finished examples/vipr/compilation                            19m52s  23GB
Jun 01 16:38:17 Starting translator/okasaki-examples
Jun 01 16:43:26 Finished translator/okasaki-examples                           5m07s   3GB
Jun 01 16:43:27 Starting translator/other-examples
Jun 01 16:44:43 Finished translator/other-examples                             1m15s   3GB
Jun 01 16:44:44 Starting compiler/parsing/tests
Jun 01 16:45:19 Finished compiler/parsing/tests                                  33s   1GB
Jun 01 16:45:19 Starting compiler/inference/tests
Jun 01 16:46:02 Finished compiler/inference/tests                                42s   2GB
Jun 01 16:46:03 Starting compiler/printing/test
Jun 01 16:47:36 Finished compiler/printing/test                                1m31s   6GB
Jun 01 16:47:37 Starting icing/flover
Jun 01 17:24:27 Finished icing/flover                                         36m48s   4GB
Jun 01 17:24:28 Starting icing/
Jun 01 18:18:19 Finished icing/                                               53m50s  31GB
Jun 01 18:18:20 Starting icing/examples
Jun 01 18:20:07 Finished icing/examples                                        1m46s   9GB
Jun 01 18:20:08 Starting compiler/repl
Jun 01 18:28:57 Finished compiler/repl                                         8m47s   9GB
Jun 01 18:28:58 Starting unverified/sexpr-bootstrap/x64/64
Jun 01 18:40:06 Finished unverified/sexpr-bootstrap/x64/64                    11m07s  17GB
Jun 01 18:40:07 Starting unverified/sexpr-bootstrap/x64/32
Jun 01 18:49:05 Finished unverified/sexpr-bootstrap/x64/32                     8m56s  13GB
Jun 01 18:49:06 Starting compiler/benchmarks
Jun 01 18:49:51 Finished compiler/benchmarks                                     44s 713MB
Jun 01 18:49:52 Starting compiler/bootstrap/compilation/x64/64
Jun 02 10:27:28 Finished compiler/bootstrap/compilation/x64/64             15h37m35s 156GB
Jun 02 10:27:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 02 10:51:26 Finished compiler/bootstrap/compilation/x64/64/proofs         23m55s  49GB
Jun 02 10:51:27 Starting compiler/bootstrap/compilation/x64/32
Jun 02 18:36:39 Finished compiler/bootstrap/compilation/x64/32              7h45m11s 135GB
Jun 02 18:36:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 02 18:40:26 Finished compiler/bootstrap/compilation/x64/32/proofs          3m44s  19GB
Jun 02 18:40:27 Starting compiler/bootstrap/compilation/ag32/32
Jun 03 02:50:01 Finished compiler/bootstrap/compilation/ag32/32             8h09m33s 165GB
Jun 03 02:50:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 03 02:58:03 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m00s  53GB
Jun 03 02:58:04 SUCCESS