EndToEndTests

[17:01:03.347] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\ifThenElseSplit.proof
[17:01:03.511] ?[31mWARN ?[0;39m ?[36mProofIndependentSettings?[0;39m - The settings in C:\Users\runneradmin\.key\proofIndependentSettings.props are *not* read due to flag 'key.disregardSettings'
[17:01:03.527] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\ifThenElseSplit.proof
[17:01:03.697] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:03.728] ?[31mWARN ?[0;39m ?[36mProofSettings?[0;39m - The settings in C:\Users\runneradmin\.key\proof-settings.props are *not* read.
[17:01:03.826] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:03.842] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 16 ms.
[17:01:03.982] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:03.982] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 16 ms.
[17:01:04.014] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.014] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 16 ms.
[17:01:04.045] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:04.045] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 32 ms.
[17:01:04.092] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:04.092] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.092] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.092] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.092] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.107] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 48 ms.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.170] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.373] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.373] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.451] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.451] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.498] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.498] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.545] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.545] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 111 ms.
[17:01:04.655] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:04.655] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 127 ms.
[17:01:04.670] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.670] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 127 ms.
[17:01:04.858] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.874] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 127 ms.
[17:01:04.905] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:04.905] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 127 ms.
[17:01:04.920] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.920] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 127 ms.
[17:01:04.936] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:04.936] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 127 ms.
[17:01:04.999] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 32 ms to parse.
[17:01:04.999] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 159 ms.
[17:01:05.264] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 15 ms to parse.
[17:01:05.264] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 174 ms.
[17:01:05.327] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.327] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 190 ms.
[17:01:05.389] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:05.389] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 190 ms.
[17:01:05.405] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.405] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 190 ms.
[17:01:05.405] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.405] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 190 ms.
[17:01:05.431] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 10 ms to parse.
[17:01:05.432] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 200 ms.
[17:01:05.443] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:05.443] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 200 ms.
[17:01:05.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 200 ms.
[17:01:05.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 200 ms.
[17:01:05.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:05.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 200 ms.
[17:01:05.521] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.521] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 216 ms.
[17:01:05.537] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:05.537] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 216 ms.
[17:01:05.537] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:05.537] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 216 ms.
[17:01:05.583] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 46 ms to parse.
[17:01:05.583] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 262 ms.
[17:01:05.646] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:05.646] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 262 ms.
[17:01:05.740] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.740] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 262 ms.
[17:01:05.771] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 15 ms to parse.
[17:01:05.771] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 277 ms.
[17:01:05.787] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:05.787] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 277 ms.
[17:01:05.959] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 172 ms to parse.
[17:01:05.959] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 449 ms.
[17:01:06.006] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:06.006] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 449 ms.
[17:01:06.052] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:06.052] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 449 ms.
[17:01:06.302] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 250 ms to parse.
[17:01:06.302] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:06.318] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:06.318] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:07.179] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.179] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:07.194] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.194] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:07.272] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.272] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:07.304] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.304] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:07.304] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.304] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 699 ms.
[17:01:07.382] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.382] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 715 ms.
[17:01:07.429] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.429] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 715 ms.
[17:01:07.507] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:07.507] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 715 ms.
[17:01:07.538] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.538] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 715 ms.
[17:01:07.554] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:07.554] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 731 ms.
[17:01:07.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 731 ms.
[17:01:07.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 731 ms.
[17:01:07.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 731 ms.
[17:01:07.585] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.585] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 731 ms.
[17:01:07.600] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.600] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 731 ms.
[17:01:07.616] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:07.616] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 747 ms.
[17:01:07.616] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.616] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 747 ms.
[17:01:07.632] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:07.632] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 763 ms.
[17:01:07.647] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.647] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 763 ms.
[17:01:07.647] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:07.647] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 763 ms.
[17:01:07.663] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:07.663] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.710] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.710] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.710] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.710] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.725] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.725] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.725] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:07.725] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.741] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.741] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.741] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.741] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.741] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:07.741] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.819] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.819] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.835] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:07.835] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.835] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:07.835] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:07.975] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 0 ms to parse.
[17:01:07.975] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:08.038] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\ifThenElseSplit.proof took 0 ms to parse.
[17:01:08.038] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:11.681] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:11.681] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:14.411] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit.proof
[17:01:14.529] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\ifThenElseSplit.proof took 0 ms to parse.
[17:01:14.529] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:22.520] ?[34mINFO ?[0;39m ?[36mKeyStrokeSettings?[0;39m - Save keyboard shortcuts to: C:\Users\runneradmin\.key\keystrokes.properties
[17:01:22.676] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof9981763897610106617.proof
[17:01:22.676] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof9981763897610106617.proof took 0 ms to parse.
[17:01:22.676] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:22.692] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:23.755] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:23.755] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:25.910] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof9981763897610106617.proof
[17:01:25.957] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice8098102154728275199\ifThenElseSplit_slice1.proof
[17:01:25.957] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:25.972] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice8098102154728275199\ifThenElseSplit_slice1.proof took 0 ms to parse.
[17:01:25.972] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:26.957] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:26.957] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:28.931] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice1.proof
[17:01:28.947] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice8098102154728275199\ifThenElseSplit_slice1.proof took 0 ms to parse.
[17:01:28.947] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:28.947] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\ifThenElseSplit.proof
[17:01:28.947] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\ifThenElseSplit.proof
[17:01:28.963] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:28.963] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\ifThenElseSplit.proof took 0 ms to parse.
[17:01:28.963] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 779 ms.
[17:01:29.870] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:29.870] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:31.765] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit.proof
[17:01:31.780] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\ifThenElseSplit.proof took 0 ms to parse.
[17:01:31.780] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:31.796] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
[17:01:31.796] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof4848772840318240063.proof
[17:01:31.811] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof4848772840318240063.proof took 0 ms to parse.
[17:01:31.811] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:31.811] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:32.797] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:32.797] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:34.691] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof4848772840318240063.proof
[17:01:34.706] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof
[17:01:34.706] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:34.722] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof took 0 ms to parse.
[17:01:34.722] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:35.618] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:35.618] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:37.546] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice1.proof
[17:01:37.562] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof took 0 ms to parse.
[17:01:37.562] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:37.562] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof
[17:01:37.562] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof
[17:01:37.562] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:37.577] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof took 0 ms to parse.
[17:01:37.577] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 795 ms.
[17:01:38.440] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:01:38.440] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:40.193] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice1.proof
[17:01:40.209] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice3275605661779053994\ifThenElseSplit_slice1.proof took 0 ms to parse.
[17:01:40.209] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:40.209] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
[17:01:40.224] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof12849829429727792104.proof
[17:01:40.224] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof12849829429727792104.proof took 0 ms to parse.
[17:01:40.224] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:40.224] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:41.096] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:41.096] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:42.897] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof12849829429727792104.proof
[17:01:42.912] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof
[17:01:42.912] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:42.928] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof took 0 ms to parse.
[17:01:42.928] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:43.726] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:43.726] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:45.578] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice2.proof
[17:01:45.596] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof took 0 ms to parse.
[17:01:45.597] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:45.599] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof
[17:01:45.600] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof
[17:01:45.604] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:45.613] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof took 0 ms to parse.
[17:01:45.619] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:46.508] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:46.508] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:48.320] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice2.proof
[17:01:48.335] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6388698649074846036\ifThenElseSplit_slice2.proof took 0 ms to parse.
[17:01:48.335] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:48.351] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
[17:01:48.351] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof2755295619624516437.proof
[17:01:48.351] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof2755295619624516437.proof took 0 ms to parse.
[17:01:48.351] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:48.367] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:49.152] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:49.152] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:50.921] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof2755295619624516437.proof
[17:01:50.937] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof
[17:01:50.937] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:50.957] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof took 0 ms to parse.
[17:01:50.957] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 811 ms.
[17:01:51.901] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 1 ms to parse.
[17:01:51.902] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:53.700] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice3.proof
[17:01:53.716] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof took 0 ms to parse.
[17:01:53.716] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:53.716] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof
[17:01:53.716] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof
[17:01:53.732] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:53.732] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof took 0 ms to parse.
[17:01:53.732] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:54.531] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:54.531] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:56.305] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice3.proof
[17:01:56.321] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6488456608645156578\ifThenElseSplit_slice3.proof took 0 ms to parse.
[17:01:56.321] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:56.321] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 5 and 6
[17:01:56.337] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof3505089814045271101.proof
[17:01:56.337] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof3505089814045271101.proof took 0 ms to parse.
[17:01:56.337] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:56.337] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:57.172] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:57.172] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:58.965] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof3505089814045271101.proof
[17:01:58.981] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11456394796486530270\ifThenElseSplit_slice4.proof
[17:01:58.981] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:01:58.997] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11456394796486530270\ifThenElseSplit_slice4.proof took 0 ms to parse.
[17:01:58.997] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:01:59.788] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:01:59.788] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:01.580] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ifThenElseSplit_slice4.proof
[17:02:01.580] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11456394796486530270\ifThenElseSplit_slice4.proof took 0 ms to parse.
[17:02:01.580] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:01.595] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\deduplicateCheck4.proof
[17:02:01.595] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\deduplicateCheck4.proof
[17:02:01.595] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:01.595] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\deduplicateCheck4.proof took 0 ms to parse.
[17:02:01.595] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:02.438] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:02.438] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:04.178] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof deduplicateCheck4.proof
[17:02:04.202] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\deduplicateCheck4.proof took 0 ms to parse.
[17:02:04.202] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:04.202] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof2545416455871385884.proof
[17:02:04.202] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof2545416455871385884.proof took 0 ms to parse.
[17:02:04.202] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:04.202] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:04.987] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:04.987] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:06.763] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof2545416455871385884.proof
[17:02:06.803] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice15332675900627459201\deduplicateCheck4_slice1.proof
[17:02:06.803] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:06.803] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice15332675900627459201\deduplicateCheck4_slice1.proof took 0 ms to parse.
[17:02:06.803] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:07.648] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:07.648] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:09.429] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof deduplicateCheck4_slice1.proof
[17:02:09.444] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice15332675900627459201\deduplicateCheck4_slice1.proof took 0 ms to parse.
[17:02:09.444] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:09.444] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\exampleDuplicate.proof
[17:02:09.444] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\exampleDuplicate.proof
[17:02:09.444] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:09.460] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\exampleDuplicate.proof took 0 ms to parse.
[17:02:09.460] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:10.231] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:10.231] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:11.984] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate.proof
[17:02:12.000] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\exampleDuplicate.proof took 0 ms to parse.
[17:02:12.000] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:12.000] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
[17:02:12.000] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof9468403592630215470.proof
[17:02:12.000] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof9468403592630215470.proof took 0 ms to parse.
[17:02:12.000] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:12.016] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:12.814] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:12.814] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:14.572] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof9468403592630215470.proof
[17:02:14.588] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof
[17:02:14.588] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:14.607] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof took 0 ms to parse.
[17:02:14.607] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:15.376] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:15.376] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:17.138] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice1.proof
[17:02:17.154] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof took 0 ms to parse.
[17:02:17.154] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:17.154] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof
[17:02:17.154] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof
[17:02:17.154] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:17.172] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof took 0 ms to parse.
[17:02:17.172] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:17.994] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:17.994] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:19.742] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice1.proof
[17:02:19.758] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5278450038058345860\exampleDuplicate_slice1.proof took 0 ms to parse.
[17:02:19.758] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:19.758] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
[17:02:19.758] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof7661959136057267068.proof
[17:02:19.758] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof7661959136057267068.proof took 0 ms to parse.
[17:02:19.758] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:19.774] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:20.545] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:20.545] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:22.267] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof7661959136057267068.proof
[17:02:22.283] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof
[17:02:22.298] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:22.298] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof took 0 ms to parse.
[17:02:22.298] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:23.103] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:23.103] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:24.813] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice2.proof
[17:02:24.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof took 0 ms to parse.
[17:02:24.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:24.828] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof
[17:02:24.828] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof
[17:02:24.828] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:24.875] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof took 0 ms to parse.
[17:02:24.875] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:25.642] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:25.642] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:27.376] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice2.proof
[17:02:27.392] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice4916628834487198891\exampleDuplicate_slice2.proof took 0 ms to parse.
[17:02:27.392] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:27.392] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
[17:02:27.407] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof3699745715168865653.proof
[17:02:27.407] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof3699745715168865653.proof took 0 ms to parse.
[17:02:27.407] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:27.407] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:28.206] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:28.206] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:29.919] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof3699745715168865653.proof
[17:02:29.935] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof
[17:02:29.935] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:29.950] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof took 0 ms to parse.
[17:02:29.950] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:30.749] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:30.749] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:32.489] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice3.proof
[17:02:32.505] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof took 0 ms to parse.
[17:02:32.505] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:32.505] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof
[17:02:32.505] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof
[17:02:32.521] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:32.521] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof took 0 ms to parse.
[17:02:32.521] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:33.325] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:33.325] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:35.036] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice3.proof
[17:02:35.051] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice5667240213507795473\exampleDuplicate_slice3.proof took 0 ms to parse.
[17:02:35.051] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:35.051] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof6146939340146014993.proof
[17:02:35.051] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof6146939340146014993.proof took 0 ms to parse.
[17:02:35.051] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:35.067] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:35.864] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:35.864] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:37.619] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof6146939340146014993.proof
[17:02:37.635] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice17823142656732993999\exampleDuplicate_slice4.proof
[17:02:37.635] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:37.652] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice17823142656732993999\exampleDuplicate_slice4.proof took 0 ms to parse.
[17:02:37.652] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:38.449] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:38.449] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:40.163] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicate_slice4.proof
[17:02:40.178] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice17823142656732993999\exampleDuplicate_slice4.proof took 0 ms to parse.
[17:02:40.178] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:40.178] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\firstTouch\05-ReverseArray\reverseArray.proof
[17:02:40.178] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\..\..\..\..\..\key.ui\examples\firstTouch\05-ReverseArray\reverseArray.proof
[17:02:40.178] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:40.194] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\firstTouch\05-ReverseArray\reverseArray.proof took 0 ms to parse.
[17:02:40.194] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:41.163] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:41.163] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:43.086] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:02:45.665] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\firstTouch\05-ReverseArray\reverseArray.proof took 0 ms to parse.
[17:02:45.665] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:45.824] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2591 and 3795
[17:02:45.824] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3958 and 4306
[17:02:45.840] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1354 and 4678
[17:02:45.856] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1010 and 4663
[17:02:45.903] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof16382479569945194129.proof
[17:02:45.903] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof16382479569945194129.proof took 0 ms to parse.
[17:02:45.903] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:45.903] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:46.919] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:46.919] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:48.745] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:02:50.434] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof
[17:02:50.434] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:50.450] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof took 0 ms to parse.
[17:02:50.450] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:51.482] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:51.482] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:53.651] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:02:54.854] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof took 0 ms to parse.
[17:02:54.854] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:54.854] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof
[17:02:54.854] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof
[17:02:54.854] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:54.870] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof took 0 ms to parse.
[17:02:54.870] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:55.746] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:55.762] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:57.594] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:02:58.750] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7133004282069316874\reverseArray_slice1.proof took 0 ms to parse.
[17:02:58.750] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:58.781] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2219 and 2914
[17:02:58.813] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1281 and 3384
[17:02:58.813] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3148
[17:02:58.813] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 947 and 3782
[17:02:58.828] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 880 and 3473
[17:02:58.828] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 879 and 3479
[17:02:58.844] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 943 and 3370
[17:02:58.860] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof3405973584558507198.proof
[17:02:58.860] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof3405973584558507198.proof took 0 ms to parse.
[17:02:58.860] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:02:58.860] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:02:59.736] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:02:59.736] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:01.636] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:02.308] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof
[17:03:02.308] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:02.323] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof took 0 ms to parse.
[17:03:02.323] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:03.277] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:03.277] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:05.100] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:06.100] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof took 0 ms to parse.
[17:03:06.100] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:06.100] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof
[17:03:06.100] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof
[17:03:06.100] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:06.116] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof took 0 ms to parse.
[17:03:06.116] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:07.085] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:07.085] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:08.881] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:09.785] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9209251051735147943\reverseArray_slice2.proof took 0 ms to parse.
[17:03:09.785] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:09.817] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 946 and 3368
[17:03:09.817] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 882 and 3474
[17:03:09.817] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 949 and 3776
[17:03:09.832] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 782 and 3569
[17:03:09.832] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 883 and 3469
[17:03:09.848] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2220 and 2914
[17:03:09.848] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3147
[17:03:09.848] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1301 and 3381
[17:03:09.848] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 781 and 3554
[17:03:09.863] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof12221416627117903118.proof
[17:03:09.863] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof12221416627117903118.proof took 0 ms to parse.
[17:03:09.863] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:09.863] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:10.848] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:10.848] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:12.681] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:13.391] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof
[17:03:13.406] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:13.406] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof took 0 ms to parse.
[17:03:13.406] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:14.274] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:14.274] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:16.115] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:17.075] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof took 0 ms to parse.
[17:03:17.075] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:17.075] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof
[17:03:17.075] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof
[17:03:17.091] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:17.091] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof took 0 ms to parse.
[17:03:17.091] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:17.944] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:17.944] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:19.883] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:20.765] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11645090039135290485\reverseArray_slice3.proof took 0 ms to parse.
[17:03:20.765] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:20.797] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 757 and 3651
[17:03:20.797] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3146
[17:03:20.797] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 886 and 3469
[17:03:20.797] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2221 and 2914
[17:03:20.812] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 785 and 3548
[17:03:20.812] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1296 and 3803
[17:03:20.812] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1302 and 3378
[17:03:20.812] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 784 and 3562
[17:03:20.812] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 756 and 3657
[17:03:20.828] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 885 and 3465
[17:03:20.828] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1285 and 3379
[17:03:20.843] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof1277761441469989417.proof
[17:03:20.843] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof1277761441469989417.proof took 0 ms to parse.
[17:03:20.843] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:20.843] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:21.779] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:21.779] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:23.571] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:24.171] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof
[17:03:24.171] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:24.171] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof took 0 ms to parse.
[17:03:24.171] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:25.194] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:25.194] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:26.998] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:27.864] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof took 0 ms to parse.
[17:03:27.864] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:27.864] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof
[17:03:27.864] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof
[17:03:27.864] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:27.880] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof took 0 ms to parse.
[17:03:27.880] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:28.820] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:28.820] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:30.628] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:31.609] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice825574537798656232\reverseArray_slice4.proof took 0 ms to parse.
[17:03:31.609] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:31.625] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 622 and 3786
[17:03:31.625] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2222 and 2914
[17:03:31.625] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1298 and 3793
[17:03:31.640] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 889 and 3465
[17:03:31.640] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 787 and 3555
[17:03:31.640] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 760 and 3648
[17:03:31.640] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 888 and 3464
[17:03:31.656] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1288 and 3376
[17:03:31.656] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 788 and 3542
[17:03:31.656] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1396 and 3388
[17:03:31.656] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 759 and 3643
[17:03:31.671] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3145
[17:03:31.679] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof1746081606079976238.proof
[17:03:31.680] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof1746081606079976238.proof took 0 ms to parse.
[17:03:31.680] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:31.683] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:32.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:32.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:34.371] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:35.054] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice2843006896143169225\reverseArray_slice5.proof
[17:03:35.070] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:35.070] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice2843006896143169225\reverseArray_slice5.proof took 0 ms to parse.
[17:03:35.070] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:35.919] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:35.919] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:37.779] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ReverseArray[ReverseArray::reverse()].JML normal_behavior operation contract.0
[17:03:38.732] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice2843006896143169225\reverseArray_slice5.proof took 0 ms to parse.
[17:03:38.732] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:38.748] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\exampleDuplicateOpen.proof
[17:03:38.748] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\exampleDuplicateOpen.proof
[17:03:38.748] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:38.764] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\exampleDuplicateOpen.proof took 0 ms to parse.
[17:03:38.764] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:39.522] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:39.522] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:41.384] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen.proof
[17:03:41.399] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\exampleDuplicateOpen.proof took 0 ms to parse.
[17:03:41.399] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:41.399] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
[17:03:41.399] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof7916065124358670344.proof
[17:03:41.399] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof7916065124358670344.proof took 0 ms to parse.
[17:03:41.399] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:41.399] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:42.165] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:42.165] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:43.882] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof7916065124358670344.proof
[17:03:43.897] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof
[17:03:43.897] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:43.913] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof took 0 ms to parse.
[17:03:43.913] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:44.724] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:44.724] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:46.447] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice1.proof
[17:03:46.463] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof took 0 ms to parse.
[17:03:46.463] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:46.463] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof
[17:03:46.463] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof
[17:03:46.463] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:46.478] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof took 0 ms to parse.
[17:03:46.478] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:47.223] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:47.223] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:49.024] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice1.proof
[17:03:49.040] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice11791293289571319681\exampleDuplicateOpen_slice1.proof took 0 ms to parse.
[17:03:49.040] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:49.040] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
[17:03:49.040] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof6113625369601146465.proof
[17:03:49.040] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof6113625369601146465.proof took 0 ms to parse.
[17:03:49.040] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:49.055] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:49.825] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:49.825] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:51.561] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof6113625369601146465.proof
[17:03:51.561] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof
[17:03:51.576] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:51.576] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[17:03:51.576] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:52.436] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:52.436] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:54.171] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice2.proof
[17:03:54.171] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[17:03:54.171] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:54.171] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof
[17:03:54.171] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof
[17:03:54.171] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:54.191] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[17:03:54.191] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:55.003] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:55.019] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:56.736] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice2.proof
[17:03:56.736] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice544031300904637536\exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[17:03:56.736] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:56.736] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
[17:03:56.752] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof6190454921105534595.proof
[17:03:56.752] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof6190454921105534595.proof took 0 ms to parse.
[17:03:56.752] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:56.752] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:57.501] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:03:57.501] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:03:59.225] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof6190454921105534595.proof
[17:03:59.241] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof
[17:03:59.241] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:03:59.256] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[17:03:59.256] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:00.094] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:00.094] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:01.813] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice3.proof
[17:04:01.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[17:04:01.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:01.828] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof
[17:04:01.828] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof
[17:04:01.828] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:01.844] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[17:04:01.844] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:02.666] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:02.666] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:04.358] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice3.proof
[17:04:04.358] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice1950937413079533581\exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[17:04:04.358] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:04.358] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof1462844429315799174.proof
[17:04:04.358] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof1462844429315799174.proof took 0 ms to parse.
[17:04:04.358] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:04.373] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:05.124] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:05.124] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:06.820] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof1462844429315799174.proof
[17:04:06.898] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice12064812786618530278\exampleDuplicateOpen_slice4.proof
[17:04:06.898] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:06.914] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice12064812786618530278\exampleDuplicateOpen_slice4.proof took 0 ms to parse.
[17:04:06.914] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:07.654] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:07.654] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:09.355] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof exampleDuplicateOpen_slice4.proof
[17:04:09.370] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice12064812786618530278\exampleDuplicateOpen_slice4.proof took 0 ms to parse.
[17:04:09.370] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:09.370] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\cutExample.proof
[17:04:09.370] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\cutExample.proof
[17:04:09.370] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:09.370] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\cutExample.proof took 0 ms to parse.
[17:04:09.370] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:10.181] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:10.181] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:11.875] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof cutExample.proof
[17:04:11.875] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\cutExample.proof took 0 ms to parse.
[17:04:11.875] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 812 ms.
[17:04:11.875] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof8241658929474529233.proof
[17:04:11.890] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof8241658929474529233.proof took 15 ms to parse.
[17:04:11.890] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:11.890] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:12.645] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:12.645] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:14.405] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof8241658929474529233.proof
[17:04:14.405] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9211493515198759026\cutExample_slice1.proof
[17:04:14.405] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:14.421] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9211493515198759026\cutExample_slice1.proof took 0 ms to parse.
[17:04:14.421] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:15.172] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:15.172] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:16.868] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof cutExample_slice1.proof
[17:04:16.868] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice9211493515198759026\cutExample_slice1.proof took 0 ms to parse.
[17:04:16.868] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:16.868] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\agathaOpenGoal.proof
[17:04:16.868] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\agathaOpenGoal.proof
[17:04:16.884] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:16.884] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\agathaOpenGoal.proof took 0 ms to parse.
[17:04:16.884] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:17.689] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:17.689] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:19.403] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof agathaOpenGoal.proof
[17:04:19.434] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\agathaOpenGoal.proof took 0 ms to parse.
[17:04:19.434] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:19.434] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof10411597454645987457.proof
[17:04:19.450] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof10411597454645987457.proof took 0 ms to parse.
[17:04:19.450] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:19.450] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:20.200] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:20.200] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:21.952] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof10411597454645987457.proof
[17:04:21.983] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6626663325897604417\agathaOpenGoal_slice1.proof
[17:04:21.983] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:21.983] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6626663325897604417\agathaOpenGoal_slice1.proof took 0 ms to parse.
[17:04:21.999] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:22.740] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:22.740] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:24.439] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof agathaOpenGoal_slice1.proof
[17:04:24.455] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice6626663325897604417\agathaOpenGoal_slice1.proof took 0 ms to parse.
[17:04:24.470] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:24.517] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\openGoal1.proof
[17:04:24.517] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\openGoal1.proof
[17:04:24.517] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:24.533] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\openGoal1.proof took 0 ms to parse.
[17:04:24.533] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:25.345] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:25.345] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:27.037] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof openGoal1.proof
[17:04:27.052] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\openGoal1.proof took 0 ms to parse.
[17:04:27.052] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:27.068] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof13882099944471086224.proof
[17:04:27.068] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof13882099944471086224.proof took 0 ms to parse.
[17:04:27.068] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:27.068] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:27.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:27.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:29.587] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof13882099944471086224.proof
[17:04:29.587] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7118163921470168396\openGoal1_slice1.proof
[17:04:29.587] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:29.602] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7118163921470168396\openGoal1_slice1.proof took 0 ms to parse.
[17:04:29.602] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 827 ms.
[17:04:30.357] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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 16 ms to parse.
[17:04:30.357] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:32.055] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof openGoal1_slice1.proof
[17:04:32.055] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice7118163921470168396\openGoal1_slice1.proof took 0 ms to parse.
[17:04:32.055] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:32.055] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\openGoal2.proof
[17:04:32.055] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\openGoal2.proof
[17:04:32.055] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:32.070] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\openGoal2.proof took 0 ms to parse.
[17:04:32.070] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:32.873] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:32.889] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:34.594] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof openGoal2.proof
[17:04:34.594] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\openGoal2.proof took 0 ms to parse.
[17:04:34.594] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:34.594] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof577238276331445008.proof
[17:04:34.594] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof577238276331445008.proof took 0 ms to parse.
[17:04:34.594] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:34.594] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:35.402] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:35.402] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:37.130] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof577238276331445008.proof
[17:04:37.130] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice13337708389922108548\openGoal2_slice1.proof
[17:04:37.130] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:37.145] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice13337708389922108548\openGoal2_slice1.proof took 0 ms to parse.
[17:04:37.145] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:37.885] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:37.885] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:39.583] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof openGoal2_slice1.proof
[17:04:39.583] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice13337708389922108548\openGoal2_slice1.proof took 0 ms to parse.
[17:04:39.583] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:39.599] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\agatha.proof
[17:04:39.599] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\agatha.proof
[17:04:39.599] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:39.599] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\agatha.proof took 0 ms to parse.
[17:04:39.599] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:40.412] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:40.412] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:42.091] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof agatha.proof
[17:04:42.122] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\agatha.proof took 0 ms to parse.
[17:04:42.122] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:42.122] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof17476468807032054101.proof
[17:04:42.122] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof17476468807032054101.proof took 0 ms to parse.
[17:04:42.122] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:42.122] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:42.935] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:42.935] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:44.628] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof proof17476468807032054101.proof
[17:04:44.643] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice17489243410165848314\agatha_slice1.proof
[17:04:44.643] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:44.659] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice17489243410165848314\agatha_slice1.proof took 0 ms to parse.
[17:04:44.659] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:45.402] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:45.402] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:47.097] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof agatha_slice1.proof
[17:04:47.113] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice17489243410165848314\agatha_slice1.proof took 0 ms to parse.
[17:04:47.113] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:47.113] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading D:\a\key\key\keyext.slicing\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_2_ParallelGcd\parallelGcd.proof
[17:04:47.113] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_2_ParallelGcd\parallelGcd.proof
[17:04:47.113] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:47.128] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_2_ParallelGcd\parallelGcd.proof took 0 ms to parse.
[17:04:47.128] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:48.130] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:48.130] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:49.911] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ParallelGcd[ParallelGcd::parallelGcd(int,int,[Z)].JML behavior operation contract.0
[17:04:50.727] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - D:\a\key\key\keyext.slicing\src\test\resources\testcase\..\..\..\..\..\key.ui\examples\heap\verifyThis15_2_ParallelGcd\parallelGcd.proof took 0 ms to parse.
[17:04:50.727] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:50.743] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\proof1525034166343179555.proof
[17:04:50.743] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\proof1525034166343179555.proof took 0 ms to parse.
[17:04:50.743] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:50.743] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:51.685] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:51.685] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:53.481] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ParallelGcd[ParallelGcd::parallelGcd(int,int,[Z)].JML behavior operation contract.0
[17:04:54.086] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice10739229439816142816\parallelGcd_slice1.proof
[17:04:54.089] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Creating init config
[17:04:54.096] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice10739229439816142816\parallelGcd_slice1.proof took 0 ms to parse.
[17:04:54.097] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:55.023] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - 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.
[17:04:55.023] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.
[17:04:56.841] ?[34mINFO ?[0;39m ?[36mAbstractProblemLoader?[0;39m - Replaying proof ParallelGcd[ParallelGcd::parallelGcd(int,int,[Z)].JML behavior operation contract.0
[17:04:57.357] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - C:\Users\RUNNER~1\AppData\Local\Temp\KeYslice10739229439816142816\parallelGcd_slice1.proof took 0 ms to parse.
[17:04:57.357] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 843 ms.