Improve TypeCombinator::unionWithSubtractedType #12734

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Download data	1m 2s
Analyse (70300, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 5s
Analyse (70300, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 2s
Analyse (70300, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	2m 4s
Analyse (70300, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 0s
Analyse (70300, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 8s
Analyse (70300, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	2m 12s
Analyse (70300, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 19s
Analyse (70300, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	2m 1s
Analyse (70300, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 4s
Analyse (70300, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 0s
Analyse (70300, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 18s
Analyse (70300, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	2m 7s
Analyse (70300, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 4s
Analyse (70300, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 2s
Analyse (70300, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 14s
Analyse (70400, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	2m 2s
Analyse (70400, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 12s
Analyse (70400, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 7s
Analyse (70300, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	1m 58s
Analyse (70400, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 4s
Analyse (70400, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	2m 12s
Analyse (70300, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 20s
Analyse (70400, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	1m 57s
Analyse (70400, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 6s
Analyse (70400, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 5s
Analyse (70400, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 7s
Analyse (70300, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 11s
Analyse (70400, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	2m 8s
Analyse (70400, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 0s
Analyse (70400, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 14s
Analyse (70400, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 13s
Analyse (80000, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	1m 59s
Analyse (70400, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 12s
Analyse (70400, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	1m 49s
Analyse (80000, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	2m 13s
Analyse (70400, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 4s
Analyse (70400, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 2s
Analyse (80000, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 8s
Analyse (80000, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	2m 2s
Analyse (70400, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 3s
Analyse (80000, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 10s
Analyse (80000, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 5s
Analyse (80000, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 6s
Analyse (80000, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 7s
Analyse (80000, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 2s
Analyse (80000, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	2m 1s
Analyse (80000, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 4s
Analyse (80000, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 2s
Analyse (80000, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	2m 0s
Analyse (80000, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 3s
Analyse (80000, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 5s
Analyse (80100, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 11s
Analyse (80100, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 8s
Analyse (80000, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 18s
Analyse (80100, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	2m 9s
Analyse (80100, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 8s
Analyse (80100, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	1m 58s
Analyse (80000, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	1m 40s
Analyse (80100, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 9s
Analyse (80000, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 12s
Analyse (80100, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	1m 59s
Analyse (80100, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	2m 3s
Analyse (80100, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 4s
Analyse (80100, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 5s
Analyse (80100, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 2s
Analyse (80100, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	1m 52s
Analyse (80100, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 15s
Analyse (80200, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 6s
Analyse (80100, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 22s
Analyse (80200, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 9s
Analyse (80200, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	2m 3s
Analyse (80200, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	2m 4s
Analyse (80200, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	2m 5s
Analyse (80200, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	2m 0s
Analyse (80100, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 9s
Analyse (80200, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 5s
Analyse (80200, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 4s
Analyse (80200, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 6s
Analyse (80200, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 16s
Analyse (80200, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 12s
Analyse (80200, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	1m 47s
Analyse (80200, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 12s
Analyse (80200, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 13s
Analyse (80200, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 11s
Analyse (80300, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 9s
Analyse (80300, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 15s
Analyse (80300, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	2m 4s
Analyse (80300, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 9s
Analyse (80100, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 0s
Analyse (80200, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 10s
Analyse (80300, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	2m 9s
Analyse (80300, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	1m 59s
Analyse (80100, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 16s
Analyse (80200, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 1s
Analyse (80100, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 16s
Analyse (80200, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 5s
Analyse (80300, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 7s
Analyse (80300, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 6s
Analyse (80300, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 6s
Analyse (80300, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 11s
Analyse (80300, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	2m 5s
Analyse (80300, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 4s
Analyse (80300, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 6s
Analyse (80300, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 17s
Analyse (80300, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 2s
Analyse (80300, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 0s
Analyse (80400, 2, de0085e1-29c0-4346-849a-79948ec1c385,c404d305-0844-4c3e-8ae4-4c92f08fd178,f4c5...	2m 6s
Analyse (80300, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	2m 4s
Analyse (80300, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 3s
Analyse (80400, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 1s
Analyse (80400, 3, 93e25c0b-3e2f-4e3e-962e-b101ff9d59ae,6c4b7e39-37f6-4e90-9b76-3e77f53421d7,b927...	2m 3s
Analyse (80400, 5, deb46a66-37f4-4481-bc79-c4393460e386,dabc3b1d-96a1-4b5d-a4c4-da4fbd5f6d14,5a13...	2m 4s
Analyse (80400, 6, 064e69da-8b94-461b-872c-a2322d69e2a6,5fb78a8a-a7ef-4ffc-9dbe-4376b22fb288,6a24...	2m 11s
Analyse (80400, 7, 016e8878-a594-448f-b449-cc0a49214e26,7276a596-2325-479f-8360-f14bf45586a4,ffea...	2m 11s
Analyse (80400, 11, 9f6436f3-11a3-4632-8095-87740557ed05,927f95de-3357-4ff7-899a-494b0f073159,cd8...	2m 8s
Analyse (80400, 10, 6c9d12f2-8903-4a9a-b9f4-0aab77c4a908,07c8eb92-0f17-4b83-9504-657ec679da3a,567...	2m 15s
Analyse (80400, 4, 017e381f-be92-42e3-8b42-a54bd67edbdb,52259d49-7c3d-401f-83ad-e229c30802a5,4102...	2m 13s
Analyse (80400, 15, 43c76836-a07b-40ef-826f-e72c889b9024,2fa5189a-4e20-4f7a-8cad-6f83c1fff0c7,e93...	2m 7s
Analyse (80400, 9, 1be05612-a66f-4fbd-8a12-604ac718f80c,290f1352-fc8b-49eb-8a4a-ea9fca145fdc,b0eb...	2m 5s
Analyse (80400, 8, 6e4c870b-7be1-453c-8f72-d94ed9f6ec83,8954c7b1-5966-4015-9e6e-59054cb17c1e,4a42...	2m 5s
Analyse (80400, 14, 1c4a83ed-1ffa-4039-9287-f1dc835acbc6,a3ad7451-cf3d-43d2-972f-a2186afad50a,ef1...	2m 13s
Analyse (80400, 16, d86e66e1-58bd-45d1-9f9e-64cb5a12c53a,49ecbf3b-76c2-44ae-9f40-90325e6df47c,aa7...	2m 9s
Analyse (80500, 1, bda40d7b-21d6-4457-af7f-a67157a33598,a9893366-4c38-46c8-a87c-1e0a71c441f0,fa8c...	23s
Analyse (80400, 18, 3b8d525d-ae23-45f2-92f7-c8e21406b6f7,8950a29c-cb92-41e5-9557-2a851bf9909b,4d5...	1m 53s
Analyse (80400, 13, fafe865a-f33a-4a28-a58c-5496cab9e898,84c094da-91ef-47b2-9161-b897debc6789,406...	2m 15s
Analyse (80500, 2, bc16a826-db40-4b2c-8360-928ee0d5ea49,2f0a15ef-3c8b-40bc-a9a8-55c2ac0590f8,d89a...	33s
Analyse (80400, 17, bc11ad64-ced3-4eab-ae0a-2c3bdbc94b08,fa06cc1b-6489-4f4b-b03f-86b75e6de217,857...	2m 23s
Analyse (80500, 4, eec8e742-4cbd-4e9a-a2d8-47edcde9327d,7e3e3edc-0faa-48e1-8392-7008c518e427,7a86...	33s
Analyse (80400, 12, 3dd3bb38-c28c-4282-85bf-601e88b1e5e5,4fb72139-58a8-434c-bee8-6cc651dfac65,e3e...	2m 11s
Analyse (80500, 3, 0850c2cb-3c81-4451-b2f6-b570d1d41a30,9140cc80-f0e1-4676-85a4-5d5b7c0e5ed4,f8b4...	23s
Analyse (80500, 6, 30c00b38-2c37-4e49-8aac-6fb3c6458bc4,37b9c155-bc49-48af-bf73-b4555eadd7c4,f69c...	25s
Analyse (80500, 5, c5fe84a9-c297-4fdf-8fe5-bc0bc08dcaa8,e6912e66-28ad-4955-9968-508b9dc4066e,bf11...	29s
Analyse (80500, 10, d959cadf-76e3-4384-a17b-64bf50f591c8,e0e8d1f4-1ad8-489e-af72-e1dd1522746d,de7...	30s
Analyse (80500, 8, c9998ed9-4418-4e0c-b85f-4ba5124dd9bd,ec51f3a7-f190-4e3a-960b-3d20907bdc0f,d1fc...	31s
Analyse (80500, 11, 8a1b89b1-5745-4ea0-bed2-6739459426f4,7fd1fc40-b3d2-4914-a3ca-c9c3be938cb0,5d0...	34s
Analyse (80500, 14, baddcabd-e72b-42c8-a7b2-ab8eb4018483,8a1090e8-19e9-4b1f-9e63-cd97feb966ba,743...	27s
Analyse (80500, 9, ee0894e8-e0bb-4286-a884-a8c5b9a1cb02,5fb43ff1-76f6-4e88-8836-17411f2b0bf1,c088...	22s
Analyse (80500, 15, 4ca28bb7-a9ce-4085-9858-890965a39bc7,01d72320-60a3-4d1e-abc5-0e054d390456,c08...	27s
Analyse (80500, 13, 05e07d10-0bc9-43f2-9fef-3abcbb63a838,f26c5121-ff70-477b-8ddd-7c1d9e77550c,e92...	26s
Analyse (80500, 7, 18cc0159-cd71-44ed-908a-fd0801510741,d4a90317-b421-4618-aaf7-3974662d9cce,5c54...	23s
Analyse (80500, 17, 467d2356-89e0-4f22-9d26-393113bd246f)	35s
Analyse (80500, 12, 786c65d0-545d-429b-b033-c7e6ff270c3b,6f4b1ccf-7392-4afa-8a16-e0a49a8d7c42,3f8...	23s
Analyse (80500, 16, 1adc9aae-0f5a-4e5e-85e7-c5c17e21038e,4dae517a-a6f4-41ea-aa75-878116b4819c,8d8...	28s
Evaluate results	18s
	4h 34m 39s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Improve TypeCombinator::unionWithSubtractedType #12734

Usage

Improve TypeCombinator::unionWithSubtractedType #12734

Uh oh!

Jobs

Run details

Run time