Improve TypeCombinator::unionWithSubtractedType #12632

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Download data	25s
Analyse (70300, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	2m 3s
Analyse (70300, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 8s
Analyse (70300, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	2m 5s
Analyse (70300, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	2m 8s
Analyse (70300, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	1m 59s
Analyse (70300, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	2m 7s
Analyse (70300, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 7s
Analyse (70300, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	2m 2s
Analyse (70300, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	2m 7s
Analyse (70300, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	1m 55s
Analyse (70300, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	2m 2s
Analyse (70400, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	2m 2s
Analyse (70300, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	2m 11s
Analyse (70300, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	2m 4s
Analyse (70300, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	1m 57s
Analyse (70300, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	1m 59s
Analyse (70400, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	2m 0s
Analyse (70300, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 4s
Analyse (70300, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	2m 5s
Analyse (70300, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	2m 7s
Analyse (70400, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	1m 56s
Analyse (70400, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	1m 56s
Analyse (70400, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	1m 57s
Analyse (70400, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	2m 0s
Analyse (70400, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	1m 58s
Analyse (70400, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	2m 6s
Analyse (70400, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	1m 59s
Analyse (70400, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	2m 6s
Analyse (70400, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	1m 57s
Analyse (70400, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	2m 8s
Analyse (70400, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	2m 4s
Analyse (70400, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 9s
Analyse (70400, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	2m 3s
Analyse (70400, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	2m 11s
Analyse (80000, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	2m 9s
Analyse (80000, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 6s
Analyse (80000, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	1m 56s
Analyse (80000, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	2m 0s
Analyse (80000, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	2m 0s
Analyse (70400, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 1s
Analyse (80000, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	2m 5s
Analyse (80000, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	2m 3s
Analyse (80000, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 8s
Analyse (80000, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	2m 0s
Analyse (80000, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	2m 12s
Analyse (80000, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	1m 54s
Analyse (80000, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	1m 58s
Analyse (80000, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	2m 2s
Analyse (80000, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 13s
Analyse (80100, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	2m 1s
Analyse (80100, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	2m 13s
Analyse (80000, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	2m 14s
Analyse (80000, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	1m 59s
Analyse (80000, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	2m 4s
Analyse (80100, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 0s
Analyse (80100, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	2m 8s
Analyse (80100, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	1m 58s
Analyse (80000, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	2m 8s
Analyse (70400, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	2m 2s
Analyse (80100, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	2m 11s
Analyse (80100, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	2m 0s
Analyse (80200, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	2m 8s
Analyse (80100, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	2m 4s
Analyse (80100, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	2m 5s
Analyse (80100, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 11s
Analyse (80100, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 2s
Analyse (80100, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	1m 59s
Analyse (80200, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	1m 58s
Analyse (80200, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	2m 4s
Analyse (80200, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	2m 5s
Analyse (80100, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	2m 4s
Analyse (80100, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	2m 7s
Analyse (80200, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 2s
Analyse (80100, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	2m 2s
Analyse (80100, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	2m 0s
Analyse (80200, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	2m 3s
Analyse (80100, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	2m 19s
Analyse (80200, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	2m 8s
Analyse (80200, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	2m 11s
Analyse (80200, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	2m 0s
Analyse (80200, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	2m 0s
Analyse (80100, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	2m 4s
Analyse (80200, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 3s
Analyse (80200, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	2m 10s
Analyse (80300, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	1m 57s
Analyse (80200, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	1m 58s
Analyse (80200, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 11s
Analyse (80200, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	2m 4s
Analyse (80300, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	2m 1s
Analyse (80300, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	2m 0s
Analyse (80300, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 2s
Analyse (80300, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	1m 59s
Analyse (80300, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	2m 8s
Analyse (80200, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	2m 6s
Analyse (80300, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	1m 59s
Analyse (80400, 1, 2e6aa27a-398a-4bd1-8f3a-44c004dfdb46,23f25ed9-c9f2-4db4-ab2a-c402b8d7759f,757a...	2m 4s
Analyse (80300, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	2m 7s
Analyse (80300, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	1m 58s
Analyse (80400, 5, aab74e73-2bfe-432b-8bcd-f9b939d2eaab,fada5ae5-5144-4a85-8c93-f0079fe49b4c,8dba...	2m 3s
Analyse (80300, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	1m 59s
Analyse (80400, 2, 023f4b31-06ab-41f6-a17c-095e1b799a1c,17bdae17-1a92-42b4-a5e8-6aff06184472,de00...	2m 2s
Analyse (80300, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 2s
Analyse (80300, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	2m 5s
Analyse (80200, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	2m 3s
Analyse (80400, 11, 9ac2823d-61af-4f52-a2fa-258190192314,2212dc15-e203-4196-9d2a-854b1d137288,e7d...	1m 57s
Analyse (80300, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	2m 10s
Analyse (80400, 13, 7d593791-d2f4-4435-addb-6896c4568f2f,42230ffd-a695-43b0-afb4-dd79ba4db031,956...	2m 2s
Analyse (80400, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	1m 57s
Analyse (80300, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	2m 5s
Analyse (80300, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	2m 11s
Analyse (80400, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	2m 3s
Analyse (80400, 3, 988d7e56-c4b6-4a3d-8bfd-bc1a1f72f67e,936aee95-702b-4f4a-9513-6662c666f51d,067c...	2m 2s
Analyse (80400, 4, 739cea02-5dab-4162-94a0-554c0809961d,6f2eb573-282d-4d49-8283-50aab3cc0599,1f58...	2m 5s
Analyse (80400, 8, 37f5103f-7f8c-427d-a8c4-1a38bd23aba8,fede2f1c-abbb-4c79-8015-64d6ba3ffdaf,d611...	2m 16s
Analyse (80300, 16, 20eca26c-c9a6-458e-ab03-23cf27cd57eb,8b1afd86-ab90-47d1-b17b-530586f8edf7,950...	1m 57s
Analyse (80400, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 4s
Analyse (80400, 6, c51f5fbd-7a93-4f67-9f06-d2e6405ec52f,34b5978b-ad60-4594-a627-7e40017b92b8,fb1e...	2m 13s
Analyse (80300, 12, 2f35dfa2-efc6-42c5-a8bf-5a7328180c69,289d9cfa-3d8e-4e09-853e-14ce1c421337,67f...	2m 12s
Analyse (80400, 10, bfead168-b26e-4c62-98ee-4eefb8d42f9e,90c5358a-48f2-4fdb-88bf-33322656ba21,ba9...	2m 5s
Analyse (80400, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	2m 1s
Analyse (80400, 14, 9d942823-b08c-4d60-8c5b-2b5d16c603fb,fbc84717-bdea-4dc3-858b-8d863a3d1119,c12...	2m 4s
Analyse (80500, 8, c5fe84a9-c297-4fdf-8fe5-bc0bc08dcaa8,e6912e66-28ad-4955-9968-508b9dc4066e)	31s
Analyse (80400, 17, 04f49ec6-ac43-4873-8af7-856c6f24246d,37228f69-d85a-4803-a4b4-07d92c3a6065,434...	1m 57s
Analyse (80300, 9, 701a62de-ee75-4ba8-b5ce-9154cb72beec,325b0850-ecae-4acd-a2cf-a1766e1e9316,a76b...	2m 11s
Analyse (80500, 4, d89a4939-59c7-40f6-9a53-c800bd32dce4,0850c2cb-3c81-4451-b2f6-b570d1d41a30)	38s
Analyse (80500, 7, 7e3e3edc-0faa-48e1-8392-7008c518e427,7a863908-2308-443e-a1b0-288695c44e45)	33s
Analyse (80500, 6, f8b4723c-7774-49d6-beee-2e4fb0c3c312,eec8e742-4cbd-4e9a-a2d8-47edcde9327d)	24s
Analyse (80500, 1, bda40d7b-21d6-4457-af7f-a67157a33598,a9893366-4c38-46c8-a87c-1e0a71c441f0)	43s
Analyse (80500, 11, f69ce3b6-77cc-46fa-84cc-61d23018e3d1,18cc0159-cd71-44ed-908a-fd0801510741)	27s
Analyse (80500, 12, d4a90317-b421-4618-aaf7-3974662d9cce,5c54542a-1b2c-4ac1-bb49-893b8ee7407f)	41s
Analyse (80200, 18, 323e95ae-c724-4028-8955-a48fc7bfef39,b9ddec1b-e595-4a92-94fe-f7b73f44ce66,bd6...	2m 6s
Analyse (80400, 15, 7a6bed2e-fb27-48ac-a192-24b20bbfd4c5,ba7f3056-cd80-4abd-8558-754291872d1b,a03...	2m 8s
Analyse (80500, 13, c9998ed9-4418-4e0c-b85f-4ba5124dd9bd,ec51f3a7-f190-4e3a-960b-3d20907bdc0f)	30s
Analyse (80500, 10, a99fa74c-9b04-4e12-aac3-c2c5fdcee612,37b9c155-bc49-48af-bf73-b4555eadd7c4)	26s
Analyse (80500, 15, 5fb43ff1-76f6-4e88-8836-17411f2b0bf1,c088ffb7-43bb-4a91-9231-54ac98338ef2)	28s
Analyse (80500, 5, db31b6ea-d0b5-4be8-8f2e-dbb046a5bb8e,9140cc80-f0e1-4676-85a4-5d5b7c0e5ed4)	27s
Analyse (80500, 14, d1fcee42-99df-4f8b-8321-4edba8e7ca57,ee0894e8-e0bb-4286-a884-a8c5b9a1cb02)	24s
Analyse (80500, 3, 2b5e11b1-f999-49a8-bb74-96978af71acb,2f0a15ef-3c8b-40bc-a9a8-55c2ac0590f8)	27s
Analyse (80500, 9, bf11f498-0319-4702-b1ac-8e6be97cb838,30c00b38-2c37-4e49-8aac-6fb3c6458bc4)	22s
Analyse (80500, 17, de781bce-643b-45ec-8fcb-1ab281ecb415,8a1b89b1-5745-4ea0-bed2-6739459426f4)	32s
Analyse (80500, 2, fa8cb14e-aed4-4def-bdc1-9e0ca97c75ae,bc16a826-db40-4b2c-8360-928ee0d5ea49)	30s
Analyse (80500, 16, d959cadf-76e3-4384-a17b-64bf50f591c8,e0e8d1f4-1ad8-489e-af72-e1dd1522746d)	34s
Analyse (80400, 7, f12444e5-50c9-4def-a86d-73b980aa0019,5fe67304-fc83-41c3-84d1-0c019eb8b90a,a689...	1m 56s
Evaluate results	14s
	4h 29m 2s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Improve TypeCombinator::unionWithSubtractedType #12632

Usage

Improve TypeCombinator::unionWithSubtractedType #12632

Uh oh!

Jobs

Run details

Run time