Standard output
401567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\loopScopeInvRule\Test.key
401567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.6ns
401567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
401567 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.
401567 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401583 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.
401583 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401598 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.
401598 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401598 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 0 ms to parse.
401598 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401614 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.
401614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401614 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.
401614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401614 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.
401614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401614 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.
401614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401614 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.
401614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401629 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.
401629 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401629 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 0 ms to parse.
401629 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401661 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
401661 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
401661 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
401661 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
401661 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.
401661 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401676 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 0 ms to parse.
401676 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms.
401692 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 16 ms to parse.
401692 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401692 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.
401692 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401692 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.
401692 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401692 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.
401692 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401692 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.
401708 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401708 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.
401708 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401708 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.
401708 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401708 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.
401708 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401708 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.
401708 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401723 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.
401723 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401723 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.
401723 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401723 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.
401723 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401740 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.
401740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1472 ms.
401755 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 15 ms to parse.
401755 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1487 ms.
401755 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.
401755 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1487 ms.
401848 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.
401848 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1487 ms.
401848 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.
401848 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1487 ms.
401864 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.
401864 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1487 ms.
401864 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.
401864 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1487 ms.
401879 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.
401879 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
401879 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.
401879 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
402098 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.
402098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
402098 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.
402098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
402130 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.
402130 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
402130 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.
402130 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
402145 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.
402145 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
402161 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 5 ms to parse.
402161 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402161 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.
402161 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402161 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
402177 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.
402177 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402177 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.
402177 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402177 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.
402177 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402193 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.
402193 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402208 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.
402208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402208 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.
402208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402208 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.
402208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402208 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.
402208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402224 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.
402224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402224 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.
402224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402224 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.
402224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402224 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.
402224 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402240 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.
402240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402240 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.
402240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402240 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.
402240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402302 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.
402302 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402302 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.
402302 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402302 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.
402302 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402349 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.
402349 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
402365 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\loopScopeInvRule\Test.key took 0 ms to parse.
402365 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
403367 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.
403367 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
405236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s
405283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Test[Test::loopScopeRuleBenchmark(int,boolean)].JML normal_behavior operation contract.0
405283 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.1ns
405283 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\loopScopeInvRule\Test.key took 0 ms to parse.
405283 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.