20:20:03,820 |-INFO in ch.qos.logback.classic.LoggerContext[default] - This is logback-classic version 1.4.6
20:20:03,867 |-INFO in ch.qos.logback.classic.LoggerContext[default] - Could NOT find resource [logback-test.xml]
20:20:03,882 |-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]
20:20:04,132 |-INFO in ch.qos.logback.core.model.processor.AppenderModelHandler - Processing appender named [STDOUT]
20:20:04,132 |-INFO in ch.qos.logback.core.model.processor.AppenderModelHandler - About to instantiate appender of type [ch.qos.logback.core.ConsoleAppender]
20:20:04,179 |-WARN in ch.qos.logback.core.model.processor.ImplicitModelHandler - Ignoring unknown property [file] in [ch.qos.logback.core.ConsoleAppender]
20:20:04,179 |-WARN in ch.qos.logback.core.model.processor.ImplicitModelHandler - Ignoring unknown property [append] in [ch.qos.logback.core.ConsoleAppender]
20:20:04,179 |-INFO in ch.qos.logback.core.model.processor.ImplicitModelHandler - Assuming default type [ch.qos.logback.classic.encoder.PatternLayoutEncoder] for [encoder] property
20:20:04,226 |-INFO in ch.qos.logback.classic.model.processor.RootLoggerModelHandler - Setting level of ROOT logger to DEBUG
20:20:04,242 |-INFO in ch.qos.logback.core.model.processor.AppenderRefModelHandler - Attaching appender named [STDOUT] to Logger[ROOT]
20:20:04,242 |-INFO in ch.qos.logback.core.model.processor.DefaultProcessor@5ae81e1 - End of configuration.
20:20:04,242 |-INFO in ch.qos.logback.classic.joran.JoranConfigurator@2fd1731c - Registering current configuration as safe fallback point
1110 WARN Test worker d.u.i.k.t.s.c.TestCE Warning: Z3_CE is not installed, tests skipped.
1110 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.
1204 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'
1219 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\ce\middle.key
1752 WARN Test worker d.u.i.k.s.ProofSettings The settings in C:\Users\runneradmin\.key\proof-settings.props are *not* read.
1752 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/standardRules.key
2017 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ldt.key
2048 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/boolean.key
2080 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key
2142 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerHeader.key
2158 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatHeader.key
2173 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/heap.key
2189 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/locSets.key
2189 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/permission.key
2189 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/reach.key
2189 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seq.key
2189 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/map.key
2298 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/freeADT.key
2298 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wellfound.key
2298 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/charListHeader.key
2564 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/propRule.key
2658 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/firstOrderRules.key
2705 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ifThenElseRules.key
2768 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key
2971 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/updateRules.key
3018 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerRulesCommon.key
3236 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRules.key
3299 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key
3330 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key
3346 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key
3361 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key
3673 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
3689 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
3689 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
3689 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
3736 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intDiv.key
3814 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bsum.key
4033 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bprod.key
4127 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/binaryAxioms.key
4143 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/binaryLemmas.key
4158 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intPow.key
4189 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesCommon.key
4221 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRules.key
4236 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key
4236 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key
4283 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/genericRules.key
4299 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/booleanRules.key
4314 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/epsilon.key
4314 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/locSetsRules.key
4439 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/heapRules.key
4518 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/permissionRules.key
4611 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/reachRules.key
4674 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqCoreRules.key
4674 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqRules.key
4752 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqPerm.key
4815 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqPerm2.key
4815 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/javaRules.key
4987 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/assertions.key
6113 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopRules.key
6129 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/activeUse.key
6207 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/instanceAllocation.key
6254 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/java5.key
6254 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key
6316 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key
6363 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bigint.key
6379 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
6395 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key
6410 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/precRules.key
6426 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/charListRules.key
6457 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExTheory.key
6457 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExHeader.key
6473 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExAxioms.key
6473 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExLemmaProven.key
6488 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqEq.key
6504 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/infFlow.key
6520 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/mapSize.key
6520 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wd.key
6535 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdHeader.key
6535 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdGeneralRules.key
6551 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdNumericalRules.key
6598 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdLocSetRules.key
6613 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdHeapRules.key
6629 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdReachRules.key
6629 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdSeqRules.key
6645 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdStringRules.key
6645 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdRegExRules.key
6645 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdFormulaRules.key
6691 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopInvariantRules.key
6691 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/forLoopRules.key
6691 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/execRules.key
6879 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file jar:file:/D:/a/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopScopeRules.key
10584 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core.testgen\src\test\resources\testcase\smt\ce\src\Middle.java
10584 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core.testgen\src\test\resources\testcase\smt\ce\src\Test.java
10631 DEBUG Test worker d.u.i.k.s.TermLabelSettings TermLabelSettings: Failure while reading the setting "UseOriginLabels".Using the default value: true.The string read was: null
10663 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file 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
14258 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 74.7ns
14258 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\smt\ce\middle.key