Standard output
554910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
554910 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.7ns
554910 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
556664 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
556664 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
556664 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
556664 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
556664 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
556664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
556664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.7ns
556664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
562372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s
562388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
562403 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns
562406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
562406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 481.6ns
562406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config