Standard output
266796 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
266796 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
266796 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
266796 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
266796 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
268126 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
268126 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
268126 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
268126 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
268126 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
269410 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
269410 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
269410 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
269410 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
269410 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
270549 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270549 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270549 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270549 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270549 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
271681 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271681 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271681 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271681 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271681 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
272909 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272909 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272909 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272909 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272909 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
274004 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
274004 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
274004 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
274004 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
274004 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
275123 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275123 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275123 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
275123 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275123 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
276370 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
276370 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
276385 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
276385 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
276385 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
277441 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277441 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277441 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277441 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277441 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
278552 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
278552 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
278552 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
278552 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
278552 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
279637 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
279637 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
279637 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
279637 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
279637 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms