286169 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286169 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286169 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286169 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286170 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286170 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286170 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286170 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286171 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286171 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286171 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286171 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286172 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286172 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286172 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286172 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286173 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286173 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286173 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286173 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286174 WARN Test worker d.u.i.k.n.ParsingFacade SLL was not enough
286175 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:1:0: mismatched input '{' expecting {<EOF>, '\sorts', '\schemaVariables', '\programVariables', '\include', '\includeLDTs', '\classpath', '\bootclasspath', '\javaSource', '\withOptions', '\optionsDecl', '\settings', '\profile', '\heuristicsDecl', '\predicates', '\functions', '\transformers', '\rules', '\axioms', '\problem', '\chooseContract', '\proofObligation', '\proof', '\contracts', '\invariants', '/*!'} [@0,23:23='{',<148>,1:0] (file)
286179 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286180 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286180 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286180 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286180 WARN Test worker d.u.i.k.n.ParsingFacade SLL was not enough
286180 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:1:0: mismatched input '{' expecting {<EOF>, '\sorts', '\schemaVariables', '\programVariables', '\include', '\includeLDTs', '\classpath', '\bootclasspath', '\javaSource', '\withOptions', '\optionsDecl', '\settings', '\profile', '\heuristicsDecl', '\predicates', '\functions', '\transformers', '\rules', '\axioms', '\problem', '\chooseContract', '\proofObligation', '\proof', '\contracts', '\invariants', '/*!'} [@0,23:23='{',<148>,1:0] (file)
286181 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286181 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286181 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286181 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286182 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286182 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286182 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286182 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286183 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286183 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1057 ms.
286183 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286183 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286184 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
286184 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1058 ms.
286184 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286184 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286188 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286188 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1058 ms.
286188 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286188 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286189 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286189 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1058 ms.
286189 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286189 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286190 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286190 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1058 ms.
286190 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286190 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286191 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286191 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1058 ms.
286191 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286191 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286196 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286197 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1058 ms.
286197 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286197 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286201 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
286201 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1059 ms.
286201 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286201 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286203 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
286203 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286203 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286204 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286204 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286205 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286205 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286205 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286206 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286207 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286207 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286207 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286208 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286208 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286208 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286208 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286215 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286215 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286215 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286215 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286216 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286216 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286216 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286217 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286218 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286219 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1060 ms.
286219 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286219 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286220 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
286220 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286220 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286220 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286224 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286233 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286233 INFO Test worker d.u.i.k.n.KeyIO Parsing took 9 ms
286233 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286234 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286234 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286234 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286235 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286241 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286242 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286242 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286242 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286243 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286243 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286243 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286244 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286245 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286246 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286246 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286246 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286247 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286247 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286247 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286247 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286248 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286248 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286248 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286248 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286249 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286250 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286250 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286250 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286251 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286251 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286251 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286251 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286257 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286257 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286257 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286258 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286258 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286258 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1061 ms.
286259 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286261 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286263 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 1 ms to parse.
286263 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286263 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286263 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286264 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286264 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286264 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286265 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
286266 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286266 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286266 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
286267 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
286267 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
286267 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1062 ms.
286268 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
286268 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms