Standard output
406495 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/keyZipTest405368512818362555.key took 0 ms to parse.
406495 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1260 ms.
406496 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.
406496 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1260 ms.
406497 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.
406497 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1260 ms.
406497 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.
406497 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1260 ms.
406498 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 1 ms to parse.
406498 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406499 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.
406499 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406499 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 0 ms to parse.
406499 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406500 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.
406500 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406500 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 0 ms to parse.
406500 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406500 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.
406500 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406500 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.
406500 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406500 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.
406500 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1261 ms.
406501 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.
406501 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1262 ms.
406501 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.
406501 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1262 ms.
406502 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.
406502 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1262 ms.
406502 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.
406502 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1262 ms.
406506 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 0 ms to parse.
406506 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1262 ms.
406509 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.
406509 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1263 ms.
406512 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 1 ms to parse.
406512 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1264 ms.
406517 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 3 ms to parse.
406517 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1267 ms.
406525 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.
406525 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
406527 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 0 ms to parse.
406527 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
406531 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 1 ms to parse.
406531 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
406535 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 1 ms to parse.
406535 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1270 ms.
406537 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.
406537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1271 ms.
406565 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 1 ms to parse.
406565 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1272 ms.
406577 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 10 ms to parse.
406577 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1282 ms.
406606 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 2 ms to parse.
406607 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1284 ms.
406617 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 5 ms to parse.
406617 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1289 ms.
406629 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 1 ms to parse.
406629 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1290 ms.
406635 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.
406635 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1291 ms.
406636 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.
406637 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1291 ms.
406639 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 1 ms to parse.
406639 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1292 ms.
406644 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 1 ms to parse.
406644 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1293 ms.
406649 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.
406649 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1293 ms.
406650 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.
406650 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1293 ms.
406651 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.
406651 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1294 ms.
406657 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 1 ms to parse.
406657 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1295 ms.
406660 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 0 ms to parse.
406660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1295 ms.
406662 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 0 ms to parse.
406662 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1295 ms.
406667 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 4 ms to parse.
406667 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1299 ms.
406685 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 4 ms to parse.
406686 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1303 ms.
406697 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 2 ms to parse.
406697 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1305 ms.
406703 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 1 ms to parse.
406704 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1306 ms.
406708 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.
406709 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1306 ms.
406713 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 3 ms to parse.
406713 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1309 ms.
406725 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 3 ms to parse.
406725 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1312 ms.
406732 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 0 ms to parse.
406732 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1312 ms.
406747 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 12 ms to parse.
406747 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1324 ms.
406751 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 0 ms to parse.
406751 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1324 ms.
406896 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.
406896 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1325 ms.
406900 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 1 ms to parse.
406901 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1326 ms.
406923 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 1 ms to parse.
406923 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1327 ms.
406930 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.
406931 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1327 ms.
406934 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 2 ms to parse.
406934 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1329 ms.
406951 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 1 ms to parse.
406952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1330 ms.
406967 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 1 ms to parse.
406968 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1331 ms.
406976 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 1 ms to parse.
406976 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1332 ms.
406986 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.
406986 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1333 ms.
406989 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 1 ms to parse.
406989 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1334 ms.
406995 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.
406995 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1334 ms.
406996 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.
406996 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1334 ms.
406997 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.
406997 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1335 ms.
407000 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 1 ms to parse.
407000 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1336 ms.
407004 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 1 ms to parse.
407004 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1337 ms.
407007 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 0 ms to parse.
407008 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1337 ms.
407010 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 0 ms to parse.
407010 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1337 ms.
407012 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.
407012 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1337 ms.
407012 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 0 ms to parse.
407013 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1337 ms.
407013 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 0 ms to parse.
407013 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1337 ms.
407018 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 3 ms to parse.
407018 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1340 ms.
407029 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 0 ms to parse.
407030 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1340 ms.
407033 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 1 ms to parse.
407033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1341 ms.
407035 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.
407035 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1341 ms.
407037 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.
407037 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1341 ms.
407039 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 0 ms to parse.
407039 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1341 ms.
407041 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.
407041 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1341 ms.
407044 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 2 ms to parse.
407044 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1343 ms.
407050 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.
407050 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1343 ms.
407052 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.
407052 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1343 ms.
407056 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 2 ms to parse.
407056 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1345 ms.
407130 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 2 ms to parse.
407130 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1347 ms.
408153 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 1 ms to parse.
408153 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1348 ms.
410076 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/keyZipTest405368512818362555.key took 0 ms to parse.
410076 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1348 ms.
410187 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/keyZipTest13883444483643722590.proof.gz took 0 ms to parse.
410187 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1348 ms.
411054 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 1 ms to parse.
411054 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1349 ms.
412946 WARN Test worker d.u.i.k.n.ParsingFacade /tmp/keyZipTest13883444483643722590.proof.gz took 0 ms to parse.
412946 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1349 ms.