Standard output
150325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3231867445768548336.key
150325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.2ns
150325 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3231867445768548336.key took 0 ms to parse.
150325 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
150325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
151134 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
151134 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
152797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s
152828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command3231867445768548336.key
152828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
152828 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command3231867445768548336.key took 0 ms to parse.
152828 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
152828 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
152875 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
152890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9363219617045252283.key
152890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns
152890 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9363219617045252283.key took 0 ms to parse.
152890 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
152890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
153726 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
153726 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
155395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s
155426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof key-focus-command9363219617045252283.key
155426 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
155426 WARN Test worker d.u.i.k.n.ParsingFacade C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9363219617045252283.key took 0 ms to parse.
155426 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
155426 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
155457 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''