Job 2608

CakeML:28141700a880c08a55a892054fa2d7abc476a079
  Put -lm at the end [Sep 14 15:03:01]
#1053 (dafny)
Merging into:de087b8310dac35007ee12fb7bd1a8ed31b632d7
  Merge pull request #1052 from CakeML/diff [Sep 13 18:57:18]
HOL:7bf55e0eb37d0d68268a5b6c2d55dc2895fd6361
  Fix bug in reduceLib.NOT_CONV [Sep 09 04:53:02]
Machine:pavlova

Sep 15 16:47:36 Claimed job
Sep 15 16:47:39 Reusing HOL
Sep 15 16:47:51 Starting developers
Sep 15 16:47:55 Finished developers                                               2s 213MB
Sep 15 16:47:56 Starting developers/bin
Sep 15 16:48:17 Finished developers/bin                                          19s   1GB
Sep 15 16:48:18 Starting compiler/proofs
Sep 15 18:32:47 Finished compiler/proofs                                    1h44m28s  35GB
Sep 15 18:32:48 Starting compiler/bootstrap/translation
Sep 16 03:31:20 Finished compiler/bootstrap/translation                     8h58m31s  59GB
Sep 16 03:31:21 Starting semantics/ffi
Sep 16 03:31:31 Finished semantics/ffi                                            8s 647MB
Sep 16 03:31:32 Starting semantics
Sep 16 03:31:33 Finished semantics                                                0s  64MB
Sep 16 03:31:34 Starting semantics/proofs
Sep 16 03:31:57 Finished semantics/proofs                                        22s 802MB
Sep 16 03:31:58 Starting semantics/alt_semantics
Sep 16 03:32:26 Finished semantics/alt_semantics                                 26s 928MB
Sep 16 03:32:27 Starting semantics/alt_semantics/proofs
Sep 16 03:42:46 Finished semantics/alt_semantics/proofs                       10m17s   3GB
Sep 16 03:42:47 Starting basis/pure
Sep 16 03:42:48 Finished basis/pure                                               0s  70MB
Sep 16 03:42:49 Starting translator
Sep 16 03:44:25 Finished translator                                            1m35s   4GB
Sep 16 03:44:26 Starting compiler/parsing
Sep 16 03:44:28 Finished compiler/parsing                                         0s  72MB
Sep 16 03:44:29 Starting characteristic
Sep 16 03:44:30 Finished characteristic                                           0s  90MB
Sep 16 03:44:31 Starting translator/monadic
Sep 16 03:44:33 Finished translator/monadic                                       0s 100MB
Sep 16 03:44:34 Starting basis
Sep 16 03:47:05 Finished basis                                                 2m30s   8GB
Sep 16 03:47:06 Starting compiler/inference
Sep 16 03:47:08 Finished compiler/inference                                       0s  92MB
Sep 16 03:47:09 Starting compiler/backend/reg_alloc
Sep 16 03:47:10 Finished compiler/backend/reg_alloc                               0s  65MB
Sep 16 03:47:11 Starting compiler/backend/gc
Sep 16 03:47:13 Finished compiler/backend/gc                                      1s 148MB
Sep 16 03:47:14 Starting compiler/backend
Sep 16 03:47:19 Finished compiler/backend                                         4s 382MB
Sep 16 03:47:20 Starting compiler/encoders/asm
Sep 16 03:47:22 Finished compiler/encoders/asm                                    0s  89MB
Sep 16 03:47:23 Starting compiler/encoders/x64
Sep 16 03:47:25 Finished compiler/encoders/x64                                    0s  98MB
Sep 16 03:47:26 Starting compiler/encoders/arm7
Sep 16 03:47:27 Finished compiler/encoders/arm7                                   0s 103MB
Sep 16 03:47:29 Starting compiler/encoders/arm8
Sep 16 03:47:31 Finished compiler/encoders/arm8                                   0s  99MB
Sep 16 03:47:32 Starting compiler/encoders/arm8_asl
Sep 16 03:49:44 Finished compiler/encoders/arm8_asl                            2m11s   1GB
Sep 16 03:49:45 Starting compiler/encoders/mips
Sep 16 03:49:47 Finished compiler/encoders/mips                                   0s  94MB
Sep 16 03:49:48 Starting compiler/encoders/riscv
Sep 16 03:49:49 Finished compiler/encoders/riscv                                  0s  99MB
Sep 16 03:49:50 Starting compiler/encoders/ag32
Sep 16 03:49:52 Finished compiler/encoders/ag32                                   0s  97MB
Sep 16 03:49:53 Starting compiler/backend/x64
Sep 16 03:49:55 Finished compiler/backend/x64                                     1s 143MB
Sep 16 03:49:56 Starting compiler/backend/arm7
Sep 16 03:49:58 Finished compiler/backend/arm7                                    1s 139MB
Sep 16 03:49:59 Starting compiler/backend/arm8
Sep 16 03:50:01 Finished compiler/backend/arm8                                    1s 130MB
Sep 16 03:50:02 Starting compiler/backend/mips
Sep 16 03:50:04 Finished compiler/backend/mips                                    1s 128MB
Sep 16 03:50:05 Starting compiler/backend/riscv
Sep 16 03:50:07 Finished compiler/backend/riscv                                   1s 128MB
Sep 16 03:50:08 Starting compiler/backend/ag32
Sep 16 03:51:34 Finished compiler/backend/ag32                                 1m24s   3GB
Sep 16 03:51:35 Starting compiler/parsing/proofs
Sep 16 03:51:36 Finished compiler/parsing/proofs                                  0s  71MB
Sep 16 03:51:37 Starting compiler/inference/proofs
Sep 16 03:51:39 Finished compiler/inference/proofs                                0s  95MB
Sep 16 03:51:40 Starting compiler/backend/semantics
Sep 16 03:54:52 Finished compiler/backend/semantics                            3m11s   4GB
Sep 16 03:54:53 Starting compiler/backend/reg_alloc/proofs
Sep 16 03:54:55 Finished compiler/backend/reg_alloc/proofs                        0s  93MB
Sep 16 03:54:56 Starting compiler/backend/proofs
Sep 16 03:55:50 Finished compiler/backend/proofs                                 53s   2GB
Sep 16 03:55:51 Starting compiler/backend/serialiser
Sep 16 03:55:53 Finished compiler/backend/serialiser                              1s 138MB
Sep 16 03:55:54 Starting compiler/encoders/x64/proofs
Sep 16 04:06:05 Finished compiler/encoders/x64/proofs                         10m10s   5GB
Sep 16 04:06:06 Starting compiler/encoders/arm7/proofs
Sep 16 04:19:20 Finished compiler/encoders/arm7/proofs                        13m13s  13GB
Sep 16 04:19:21 Starting compiler/encoders/arm8/proofs
Sep 16 04:26:10 Finished compiler/encoders/arm8/proofs                         6m47s   6GB
Sep 16 04:26:11 Starting compiler/encoders/arm8_asl/proofs
Sep 16 04:41:59 Finished compiler/encoders/arm8_asl/proofs                    15m47s   4GB
Sep 16 04:42:00 Starting compiler/encoders/mips/proofs
Sep 16 04:52:24 Finished compiler/encoders/mips/proofs                        10m22s  10GB
Sep 16 04:52:24 Starting compiler/encoders/riscv/proofs
Sep 16 05:00:54 Finished compiler/encoders/riscv/proofs                        8m28s   4GB
Sep 16 05:00:55 Starting compiler/encoders/ag32/proofs
Sep 16 05:03:50 Finished compiler/encoders/ag32/proofs                         2m54s   2GB
Sep 16 05:03:51 Starting compiler/backend/x64/proofs
Sep 16 05:04:38 Finished compiler/backend/x64/proofs                             45s   3GB
Sep 16 05:04:39 Starting compiler/backend/arm7/proofs
Sep 16 05:05:27 Finished compiler/backend/arm7/proofs                            47s   2GB
Sep 16 05:05:28 Starting compiler/backend/arm8/proofs
Sep 16 05:06:14 Finished compiler/backend/arm8/proofs                            44s   3GB
Sep 16 05:06:14 Starting compiler/backend/arm8_asl
Sep 16 05:06:47 Finished compiler/backend/arm8_asl                               31s   2GB
Sep 16 05:06:48 Starting compiler/backend/mips/proofs
Sep 16 05:07:38 Finished compiler/backend/mips/proofs                            49s   3GB
Sep 16 05:07:39 Starting compiler/backend/riscv/proofs
Sep 16 05:08:35 Finished compiler/backend/riscv/proofs                           55s   4GB
Sep 16 05:08:36 Starting compiler/backend/ag32/proofs
Sep 16 05:23:15 Finished compiler/backend/ag32/proofs                         14m38s   6GB
Sep 16 05:23:16 Starting compiler/backend/cv_compute
Sep 16 05:25:08 Finished compiler/backend/cv_compute                           1m51s   4GB
Sep 16 05:25:09 Starting cv_translator
Sep 16 05:45:13 Finished cv_translator                                        20m03s  10GB
Sep 16 05:45:14 Starting candle/set-theory
Sep 16 05:46:07 Finished candle/set-theory                                       51s   1GB
Sep 16 05:46:08 Starting candle/syntax-lib
Sep 16 05:46:09 Finished candle/syntax-lib                                        0s  72MB
Sep 16 05:46:10 Starting candle/standard/syntax
Sep 16 05:46:30 Finished candle/standard/syntax                                  19s   1GB
Sep 16 05:46:31 Starting candle/standard/semantics
Sep 16 05:49:23 Finished candle/standard/semantics                             2m51s   4GB
Sep 16 05:49:24 Starting candle/standard/monadic
Sep 16 05:49:26 Finished candle/standard/monadic                                  0s 101MB
Sep 16 05:49:27 Starting candle/standard/ml_kernel
Sep 16 05:51:31 Finished candle/standard/ml_kernel                             2m03s   5GB
Sep 16 05:51:32 Starting candle/overloading/syntax
Sep 16 05:55:15 Finished candle/overloading/syntax                             3m41s   3GB
Sep 16 05:55:16 Starting candle/overloading/semantics
Sep 16 06:06:54 Finished candle/overloading/semantics                         11m37s   3GB
Sep 16 06:06:55 Starting candle/overloading/monadic
Sep 16 06:09:37 Finished candle/overloading/monadic                            2m40s   3GB
Sep 16 06:09:37 Starting candle/overloading/ml_kernel
Sep 16 06:17:48 Finished candle/overloading/ml_kernel                          8m09s   7GB
Sep 16 06:17:49 Starting candle/overloading/ml_checker
Sep 16 06:20:35 Finished candle/overloading/ml_checker                         2m45s   7GB
Sep 16 06:20:36 Starting candle/prover
Sep 16 06:31:18 Finished candle/prover                                        10m40s   5GB
Sep 16 06:31:19 Starting pancake
Sep 16 06:31:46 Finished pancake                                                 26s 944MB
Sep 16 06:31:47 Starting pancake/ffi
Sep 16 06:31:48 Finished pancake/ffi                                              0s  22MB
Sep 16 06:31:49 Starting pancake/semantics
Sep 16 06:33:57 Finished pancake/semantics                                     2m07s   2GB
Sep 16 06:33:58 Starting pancake/parser
Sep 16 06:34:22 Finished pancake/parser                                          22s 803MB
Sep 16 06:34:23 Starting pancake/proofs
Sep 16 06:50:18 Finished pancake/proofs                                       15m54s   7GB
Sep 16 06:50:19 Starting compiler/dafny
Sep 16 06:52:56 Finished compiler/dafny                                        2m36s   8GB
Sep 16 06:52:57 Starting compiler/dafny/translation
Sep 16 07:21:20 Finished compiler/dafny/translation                           28m21s  18GB
Sep 16 07:21:21 Starting compiler/dafny/compilation
Sep 16 07:24:53 Finished compiler/dafny/compilation                            3m31s  14GB
Sep 16 07:24:54 Starting compiler/dafny/semantics
Sep 16 07:25:31 Finished compiler/dafny/semantics                                36s   1GB
Sep 16 07:25:32 Starting characteristic/examples
Sep 16 07:27:04 Finished characteristic/examples                               1m31s   5GB
Sep 16 07:27:05 Starting tutorial/solutions
Sep 16 07:29:55 Finished tutorial/solutions                                    2m48s   5GB
Sep 16 07:29:55 Starting translator/monadic/examples
Sep 16 07:33:20 Finished translator/monadic/examples                           3m23s   4GB
Sep 16 07:33:21 Starting examples
Sep 16 07:45:43 Finished examples                                             12m21s   7GB
Sep 16 07:45:43 Starting examples/compilation/x64
Sep 16 07:55:40 Finished examples/compilation/x64                              9m55s   7GB
Sep 16 07:55:41 Starting examples/compilation/x64/proofs
Sep 16 08:00:43 Finished examples/compilation/x64/proofs                       5m01s   9GB
Sep 16 08:00:44 Starting examples/compilation/ag32
Sep 16 08:03:28 Finished examples/compilation/ag32                             2m43s   5GB
Sep 16 08:03:29 Starting examples/compilation/ag32/proofs
Sep 16 08:05:25 Finished examples/compilation/ag32/proofs                      1m55s   8GB
Sep 16 08:05:26 Starting examples/compilation/to_word
Sep 16 08:09:39 Finished examples/compilation/to_word                          4m12s  13GB
Sep 16 08:09:40 Starting examples/lpr_checker
Sep 16 08:10:19 Finished examples/lpr_checker                                    38s   1GB
Sep 16 08:10:20 Starting examples/lpr_checker/array
Sep 16 08:37:00 Finished examples/lpr_checker/array                           26m38s  28GB
Sep 16 08:37:01 Starting examples/lpr_checker/array/compilation
Sep 16 08:39:41 Finished examples/lpr_checker/array/compilation                2m39s  10GB
Sep 16 08:39:42 Starting examples/lpr_checker/array/compilation/proofs
Sep 16 08:41:43 Finished examples/lpr_checker/array/compilation/proofs         1m59s   9GB
Sep 16 08:41:45 Starting examples/lpr_checker/array/compilation/proofsARM8
Sep 16 08:43:46 Finished examples/lpr_checker/array/compilation/proofsARM8     2m00s   7GB
Sep 16 08:43:47 Starting examples/xlrup_checker
Sep 16 08:44:23 Finished examples/xlrup_checker                                  34s   1GB
Sep 16 08:44:24 Starting examples/xlrup_checker/array
Sep 16 08:57:47 Finished examples/xlrup_checker/array                         13m22s  10GB
Sep 16 08:57:48 Starting examples/xlrup_checker/array/compilation
Sep 16 08:59:20 Finished examples/xlrup_checker/array/compilation              1m30s   7GB
Sep 16 08:59:21 Starting examples/xlrup_checker/array/compilation/proofs
Sep 16 09:01:16 Finished examples/xlrup_checker/array/compilation/proofs       1m54s   9GB
Sep 16 09:01:17 Starting examples/pseudo_bool
Sep 16 09:02:45 Finished examples/pseudo_bool                                  1m27s   1GB
Sep 16 09:02:46 Starting examples/pseudo_bool/cnf_encoding
Sep 16 09:03:29 Finished examples/pseudo_bool/cnf_encoding                       42s   1GB
Sep 16 09:03:30 Starting examples/pseudo_bool/graph_encoding
Sep 16 09:04:27 Finished examples/pseudo_bool/graph_encoding                     56s   1GB
Sep 16 09:04:28 Starting examples/pseudo_bool/array
Sep 16 10:08:02 Finished examples/pseudo_bool/array                         1h03m33s  34GB
Sep 16 10:08:03 Starting examples/pseudo_bool/array/compilation
Sep 16 10:21:58 Finished examples/pseudo_bool/array/compilation               13m53s  31GB
Sep 16 10:21:59 Starting examples/pseudo_bool/array/compilation/proofs
Sep 16 10:26:23 Finished examples/pseudo_bool/array/compilation/proofs         4m24s   9GB
Sep 16 10:26:24 Starting examples/pseudo_bool/array/compilation/proofsARM8
Sep 16 10:28:23 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m58s   8GB
Sep 16 10:28:24 Starting examples/opentheory
Sep 16 10:37:20 Finished examples/opentheory                                   8m54s   5GB
Sep 16 10:37:21 Starting examples/opentheory
Sep 16 10:37:23 Finished examples/opentheory                                      1s 133MB
Sep 16 10:37:24 Starting examples/opentheory/compilation
Sep 16 10:39:29 Finished examples/opentheory/compilation                       2m04s   9GB
Sep 16 10:39:30 Starting examples/opentheory/compilation/proofs
Sep 16 10:41:20 Finished examples/opentheory/compilation/proofs                1m49s   8GB
Sep 16 10:41:21 Starting examples/opentheory/compilation/ag32
Sep 16 10:43:39 Finished examples/opentheory/compilation/ag32                  2m16s   9GB
Sep 16 10:43:40 Starting examples/opentheory/compilation/ag32/proofs
Sep 16 10:46:21 Finished examples/opentheory/compilation/ag32/proofs           2m40s   8GB
Sep 16 10:46:22 Starting examples/sat_encodings
Sep 16 10:47:25 Finished examples/sat_encodings                                1m01s 938MB
Sep 16 10:47:26 Starting examples/sat_encodings/case_studies
Sep 16 10:49:40 Finished examples/sat_encodings/case_studies                   2m13s   2GB
Sep 16 10:49:41 Starting examples/sat_encodings/translation
Sep 16 10:53:29 Finished examples/sat_encodings/translation                    3m47s   5GB
Sep 16 10:53:30 Starting examples/sat_encodings/translation/compilation
Sep 16 10:56:01 Finished examples/sat_encodings/translation/compilation        2m29s   7GB
Sep 16 10:56:02 Starting examples/deflate
Sep 16 10:56:30 Finished examples/deflate                                        27s 736MB
Sep 16 10:56:31 Starting examples/deflate/translation
Sep 16 10:57:33 Finished examples/deflate/translation                          1m00s   2GB
Sep 16 10:57:34 Starting examples/deflate/translation/compilation
Sep 16 10:58:43 Finished examples/deflate/translation/compilation              1m08s   5GB
Sep 16 10:58:44 Starting examples/vipr
Sep 16 11:02:22 Finished examples/vipr                                         3m37s   4GB
Sep 16 11:02:23 Starting examples/vipr/compilation
Sep 16 11:03:45 Finished examples/vipr/compilation                             1m21s   6GB
Sep 16 11:03:46 Starting translator/okasaki-examples
Sep 16 11:08:15 Finished translator/okasaki-examples                           4m28s   5GB
Sep 16 11:08:16 Starting translator/other-examples
Sep 16 11:09:33 Finished translator/other-examples                             1m16s   3GB
Sep 16 11:09:34 Starting compiler/parsing/tests
Sep 16 11:10:14 Finished compiler/parsing/tests                                  38s   2GB
Sep 16 11:10:15 Starting compiler/inference/tests
Sep 16 11:11:02 Finished compiler/inference/tests                                46s   3GB
Sep 16 11:11:03 Starting compiler/printing/test
Sep 16 11:12:45 Finished compiler/printing/test                                1m41s   6GB
Sep 16 11:12:46 Starting icing/flover
Sep 16 11:49:54 Finished icing/flover                                         37m06s   4GB
Sep 16 11:49:55 Starting icing/
Sep 16 12:17:39 Finished icing/                                               27m42s  10GB
Sep 16 12:17:40 Starting icing/examples
Sep 16 12:19:39 Finished icing/examples                                        1m58s   9GB
Sep 16 12:19:40 Starting compiler/repl
Sep 16 12:28:55 Finished compiler/repl                                         9m14s  10GB
Sep 16 12:28:56 Starting unverified/sexpr-bootstrap/x64/64
Sep 16 12:42:55 Finished unverified/sexpr-bootstrap/x64/64                    13m58s  17GB
Sep 16 12:42:56 Starting unverified/sexpr-bootstrap/x64/32
Sep 16 12:54:16 Finished unverified/sexpr-bootstrap/x64/32                    11m18s  14GB
Sep 16 12:54:17 Starting compiler/benchmarks
Sep 16 12:55:02 Finished compiler/benchmarks                                     44s 712MB
Sep 16 12:55:03 Starting compiler/bootstrap/compilation/x64/64
Sep 16 13:41:32 Finished compiler/bootstrap/compilation/x64/64                46m27s 133GB
Sep 16 13:41:33 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 16 14:06:51 Finished compiler/bootstrap/compilation/x64/64/proofs         25m17s  57GB
Sep 16 14:06:52 Starting compiler/bootstrap/compilation/x64/32
Sep 16 14:46:33 Finished compiler/bootstrap/compilation/x64/32                39m40s  92GB
Sep 16 14:46:34 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 16 14:51:55 Finished compiler/bootstrap/compilation/x64/32/proofs          5m20s  26GB
Sep 16 14:51:56 Starting compiler/bootstrap/compilation/arm8/64
Sep 16 15:51:28 Finished compiler/bootstrap/compilation/arm8/64               59m30s 136GB
Sep 16 15:51:29 Starting compiler/bootstrap/compilation/arm8/64/proofs
Sep 16 15:57:35 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m05s  32GB
Sep 16 15:57:36 Starting compiler/bootstrap/compilation/ag32/32
Sep 16 16:39:30 Finished compiler/bootstrap/compilation/ag32/32               41m52s 101GB
Sep 16 16:39:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 16 16:45:33 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m00s  32GB
Sep 16 16:45:33 SUCCESS