Standard output
378551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\ossRestriction.proof
378551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.8ns
378552 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\ossRestriction.proof took 1 ms to parse.
378552 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1266 ms.
378554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
378556 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.
378556 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1266 ms.
378559 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.
378559 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1266 ms.
378560 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.
378560 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1266 ms.
378562 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 1 ms to parse.
378562 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1267 ms.
378563 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 1 ms to parse.
378563 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378563 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.
378563 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378563 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.
378563 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378564 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.
378564 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378564 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.
378564 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378564 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.
378564 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378564 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.
378564 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1268 ms.
378565 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 1 ms to parse.
378565 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
378565 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.
378565 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
378566 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.
378566 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
378566 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.
378566 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
378571 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 1 ms to parse.
378571 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1270 ms.
378574 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 1 ms to parse.
378574 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1271 ms.
378577 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 1 ms to parse.
378577 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1272 ms.
378583 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 3 ms to parse.
378583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1275 ms.
378591 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 1 ms to parse.
378591 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1276 ms.
378593 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 1 ms to parse.
378593 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1277 ms.
378597 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 1 ms to parse.
378597 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1278 ms.
378599 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.
378599 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1278 ms.
378601 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.
378601 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1278 ms.
378603 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 1 ms to parse.
378603 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1279 ms.
378615 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 9 ms to parse.
378615 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1288 ms.
378633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
378633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
378633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
378633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
378643 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 1 ms to parse.
378643 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1289 ms.
378653 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 4 ms to parse.
378653 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1293 ms.
378664 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 1 ms to parse.
378664 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1294 ms.
378669 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 1 ms to parse.
378669 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1295 ms.
378670 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.
378670 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1295 ms.
378673 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 1 ms to parse.
378673 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1296 ms.
378677 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 1 ms to parse.
378677 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378682 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.
378682 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378683 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.
378683 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378683 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.
378683 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378689 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.
378689 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378705 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.
378705 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378705 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.
378705 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378705 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.
378705 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378720 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.
378720 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378736 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.
378736 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378736 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.
378736 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378752 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.
378752 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378752 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.
378752 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1297 ms.
378767 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 15 ms to parse.
378767 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1312 ms.
378767 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.
378767 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1312 ms.
378783 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 16 ms to parse.
378783 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378783 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.
378783 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378924 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.
378924 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378924 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.
378924 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378955 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.
378955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378955 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.
378955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378955 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.
378955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378970 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.
378970 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378986 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 0 ms to parse.
378986 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
378986 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
378986 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.
378986 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379002 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.
379002 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379002 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.
379002 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379017 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.
379017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379017 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.
379017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379017 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.
379017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379017 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.
379017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379017 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.
379017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379017 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.
379017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379033 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.
379033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379033 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.
379033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379033 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.
379033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379033 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.
379033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379033 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 0 ms to parse.
379049 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379064 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.
379064 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379064 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.
379064 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379064 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 0 ms to parse.
379064 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379064 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.
379064 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379080 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.
379080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379080 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.
379080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379080 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.
379080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379080 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.
379080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379080 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.
379080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379080 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.
379080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
379158 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.
379158 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
380106 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.
380106 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.
381859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s
381890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof ossRestriction.proof
381890 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 874.7ns
381890 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\ossRestriction.proof took 0 ms to parse.
381890 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1328 ms.