Standard output
382719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13680751743642403887.key
382719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.7ns
382719 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13680751743642403887.key took 0 ms to parse.
382719 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/standardRules.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382734 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse.
382734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382750 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/propRule.key took 0 ms to parse.
382750 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382750 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/firstOrderRules.key took 0 ms to parse.
382750 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382750 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ifThenElseRules.key took 0 ms to parse.
382750 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
382766 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key took 16 ms to parse.
382766 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382766 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/updateRules.key took 0 ms to parse.
382766 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382766 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key took 0 ms to parse.
382766 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382766 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRules.key took 0 ms to parse.
382766 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382781 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key took 0 ms to parse.
382781 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382781 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key took 0 ms to parse.
382781 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382781 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key took 0 ms to parse.
382781 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1344 ms.
382797 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key took 16 ms to parse.
382797 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1360 ms.
382807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382807 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
382823 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intDiv.key took 0 ms to parse.
382823 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1360 ms.
382841 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bsum.key took 18 ms to parse.
382841 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382844 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bprod.key took 0 ms to parse.
382844 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382844 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryAxioms.key took 0 ms to parse.
382844 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382844 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryLemmas.key took 0 ms to parse.
382860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382860 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intPow.key took 0 ms to parse.
382860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382860 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesCommon.key took 0 ms to parse.
382860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382860 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRules.key took 0 ms to parse.
382860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382860 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key took 0 ms to parse.
382860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382860 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key took 0 ms to parse.
382860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382876 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/genericRules.key took 0 ms to parse.
382876 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382876 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/booleanRules.key took 0 ms to parse.
382876 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382876 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/epsilon.key took 0 ms to parse.
382876 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382876 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSetsRules.key took 0 ms to parse.
382876 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382891 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heapRules.key took 0 ms to parse.
382891 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382912 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permissionRules.key took 0 ms to parse.
382912 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382912 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reachRules.key took 0 ms to parse.
382912 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382912 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqCoreRules.key took 0 ms to parse.
382912 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqRules.key took 0 ms to parse.
382927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm.key took 0 ms to parse.
382927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382943 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm2.key took 0 ms to parse.
382943 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1378 ms.
382958 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key took 15 ms to parse.
382958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
382958 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key took 0 ms to parse.
382958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383099 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopRules.key took 0 ms to parse.
383099 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383099 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/activeUse.key took 0 ms to parse.
383099 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383115 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/instanceAllocation.key took 0 ms to parse.
383115 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383130 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/java5.key took 0 ms to parse.
383130 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383130 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key took 0 ms to parse.
383130 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383162 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key took 0 ms to parse.
383162 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1393 ms.
383177 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bigint.key took 15 ms to parse.
383177 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383177 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
383177 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key took 0 ms to parse.
383177 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383193 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/precRules.key took 0 ms to parse.
383193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383193 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListRules.key took 0 ms to parse.
383193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383193 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExTheory.key took 0 ms to parse.
383193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383193 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExHeader.key took 0 ms to parse.
383193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383193 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExAxioms.key took 0 ms to parse.
383193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383193 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExLemmaProven.key took 0 ms to parse.
383193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383208 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqEq.key took 0 ms to parse.
383208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383208 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/infFlow.key took 0 ms to parse.
383208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383208 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/mapSize.key took 0 ms to parse.
383208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383208 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wd.key took 0 ms to parse.
383208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383208 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeader.key took 0 ms to parse.
383208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383208 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdGeneralRules.key took 0 ms to parse.
383208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1408 ms.
383224 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdNumericalRules.key took 16 ms to parse.
383224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1424 ms.
383224 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdLocSetRules.key took 0 ms to parse.
383224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1424 ms.
383224 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeapRules.key took 0 ms to parse.
383224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1424 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdReachRules.key took 16 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdSeqRules.key took 0 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdStringRules.key took 0 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdRegExRules.key took 0 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key took 0 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopInvariantRules.key took 0 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383240 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/forLoopRules.key took 0 ms to parse.
383240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383255 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/execRules.key took 0 ms to parse.
383255 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
383287 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopScopeRules.key took 0 ms to parse.
383287 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
384320 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
384320 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
385942 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
385958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13680751743642403887.key
385958 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
385958 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13680751743642403887.key took 0 ms to parse.
385958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
386074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13399676920027559687.proof.gz
386074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.8ns
386074 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13399676920027559687.proof.gz took 0 ms to parse.
386074 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
386074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
386856 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
386856 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.
388577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s
388592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof keyZipTest13399676920027559687.proof.gz
388592 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.61ms
388592 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\keyZipTest13399676920027559687.proof.gz took 0 ms to parse.
388592 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1440 ms.