Standard output
191189 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.
191189 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 788 ms.
191189 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.
191190 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 788 ms.
191190 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.
191190 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 788 ms.
191190 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.
191190 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 788 ms.
191192 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 2 ms to parse.
191192 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191192 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.
191192 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191192 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.
191192 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191192 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.
191192 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191193 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.
191193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191193 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.
191193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191205 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.
191209 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 790 ms.
191210 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 1 ms to parse.
191210 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 791 ms.
191211 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.
191211 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 792 ms.
191212 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.
191212 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 792 ms.
191212 INFO Test worker d.u.i.k.n.KeyIO Parsing took 23 ms
191213 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
191232 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 1 ms to parse.
191232 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 793 ms.
191235 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 1 ms to parse.
191235 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 794 ms.
191238 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.
191238 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 796 ms.
191239 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.
191240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 796 ms.
191240 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.
191241 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 796 ms.
191241 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.
191249 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 796 ms.
191252 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.
191252 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 798 ms.
191254 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.
191254 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 798 ms.
191255 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.
191256 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 798 ms.
191257 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.
191257 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 798 ms.
191258 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.
191258 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 798 ms.
191260 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.
191265 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 799 ms.
191266 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.
191266 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 800 ms.
191275 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 9 ms to parse.
191275 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 809 ms.
191277 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.
191277 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 809 ms.
191277 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.
191277 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 809 ms.
191278 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.
191278 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 810 ms.
191283 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 1 ms to parse.
191283 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 811 ms.
191284 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.
191284 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 812 ms.
191284 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.
191284 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 812 ms.
191285 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 0 ms to parse.
191285 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 812 ms.
191286 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 0 ms to parse.
191286 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 812 ms.
191286 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.
191286 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 812 ms.
191288 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 2 ms to parse.
191288 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 814 ms.
191297 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 8 ms to parse.
191297 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 822 ms.
191310 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 13 ms to parse.
191310 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 835 ms.
191311 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.
191311 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 836 ms.
191313 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.
191313 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 837 ms.
191316 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.
191316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 839 ms.
191321 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.
191321 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 839 ms.
191323 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.
191331 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 840 ms.
191333 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.
191333 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 842 ms.
191334 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 0 ms to parse.
191334 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 842 ms.
191355 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 20 ms to parse.
191355 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 862 ms.
191371 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.
191371 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 863 ms.
191372 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.
191373 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 863 ms.
191376 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.
191376 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 866 ms.
191381 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 4 ms to parse.
191381 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 870 ms.
191383 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.
191383 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 870 ms.
191386 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 2 ms to parse.
191386 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 872 ms.
191389 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.
191389 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 874 ms.
191394 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.
191394 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 878 ms.
191400 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.
191401 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 882 ms.
191403 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.
191403 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 882 ms.
191404 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.
191404 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 883 ms.
191405 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 0 ms to parse.
191406 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 883 ms.
191407 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.
191407 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 884 ms.
191408 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 1 ms to parse.
191408 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 885 ms.
191408 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.
191408 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 885 ms.
191411 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 2 ms to parse.
191411 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 887 ms.
191413 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.
191413 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 888 ms.
191414 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.
191415 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 888 ms.
191416 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 0 ms to parse.
191416 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 888 ms.
191418 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.
191419 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 889 ms.
191425 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.
191425 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 894 ms.
191429 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.
191430 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 896 ms.
191442 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 11 ms to parse.
191442 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 907 ms.
191447 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.
191448 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 908 ms.
191449 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.
191449 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 909 ms.
191450 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 0 ms to parse.
191451 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 909 ms.
191452 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.
191452 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 910 ms.
191454 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 1 ms to parse.
191454 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 911 ms.
191455 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.
191455 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 912 ms.
191458 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.
191459 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 915 ms.
191461 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.
191461 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 916 ms.
191463 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.
191463 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 917 ms.
191464 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.
191464 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 918 ms.
191465 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.
191465 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 918 ms.
191466 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.
191466 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 918 ms.
191467 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.
191467 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 918 ms.
191467 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.
191467 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 918 ms.
191472 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 4 ms to parse.
191472 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 922 ms.
191473 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 1 ms to parse.
191473 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191473 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.
191473 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191474 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.
191474 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191474 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.
191474 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191475 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.
191475 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191475 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.
191476 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191476 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.
191476 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191477 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.
191489 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191489 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.
191489 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 923 ms.
191490 INFO Test worker d.u.i.k.n.KeyIO Parsing took 259 ms
191492 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 2 ms