Standard output
247334 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
247334 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
247334 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
247334 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
247334 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
248484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
248484 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
248484 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
248484 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
248484 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
249631 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
249631 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
249631 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
249631 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
249631 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
250693 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
250693 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
250693 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
250693 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
250693 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
251779 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
251779 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
251779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
251779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
251779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
252893 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
252893 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
252893 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
252893 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
252893 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
254065 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
254065 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
254065 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
254065 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
254065 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
255365 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
255365 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
255381 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
255381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
255381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
256603 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
256603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
256603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
256603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
256603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
257783 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
257783 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
257783 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
257783 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
257783 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
259052 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
259052 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
259052 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
259052 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
259052 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
260215 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
260215 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
260215 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
260215 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
260215 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms