Standard output
201178 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8536712015398135865.key
202768 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
205523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.8ns
205523 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command8536712015398135865.key
205523 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
205719 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
206063 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6659351248596561922.key
207173 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
209728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
209728 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6659351248596561922.key
209728 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
209790 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''