Standard output
[01:22:00.935] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof
[01:22:01.059] ?[31mWARN ?[0;39m ?[36mProofIndependentSettings?[0;39m - The settings in /home/runner/.key/proofIndependentSettings.props are *not* read due to flag 'key.disregardSettings'
[01:22:01.210] ?[31mWARN ?[0;39m ?[36mProofSettings?[0;39m - The settings in /home/runner/.key/proof-settings.props are *not* read.
[01:22:01.315] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:01.316] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 16 ms.
[01:22:01.463] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ldt.key took 3 ms to parse.
[01:22:01.464] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 19 ms.
[01:22:01.479] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/boolean.key took 3 ms to parse.
[01:22:01.480] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 22 ms.
[01:22:01.501] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 11 ms to parse.
[01:22:01.502] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 33 ms.
[01:22:01.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerHeader.key took 5 ms to parse.
[01:22:01.537] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 38 ms.
[01:22:01.541] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatHeader.key took 2 ms to parse.
[01:22:01.541] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 40 ms.
[01:22:01.544] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/heap.key took 1 ms to parse.
[01:22:01.545] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 41 ms.
[01:22:01.549] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/locSets.key took 1 ms to parse.
[01:22:01.550] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 42 ms.
[01:22:01.551] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:01.552] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 42 ms.
[01:22:01.553] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:01.554] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 42 ms.
[01:22:01.555] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:01.557] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 42 ms.
[01:22:01.614] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/map.key took 56 ms to parse.
[01:22:01.615] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 98 ms.
[01:22:01.616] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:01.617] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 98 ms.
[01:22:01.618] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:01.618] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 98 ms.
[01:22:01.620] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/charListHeader.key took 1 ms to parse.
[01:22:01.621] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 99 ms.
[01:22:01.781] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/propRule.key took 6 ms to parse.
[01:22:01.782] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 105 ms.
[01:22:01.858] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/firstOrderRules.key took 4 ms to parse.
[01:22:01.858] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 109 ms.
[01:22:01.887] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/ifThenElseRules.key took 4 ms to parse.
[01:22:01.887] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 113 ms.
[01:22:01.944] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key took 19 ms to parse.
[01:22:01.946] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 132 ms.
[01:22:02.115] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/updateRules.key took 10 ms to parse.
[01:22:02.117] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 142 ms.
[01:22:02.155] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerRulesCommon.key took 9 ms to parse.
[01:22:02.156] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 151 ms.
[01:22:02.299] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRules.key took 12 ms to parse.
[01:22:02.300] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 163 ms.
[01:22:02.357] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key took 7 ms to parse.
[01:22:02.358] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 170 ms.
[01:22:02.428] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key took 5 ms to parse.
[01:22:02.430] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 175 ms.
[01:22:02.464] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key took 4 ms to parse.
[01:22:02.465] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 179 ms.
[01:22:02.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key took 50 ms to parse.
[01:22:02.570] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 229 ms.
[01:22:02.863] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intDiv.key took 7 ms to parse.
[01:22:02.864] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 236 ms.
[01:22:02.917] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bsum.key took 13 ms to parse.
[01:22:02.918] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 249 ms.
[01:22:02.991] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bprod.key took 2 ms to parse.
[01:22:02.992] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 251 ms.
[01:22:03.015] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/binaryAxioms.key took 1 ms to parse.
[01:22:03.015] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 252 ms.
[01:22:03.026] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/binaryLemmas.key took 2 ms to parse.
[01:22:03.026] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 254 ms.
[01:22:03.067] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/intPow.key took 28 ms to parse.
[01:22:03.067] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 282 ms.
[01:22:03.113] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesCommon.key took 8 ms to parse.
[01:22:03.113] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 290 ms.
[01:22:03.155] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:03.156] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 290 ms.
[01:22:03.159] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key took 1 ms to parse.
[01:22:03.159] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 291 ms.
[01:22:03.164] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key took 4 ms to parse.
[01:22:03.165] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 295 ms.
[01:22:03.205] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/genericRules.key took 7 ms to parse.
[01:22:03.211] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 302 ms.
[01:22:03.234] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/booleanRules.key took 1 ms to parse.
[01:22:03.235] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 303 ms.
[01:22:03.243] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/epsilon.key took 1 ms to parse.
[01:22:03.247] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 304 ms.
[01:22:03.264] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/locSetsRules.key took 14 ms to parse.
[01:22:03.264] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 318 ms.
[01:22:03.337] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/heapRules.key took 9 ms to parse.
[01:22:03.337] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 327 ms.
[01:22:03.389] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/permissionRules.key took 3 ms to parse.
[01:22:03.389] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 330 ms.
[01:22:03.416] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/reachRules.key took 4 ms to parse.
[01:22:03.416] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 334 ms.
[01:22:03.434] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:03.435] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 334 ms.
[01:22:03.445] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqRules.key took 6 ms to parse.
[01:22:03.445] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 340 ms.
[01:22:03.520] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqPerm.key took 3 ms to parse.
[01:22:03.521] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 343 ms.
[01:22:03.549] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqPerm2.key took 1 ms to parse.
[01:22:03.549] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 344 ms.
[01:22:03.589] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/javaRules.key took 35 ms to parse.
[01:22:03.590] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 379 ms.
[01:22:03.599] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/assertions.key took 1 ms to parse.
[01:22:03.599] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 380 ms.
[01:22:04.369] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopRules.key took 1 ms to parse.
[01:22:04.370] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 381 ms.
[01:22:04.384] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/activeUse.key took 3 ms to parse.
[01:22:04.384] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 384 ms.
[01:22:04.510] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/instanceAllocation.key took 8 ms to parse.
[01:22:04.514] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 392 ms.
[01:22:04.553] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/java5.key took 8 ms to parse.
[01:22:04.553] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 400 ms.
[01:22:04.561] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key took 4 ms to parse.
[01:22:04.574] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 404 ms.
[01:22:04.676] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key took 5 ms to parse.
[01:22:04.677] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 409 ms.
[01:22:04.708] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/bigint.key took 2 ms to parse.
[01:22:04.709] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 411 ms.
[01:22:04.731] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key took 1 ms to parse.
[01:22:04.731] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 412 ms.
[01:22:04.773] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:04.774] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 412 ms.
[01:22:04.781] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/charListRules.key took 3 ms to parse.
[01:22:04.781] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 415 ms.
[01:22:04.799] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:04.799] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 415 ms.
[01:22:04.802] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:04.802] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 415 ms.
[01:22:04.804] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExAxioms.key took 1 ms to parse.
[01:22:04.804] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 416 ms.
[01:22:04.811] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/regExLemmaProven.key took 2 ms to parse.
[01:22:04.812] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 418 ms.
[01:22:04.821] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/seqEq.key took 1 ms to parse.
[01:22:04.821] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 419 ms.
[01:22:04.833] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/infFlow.key took 2 ms to parse.
[01:22:04.833] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 421 ms.
[01:22:04.840] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/mapSize.key took 1 ms to parse.
[01:22:04.840] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 422 ms.
[01:22:04.845] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wd.key took 0 ms to parse.
[01:22:04.845] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 422 ms.
[01:22:04.859] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdHeader.key took 1 ms to parse.
[01:22:04.859] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 423 ms.
[01:22:04.862] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdGeneralRules.key took 1 ms to parse.
[01:22:04.862] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 424 ms.
[01:22:04.876] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdNumericalRules.key took 6 ms to parse.
[01:22:04.877] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 430 ms.
[01:22:04.930] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdLocSetRules.key took 1 ms to parse.
[01:22:04.932] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 431 ms.
[01:22:04.943] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdHeapRules.key took 2 ms to parse.
[01:22:04.943] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 433 ms.
[01:22:04.951] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdReachRules.key took 1 ms to parse.
[01:22:04.951] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 434 ms.
[01:22:04.957] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdSeqRules.key took 1 ms to parse.
[01:22:04.957] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 435 ms.
[01:22:04.965] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:04.966] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 435 ms.
[01:22:04.972] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:04.972] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 435 ms.
[01:22:04.980] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/wdFormulaRules.key took 4 ms to parse.
[01:22:04.981] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 439 ms.
[01:22:05.002] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:05.003] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 439 ms.
[01:22:05.005] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:05.005] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 439 ms.
[01:22:05.011] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/execRules.key took 3 ms to parse.
[01:22:05.012] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 442 ms.
[01:22:05.228] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/proof/rules/loopScopeRules.key took 3 ms to parse.
[01:22:05.229] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 445 ms.
[01:22:05.273] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof took 0 ms to parse.
[01:22:05.274] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 445 ms.
[01:22:09.085] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 6 ms to parse.
[01:22:09.085] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 451 ms.
[01:22:11.898] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof took 0 ms to parse.
[01:22:11.899] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 451 ms.
[01:22:14.957] ?[34mINFO ?[0;39m ?[36mKeyStrokeSettings?[0;39m - Save keyboard shortcuts to: /home/runner/.key/keystrokes.properties
[01:22:15.104] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof4265914072116720988.proof took 1 ms to parse.
[01:22:15.112] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 452 ms.
[01:22:16.411] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:16.412] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 453 ms.
[01:22:18.862] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice3086172286436279277/ifThenElseSplit_slice1.proof took 0 ms to parse.
[01:22:18.862] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 453 ms.
[01:22:20.037] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 5 ms to parse.
[01:22:20.037] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 458 ms.
[01:22:22.206] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice3086172286436279277/ifThenElseSplit_slice1.proof took 0 ms to parse.
[01:22:22.207] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 458 ms.
[01:22:22.208] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof
[01:22:22.214] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof took 0 ms to parse.
[01:22:22.215] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 458 ms.
[01:22:23.157] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:22:23.157] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 460 ms.
[01:22:25.278] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/ifThenElseSplit.proof took 0 ms to parse.
[01:22:25.278] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 460 ms.
[01:22:25.291] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
[01:22:25.295] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof12582604430054314976.proof took 0 ms to parse.
[01:22:25.295] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 460 ms.
[01:22:26.250] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:26.251] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 461 ms.
[01:22:28.427] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6677003137465149349/ifThenElseSplit_slice1.proof took 1 ms to parse.
[01:22:28.428] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 462 ms.
[01:22:29.398] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:22:29.399] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 464 ms.
[01:22:31.447] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6677003137465149349/ifThenElseSplit_slice1.proof took 0 ms to parse.
[01:22:31.448] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 464 ms.
[01:22:31.449] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice6677003137465149349/ifThenElseSplit_slice1.proof
[01:22:31.454] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6677003137465149349/ifThenElseSplit_slice1.proof took 0 ms to parse.
[01:22:31.454] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 464 ms.
[01:22:32.423] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:22:32.424] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 466 ms.
[01:22:34.517] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6677003137465149349/ifThenElseSplit_slice1.proof took 0 ms to parse.
[01:22:34.518] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 466 ms.
[01:22:34.521] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
[01:22:34.524] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof885387785066269593.proof took 0 ms to parse.
[01:22:34.524] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 466 ms.
[01:22:35.487] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:22:35.488] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 468 ms.
[01:22:37.628] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6512500526132798759/ifThenElseSplit_slice2.proof took 0 ms to parse.
[01:22:37.629] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 468 ms.
[01:22:38.510] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:38.511] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 469 ms.
[01:22:40.704] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6512500526132798759/ifThenElseSplit_slice2.proof took 0 ms to parse.
[01:22:40.705] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 469 ms.
[01:22:40.706] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice6512500526132798759/ifThenElseSplit_slice2.proof
[01:22:40.709] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6512500526132798759/ifThenElseSplit_slice2.proof took 0 ms to parse.
[01:22:40.710] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 469 ms.
[01:22:41.630] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:41.631] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 470 ms.
[01:22:43.631] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6512500526132798759/ifThenElseSplit_slice2.proof took 0 ms to parse.
[01:22:43.632] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 470 ms.
[01:22:43.633] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
[01:22:43.635] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof15232190773531648698.proof took 0 ms to parse.
[01:22:43.635] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 470 ms.
[01:22:44.577] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:22:44.577] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 472 ms.
[01:22:46.675] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8342578189308972613/ifThenElseSplit_slice3.proof took 0 ms to parse.
[01:22:46.676] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 472 ms.
[01:22:47.543] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:47.543] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 473 ms.
[01:22:49.569] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8342578189308972613/ifThenElseSplit_slice3.proof took 0 ms to parse.
[01:22:49.570] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 473 ms.
[01:22:49.570] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice8342578189308972613/ifThenElseSplit_slice3.proof
[01:22:49.575] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8342578189308972613/ifThenElseSplit_slice3.proof took 1 ms to parse.
[01:22:49.575] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 474 ms.
[01:22:50.447] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:50.448] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 475 ms.
[01:22:52.545] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8342578189308972613/ifThenElseSplit_slice3.proof took 0 ms to parse.
[01:22:52.546] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 475 ms.
[01:22:52.548] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 5 and 6
[01:22:52.550] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof1143285927812316910.proof took 0 ms to parse.
[01:22:52.551] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 475 ms.
[01:22:53.485] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:53.485] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 476 ms.
[01:22:55.622] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice13831913511317418027/ifThenElseSplit_slice4.proof took 0 ms to parse.
[01:22:55.623] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 476 ms.
[01:22:56.567] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:56.568] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 477 ms.
[01:22:58.626] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice13831913511317418027/ifThenElseSplit_slice4.proof took 0 ms to parse.
[01:22:58.626] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 477 ms.
[01:22:58.630] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/deduplicateCheck4.proof
[01:22:58.636] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/deduplicateCheck4.proof took 0 ms to parse.
[01:22:58.636] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 477 ms.
[01:22:59.505] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:22:59.505] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 478 ms.
[01:23:01.533] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/deduplicateCheck4.proof took 0 ms to parse.
[01:23:01.534] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 478 ms.
[01:23:01.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof5932327556643250577.proof took 0 ms to parse.
[01:23:01.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 478 ms.
[01:23:02.420] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:02.420] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 479 ms.
[01:23:04.360] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice9026081947106779657/deduplicateCheck4_slice1.proof took 0 ms to parse.
[01:23:04.360] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 479 ms.
[01:23:05.270] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:05.271] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 480 ms.
[01:23:07.245] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice9026081947106779657/deduplicateCheck4_slice1.proof took 0 ms to parse.
[01:23:07.246] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 480 ms.
[01:23:07.248] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicate.proof
[01:23:07.252] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicate.proof took 0 ms to parse.
[01:23:07.252] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 480 ms.
[01:23:08.139] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:08.140] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 481 ms.
[01:23:10.114] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicate.proof took 0 ms to parse.
[01:23:10.114] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 481 ms.
[01:23:10.116] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
[01:23:10.117] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof15062327053995209110.proof took 0 ms to parse.
[01:23:10.118] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 481 ms.
[01:23:10.975] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:10.975] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 482 ms.
[01:23:12.967] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6052103829020591866/exampleDuplicate_slice1.proof took 0 ms to parse.
[01:23:12.967] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 482 ms.
[01:23:13.913] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:13.913] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 483 ms.
[01:23:15.899] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6052103829020591866/exampleDuplicate_slice1.proof took 0 ms to parse.
[01:23:15.899] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 483 ms.
[01:23:15.900] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice6052103829020591866/exampleDuplicate_slice1.proof
[01:23:15.904] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6052103829020591866/exampleDuplicate_slice1.proof took 0 ms to parse.
[01:23:15.905] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 483 ms.
[01:23:16.811] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:16.812] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 484 ms.
[01:23:18.783] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6052103829020591866/exampleDuplicate_slice1.proof took 1 ms to parse.
[01:23:18.783] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 485 ms.
[01:23:18.785] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
[01:23:18.787] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof14464065856873552843.proof took 0 ms to parse.
[01:23:18.787] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 485 ms.
[01:23:19.647] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:19.648] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 486 ms.
[01:23:21.712] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice3931498725750196895/exampleDuplicate_slice2.proof took 0 ms to parse.
[01:23:21.712] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 486 ms.
[01:23:22.632] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:23:22.632] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 488 ms.
[01:23:24.618] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice3931498725750196895/exampleDuplicate_slice2.proof took 0 ms to parse.
[01:23:24.618] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 488 ms.
[01:23:24.619] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice3931498725750196895/exampleDuplicate_slice2.proof
[01:23:24.623] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice3931498725750196895/exampleDuplicate_slice2.proof took 0 ms to parse.
[01:23:24.623] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 488 ms.
[01:23:25.517] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:25.517] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 489 ms.
[01:23:27.500] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice3931498725750196895/exampleDuplicate_slice2.proof took 0 ms to parse.
[01:23:27.501] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 489 ms.
[01:23:27.502] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
[01:23:27.504] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof5969869991700652876.proof took 0 ms to parse.
[01:23:27.504] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 489 ms.
[01:23:28.430] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:28.430] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 490 ms.
[01:23:30.438] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice18349829001635206055/exampleDuplicate_slice3.proof took 0 ms to parse.
[01:23:30.438] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 490 ms.
[01:23:31.293] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:31.293] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 491 ms.
[01:23:33.254] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice18349829001635206055/exampleDuplicate_slice3.proof took 0 ms to parse.
[01:23:33.254] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 491 ms.
[01:23:33.255] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice18349829001635206055/exampleDuplicate_slice3.proof
[01:23:33.258] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice18349829001635206055/exampleDuplicate_slice3.proof took 0 ms to parse.
[01:23:33.259] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 491 ms.
[01:23:34.144] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:34.144] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 492 ms.
[01:23:36.119] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice18349829001635206055/exampleDuplicate_slice3.proof took 0 ms to parse.
[01:23:36.120] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 492 ms.
[01:23:36.122] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof1456260508504843464.proof took 0 ms to parse.
[01:23:36.122] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 492 ms.
[01:23:37.077] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:37.077] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 493 ms.
[01:23:38.996] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6393250846438042043/exampleDuplicate_slice4.proof took 0 ms to parse.
[01:23:38.996] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 493 ms.
[01:23:39.866] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:39.867] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 493 ms.
[01:23:41.904] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice6393250846438042043/exampleDuplicate_slice4.proof took 0 ms to parse.
[01:23:41.905] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 493 ms.
[01:23:41.911] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/../../../../../key.ui/examples/firstTouch/05-ReverseArray/reverseArray.proof
[01:23:41.921] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/../../../../../key.ui/examples/firstTouch/05-ReverseArray/reverseArray.proof took 0 ms to parse.
[01:23:41.922] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 493 ms.
[01:23:43.002] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:43.002] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 494 ms.
[01:23:47.894] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/../../../../../key.ui/examples/firstTouch/05-ReverseArray/reverseArray.proof took 0 ms to parse.
[01:23:47.895] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 494 ms.
[01:23:47.958] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2591 and 3795
[01:23:47.960] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3958 and 4306
[01:23:47.977] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1354 and 4678
[01:23:47.986] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1010 and 4663
[01:23:48.018] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof10269494428407769750.proof took 0 ms to parse.
[01:23:48.020] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 494 ms.
[01:23:49.102] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:23:49.103] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 496 ms.
[01:23:52.302] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice2892297587511893310/reverseArray_slice1.proof took 1 ms to parse.
[01:23:52.302] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 497 ms.
[01:23:53.253] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:53.254] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 498 ms.
[01:23:56.869] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice2892297587511893310/reverseArray_slice1.proof took 0 ms to parse.
[01:23:56.870] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 498 ms.
[01:23:56.872] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice2892297587511893310/reverseArray_slice1.proof
[01:23:56.878] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice2892297587511893310/reverseArray_slice1.proof took 0 ms to parse.
[01:23:56.878] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 498 ms.
[01:23:57.827] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:23:57.828] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 499 ms.
[01:24:01.205] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice2892297587511893310/reverseArray_slice1.proof took 0 ms to parse.
[01:24:01.206] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 499 ms.
[01:24:01.241] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2219 and 2914
[01:24:01.247] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 947 and 3782
[01:24:01.253] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 879 and 3479
[01:24:01.257] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 943 and 3370
[01:24:01.262] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3148
[01:24:01.267] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 880 and 3473
[01:24:01.295] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1281 and 3384
[01:24:01.306] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof16193543346416189676.proof took 0 ms to parse.
[01:24:01.306] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 499 ms.
[01:24:02.271] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:02.272] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 500 ms.
[01:24:05.240] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8597188627511406364/reverseArray_slice2.proof took 0 ms to parse.
[01:24:05.240] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 500 ms.
[01:24:06.188] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:06.188] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 501 ms.
[01:24:09.450] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8597188627511406364/reverseArray_slice2.proof took 0 ms to parse.
[01:24:09.450] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 501 ms.
[01:24:09.451] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice8597188627511406364/reverseArray_slice2.proof
[01:24:09.456] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8597188627511406364/reverseArray_slice2.proof took 0 ms to parse.
[01:24:09.456] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 501 ms.
[01:24:10.392] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:10.393] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 502 ms.
[01:24:13.440] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice8597188627511406364/reverseArray_slice2.proof took 1 ms to parse.
[01:24:13.440] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 503 ms.
[01:24:13.460] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 946 and 3368
[01:24:13.464] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 949 and 3776
[01:24:13.466] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 781 and 3569
[01:24:13.468] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 782 and 3554
[01:24:13.470] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2220 and 2914
[01:24:13.475] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 882 and 3469
[01:24:13.479] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1301 and 3381
[01:24:13.482] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3147
[01:24:13.489] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 883 and 3474
[01:24:13.495] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof592350276925792830.proof took 0 ms to parse.
[01:24:13.496] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 503 ms.
[01:24:14.442] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:24:14.442] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 505 ms.
[01:24:17.203] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice16646288219412176980/reverseArray_slice3.proof took 0 ms to parse.
[01:24:17.203] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 505 ms.
[01:24:18.254] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:18.255] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 506 ms.
[01:24:21.302] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice16646288219412176980/reverseArray_slice3.proof took 0 ms to parse.
[01:24:21.302] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 506 ms.
[01:24:21.303] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice16646288219412176980/reverseArray_slice3.proof
[01:24:21.308] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice16646288219412176980/reverseArray_slice3.proof took 0 ms to parse.
[01:24:21.308] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 506 ms.
[01:24:22.320] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:24:22.320] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 508 ms.
[01:24:25.319] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice16646288219412176980/reverseArray_slice3.proof took 0 ms to parse.
[01:24:25.320] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 508 ms.
[01:24:25.346] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 784 and 3548
[01:24:25.347] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 756 and 3657
[01:24:25.348] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 785 and 3562
[01:24:25.353] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1285 and 3379
[01:24:25.361] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2221 and 2914
[01:24:25.364] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 885 and 3465
[01:24:25.366] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3146
[01:24:25.367] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 757 and 3651
[01:24:25.369] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 886 and 3469
[01:24:25.370] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1296 and 3803
[01:24:25.374] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1302 and 3378
[01:24:25.379] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof15864727395129707999.proof took 0 ms to parse.
[01:24:25.379] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 508 ms.
[01:24:26.431] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:24:26.431] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 510 ms.
[01:24:29.288] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice640715373310003398/reverseArray_slice4.proof took 0 ms to parse.
[01:24:29.289] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 510 ms.
[01:24:30.317] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:24:30.317] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 512 ms.
[01:24:33.269] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice640715373310003398/reverseArray_slice4.proof took 0 ms to parse.
[01:24:33.270] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 512 ms.
[01:24:33.271] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice640715373310003398/reverseArray_slice4.proof
[01:24:33.275] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice640715373310003398/reverseArray_slice4.proof took 0 ms to parse.
[01:24:33.275] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 512 ms.
[01:24:34.293] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:34.294] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 513 ms.
[01:24:37.234] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice640715373310003398/reverseArray_slice4.proof took 0 ms to parse.
[01:24:37.234] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 513 ms.
[01:24:37.257] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2222 and 2914
[01:24:37.258] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 788 and 3555
[01:24:37.260] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1298 and 3793
[01:24:37.263] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 888 and 3465
[01:24:37.265] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1288 and 3376
[01:24:37.267] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 759 and 3643
[01:24:37.274] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2973 and 3145
[01:24:37.275] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 889 and 3464
[01:24:37.280] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 760 and 3648
[01:24:37.282] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 787 and 3542
[01:24:37.284] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 621 and 3786
[01:24:37.285] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 1396 and 3388
[01:24:37.292] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof17356674579587753885.proof took 0 ms to parse.
[01:24:37.293] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 513 ms.
[01:24:38.336] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:38.336] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 514 ms.
[01:24:41.073] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice13022746859444309902/reverseArray_slice5.proof took 0 ms to parse.
[01:24:41.073] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 514 ms.
[01:24:42.068] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:42.068] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 515 ms.
[01:24:45.025] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice13022746859444309902/reverseArray_slice5.proof took 0 ms to parse.
[01:24:45.025] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 515 ms.
[01:24:45.028] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicateOpen.proof
[01:24:45.032] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicateOpen.proof took 0 ms to parse.
[01:24:45.035] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 515 ms.
[01:24:45.972] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:45.973] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 516 ms.
[01:24:47.962] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/exampleDuplicateOpen.proof took 0 ms to parse.
[01:24:47.962] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 516 ms.
[01:24:47.963] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 2 and 3
[01:24:47.964] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof14216621668206253926.proof took 0 ms to parse.
[01:24:47.964] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 516 ms.
[01:24:48.866] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:48.866] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 517 ms.
[01:24:50.912] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice9534956554457985929/exampleDuplicateOpen_slice1.proof took 1 ms to parse.
[01:24:50.912] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 518 ms.
[01:24:51.785] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:51.786] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 519 ms.
[01:24:53.809] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice9534956554457985929/exampleDuplicateOpen_slice1.proof took 1 ms to parse.
[01:24:53.809] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 520 ms.
[01:24:53.810] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice9534956554457985929/exampleDuplicateOpen_slice1.proof
[01:24:53.814] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice9534956554457985929/exampleDuplicateOpen_slice1.proof took 1 ms to parse.
[01:24:53.814] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 521 ms.
[01:24:54.779] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:24:54.780] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 522 ms.
[01:24:56.708] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice9534956554457985929/exampleDuplicateOpen_slice1.proof took 1 ms to parse.
[01:24:56.708] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 523 ms.
[01:24:56.709] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 3 and 4
[01:24:56.711] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof8255678735353641893.proof took 0 ms to parse.
[01:24:56.711] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 523 ms.
[01:24:57.614] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/key/key/key.core/build/libs/key.core-2.11.0.jar!/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
[01:24:57.614] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 525 ms.
[01:24:59.636] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice14966187646964721331/exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[01:24:59.636] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 525 ms.
[01:25:00.462] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:00.462] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 526 ms.
[01:25:02.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice14966187646964721331/exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[01:25:02.475] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 526 ms.
[01:25:02.475] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice14966187646964721331/exampleDuplicateOpen_slice2.proof
[01:25:02.479] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice14966187646964721331/exampleDuplicateOpen_slice2.proof took 0 ms to parse.
[01:25:02.479] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 526 ms.
[01:25:03.381] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:03.381] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 527 ms.
[01:25:05.329] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice14966187646964721331/exampleDuplicateOpen_slice2.proof took 1 ms to parse.
[01:25:05.329] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 528 ms.
[01:25:05.330] ?[34mINFO ?[0;39m ?[36mDependencyAnalyzer?[0;39m - merging 4 and 5
[01:25:05.331] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof3913260170583092435.proof took 0 ms to parse.
[01:25:05.332] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 528 ms.
[01:25:06.247] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:06.248] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 529 ms.
[01:25:08.229] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice12039419801686683123/exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[01:25:08.230] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 529 ms.
[01:25:09.102] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:09.102] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 530 ms.
[01:25:11.080] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice12039419801686683123/exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[01:25:11.081] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 530 ms.
[01:25:11.081] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /tmp/KeYslice12039419801686683123/exampleDuplicateOpen_slice3.proof
[01:25:11.084] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice12039419801686683123/exampleDuplicateOpen_slice3.proof took 0 ms to parse.
[01:25:11.084] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 530 ms.
[01:25:11.966] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:11.966] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 531 ms.
[01:25:13.863] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice12039419801686683123/exampleDuplicateOpen_slice3.proof took 1 ms to parse.
[01:25:13.863] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 532 ms.
[01:25:13.865] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof1560462854177166094.proof took 0 ms to parse.
[01:25:13.865] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 532 ms.
[01:25:14.742] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:14.742] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 533 ms.
[01:25:16.703] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice269466384271344066/exampleDuplicateOpen_slice4.proof took 0 ms to parse.
[01:25:16.704] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 533 ms.
[01:25:17.566] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:17.566] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 534 ms.
[01:25:19.473] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice269466384271344066/exampleDuplicateOpen_slice4.proof took 0 ms to parse.
[01:25:19.474] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 534 ms.
[01:25:19.476] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/cutExample.proof
[01:25:19.480] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/cutExample.proof took 1 ms to parse.
[01:25:19.480] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 535 ms.
[01:25:20.379] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:20.379] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 536 ms.
[01:25:22.300] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/cutExample.proof took 1 ms to parse.
[01:25:22.300] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 537 ms.
[01:25:22.301] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof10797174191550835363.proof took 0 ms to parse.
[01:25:22.301] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 537 ms.
[01:25:23.145] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:23.146] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 538 ms.
[01:25:25.155] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice15007748380425617333/cutExample_slice1.proof took 1 ms to parse.
[01:25:25.155] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 539 ms.
[01:25:26.040] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:26.040] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 540 ms.
[01:25:27.989] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice15007748380425617333/cutExample_slice1.proof took 1 ms to parse.
[01:25:27.989] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 541 ms.
[01:25:27.990] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agathaOpenGoal.proof
[01:25:27.994] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agathaOpenGoal.proof took 1 ms to parse.
[01:25:27.994] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 542 ms.
[01:25:28.855] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:28.855] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 543 ms.
[01:25:30.878] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agathaOpenGoal.proof took 1 ms to parse.
[01:25:30.878] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 544 ms.
[01:25:30.881] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof43268903845711851.proof took 1 ms to parse.
[01:25:30.881] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 545 ms.
[01:25:31.763] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:31.764] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 546 ms.
[01:25:33.707] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice12122104748309837451/agathaOpenGoal_slice1.proof took 0 ms to parse.
[01:25:33.708] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 546 ms.
[01:25:34.606] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:34.606] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 547 ms.
[01:25:36.586] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice12122104748309837451/agathaOpenGoal_slice1.proof took 1 ms to parse.
[01:25:36.586] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 548 ms.
[01:25:36.593] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal1.proof
[01:25:36.596] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal1.proof took 0 ms to parse.
[01:25:36.597] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 548 ms.
[01:25:37.499] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:37.499] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 549 ms.
[01:25:39.396] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal1.proof took 0 ms to parse.
[01:25:39.396] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 549 ms.
[01:25:39.398] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof12237191656185049993.proof took 0 ms to parse.
[01:25:39.398] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 549 ms.
[01:25:40.274] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:40.275] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 550 ms.
[01:25:42.210] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice5385239228830714658/openGoal1_slice1.proof took 0 ms to parse.
[01:25:42.210] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 550 ms.
[01:25:43.072] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:43.072] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 551 ms.
[01:25:45.014] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice5385239228830714658/openGoal1_slice1.proof took 1 ms to parse.
[01:25:45.014] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 552 ms.
[01:25:45.014] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal2.proof
[01:25:45.018] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal2.proof took 1 ms to parse.
[01:25:45.018] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 553 ms.
[01:25:45.877] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:45.878] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 553 ms.
[01:25:47.824] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/openGoal2.proof took 1 ms to parse.
[01:25:47.824] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 554 ms.
[01:25:47.825] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof12997395757990784423.proof took 0 ms to parse.
[01:25:47.825] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 554 ms.
[01:25:48.715] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:48.715] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 555 ms.
[01:25:50.694] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice10852336882191573711/openGoal2_slice1.proof took 0 ms to parse.
[01:25:50.694] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 555 ms.
[01:25:51.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:51.536] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 556 ms.
[01:25:53.475] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice10852336882191573711/openGoal2_slice1.proof took 1 ms to parse.
[01:25:53.475] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 557 ms.
[01:25:53.476] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agatha.proof
[01:25:53.479] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agatha.proof took 0 ms to parse.
[01:25:53.480] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 557 ms.
[01:25:54.365] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:54.365] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 558 ms.
[01:25:56.356] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/agatha.proof took 0 ms to parse.
[01:25:56.356] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 558 ms.
[01:25:56.358] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof2674688957542772170.proof took 0 ms to parse.
[01:25:56.359] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 558 ms.
[01:25:57.249] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:25:57.249] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 559 ms.
[01:25:59.152] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice10171218934028307498/agatha_slice1.proof took 0 ms to parse.
[01:25:59.152] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 559 ms.
[01:26:00.054] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:26:00.054] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 560 ms.
[01:26:02.038] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice10171218934028307498/agatha_slice1.proof took 0 ms to parse.
[01:26:02.039] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 560 ms.
[01:26:02.041] ?[34mINFO ?[0;39m ?[36mEndToEndTests?[0;39m - Loading /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/../../../../../key.ui/examples/heap/verifyThis15_2_ParallelGcd/parallelGcd.proof
[01:26:02.045] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/../../../../../key.ui/examples/heap/verifyThis15_2_ParallelGcd/parallelGcd.proof took 0 ms to parse.
[01:26:02.045] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 560 ms.
[01:26:03.035] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:26:03.035] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 561 ms.
[01:26:05.970] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /home/runner/work/key/key/keyext.slicing/src/test/resources/testcase/../../../../../key.ui/examples/heap/verifyThis15_2_ParallelGcd/parallelGcd.proof took 1 ms to parse.
[01:26:05.970] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 562 ms.
[01:26:05.987] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/proof2053217525604958238.proof took 1 ms to parse.
[01:26:05.987] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 563 ms.
[01:26:06.995] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:26:06.996] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 564 ms.
[01:26:09.670] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice5630043183317354983/parallelGcd_slice1.proof took 0 ms to parse.
[01:26:09.671] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 564 ms.
[01:26:10.690] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - jar:file:/home/runner/work/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.
[01:26:10.690] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 565 ms.
[01:26:13.290] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - /tmp/KeYslice5630043183317354983/parallelGcd_slice1.proof took 0 ms to parse.
[01:26:13.290] ?[31mWARN ?[0;39m ?[36mParsingFacade?[0;39m - Parsing time 565 ms.