Standard output
83573 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/standardRules.key took 0 ms to parse.
83573 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 185 ms.
83577 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse.
83577 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 185 ms.
83577 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse.
83577 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 185 ms.
83578 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse.
83579 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 185 ms.
83580 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse.
83580 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 185 ms.
83581 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 1 ms to parse.
83581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 186 ms.
83581 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse.
83581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 186 ms.
83582 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 1 ms to parse.
83582 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 187 ms.
83582 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse.
83582 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 187 ms.
83582 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse.
83582 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 187 ms.
83582 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse.
83583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 187 ms.
83584 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 1 ms to parse.
83584 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 188 ms.
83585 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse.
83585 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 188 ms.
83585 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse.
83585 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 188 ms.
83585 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse.
83585 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 188 ms.
83594 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/propRule.key took 1 ms to parse.
83594 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 189 ms.
83601 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/firstOrderRules.key took 1 ms to parse.
83602 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 190 ms.
83608 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ifThenElseRules.key took 2 ms to parse.
83608 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 192 ms.
83620 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key took 4 ms to parse.
83621 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 196 ms.
83664 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/updateRules.key took 1 ms to parse.
83664 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 197 ms.
83682 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key took 5 ms to parse.
83682 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 202 ms.
83707 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRules.key took 11 ms to parse.
83707 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 213 ms.
83720 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key took 2 ms to parse.
83720 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 215 ms.
83734 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key took 1 ms to parse.
83734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 216 ms.
83741 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key took 2 ms to parse.
83741 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 218 ms.
83845 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key took 77 ms to parse.
83849 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 295 ms.
84025 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intDiv.key took 10 ms to parse.
84026 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 305 ms.
84050 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bsum.key took 8 ms to parse.
84050 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 313 ms.
84093 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bprod.key took 3 ms to parse.
84093 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 316 ms.
84106 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryAxioms.key took 1 ms to parse.
84106 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 317 ms.
84109 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryLemmas.key took 0 ms to parse.
84110 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 317 ms.
84116 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intPow.key took 2 ms to parse.
84116 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 319 ms.
84136 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesCommon.key took 12 ms to parse.
84136 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 331 ms.
84149 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRules.key took 0 ms to parse.
84149 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 331 ms.
84150 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key took 0 ms to parse.
84150 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 331 ms.
84152 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key took 1 ms to parse.
84152 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 332 ms.
84165 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/genericRules.key took 2 ms to parse.
84165 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 334 ms.
84174 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/booleanRules.key took 1 ms to parse.
84175 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 335 ms.
84179 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/epsilon.key took 1 ms to parse.
84187 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 336 ms.
84202 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSetsRules.key took 13 ms to parse.
84202 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 349 ms.
84265 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heapRules.key took 21 ms to parse.
84266 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 370 ms.
84320 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permissionRules.key took 4 ms to parse.
84326 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 374 ms.
84353 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reachRules.key took 4 ms to parse.
84353 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 378 ms.
84383 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqCoreRules.key took 0 ms to parse.
84383 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 378 ms.
84403 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqRules.key took 8 ms to parse.
84403 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 386 ms.
84474 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm.key took 10 ms to parse.
84474 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 396 ms.
84493 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm2.key took 1 ms to parse.
84494 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 397 ms.
84540 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key took 44 ms to parse.
84540 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 441 ms.
84550 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key took 1 ms to parse.
84550 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 442 ms.
84847 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopRules.key took 1 ms to parse.
84848 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 443 ms.
84856 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/activeUse.key took 2 ms to parse.
84856 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 445 ms.
84914 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/instanceAllocation.key took 4 ms to parse.
84914 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 449 ms.
84928 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/java5.key took 0 ms to parse.
84928 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 449 ms.
84939 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key took 3 ms to parse.
84939 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 452 ms.
84978 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key took 5 ms to parse.
84978 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 457 ms.
85010 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bigint.key took 2 ms to parse.
85012 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 459 ms.
85028 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key took 2 ms to parse.
85028 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 461 ms.
85052 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/precRules.key took 1 ms to parse.
85052 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 462 ms.
85058 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListRules.key took 3 ms to parse.
85059 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 465 ms.
85073 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExTheory.key took 0 ms to parse.
85073 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 465 ms.
85074 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExHeader.key took 0 ms to parse.
85074 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 465 ms.
85076 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExAxioms.key took 1 ms to parse.
85076 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 466 ms.
85081 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExLemmaProven.key took 2 ms to parse.
85081 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 468 ms.
85089 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqEq.key took 2 ms to parse.
85089 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 470 ms.
85098 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/infFlow.key took 2 ms to parse.
85098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 472 ms.
85107 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/mapSize.key took 1 ms to parse.
85107 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 473 ms.
85111 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wd.key took 0 ms to parse.
85111 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 473 ms.
85118 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeader.key took 1 ms to parse.
85118 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 474 ms.
85119 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdGeneralRules.key took 1 ms to parse.
85119 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 475 ms.
85134 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdNumericalRules.key took 8 ms to parse.
85134 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 483 ms.
85160 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdLocSetRules.key took 1 ms to parse.
85161 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms.
85168 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeapRules.key took 0 ms to parse.
85168 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms.
85171 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdReachRules.key took 0 ms to parse.
85172 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms.
85173 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdSeqRules.key took 0 ms to parse.
85174 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms.
85178 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdStringRules.key took 1 ms to parse.
85178 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 485 ms.
85181 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdRegExRules.key took 0 ms to parse.
85181 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 485 ms.
85187 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key took 4 ms to parse.
85187 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 489 ms.
85329 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopInvariantRules.key took 0 ms to parse.
85329 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 489 ms.
85331 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/forLoopRules.key took 0 ms to parse.
85331 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 489 ms.
85341 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/execRules.key took 3 ms to parse.
85342 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 492 ms.
85426 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopScopeRules.key took 3 ms to parse.
85426 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 495 ms.
85456 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/localSymbols/doubleSkolem.key took 1 ms to parse.
85456 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 496 ms.
86410 WARN Test worker d.u.i.k.n.ParsingFacade file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 3 ms to parse.
86411 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 499 ms.
88445 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/localSymbols/doubleSkolem.key took 1 ms to parse.
88445 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 500 ms.