Job 1839

CakeML:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff [Mar 17 04:55:12]
HOL:e423188b196a54551b2b4fddb00dc960d0ee96c4
  Minkowski's inequality and its applications in Probability (#1009) [Mar 25 02:18:56]
Machine:oven3
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 31 13:31:41 Claimed job
Mar 31 13:32:00 Building+HOL
Mar 31 13:52:21 Starting+developers
Mar 31 13:52:30 Finished+developers++++++++++++++++++++++++++++++++++++++++8.75+170424
Mar 31 13:52:30 Starting+developers/bin
Mar 31 13:53:00 Finished+developers/bin++++++++++++++++++++++++++++++++++++29.22+1256912
Mar 31 13:53:00 Starting+semantics/ffi
Mar 31 13:53:25 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++25.20+252772
Mar 31 13:53:26 Starting+semantics
Mar 31 13:57:51 Finished+semantics+++++++++++++++++++++++++++++++++++++++++265.35+1509672
Mar 31 13:57:51 Starting+semantics/proofs
Mar 31 14:07:01 Finished+semantics/proofs++++++++++++++++++++++++++++++++++549.21+4447468
Mar 31 14:07:01 Starting+semantics/alt_semantics
Mar 31 14:07:40 Finished+semantics/alt_semantics+++++++++++++++++++++++++++38.45+480792
Mar 31 14:07:40 Starting+semantics/alt_semantics/proofs
Mar 31 14:12:54 Finished+semantics/alt_semantics/proofs++++++++++++++++++++313.53+979664
Mar 31 14:12:54 Starting+basis/pure
Mar 31 14:19:33 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++399.33+956948
Mar 31 14:19:34 Starting+translator
Mar 31 14:25:50 Finished+translator++++++++++++++++++++++++++++++++++++++++375.77+1780124
Mar 31 14:25:50 Starting+compiler/parsing
Mar 31 14:28:39 Finished+compiler/parsing++++++++++++++++++++++++++++++++++169.03+3982128
Mar 31 14:28:39 Starting+characteristic
Mar 31 14:42:03 Finished+characteristic++++++++++++++++++++++++++++++++++++803.83+2138540
Mar 31 14:42:03 Starting+translator/monadic
Mar 31 14:46:06 Finished+translator/monadic++++++++++++++++++++++++++++++++242.26+1572308
Mar 31 14:46:06 Starting+basis
Mar 31 16:29:26 Finished+basis+++++++++++++++++++++++++++++++++++++++++++++6198.81+21194648
Mar 31 16:29:26 Starting+compiler/inference
Mar 31 16:32:33 Finished+compiler/inference++++++++++++++++++++++++++++++++186.74+1381048
Mar 31 16:32:34 Starting+compiler/backend/reg_alloc
Mar 31 16:35:47 Finished+compiler/backend/reg_alloc++++++++++++++++++++++++192.86+1754576
Mar 31 16:35:47 Starting+compiler/backend/gc
Mar 31 16:44:09 Finished+compiler/backend/gc+++++++++++++++++++++++++++++++501.95+2008756
Mar 31 16:44:09 Starting+compiler/backend
Mar 31 16:55:00 Finished+compiler/backend++++++++++++++++++++++++++++++++++650.32+2964128
Mar 31 16:55:00 Starting+compiler/encoders/asm
Mar 31 16:56:04 Finished+compiler/encoders/asm+++++++++++++++++++++++++++++63.94+778812
Mar 31 16:56:04 Starting+compiler/encoders/x64
Mar 31 16:58:38 Finished+compiler/encoders/x64+++++++++++++++++++++++++++++154.02+991264
Mar 31 16:58:39 Starting+compiler/encoders/arm7
Mar 31 17:03:19 Finished+compiler/encoders/arm7++++++++++++++++++++++++++++280.60+1397100
Mar 31 17:03:20 Starting+compiler/encoders/arm8
Mar 31 17:04:55 Finished+compiler/encoders/arm8++++++++++++++++++++++++++++95.13+880576
Mar 31 17:04:55 Starting+compiler/encoders/arm8_asl
Mar 31 21:11:45 Finished+compiler/encoders/arm8_asl++++++++++++++++++++++++14809.48+32635652
Mar 31 21:11:45 Starting+compiler/encoders/mips
Mar 31 21:15:05 Finished+compiler/encoders/mips++++++++++++++++++++++++++++199.74+1569696
Mar 31 21:15:05 Starting+compiler/encoders/riscv
Mar 31 21:18:56 Finished+compiler/encoders/riscv+++++++++++++++++++++++++++230.88+1242544
Mar 31 21:18:57 Starting+compiler/encoders/ag32
Mar 31 21:19:45 Finished+compiler/encoders/ag32++++++++++++++++++++++++++++47.89+782888
Mar 31 21:19:45 Starting+compiler/backend/x64
Mar 31 21:20:35 Finished+compiler/backend/x64++++++++++++++++++++++++++++++49.93+1338736
Mar 31 21:20:35 Starting+compiler/backend/arm7
Mar 31 21:21:25 Finished+compiler/backend/arm7+++++++++++++++++++++++++++++49.04+1768700
Mar 31 21:21:25 Starting+compiler/backend/arm8
Mar 31 21:22:13 Finished+compiler/backend/arm8+++++++++++++++++++++++++++++47.85+1477660
Mar 31 21:22:13 Starting+compiler/backend/mips
Mar 31 21:23:03 Finished+compiler/backend/mips+++++++++++++++++++++++++++++49.64+1463524
Mar 31 21:23:03 Starting+compiler/backend/riscv
Mar 31 21:23:55 Finished+compiler/backend/riscv++++++++++++++++++++++++++++51.18+1545124
Mar 31 21:23:55 Starting+compiler/backend/ag32
Mar 31 21:26:51 Finished+compiler/backend/ag32+++++++++++++++++++++++++++++176.00+1625796
Mar 31 21:26:51 Starting+compiler/parsing/proofs
Mar 31 21:35:23 Finished+compiler/parsing/proofs+++++++++++++++++++++++++++511.53+1206236
Mar 31 21:35:23 Starting+compiler/inference/proofs
Mar 31 21:41:07 Finished+compiler/inference/proofs+++++++++++++++++++++++++344.15+1273884
Mar 31 21:41:08 Starting+compiler/backend/semantics
Mar 31 22:42:53 Finished+compiler/backend/semantics++++++++++++++++++++++++3705.36+2177924
Mar 31 22:42:54 Starting+compiler/backend/reg_alloc/proofs
Mar 31 22:50:29 Finished+compiler/backend/reg_alloc/proofs+++++++++++++++++454.88+1110632
Mar 31 22:50:29 Starting+compiler/backend/proofs
Apr 01 00:30:09 Finished+compiler/backend/proofs+++++++++++++++++++++++++++5979.86+16047528
Apr 01 00:30:09 Starting+compiler/backend/serialiser
Apr 01 00:33:32 Finished+compiler/backend/serialiser+++++++++++++++++++++++202.55+1884032
Apr 01 00:33:32 Starting+compiler/encoders/x64/proofs
Apr 01 00:55:24 Finished+compiler/encoders/x64/proofs++++++++++++++++++++++1311.59+5091544
Apr 01 00:55:24 Starting+compiler/encoders/arm7/proofs
Apr 01 01:27:02 Finished+compiler/encoders/arm7/proofs+++++++++++++++++++++1897.66+3828900
Apr 01 01:27:03 Starting+compiler/encoders/arm8/proofs
Apr 01 01:42:39 Finished+compiler/encoders/arm8/proofs+++++++++++++++++++++936.25+1383716
Apr 01 01:42:39 Starting+compiler/encoders/arm8_asl/proofs
Apr 01 03:38:22 Finished+compiler/encoders/arm8_asl/proofs+++++++++++++++++6941.94+6642436
Apr 01 03:38:22 Starting+compiler/encoders/mips/proofs
Apr 01 04:00:26 Finished+compiler/encoders/mips/proofs+++++++++++++++++++++1323.60+2786168
Apr 01 04:00:26 Starting+compiler/encoders/riscv/proofs
Apr 01 04:20:37 Finished+compiler/encoders/riscv/proofs++++++++++++++++++++1210.63+1551360
Apr 01 04:20:37 Starting+compiler/encoders/ag32/proofs
Apr 01 04:26:30 Finished+compiler/encoders/ag32/proofs+++++++++++++++++++++352.51+845088
Apr 01 04:26:30 Starting+compiler/backend/x64/proofs
Apr 01 04:27:30 Finished+compiler/backend/x64/proofs+++++++++++++++++++++++60.21+1686520
Apr 01 04:27:31 Starting+compiler/backend/arm7/proofs
Apr 01 04:28:40 Finished+compiler/backend/arm7/proofs++++++++++++++++++++++69.42+1080976
Apr 01 04:28:40 Starting+compiler/backend/arm8/proofs
Apr 01 04:29:39 Finished+compiler/backend/arm8/proofs++++++++++++++++++++++58.63+1666036
Apr 01 04:29:39 Starting+compiler/backend/arm8_asl
Apr 01 04:30:27 Finished+compiler/backend/arm8_asl+++++++++++++++++++++++++47.70+1758816
Apr 01 04:30:28 Starting+compiler/backend/mips/proofs
Apr 01 04:31:26 Finished+compiler/backend/mips/proofs++++++++++++++++++++++58.34+1405240
Apr 01 04:31:26 Starting+compiler/backend/riscv/proofs
Apr 01 04:32:29 Finished+compiler/backend/riscv/proofs+++++++++++++++++++++62.05+1606896
Apr 01 04:32:29 Starting+compiler/backend/ag32/proofs
Apr 01 05:00:20 Finished+compiler/backend/ag32/proofs++++++++++++++++++++++1671.00+2866584
Apr 01 05:00:20 Starting+compiler/proofs
Apr 01 05:05:18 Finished+compiler/proofs+++++++++++++++++++++++++++++++++++298.04+2968176
Apr 01 05:05:19 Starting+candle/set-theory
Apr 01 05:06:30 Finished+candle/set-theory+++++++++++++++++++++++++++++++++70.81+997408
Apr 01 05:06:30 Starting+candle/syntax-lib
Apr 01 05:06:59 Finished+candle/syntax-lib+++++++++++++++++++++++++++++++++29.01+774216
Apr 01 05:06:59 Starting+candle/standard/syntax
Apr 01 05:11:19 Finished+candle/standard/syntax++++++++++++++++++++++++++++259.56+1307936
Apr 01 05:11:19 Starting+candle/standard/semantics
Apr 01 05:15:21 Finished+candle/standard/semantics+++++++++++++++++++++++++241.93+1450516
Apr 01 05:15:21 Starting+candle/standard/monadic
Apr 01 05:19:22 Finished+candle/standard/monadic+++++++++++++++++++++++++++240.20+1905928
Apr 01 05:19:22 Starting+candle/standard/ml_kernel
Apr 01 05:32:17 Finished+candle/standard/ml_kernel+++++++++++++++++++++++++774.58+3375404
Apr 01 05:32:17 Starting+candle/overloading/syntax
Apr 01 05:39:02 Finished+candle/overloading/syntax+++++++++++++++++++++++++404.46+1476628
Apr 01 05:39:02 Starting+candle/overloading/semantics
Apr 01 06:04:50 Finished+candle/overloading/semantics++++++++++++++++++++++1547.74+2826596
Apr 01 06:04:50 Starting+candle/overloading/monadic
Apr 01 06:10:15 Finished+candle/overloading/monadic++++++++++++++++++++++++324.33+1753980
Apr 01 06:10:15 Starting+candle/overloading/ml_kernel
Apr 01 06:25:14 Finished+candle/overloading/ml_kernel++++++++++++++++++++++898.95+3565688
Apr 01 06:25:14 Starting+candle/overloading/ml_checker
Apr 01 06:30:29 Finished+candle/overloading/ml_checker+++++++++++++++++++++314.48+4466808
Apr 01 06:30:29 Starting+candle/prover
Apr 01 06:48:24 Finished+candle/prover+++++++++++++++++++++++++++++++++++++1074.36+2804428
Apr 01 06:48:24 Starting+pancake
Apr 01 06:56:17 Finished+pancake+++++++++++++++++++++++++++++++++++++++++++473.21+2778596
Apr 01 06:56:18 Starting+pancake/ffi
Apr 01 06:56:19 Finished+pancake/ffi+++++++++++++++++++++++++++++++++++++++0.76+30344
Apr 01 06:56:19 Starting+pancake/semantics
Apr 01 07:01:34 Finished+pancake/semantics+++++++++++++++++++++++++++++++++315.14+913556
Apr 01 07:01:34 Starting+pancake/proofs
Apr 01 07:28:23 Finished+pancake/proofs++++++++++++++++++++++++++++++++++++1608.89+4723224
Apr 01 07:28:24 Starting+characteristic/examples
Apr 01 07:31:16 Finished+characteristic/examples+++++++++++++++++++++++++++172.31+3158736
Apr 01 07:31:16 Starting+tutorial/solutions
Apr 01 08:08:03 Finished+tutorial/solutions++++++++++++++++++++++++++++++++2206.70+8426312
Apr 01 08:08:04 Starting+translator/monadic/examples
Apr 01 08:15:04 Finished+translator/monadic/examples+++++++++++++++++++++++420.68+3125012
Apr 01 08:15:05 Starting+examples
Apr 01 08:33:30 Finished+examples++++++++++++++++++++++++++++++++++++++++++1105.01+3620756
Apr 01 08:33:30 Starting+examples/compilation/x64
Apr 01 14:11:27 Finished+examples/compilation/x64++++++++++++++++++++++++++20276.26+29480368
Apr 01 14:11:27 Starting+examples/compilation/x64/proofs
Apr 01 14:15:56 Finished+examples/compilation/x64/proofs+++++++++++++++++++268.42+3998916
Apr 01 14:15:56 Starting+examples/compilation/ag32
Apr 01 15:33:37 Finished+examples/compilation/ag32+++++++++++++++++++++++++4660.46+11073432
Apr 01 15:33:37 Starting+examples/compilation/ag32/proofs
Apr 01 15:35:31 Finished+examples/compilation/ag32/proofs++++++++++++++++++113.41+2854888
Apr 01 15:35:31 Starting+examples/cost
Apr 01 17:38:59 Finished+examples/cost+++++++++++++++++++++++++++++++++++++7407.52+9218944
Apr 01 17:38:59 Starting+examples/lpr_checker
Apr 01 17:41:09 Finished+examples/lpr_checker++++++++++++++++++++++++++++++130.18+1123688
Apr 01 17:41:09 Starting+examples/lpr_checker/array
Apr 01 18:45:09 Finished+examples/lpr_checker/array++++++++++++++++++++++++3838.82+5671836
Apr 01 18:45:10 Starting+examples/lpr_checker/array/compilation
Apr 01 21:37:40 Finished+examples/lpr_checker/array/compilation++++++++++++10349.63+28877684
Apr 01 21:37:40 Starting+examples/lpr_checker/array/compilation/proofs
Apr 01 21:40:45 Finished+examples/lpr_checker/array/compilation/proofs+++++185.30+8025076
Apr 01 21:40:46 Starting+examples/opentheory
Apr 01 22:02:44 Finished+examples/opentheory+++++++++++++++++++++++++++++++1318.44+4872848
Apr 01 22:02:44 Starting+examples/opentheory
Apr 01 22:02:48 Finished+examples/opentheory+++++++++++++++++++++++++++++++2.88+33440
Apr 01 22:02:48 Starting+examples/opentheory/compilation
Apr 01 23:39:07 Finished+examples/opentheory/compilation+++++++++++++++++++5777.82+36828404
Apr 01 23:39:07 Starting+examples/opentheory/compilation/proofs
Apr 01 23:40:58 Finished+examples/opentheory/compilation/proofs++++++++++++110.67+3511372
Apr 01 23:40:58 Starting+examples/opentheory/compilation/ag32
Apr 02 01:10:19 Finished+examples/opentheory/compilation/ag32++++++++++++++5359.86+37903808
Apr 02 01:10:19 Starting+examples/opentheory/compilation/ag32/proofs
Apr 02 01:14:10 Finished+examples/opentheory/compilation/ag32/proofs+++++++231.05+6996772
Apr 02 01:14:11 Starting+examples/sat_encodings
Apr 02 01:18:34 Finished+examples/sat_encodings++++++++++++++++++++++++++++263.58+1176888
Apr 02 01:18:35 Starting+examples/sat_encodings/case_studies
Apr 02 01:22:11 Finished+examples/sat_encodings/case_studies+++++++++++++++216.50+1028552
Apr 02 01:22:12 Starting+examples/sat_encodings/translation
Apr 02 01:33:57 Finished+examples/sat_encodings/translation++++++++++++++++705.67+3771180
Apr 02 01:33:58 Starting+examples/sat_encodings/translation/compilation
Apr 02 03:03:02 Finished+examples/sat_encodings/translation/compilation++++5344.13+23346872
Apr 02 03:03:02 Starting+translator/okasaki-examples
Apr 02 03:12:50 Finished+translator/okasaki-examples+++++++++++++++++++++++587.41+1797508
Apr 02 03:12:50 Starting+translator/other-examples
Apr 02 03:16:50 Finished+translator/other-examples+++++++++++++++++++++++++239.09+1592356
Apr 02 03:16:50 Starting+compiler/parsing/tests
Apr 02 03:17:59 Finished+compiler/parsing/tests++++++++++++++++++++++++++++69.27+579120
Apr 02 03:18:00 Starting+compiler/inference/tests
Apr 02 03:33:56 Finished+compiler/inference/tests++++++++++++++++++++++++++955.82+3424996
Apr 02 03:33:56 Starting+compiler/printing/test
Apr 02 03:41:01 Finished+compiler/printing/test++++++++++++++++++++++++++++425.20+4431728
Apr 02 03:41:01 Starting+compiler/repl
Apr 02 04:06:10 Finished+compiler/repl+++++++++++++++++++++++++++++++++++++1508.63+5039700
Apr 02 04:06:11 Starting+compiler/bootstrap/translation
Apr 02 12:41:07 Finished+compiler/bootstrap/translation++++++++++++++++++++30896.22+35552344
Apr 02 12:41:07 Starting+unverified/sexpr-bootstrap/x64/64
Apr 02 13:03:38 Finished+unverified/sexpr-bootstrap/x64/64+++++++++++++++++1349.91+12709016
Apr 02 13:03:38 Starting+unverified/sexpr-bootstrap/x64/32
Apr 02 13:21:54 Finished+unverified/sexpr-bootstrap/x64/32+++++++++++++++++1095.00+10303896
Apr 02 13:21:54 Starting+compiler/benchmarks
Apr 02 13:22:00 Finished+compiler/benchmarks+++++++++++++++++++++++++++++++5.33+50940
Apr 02 13:22:00 Starting+compiler/bootstrap/compilation/x64/64
Apr 04 05:32:08 Finished+compiler/bootstrap/compilation/x64/64+++++++++++++144606.28+82185924
Apr 04 05:32:08 Starting+compiler/bootstrap/compilation/x64/64/proofs
Apr 04 06:12:47 Finished+compiler/bootstrap/compilation/x64/64/proofs++++++2438.10+39396600
Apr 04 06:12:47 Starting+compiler/bootstrap/compilation/x64/32