411506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.key
411506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351.8ns
411521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411521 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411537 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.
411537 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411553 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.
411553 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411553 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.
411553 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411553 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.
411553 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411568 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.
411568 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411568 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.
411568 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411568 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.
411568 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411568 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.
411568 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
411584 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.
411584 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1539 ms.
411600 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411600 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411600 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411600 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
411615 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 15 ms to parse.
411615 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411615 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.
411615 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411631 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.
411631 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411631 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.
411631 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411646 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.
411725 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411725 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.
411725 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411725 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.
411725 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411740 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.
411740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411740 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.
411740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411740 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.
411740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411740 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.
411740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411740 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.
411740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411740 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.
411740 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms.
411756 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 16 ms to parse.
411756 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1570 ms.
411771 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.
411771 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1570 ms.
411787 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 16 ms to parse.
411787 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1586 ms.
411787 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.
411787 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1586 ms.
411787 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.
411787 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1586 ms.
411803 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 16 ms to parse.
411803 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1602 ms.
411803 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.
411803 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1602 ms.
411819 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.
411819 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1602 ms.
411834 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.
411834 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
411834 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.
411834 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
411983 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.
411983 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
411983 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.
411983 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
411998 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.
411998 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412014 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.
412014 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412014 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.
412014 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412029 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.
412029 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412029 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.
412029 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412045 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
412045 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.
412045 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412045 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.
412045 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412045 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.
412045 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412061 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.
412061 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412076 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.
412076 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412076 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.
412076 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412076 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.
412076 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412076 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.
412076 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms.
412092 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 16 ms to parse.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412092 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.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412092 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.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412092 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.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412092 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.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412092 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.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412092 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.
412092 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412108 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.
412108 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412108 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.
412108 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412108 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.
412108 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412147 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.
412147 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
412168 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.key took 0 ms to parse.
412168 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
413011 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.
413011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
414993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s
415025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcd(int,int)].JML normal_behavior operation contract.0
415025 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns
415025 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.key took 0 ms to parse.
415025 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
430879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\A.differentVarsWithSameName.MPS.cut.closed.proof
430879 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 428.4ns
430879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
430879 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\A.differentVarsWithSameName.MPS.cut.closed.proof took 0 ms to parse.
430879 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms.
431738 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 16 ms to parse.
431738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
433472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s
433519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof A[A::m(boolean)].JML operation contract.0
433784 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 270.48ms
433784 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\A.differentVarsWithSameName.MPS.cut.closed.proof took 0 ms to parse.
433784 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
433784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.MPSAndBlockContract.key
433784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.6ns
433784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
433800 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.MPSAndBlockContract.key took 0 ms to parse.
433800 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
434663 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.
434663 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
436407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
436454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcdMPSAndBlockContract(int,int)].JML normal_behavior operation contract.0
436454 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 18.8ns
436454 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.MPSAndBlockContract.key took 0 ms to parse.
436454 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
445112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.closed.predicateAbstractionWithUserChoices.proof
445112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.4ns
445112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445144 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.closed.predicateAbstractionWithUserChoices.proof took 0 ms to parse.
445144 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
445988 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.
445988 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
447737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s
447784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcd(int,int)].JML normal_behavior operation contract.0
448347 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 547.38ms
448362 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.closed.predicateAbstractionWithUserChoices.proof took 0 ms to parse.
448362 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
448362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.closed.predicateabstraction.proof
448362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.5ns
448362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
448433 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.closed.predicateabstraction.proof took 0 ms to parse.
448433 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
449356 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.
449372 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
451035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
451082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcd(int,int)].JML normal_behavior operation contract.0
452217 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 1.1s
452217 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.closed.predicateabstraction.proof took 0 ms to parse.
452217 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
452217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\IndistinguishablePathConditions.twoJoins.proof
452217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 395.1ns
452311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
452327 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\IndistinguishablePathConditions.twoJoins.proof took 0 ms to parse.
452327 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
453189 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.
453189 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
455103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s
455119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof IndistinguishablePathConditions.twoJoins.proof
455119 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 705.1ns
455119 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\IndistinguishablePathConditions.twoJoins.proof took 0 ms to parse.
455119 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
455135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\IndistinguishablePathConditions.proof
455135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.1ns
455135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
455135 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\IndistinguishablePathConditions.proof took 0 ms to parse.
455135 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
455900 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.
455900 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
457561 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s
457576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof IndistinguishablePathConditions.proof
457576 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 538ns
457576 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\IndistinguishablePathConditions.proof took 0 ms to parse.
457576 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
457592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.mergePointStatements.closed.proof
457608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.3ns
457608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
457674 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.mergePointStatements.closed.proof took 0 ms to parse.
457674 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
458521 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.
458521 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
460245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s
460276 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcdMPS(int,int)].JML normal_behavior operation contract.0
461138 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 829.9ms
461138 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.mergePointStatements.closed.proof took 0 ms to parse.
461138 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
461153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\IndistinguishablePathConditions.proof
461153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.2ns
461153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
461153 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\IndistinguishablePathConditions.proof took 0 ms to parse.
461153 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
461951 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.
461951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
463890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s
463921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof IndistinguishablePathConditions.proof
463921 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 520.1ns
463937 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\IndistinguishablePathConditions.proof took 0 ms to parse.
463937 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
463937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.mergePointStatements.key
463937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315.1ns
463952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
463952 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.mergePointStatements.key took 0 ms to parse.
463952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
464813 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.
464813 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
466611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
466658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcdMPS(int,int)].JML normal_behavior operation contract.0
466658 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.1ns
466658 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.mergePointStatements.key took 0 ms to parse.
466658 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
474859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\gcd.closed.proof
474859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.9ns
474859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
474923 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.closed.proof took 0 ms to parse.
474923 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
475779 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.
475779 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.
477545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
477592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Gcd[Gcd::gcd(int,int)].JML normal_behavior operation contract.0
478624 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 993.18ms
478639 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\merge\gcd.closed.proof took 0 ms to parse.
478639 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1649 ms.