17:00:00,358 |-INFO in ch.qos.logback.classic.LoggerContext[default] - This is logback-classic version 1.4.7
17:00:00,389 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Could NOT find resource [logback-test.xml]
17:00:00,389 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Found resource [logback.xml] at [file:/D:/a/key/key/key.core.testgen/build/resources/test/logback.xml]
17:00:00,533 |-INFO in ch.qos.logback.core.model.processor.AppenderModelHandler - Processing appender named [STDOUT]
17:00:00,533 |-INFO in ch.qos.logback.core.model.processor.AppenderModelHandler - About to instantiate appender of type [ch.qos.logback.core.ConsoleAppender]
17:00:00,549 |-WARN in ch.qos.logback.core.model.processor.ImplicitModelHandler - Ignoring unknown property [file] in [ch.qos.logback.core.ConsoleAppender]
17:00:00,549 |-WARN in ch.qos.logback.core.model.processor.ImplicitModelHandler - Ignoring unknown property [append] in [ch.qos.logback.core.ConsoleAppender]
17:00:00,549 |-INFO in ch.qos.logback.core.model.processor.ImplicitModelHandler - Assuming default type [ch.qos.logback.classic.encoder.PatternLayoutEncoder] for [encoder] property
17:00:00,580 |-INFO in ch.qos.logback.classic.model.processor.RootLoggerModelHandler - Setting level of ROOT logger to DEBUG
17:00:00,595 |-INFO in ch.qos.logback.core.model.processor.AppenderRefModelHandler - Attaching appender named [STDOUT] to Logger[ROOT]
17:00:00,595 |-INFO in ch.qos.logback.core.model.processor.DefaultProcessor@6bea52d4 - End of configuration.
17:00:00,598 |-INFO in ch.qos.logback.classic.joran.JoranConfigurator@11981797 - Registering current configuration as safe fallback point
518 WARN Test worker d.u.i.k.t.s.c.TestCE Warning: Z3_CE is not installed, tests skipped.
518 WARN Test worker d.u.i.k.t.s.c.TestCE Maybe use JVM system property "z3SolverPath" to define the path to the Z3 command.
561 WARN Test worker d.u.i.k.s.ProofIndependentSettings The settings in C:\Users\runneradmin\.key\proofIndependentSettings.props are *not* read due to flag 'key.disregardSettings'
576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\smt\ce\middle.key
592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.57ms
732 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core.testgen\src\test\resources\testcase\smt\ce\middle.key took 15 ms to parse.
732 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 15 ms.
948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
975 WARN Test worker d.u.i.k.s.ProofSettings The settings in C:\Users\runneradmin\.key\proof-settings.props are *not* read.
992 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/standardRules.key took 15 ms to parse.
992 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 30 ms.
1159 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse.
1159 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 30 ms.
1175 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse.
1175 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 30 ms.
1581 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 390 ms to parse.
1581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 420 ms.
1644 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerHeader.key took 15 ms to parse.
1644 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 435 ms.
1644 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse.
1644 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 435 ms.
1644 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse.
1644 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 435 ms.
1660 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/locSets.key took 16 ms to parse.
1660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 451 ms.
1660 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse.
1660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 451 ms.
1660 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse.
1660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 451 ms.
1675 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seq.key took 15 ms to parse.
1675 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 466 ms.
1738 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/map.key took 63 ms to parse.
1738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 529 ms.
1738 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse.
1738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 529 ms.
1738 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse.
1738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 529 ms.
1738 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse.
1738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 529 ms.
2082 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/propRule.key took 16 ms to parse.
2082 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 545 ms.
2123 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/firstOrderRules.key took 16 ms to parse.
2123 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 561 ms.
2154 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ifThenElseRules.key took 0 ms to parse.
2154 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 561 ms.
2201 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key took 16 ms to parse.
2201 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 577 ms.
2290 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/updateRules.key took 27 ms to parse.
2290 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 604 ms.
2306 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerRulesCommon.key took 16 ms to parse.
2306 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 620 ms.
2483 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRules.key took 0 ms to parse.
2498 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 620 ms.
2530 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key took 16 ms to parse.
2530 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 636 ms.
2623 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key took 0 ms to parse.
2623 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 636 ms.
2623 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key took 0 ms to parse.
2623 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 636 ms.
2789 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key took 150 ms to parse.
2789 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 786 ms.
2867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
2867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
2867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
2867 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
2945 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intDiv.key took 16 ms to parse.
2945 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 802 ms.
2976 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bsum.key took 16 ms to parse.
2976 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 818 ms.
3023 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bprod.key took 16 ms to parse.
3023 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 834 ms.
3039 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/binaryAxioms.key took 0 ms to parse.
3039 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 834 ms.
3054 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/binaryLemmas.key took 0 ms to parse.
3054 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 834 ms.
3070 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intPow.key took 16 ms to parse.
3070 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 850 ms.
3086 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesCommon.key took 16 ms to parse.
3087 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 866 ms.
3091 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRules.key took 0 ms to parse.
3091 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 866 ms.
3091 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key took 0 ms to parse.
3091 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 866 ms.
3106 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key took 15 ms to parse.
3106 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 881 ms.
3153 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/genericRules.key took 16 ms to parse.
3153 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 897 ms.
3181 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/booleanRules.key took 1 ms to parse.
3182 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 898 ms.
3185 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/epsilon.key took 1 ms to parse.
3185 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 899 ms.
3187 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/locSetsRules.key took 0 ms to parse.
3187 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 899 ms.
3372 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/heapRules.key took 38 ms to parse.
3372 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3419 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/permissionRules.key took 0 ms to parse.
3419 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3434 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/reachRules.key took 0 ms to parse.
3434 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3450 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqCoreRules.key took 0 ms to parse.
3450 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3466 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqRules.key took 0 ms to parse.
3466 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3497 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqPerm.key took 0 ms to parse.
3497 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3513 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqPerm2.key took 0 ms to parse.
3513 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 937 ms.
3575 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/javaRules.key took 47 ms to parse.
3575 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
3591 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/assertions.key took 0 ms to parse.
3591 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
4364 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopRules.key took 0 ms to parse.
4364 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
4385 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/activeUse.key took 0 ms to parse.
4385 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
4489 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/instanceAllocation.key took 0 ms to parse.
4489 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
4520 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/java5.key took 0 ms to parse.
4520 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
4520 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key took 0 ms to parse.
4520 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 984 ms.
4582 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key took 16 ms to parse.
4582 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1000 ms.
4613 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bigint.key took 0 ms to parse.
4613 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1000 ms.
4629 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
4645 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key took 16 ms to parse.
4645 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4660 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/precRules.key took 0 ms to parse.
4660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4660 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/charListRules.key took 0 ms to parse.
4660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4707 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExTheory.key took 0 ms to parse.
4707 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4714 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExHeader.key took 0 ms to parse.
4714 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4714 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExAxioms.key took 0 ms to parse.
4714 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4723 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExLemmaProven.key took 0 ms to parse.
4723 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4723 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqEq.key took 0 ms to parse.
4723 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4739 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/infFlow.key took 0 ms to parse.
4739 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4739 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/mapSize.key took 0 ms to parse.
4739 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4739 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wd.key took 0 ms to parse.
4739 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4754 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdHeader.key took 0 ms to parse.
4754 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1016 ms.
4770 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdGeneralRules.key took 16 ms to parse.
4770 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1032 ms.
4770 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdNumericalRules.key took 0 ms to parse.
4770 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1032 ms.
4801 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdLocSetRules.key took 0 ms to parse.
4801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1032 ms.
4801 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdHeapRules.key took 0 ms to parse.
4801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1032 ms.
4801 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdReachRules.key took 0 ms to parse.
4801 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1032 ms.
4817 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdSeqRules.key took 16 ms to parse.
4817 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1048 ms.
4817 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdStringRules.key took 0 ms to parse.
4817 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1048 ms.
4817 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdRegExRules.key took 0 ms to parse.
4817 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1048 ms.
5020 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdFormulaRules.key took 203 ms to parse.
5020 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1251 ms.
5129 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopInvariantRules.key took 0 ms to parse.
5129 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1251 ms.
5129 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/forLoopRules.key took 0 ms to parse.
5129 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1251 ms.
5145 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/execRules.key took 16 ms to parse.
5145 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1267 ms.
5315 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopScopeRules.key took 2 ms to parse.
5316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
9274 WARN Test worker d.u.i.k.n.ParsingFacade jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
9274 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1269 ms.
11935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 10.99s
12128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof Middle[Middle::middle(int,int,int)].JML normal_behavior operation contract.0
12188 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 66.2ns
12191 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core.testgen\src\test\resources\testcase\smt\ce\middle.key took 1 ms to parse.
12191 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1270 ms.