Standard output
269634 WARN Thread-35 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
269634 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 954 ms.
269636 WARN Thread-35 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.
269636 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 954 ms.
269638 WARN Thread-35 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.
269638 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 954 ms.
269638 WARN Thread-35 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.
269639 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 954 ms.
269640 WARN Thread-35 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.
269640 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269641 WARN Thread-35 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.
269642 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269642 WARN Thread-35 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.
269642 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269643 WARN Thread-35 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.
269643 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269643 WARN Thread-35 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.
269644 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269644 WARN Thread-35 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.
269644 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269644 WARN Thread-35 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.
269645 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269645 WARN Thread-35 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.
269645 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 955 ms.
269647 WARN Thread-35 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.
269647 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 957 ms.
269647 WARN Thread-35 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.
269647 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 957 ms.
269648 WARN Thread-35 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.
269648 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 957 ms.
269648 WARN Thread-35 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.
269648 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 957 ms.
269650 WARN Thread-36 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
269650 WARN Thread-36 d.u.i.k.n.ParsingFacade Parsing time 957 ms.
269656 WARN Thread-35 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.
269656 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 958 ms.
269657 WARN Thread-37 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
269657 WARN Thread-37 d.u.i.k.n.ParsingFacade Parsing time 958 ms.
269660 WARN Thread-35 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.
269660 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 959 ms.
269663 WARN Thread-35 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.
269663 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 960 ms.
269665 WARN Thread-38 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
269665 WARN Thread-38 d.u.i.k.n.ParsingFacade Parsing time 960 ms.
269670 WARN Thread-35 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 2 ms to parse.
269670 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 962 ms.
269681 WARN Thread-35 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.
269681 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 963 ms.
269683 WARN Thread-35 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.
269683 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 963 ms.
269687 WARN Thread-35 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 0 ms to parse.
269687 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 963 ms.
269691 WARN Thread-35 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.
269691 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 964 ms.
269693 WARN Thread-35 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.
269693 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 965 ms.
269695 WARN Thread-35 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.
269695 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 966 ms.
269707 WARN Thread-35 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 9 ms to parse.
269707 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 975 ms.
269750 WARN Thread-35 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.
269750 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 977 ms.
269769 WARN Thread-35 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 4 ms to parse.
269769 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 981 ms.
269783 WARN Thread-35 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 2 ms to parse.
269783 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 983 ms.
269787 WARN Thread-35 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.
269788 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 983 ms.
269789 WARN Thread-35 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.
269789 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 983 ms.
269791 WARN Thread-35 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.
269791 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 984 ms.
269796 WARN Thread-35 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.
269796 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 985 ms.
269804 WARN Thread-35 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.
269804 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 985 ms.
269805 WARN Thread-35 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.
269805 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 985 ms.
269805 WARN Thread-35 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 0 ms to parse.
269805 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 985 ms.
269814 WARN Thread-35 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.
269814 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 986 ms.
269818 WARN Thread-35 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.
269818 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 987 ms.
269819 WARN Thread-35 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.
269819 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 987 ms.
269825 WARN Thread-35 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 5 ms to parse.
269825 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 992 ms.
269843 WARN Thread-35 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.
269843 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 996 ms.
269856 WARN Thread-35 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.
269856 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 998 ms.
269863 WARN Thread-35 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.
269863 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1000 ms.
269868 WARN Thread-35 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.
269868 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1000 ms.
269873 WARN Thread-35 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.
269873 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1004 ms.
269885 WARN Thread-35 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 2 ms to parse.
269886 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1006 ms.
269893 WARN Thread-35 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.
269893 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1006 ms.
269911 WARN Thread-35 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 16 ms to parse.
269911 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1022 ms.
269916 WARN Thread-35 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.
269916 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1023 ms.
270096 WARN Thread-35 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.
270096 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1023 ms.
270101 WARN Thread-35 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.
270102 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1024 ms.
270128 WARN Thread-35 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.
270128 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1025 ms.
270136 WARN Thread-35 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.
270136 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1025 ms.
270139 WARN Thread-35 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.
270140 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1027 ms.
270159 WARN Thread-35 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.
270159 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1028 ms.
270173 WARN Thread-35 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.
270173 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1029 ms.
270184 WARN Thread-35 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.
270184 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1030 ms.
270195 WARN Thread-35 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.
270195 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1031 ms.
270198 WARN Thread-35 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.
270198 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1033 ms.
270205 WARN Thread-35 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.
270205 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1033 ms.
270206 WARN Thread-35 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 1 ms to parse.
270206 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1034 ms.
270206 WARN Thread-35 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.
270207 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1034 ms.
270209 WARN Thread-35 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.
270209 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1035 ms.
270217 WARN Thread-35 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 5 ms to parse.
270217 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1040 ms.
270221 WARN Thread-35 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.
270221 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1041 ms.
270223 WARN Thread-35 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.
270223 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1041 ms.
270225 WARN Thread-35 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.
270225 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1041 ms.
270226 WARN Thread-35 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.
270226 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1041 ms.
270226 WARN Thread-35 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.
270226 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1041 ms.
270231 WARN Thread-35 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.
270231 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1044 ms.
270243 WARN Thread-35 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.
270243 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1045 ms.
270246 WARN Thread-35 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.
270247 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1045 ms.
270248 WARN Thread-35 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.
270248 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1045 ms.
270249 WARN Thread-35 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.
270249 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1045 ms.
270252 WARN Thread-35 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.
270252 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1046 ms.
270253 WARN Thread-35 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.
270253 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1046 ms.
270256 WARN Thread-35 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.
270256 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1048 ms.
270261 WARN Thread-35 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.
270261 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1048 ms.
270262 WARN Thread-35 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.
270262 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1048 ms.
270265 WARN Thread-35 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 1 ms to parse.
270266 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1049 ms.
270318 WARN Thread-35 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.
270318 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1050 ms.
271339 WARN Thread-35 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.
271339 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1051 ms.
273386 WARN Thread-35 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
273389 WARN Thread-35 d.u.i.k.n.ParsingFacade Parsing time 1051 ms.
274166 WARN Thread-38 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 2 ms to parse.
274166 WARN Thread-38 d.u.i.k.n.ParsingFacade Parsing time 1053 ms.
276061 WARN Thread-38 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 1 ms to parse.
276061 WARN Thread-38 d.u.i.k.n.ParsingFacade Parsing time 1054 ms.
276901 WARN Thread-37 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.
276901 WARN Thread-37 d.u.i.k.n.ParsingFacade Parsing time 1055 ms.
278874 WARN Thread-37 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__b()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
278874 WARN Thread-37 d.u.i.k.n.ParsingFacade Parsing time 1055 ms.
279655 WARN Thread-36 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 0 ms to parse.
279656 WARN Thread-36 d.u.i.k.n.ParsingFacade Parsing time 1055 ms.
281547 WARN Thread-36 d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/parser/MultipleRecursion/MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof took 0 ms to parse.
281548 WARN Thread-36 d.u.i.k.n.ParsingFacade Parsing time 1055 ms.