API tools faq
paste
Advertisement
IARI

Debug-E4 start

IARI
Feb 3rd, 2017
185
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 252.06 KB | None | 0 0
raw download clone embed print report
  1. !SESSION 2016-10-20 19:58:54.472 -----------------------------------------------
  2. eclipse.buildId=unknown
  3. java.version=1.8.0_101
  4. java.vendor=Oracle Corporation
  5. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  6. Framework arguments: -product UltimateCore.Debug
  7. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  8.  
  9. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 4 0 2016-10-20 19:58:55.008
  10. !MESSAGE FrameworkEvent ERROR
  11. !STACK 0
  12. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [7]
  13. Unresolved requirement: Require-Bundle: org.eclipse.cdt.core
  14. -> Bundle-SymbolicName: org.eclipse.cdt.core; bundle-version="6.1.0.201609121658"; singleton:="true"
  15. org.eclipse.cdt.core [117]
  16. Unresolved requirement: Require-Bundle: com.google.gson
  17.  
  18. at org.eclipse.osgi.container.Module.start(Module.java:444)
  19. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  20. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  21. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  22. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  23. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  24. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  25. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  26.  
  27. !ENTRY CDTParser 4 0 2016-10-20 19:58:55.145
  28. !MESSAGE FrameworkEvent ERROR
  29. !STACK 0
  30. org.osgi.framework.BundleException: Could not resolve module: CDTParser [61]
  31. Unresolved requirement: Require-Bundle: org.eclipse.cdt.core; bundle-version="5.6.0"
  32. -> Bundle-SymbolicName: org.eclipse.cdt.core; bundle-version="6.1.0.201609121658"; singleton:="true"
  33. org.eclipse.cdt.core [117]
  34. Unresolved requirement: Require-Bundle: com.google.gson
  35.  
  36. at org.eclipse.osgi.container.Module.start(Module.java:444)
  37. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  38. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  39. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  40. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  41. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  42. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  43. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  44.  
  45. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 4 0 2016-10-20 19:58:55.149
  46. !MESSAGE FrameworkEvent ERROR
  47. !STACK 0
  48. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [83]
  49. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator
  50. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator; bundle-version="0.0.1"; singleton:="true"
  51. de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [7]
  52. Unresolved requirement: Require-Bundle: org.eclipse.cdt.core
  53. -> Bundle-SymbolicName: org.eclipse.cdt.core; bundle-version="6.1.0.201609121658"; singleton:="true"
  54. org.eclipse.cdt.core [117]
  55. Unresolved requirement: Require-Bundle: com.google.gson
  56.  
  57. at org.eclipse.osgi.container.Module.start(Module.java:444)
  58. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  59. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  60. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  61. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  62. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  63. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  64. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  65.  
  66. !ENTRY org.eclipse.cdt.core 4 0 2016-10-20 19:58:55.166
  67. !MESSAGE FrameworkEvent ERROR
  68. !STACK 0
  69. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.cdt.core [117]
  70. Unresolved requirement: Require-Bundle: com.google.gson
  71.  
  72. at org.eclipse.osgi.container.Module.start(Module.java:444)
  73. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  74. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  75. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  76. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  77. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  78. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  79. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  80. !SESSION 2016-12-06 15:28:04.228 -----------------------------------------------
  81. eclipse.buildId=unknown
  82. java.version=1.8.0_101
  83. java.vendor=Oracle Corporation
  84. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  85. Framework arguments: -product UltimateCore.Debug
  86. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  87.  
  88. !ENTRY org.eclipse.ui 2 2 2016-12-06 15:28:08.434
  89. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  90. !SESSION 2016-12-08 14:26:40.431 -----------------------------------------------
  91. eclipse.buildId=unknown
  92. java.version=1.8.0_101
  93. java.vendor=Oracle Corporation
  94. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  95. Framework arguments: -product UltimateCore.Debug
  96. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  97.  
  98. !ENTRY org.eclipse.ui 2 2 2016-12-08 14:26:43.518
  99. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  100. !SESSION 2016-12-13 00:20:34.109 -----------------------------------------------
  101. eclipse.buildId=unknown
  102. java.version=1.8.0_101
  103. java.vendor=Oracle Corporation
  104. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  105. Framework arguments: -product UltimateCore.Debug
  106. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  107.  
  108. !ENTRY org.eclipse.ui 2 2 2016-12-13 00:20:39.719
  109. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  110. !SESSION 2016-12-13 00:40:38.031 -----------------------------------------------
  111. eclipse.buildId=unknown
  112. java.version=1.8.0_101
  113. java.vendor=Oracle Corporation
  114. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  115. Framework arguments: -product UltimateCore.Debug
  116. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  117.  
  118. !ENTRY org.eclipse.ui 2 2 2016-12-13 00:40:42.159
  119. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  120. !SESSION 2016-12-15 10:39:00.720 -----------------------------------------------
  121. eclipse.buildId=unknown
  122. java.version=1.8.0_101
  123. java.vendor=Oracle Corporation
  124. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  125. Framework arguments: -product UltimateCore.Debug
  126. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  127.  
  128. !ENTRY org.eclipse.ui 2 2 2016-12-15 10:39:04.479
  129. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  130. !SESSION 2016-12-15 11:06:15.107 -----------------------------------------------
  131. eclipse.buildId=unknown
  132. java.version=1.8.0_101
  133. java.vendor=Oracle Corporation
  134. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  135. Framework arguments: -product UltimateCore.Debug
  136. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  137.  
  138. !ENTRY org.eclipse.ui 2 2 2016-12-15 11:06:17.987
  139. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  140. !SESSION 2016-12-15 11:14:03.924 -----------------------------------------------
  141. eclipse.buildId=unknown
  142. java.version=1.8.0_101
  143. java.vendor=Oracle Corporation
  144. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  145. Framework arguments: -product UltimateCore.Debug
  146. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  147.  
  148. !ENTRY org.eclipse.ui 2 2 2016-12-15 11:14:06.893
  149. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  150. !SESSION 2016-12-15 12:02:50.621 -----------------------------------------------
  151. eclipse.buildId=unknown
  152. java.version=1.8.0_101
  153. java.vendor=Oracle Corporation
  154. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  155. Framework arguments: -product UltimateCore.Debug
  156. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  157.  
  158. !ENTRY org.eclipse.ui 2 2 2016-12-15 12:02:53.499
  159. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  160. !SESSION 2016-12-15 13:36:57.143 -----------------------------------------------
  161. eclipse.buildId=unknown
  162. java.version=1.8.0_101
  163. java.vendor=Oracle Corporation
  164. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  165. Framework arguments: -product UltimateCore.Debug
  166. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  167.  
  168. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:36:59.968
  169. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  170. !SESSION 2016-12-15 13:38:02.158 -----------------------------------------------
  171. eclipse.buildId=unknown
  172. java.version=1.8.0_101
  173. java.vendor=Oracle Corporation
  174. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  175. Framework arguments: -product UltimateCore.Debug
  176. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  177.  
  178. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:38:05.092
  179. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  180. !SESSION 2016-12-15 13:42:24.959 -----------------------------------------------
  181. eclipse.buildId=unknown
  182. java.version=1.8.0_101
  183. java.vendor=Oracle Corporation
  184. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  185. Framework arguments: -product UltimateCore.Debug
  186. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  187.  
  188. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:42:27.730
  189. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  190. !SESSION 2016-12-15 13:46:44.741 -----------------------------------------------
  191. eclipse.buildId=unknown
  192. java.version=1.8.0_101
  193. java.vendor=Oracle Corporation
  194. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  195. Framework arguments: -product UltimateCore.Debug
  196. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  197.  
  198. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:46:47.664
  199. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  200. !SESSION 2016-12-15 13:50:46.890 -----------------------------------------------
  201. eclipse.buildId=unknown
  202. java.version=1.8.0_101
  203. java.vendor=Oracle Corporation
  204. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  205. Framework arguments: -product UltimateCore.Debug
  206. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  207.  
  208. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:50:49.848
  209. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  210. !SESSION 2016-12-15 13:53:01.644 -----------------------------------------------
  211. eclipse.buildId=unknown
  212. java.version=1.8.0_101
  213. java.vendor=Oracle Corporation
  214. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  215. Framework arguments: -product UltimateCore.Debug
  216. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  217.  
  218. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:53:04.682
  219. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  220. !SESSION 2016-12-15 13:53:58.030 -----------------------------------------------
  221. eclipse.buildId=unknown
  222. java.version=1.8.0_101
  223. java.vendor=Oracle Corporation
  224. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  225. Framework arguments: -product UltimateCore.Debug
  226. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  227.  
  228. !ENTRY org.eclipse.ui 2 2 2016-12-15 13:54:01.018
  229. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  230. !SESSION 2016-12-16 01:00:48.867 -----------------------------------------------
  231. eclipse.buildId=unknown
  232. java.version=1.8.0_101
  233. java.vendor=Oracle Corporation
  234. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  235. Framework arguments: -product UltimateCore.Debug
  236. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  237.  
  238. !ENTRY org.eclipse.ui 2 2 2016-12-16 01:00:55.706
  239. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  240. !SESSION 2016-12-16 01:41:31.811 -----------------------------------------------
  241. eclipse.buildId=unknown
  242. java.version=1.8.0_101
  243. java.vendor=Oracle Corporation
  244. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  245. Framework arguments: -product UltimateCore.Debug
  246. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  247.  
  248. !ENTRY org.eclipse.ui 2 2 2016-12-16 01:41:38.061
  249. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  250. !SESSION 2016-12-16 01:55:10.032 -----------------------------------------------
  251. eclipse.buildId=unknown
  252. java.version=1.8.0_101
  253. java.vendor=Oracle Corporation
  254. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  255. Framework arguments: -product UltimateCore.Debug
  256. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  257.  
  258. !ENTRY org.eclipse.ui 2 2 2016-12-16 01:55:13.177
  259. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  260. !SESSION 2016-12-20 15:28:07.968 -----------------------------------------------
  261. eclipse.buildId=unknown
  262. java.version=1.8.0_101
  263. java.vendor=Oracle Corporation
  264. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  265. Framework arguments: -product UltimateCore.Debug
  266. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  267.  
  268. !ENTRY org.eclipse.ui 2 2 2016-12-20 15:28:13.538
  269. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  270. !SESSION 2016-12-20 15:30:34.352 -----------------------------------------------
  271. eclipse.buildId=unknown
  272. java.version=1.8.0_101
  273. java.vendor=Oracle Corporation
  274. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  275. Framework arguments: -product UltimateCore.Debug
  276. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  277.  
  278. !ENTRY org.eclipse.ui 2 2 2016-12-20 15:30:37.486
  279. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  280. !SESSION 2016-12-20 15:31:23.532 -----------------------------------------------
  281. eclipse.buildId=unknown
  282. java.version=1.8.0_101
  283. java.vendor=Oracle Corporation
  284. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  285. Framework arguments: -product UltimateCore.Debug
  286. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  287.  
  288. !ENTRY org.eclipse.ui 2 2 2016-12-20 15:31:26.490
  289. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  290. !SESSION 2017-01-03 00:37:30.549 -----------------------------------------------
  291. eclipse.buildId=unknown
  292. java.version=1.8.0_101
  293. java.vendor=Oracle Corporation
  294. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  295. Framework arguments: -product UltimateCore.Debug
  296. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  297.  
  298. !ENTRY org.eclipse.ui 2 2 2017-01-03 00:37:33.796
  299. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  300. !SESSION 2017-01-03 00:48:23.133 -----------------------------------------------
  301. eclipse.buildId=unknown
  302. java.version=1.8.0_101
  303. java.vendor=Oracle Corporation
  304. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  305. Framework arguments: -product UltimateCore.Debug
  306. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  307.  
  308. !ENTRY org.eclipse.ui 2 2 2017-01-03 00:48:26.075
  309. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  310. !SESSION 2017-01-04 04:02:27.817 -----------------------------------------------
  311. eclipse.buildId=unknown
  312. java.version=1.8.0_101
  313. java.vendor=Oracle Corporation
  314. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  315. Framework arguments: -product UltimateCore.Debug
  316. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  317.  
  318. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-01-04 04:02:29.932
  319. !MESSAGE FrameworkEvent ERROR
  320. !STACK 0
  321. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  322. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  323. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  324. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  325. Unresolved requirement: Require-Bundle: Library-GraphVR
  326.  
  327. at org.eclipse.osgi.container.Module.start(Module.java:444)
  328. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  329. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  330. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  331. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  332. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  333. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  334. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  335.  
  336. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-01-04 04:02:29.935
  337. !MESSAGE FrameworkEvent ERROR
  338. !STACK 0
  339. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  340. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  341. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  342. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  343. Unresolved requirement: Require-Bundle: Library-GraphVR
  344.  
  345. at org.eclipse.osgi.container.Module.start(Module.java:444)
  346. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  347. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  348. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  349. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  350. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  351. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  352. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  353.  
  354. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-01-04 04:02:29.936
  355. !MESSAGE FrameworkEvent ERROR
  356. !STACK 0
  357. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [158]
  358. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  359. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  360. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  361. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  362. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  363. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  364. Unresolved requirement: Require-Bundle: Library-GraphVR
  365. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  366. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  367.  
  368. at org.eclipse.osgi.container.Module.start(Module.java:444)
  369. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  370. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  371. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  372. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  373. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  374. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  375. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  376.  
  377. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-01-04 04:02:29.936
  378. !MESSAGE FrameworkEvent ERROR
  379. !STACK 0
  380. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [168]
  381. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  382. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  383. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  384. Unresolved requirement: Require-Bundle: Library-GraphVR
  385. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
  386. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent; bundle-version="0.0.1"; singleton:="true"
  387. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  388. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  389. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  390.  
  391. at org.eclipse.osgi.container.Module.start(Module.java:444)
  392. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  393. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  394. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  395. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  396. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  397. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  398. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  399.  
  400. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-01-04 04:02:29.936
  401. !MESSAGE FrameworkEvent ERROR
  402. !STACK 0
  403. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  404. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  405. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  406. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  407. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  408. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  409. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  410. Unresolved requirement: Require-Bundle: Library-GraphVR
  411.  
  412. at org.eclipse.osgi.container.Module.start(Module.java:444)
  413. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  414. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  415. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  416. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  417. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  418. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  419. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  420.  
  421. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-01-04 04:02:30.009
  422. !MESSAGE FrameworkEvent ERROR
  423. !STACK 0
  424. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [198]
  425. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  426. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  427. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  428. Unresolved requirement: Require-Bundle: Library-GraphVR
  429.  
  430. at org.eclipse.osgi.container.Module.start(Module.java:444)
  431. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  432. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  433. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  434. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  435. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  436. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  437. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  438.  
  439. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-01-04 04:02:30.015
  440. !MESSAGE FrameworkEvent ERROR
  441. !STACK 0
  442. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [203]
  443. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.ltl2aut
  444. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut; bundle-version="0.0.1"; singleton:="true"
  445. de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  446. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  447. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  448. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  449. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  450. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  451. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  452. Unresolved requirement: Require-Bundle: Library-GraphVR
  453. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  454. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  455.  
  456. at org.eclipse.osgi.container.Module.start(Module.java:444)
  457. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  458. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  459. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  460. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  461. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  462. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  463. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  464.  
  465. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-01-04 04:02:30.017
  466. !MESSAGE FrameworkEvent ERROR
  467. !STACK 0
  468. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  469. Unresolved requirement: Require-Bundle: Library-GraphVR
  470.  
  471. at org.eclipse.osgi.container.Module.start(Module.java:444)
  472. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  473. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  474. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  475. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  476. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  477. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  478. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  479.  
  480. !ENTRY org.eclipse.ui 2 2 2017-01-04 04:02:34.944
  481. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  482. !SESSION 2017-01-04 04:04:06.780 -----------------------------------------------
  483. eclipse.buildId=unknown
  484. java.version=1.8.0_101
  485. java.vendor=Oracle Corporation
  486. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  487. Framework arguments: -product UltimateCore.Debug
  488. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  489.  
  490. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-01-04 04:04:07.302
  491. !MESSAGE FrameworkEvent ERROR
  492. !STACK 0
  493. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  494. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  495. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  496. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  497. Unresolved requirement: Require-Bundle: Library-GraphVR
  498.  
  499. at org.eclipse.osgi.container.Module.start(Module.java:444)
  500. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  501. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  502. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  503. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  504. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  505. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  506. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  507.  
  508. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-01-04 04:04:07.304
  509. !MESSAGE FrameworkEvent ERROR
  510. !STACK 0
  511. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  512. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  513. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  514. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  515. Unresolved requirement: Require-Bundle: Library-GraphVR
  516.  
  517. at org.eclipse.osgi.container.Module.start(Module.java:444)
  518. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  519. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  520. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  521. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  522. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  523. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  524. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  525.  
  526. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-01-04 04:04:07.304
  527. !MESSAGE FrameworkEvent ERROR
  528. !STACK 0
  529. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [158]
  530. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  531. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  532. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  533. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  534. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  535. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  536. Unresolved requirement: Require-Bundle: Library-GraphVR
  537. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  538. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  539.  
  540. at org.eclipse.osgi.container.Module.start(Module.java:444)
  541. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  542. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  543. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  544. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  545. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  546. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  547. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  548.  
  549. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-01-04 04:04:07.305
  550. !MESSAGE FrameworkEvent ERROR
  551. !STACK 0
  552. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [168]
  553. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  554. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  555. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  556. Unresolved requirement: Require-Bundle: Library-GraphVR
  557. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
  558. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent; bundle-version="0.0.1"; singleton:="true"
  559. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  560. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  561. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  562.  
  563. at org.eclipse.osgi.container.Module.start(Module.java:444)
  564. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  565. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  566. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  567. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  568. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  569. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  570. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  571.  
  572. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-01-04 04:04:07.313
  573. !MESSAGE FrameworkEvent ERROR
  574. !STACK 0
  575. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  576. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  577. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  578. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  579. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  580. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  581. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  582. Unresolved requirement: Require-Bundle: Library-GraphVR
  583.  
  584. at org.eclipse.osgi.container.Module.start(Module.java:444)
  585. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  586. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  587. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  588. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  589. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  590. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  591. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  592.  
  593. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-01-04 04:04:07.319
  594. !MESSAGE FrameworkEvent ERROR
  595. !STACK 0
  596. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [198]
  597. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  598. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  599. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  600. Unresolved requirement: Require-Bundle: Library-GraphVR
  601.  
  602. at org.eclipse.osgi.container.Module.start(Module.java:444)
  603. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  604. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  605. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  606. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  607. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  608. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  609. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  610.  
  611. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-01-04 04:04:07.321
  612. !MESSAGE FrameworkEvent ERROR
  613. !STACK 0
  614. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [203]
  615. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  616. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  617. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  618. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  619. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  620. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  621. Unresolved requirement: Require-Bundle: Library-GraphVR
  622. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.ltl2aut
  623. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut; bundle-version="0.0.1"; singleton:="true"
  624. de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  625. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  626. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  627.  
  628. at org.eclipse.osgi.container.Module.start(Module.java:444)
  629. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  630. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  631. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  632. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  633. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  634. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  635. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  636.  
  637. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-01-04 04:04:07.322
  638. !MESSAGE FrameworkEvent ERROR
  639. !STACK 0
  640. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  641. Unresolved requirement: Require-Bundle: Library-GraphVR
  642.  
  643. at org.eclipse.osgi.container.Module.start(Module.java:444)
  644. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  645. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  646. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  647. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  648. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  649. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  650. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  651.  
  652. !ENTRY org.eclipse.ui 2 2 2017-01-04 04:04:09.602
  653. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  654. !SESSION 2017-01-04 04:05:10.669 -----------------------------------------------
  655. eclipse.buildId=unknown
  656. java.version=1.8.0_101
  657. java.vendor=Oracle Corporation
  658. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  659. Framework arguments: -product UltimateCore.Debug
  660. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  661.  
  662. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-01-04 04:05:11.168
  663. !MESSAGE FrameworkEvent ERROR
  664. !STACK 0
  665. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  666. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  667. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  668. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  669. Unresolved requirement: Require-Bundle: Library-GraphVR
  670.  
  671. at org.eclipse.osgi.container.Module.start(Module.java:444)
  672. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  673. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  674. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  675. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  676. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  677. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  678. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  679.  
  680. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-01-04 04:05:11.169
  681. !MESSAGE FrameworkEvent ERROR
  682. !STACK 0
  683. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  684. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  685. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  686. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  687. Unresolved requirement: Require-Bundle: Library-GraphVR
  688.  
  689. at org.eclipse.osgi.container.Module.start(Module.java:444)
  690. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  691. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  692. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  693. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  694. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  695. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  696. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  697.  
  698. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-01-04 04:05:11.170
  699. !MESSAGE FrameworkEvent ERROR
  700. !STACK 0
  701. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [158]
  702. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  703. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  704. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  705. Unresolved requirement: Require-Bundle: Library-GraphVR
  706. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  707. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  708. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  709. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  710. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  711.  
  712. at org.eclipse.osgi.container.Module.start(Module.java:444)
  713. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  714. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  715. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  716. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  717. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  718. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  719. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  720.  
  721. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-01-04 04:05:11.170
  722. !MESSAGE FrameworkEvent ERROR
  723. !STACK 0
  724. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [168]
  725. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
  726. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent; bundle-version="0.0.1"; singleton:="true"
  727. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  728. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  729. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  730. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  731. Unresolved requirement: Require-Bundle: Library-GraphVR
  732. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  733. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  734.  
  735. at org.eclipse.osgi.container.Module.start(Module.java:444)
  736. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  737. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  738. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  739. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  740. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  741. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  742. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  743.  
  744. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-01-04 04:05:11.171
  745. !MESSAGE FrameworkEvent ERROR
  746. !STACK 0
  747. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  748. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  749. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  750. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  751. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  752. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  753. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  754. Unresolved requirement: Require-Bundle: Library-GraphVR
  755.  
  756. at org.eclipse.osgi.container.Module.start(Module.java:444)
  757. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  758. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  759. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  760. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  761. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  762. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  763. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  764.  
  765. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-01-04 04:05:11.181
  766. !MESSAGE FrameworkEvent ERROR
  767. !STACK 0
  768. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [198]
  769. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  770. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  771. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  772. Unresolved requirement: Require-Bundle: Library-GraphVR
  773.  
  774. at org.eclipse.osgi.container.Module.start(Module.java:444)
  775. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  776. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  777. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  778. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  779. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  780. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  781. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  782.  
  783. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-01-04 04:05:11.183
  784. !MESSAGE FrameworkEvent ERROR
  785. !STACK 0
  786. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [203]
  787. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.ltl2aut
  788. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut; bundle-version="0.0.1"; singleton:="true"
  789. de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  790. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  791. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  792. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  793. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  794. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  795. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  796. Unresolved requirement: Require-Bundle: Library-GraphVR
  797. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  798. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  799.  
  800. at org.eclipse.osgi.container.Module.start(Module.java:444)
  801. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  802. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  803. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  804. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  805. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  806. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  807. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  808.  
  809. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-01-04 04:05:11.183
  810. !MESSAGE FrameworkEvent ERROR
  811. !STACK 0
  812. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [209]
  813. Unresolved requirement: Require-Bundle: Library-GraphVR
  814.  
  815. at org.eclipse.osgi.container.Module.start(Module.java:444)
  816. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  817. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  818. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  819. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  820. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  821. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  822. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  823.  
  824. !ENTRY org.eclipse.ui 2 2 2017-01-04 04:05:13.552
  825. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  826. !SESSION 2017-01-04 04:10:20.818 -----------------------------------------------
  827. eclipse.buildId=unknown
  828. java.version=1.8.0_101
  829. java.vendor=Oracle Corporation
  830. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  831. Framework arguments: -product UltimateCore.Debug
  832. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  833.  
  834. !ENTRY org.eclipse.ui 2 2 2017-01-04 04:10:23.886
  835. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  836. !SESSION 2017-01-04 04:16:37.050 -----------------------------------------------
  837. eclipse.buildId=unknown
  838. java.version=1.8.0_101
  839. java.vendor=Oracle Corporation
  840. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  841. Framework arguments: -product UltimateCore.Debug
  842. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  843.  
  844. !ENTRY org.eclipse.ui 2 2 2017-01-04 04:16:40.058
  845. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  846. !SESSION 2017-01-05 04:54:19.111 -----------------------------------------------
  847. eclipse.buildId=unknown
  848. java.version=1.8.0_101
  849. java.vendor=Oracle Corporation
  850. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  851. Framework arguments: -product UltimateCore.Debug
  852. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  853.  
  854. !ENTRY org.eclipse.ui 2 2 2017-01-05 04:54:22.197
  855. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  856. !SESSION 2017-01-05 05:05:30.515 -----------------------------------------------
  857. eclipse.buildId=unknown
  858. java.version=1.8.0_101
  859. java.vendor=Oracle Corporation
  860. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  861. Framework arguments: -product UltimateCore.Debug
  862. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  863.  
  864. !ENTRY org.eclipse.ui 2 2 2017-01-05 05:05:33.394
  865. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  866. !SESSION 2017-01-05 05:08:50.648 -----------------------------------------------
  867. eclipse.buildId=unknown
  868. java.version=1.8.0_101
  869. java.vendor=Oracle Corporation
  870. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  871. Framework arguments: -product UltimateCore.Debug
  872. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  873.  
  874. !ENTRY org.eclipse.ui 2 2 2017-01-05 05:08:53.451
  875. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  876.  
  877. !ENTRY org.eclipse.core.jobs 2 2 2017-01-05 05:13:54.916
  878. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  879. !SESSION 2017-01-05 05:14:50.035 -----------------------------------------------
  880. eclipse.buildId=unknown
  881. java.version=1.8.0_101
  882. java.vendor=Oracle Corporation
  883. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  884. Framework arguments: -product UltimateCore.Debug
  885. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  886.  
  887. !ENTRY org.eclipse.ui 2 2 2017-01-05 05:14:52.852
  888. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  889.  
  890. !ENTRY org.eclipse.core.jobs 2 2 2017-01-05 05:15:03.533
  891. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  892. !SESSION 2017-01-05 05:17:00.472 -----------------------------------------------
  893. eclipse.buildId=unknown
  894. java.version=1.8.0_101
  895. java.vendor=Oracle Corporation
  896. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  897. Framework arguments: -product UltimateCore.Debug
  898. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  899.  
  900. !ENTRY org.eclipse.ui 2 2 2017-01-05 05:17:03.269
  901. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  902.  
  903. !ENTRY org.eclipse.core.jobs 2 2 2017-01-05 05:20:27.757
  904. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  905. !SESSION 2017-01-05 05:25:17.612 -----------------------------------------------
  906. eclipse.buildId=unknown
  907. java.version=1.8.0_101
  908. java.vendor=Oracle Corporation
  909. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  910. Framework arguments: -product UltimateCore.Debug
  911. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  912.  
  913. !ENTRY org.eclipse.ui 2 2 2017-01-05 05:25:20.539
  914. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  915. !SESSION 2017-01-05 16:34:30.701 -----------------------------------------------
  916. eclipse.buildId=unknown
  917. java.version=1.8.0_101
  918. java.vendor=Oracle Corporation
  919. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  920. Framework arguments: -product UltimateCore.Debug
  921. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  922.  
  923. !ENTRY org.eclipse.ui 2 2 2017-01-05 16:34:39.676
  924. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  925.  
  926. !ENTRY org.eclipse.core.jobs 2 2 2017-01-05 19:00:51.025
  927. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  928. !SESSION 2017-01-10 11:46:12.043 -----------------------------------------------
  929. eclipse.buildId=unknown
  930. java.version=1.8.0_101
  931. java.vendor=Oracle Corporation
  932. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  933. Framework arguments: -product UltimateCore.Debug
  934. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  935.  
  936. !ENTRY org.eclipse.ui 2 2 2017-01-10 11:46:22.132
  937. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  938. !SESSION 2017-01-10 11:50:26.373 -----------------------------------------------
  939. eclipse.buildId=unknown
  940. java.version=1.8.0_101
  941. java.vendor=Oracle Corporation
  942. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  943. Framework arguments: -product UltimateCore.Debug
  944. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  945.  
  946. !ENTRY org.eclipse.ui 2 2 2017-01-10 11:50:32.765
  947. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  948. !SESSION 2017-01-10 12:07:31.333 -----------------------------------------------
  949. eclipse.buildId=unknown
  950. java.version=1.8.0_101
  951. java.vendor=Oracle Corporation
  952. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  953. Framework arguments: -product UltimateCore.Debug
  954. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  955.  
  956. !ENTRY org.eclipse.ui 2 2 2017-01-10 12:07:39.140
  957. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  958. !SESSION 2017-01-10 12:46:48.721 -----------------------------------------------
  959. eclipse.buildId=unknown
  960. java.version=1.8.0_101
  961. java.vendor=Oracle Corporation
  962. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  963. Framework arguments: -product UltimateCore.Debug
  964. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  965.  
  966. !ENTRY org.eclipse.ui 2 2 2017-01-10 12:46:57.366
  967. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  968.  
  969. !ENTRY org.eclipse.core.jobs 2 2 2017-01-10 13:00:31.952
  970. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  971. !SESSION 2017-01-10 13:11:15.078 -----------------------------------------------
  972. eclipse.buildId=unknown
  973. java.version=1.8.0_101
  974. java.vendor=Oracle Corporation
  975. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  976. Framework arguments: -product UltimateCore.Debug
  977. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  978.  
  979. !ENTRY org.eclipse.ui 2 2 2017-01-10 13:11:19.118
  980. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  981. !SESSION 2017-01-10 14:01:06.878 -----------------------------------------------
  982. eclipse.buildId=unknown
  983. java.version=1.8.0_101
  984. java.vendor=Oracle Corporation
  985. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  986. Framework arguments: -product UltimateCore.Debug
  987. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  988.  
  989. !ENTRY org.eclipse.ui 2 2 2017-01-10 14:01:10.174
  990. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  991. !SESSION 2017-01-10 14:05:57.317 -----------------------------------------------
  992. eclipse.buildId=unknown
  993. java.version=1.8.0_101
  994. java.vendor=Oracle Corporation
  995. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  996. Framework arguments: -product UltimateCore.Debug
  997. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  998.  
  999. !ENTRY org.eclipse.ui 2 2 2017-01-10 14:06:00.431
  1000. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1001. !SESSION 2017-01-10 14:33:20.622 -----------------------------------------------
  1002. eclipse.buildId=unknown
  1003. java.version=1.8.0_101
  1004. java.vendor=Oracle Corporation
  1005. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1006. Framework arguments: -product UltimateCore.Debug
  1007. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1008.  
  1009. !ENTRY org.eclipse.ui 2 2 2017-01-10 14:33:25.269
  1010. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1011. !SESSION 2017-01-10 14:33:33.627 -----------------------------------------------
  1012. eclipse.buildId=unknown
  1013. java.version=1.8.0_101
  1014. java.vendor=Oracle Corporation
  1015. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1016. Framework arguments: -product UltimateCore.Debug
  1017. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1018.  
  1019. !ENTRY org.eclipse.ui 2 2 2017-01-10 14:33:36.755
  1020. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1021. !SESSION 2017-01-10 15:24:21.012 -----------------------------------------------
  1022. eclipse.buildId=unknown
  1023. java.version=1.8.0_101
  1024. java.vendor=Oracle Corporation
  1025. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1026. Framework arguments: -product UltimateCore.Debug
  1027. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1028.  
  1029. !ENTRY org.eclipse.ui 2 2 2017-01-10 15:24:24.079
  1030. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1031. !SESSION 2017-01-10 15:24:30.719 -----------------------------------------------
  1032. eclipse.buildId=unknown
  1033. java.version=1.8.0_101
  1034. java.vendor=Oracle Corporation
  1035. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1036. Framework arguments: -product UltimateCore.Debug
  1037. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1038.  
  1039. !ENTRY org.eclipse.ui 2 2 2017-01-10 15:24:33.744
  1040. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1041.  
  1042. !ENTRY org.eclipse.core.jobs 2 2 2017-01-10 15:30:46.514
  1043. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1044. !SESSION 2017-01-10 15:30:48.666 -----------------------------------------------
  1045. eclipse.buildId=unknown
  1046. java.version=1.8.0_101
  1047. java.vendor=Oracle Corporation
  1048. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1049. Framework arguments: -product UltimateCore.Debug
  1050. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1051.  
  1052. !ENTRY org.eclipse.ui 2 2 2017-01-10 15:30:51.585
  1053. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1054. !SESSION 2017-01-10 15:35:38.888 -----------------------------------------------
  1055. eclipse.buildId=unknown
  1056. java.version=1.8.0_101
  1057. java.vendor=Oracle Corporation
  1058. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1059. Framework arguments: -product UltimateCore.Debug
  1060. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1061.  
  1062. !ENTRY org.eclipse.ui 2 2 2017-01-10 15:35:41.754
  1063. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1064.  
  1065. !ENTRY org.eclipse.core.jobs 2 2 2017-01-10 15:55:43.274
  1066. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1067. !SESSION 2017-01-10 15:55:46.628 -----------------------------------------------
  1068. eclipse.buildId=unknown
  1069. java.version=1.8.0_101
  1070. java.vendor=Oracle Corporation
  1071. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1072. Framework arguments: -product UltimateCore.Debug
  1073. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1074.  
  1075. !ENTRY org.eclipse.ui 2 2 2017-01-10 15:55:49.654
  1076. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1077. !SESSION 2017-01-10 15:56:57.661 -----------------------------------------------
  1078. eclipse.buildId=unknown
  1079. java.version=1.8.0_101
  1080. java.vendor=Oracle Corporation
  1081. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1082. Framework arguments: -product UltimateCore.Debug
  1083. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1084.  
  1085. !ENTRY org.eclipse.ui 2 2 2017-01-10 15:57:00.588
  1086. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1087. !SESSION 2017-01-10 18:40:19.098 -----------------------------------------------
  1088. eclipse.buildId=unknown
  1089. java.version=1.8.0_101
  1090. java.vendor=Oracle Corporation
  1091. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1092. Framework arguments: -product UltimateCore.Debug
  1093. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1094.  
  1095. !ENTRY org.eclipse.ui 2 2 2017-01-10 18:40:22.084
  1096. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1097. !SESSION 2017-01-10 21:10:19.426 -----------------------------------------------
  1098. eclipse.buildId=unknown
  1099. java.version=1.8.0_101
  1100. java.vendor=Oracle Corporation
  1101. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1102. Framework arguments: -product UltimateCore.Debug
  1103. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1104.  
  1105. !ENTRY org.eclipse.ui 2 2 2017-01-10 21:10:26.636
  1106. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1107. !SESSION 2017-01-10 21:18:35.075 -----------------------------------------------
  1108. eclipse.buildId=unknown
  1109. java.version=1.8.0_101
  1110. java.vendor=Oracle Corporation
  1111. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1112. Framework arguments: -product UltimateCore.Debug
  1113. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1114.  
  1115. !ENTRY org.eclipse.ui 2 2 2017-01-10 21:18:40.583
  1116. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1117. !SESSION 2017-01-10 21:23:50.475 -----------------------------------------------
  1118. eclipse.buildId=unknown
  1119. java.version=1.8.0_101
  1120. java.vendor=Oracle Corporation
  1121. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1122. Framework arguments: -product UltimateCore.Debug
  1123. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1124.  
  1125. !ENTRY org.eclipse.ui 2 2 2017-01-10 21:23:53.393
  1126. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1127. !SESSION 2017-01-11 00:55:38.703 -----------------------------------------------
  1128. eclipse.buildId=unknown
  1129. java.version=1.8.0_101
  1130. java.vendor=Oracle Corporation
  1131. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1132. Framework arguments: -product UltimateCore.Debug
  1133. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1134.  
  1135. !ENTRY org.eclipse.ui 2 2 2017-01-11 00:55:47.313
  1136. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1137. !SESSION 2017-01-11 02:18:49.095 -----------------------------------------------
  1138. eclipse.buildId=unknown
  1139. java.version=1.8.0_101
  1140. java.vendor=Oracle Corporation
  1141. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1142. Framework arguments: -product UltimateCore.Debug
  1143. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1144.  
  1145. !ENTRY org.eclipse.ui 2 2 2017-01-11 02:18:54.746
  1146. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1147. !SESSION 2017-01-11 02:36:11.095 -----------------------------------------------
  1148. eclipse.buildId=unknown
  1149. java.version=1.8.0_101
  1150. java.vendor=Oracle Corporation
  1151. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1152. Framework arguments: -product UltimateCore.Debug
  1153. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1154.  
  1155. !ENTRY org.eclipse.ui 2 2 2017-01-11 02:36:17.426
  1156. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1157.  
  1158. !ENTRY org.eclipse.core.jobs 2 2 2017-01-11 02:50:29.692
  1159. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1160. !SESSION 2017-01-11 02:50:36.737 -----------------------------------------------
  1161. eclipse.buildId=unknown
  1162. java.version=1.8.0_101
  1163. java.vendor=Oracle Corporation
  1164. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1165. Framework arguments: -product UltimateCore.Debug
  1166. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1167.  
  1168. !ENTRY org.eclipse.ui 2 2 2017-01-11 02:50:39.869
  1169. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1170. !SESSION 2017-01-12 20:57:03.300 -----------------------------------------------
  1171. eclipse.buildId=unknown
  1172. java.version=1.8.0_101
  1173. java.vendor=Oracle Corporation
  1174. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1175. Framework arguments: -product UltimateCore.Debug
  1176. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1177.  
  1178. !ENTRY org.eclipse.ui 2 2 2017-01-12 20:57:09.766
  1179. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1180.  
  1181. !ENTRY org.eclipse.core.jobs 2 2 2017-01-12 21:29:51.416
  1182. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1183. !SESSION 2017-01-12 21:29:55.165 -----------------------------------------------
  1184. eclipse.buildId=unknown
  1185. java.version=1.8.0_101
  1186. java.vendor=Oracle Corporation
  1187. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1188. Framework arguments: -product UltimateCore.Debug
  1189. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1190.  
  1191. !ENTRY org.eclipse.ui 2 2 2017-01-12 21:29:57.956
  1192. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1193. !SESSION 2017-01-13 05:54:57.577 -----------------------------------------------
  1194. eclipse.buildId=unknown
  1195. java.version=1.8.0_101
  1196. java.vendor=Oracle Corporation
  1197. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1198. Framework arguments: -product UltimateCore.Debug
  1199. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1200.  
  1201. !ENTRY org.eclipse.ui 2 2 2017-01-13 05:55:00.360
  1202. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1203. !SESSION 2017-01-13 12:36:31.700 -----------------------------------------------
  1204. eclipse.buildId=unknown
  1205. java.version=1.8.0_101
  1206. java.vendor=Oracle Corporation
  1207. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1208. Framework arguments: -product UltimateCore.Debug
  1209. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1210.  
  1211. !ENTRY org.eclipse.ui 2 2 2017-01-13 12:36:34.758
  1212. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1213. !SESSION 2017-01-13 20:25:34.901 -----------------------------------------------
  1214. eclipse.buildId=unknown
  1215. java.version=1.8.0_101
  1216. java.vendor=Oracle Corporation
  1217. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1218. Framework arguments: -product UltimateCore.Debug
  1219. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1220.  
  1221. !ENTRY org.eclipse.ui 2 2 2017-01-13 20:25:40.982
  1222. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1223.  
  1224. !ENTRY org.eclipse.core.jobs 2 2 2017-01-13 20:33:20.313
  1225. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1226. !SESSION 2017-01-13 20:36:23.914 -----------------------------------------------
  1227. eclipse.buildId=unknown
  1228. java.version=1.8.0_101
  1229. java.vendor=Oracle Corporation
  1230. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1231. Framework arguments: -product UltimateCore.Debug
  1232. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1233.  
  1234. !ENTRY org.eclipse.ui 2 2 2017-01-13 20:36:26.852
  1235. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1236. !SESSION 2017-01-13 22:49:31.146 -----------------------------------------------
  1237. eclipse.buildId=unknown
  1238. java.version=1.8.0_101
  1239. java.vendor=Oracle Corporation
  1240. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1241. Framework arguments: -product UltimateCore.Debug
  1242. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1243.  
  1244. !ENTRY org.eclipse.ui 2 2 2017-01-13 22:49:34.381
  1245. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1246. !SESSION 2017-01-13 22:53:37.685 -----------------------------------------------
  1247. eclipse.buildId=unknown
  1248. java.version=1.8.0_101
  1249. java.vendor=Oracle Corporation
  1250. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1251. Framework arguments: -product UltimateCore.Debug
  1252. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1253.  
  1254. !ENTRY org.eclipse.ui 2 2 2017-01-13 22:53:40.772
  1255. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1256. !SESSION 2017-01-13 23:28:55.937 -----------------------------------------------
  1257. eclipse.buildId=unknown
  1258. java.version=1.8.0_101
  1259. java.vendor=Oracle Corporation
  1260. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1261. Framework arguments: -product UltimateCore.Debug
  1262. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1263.  
  1264. !ENTRY org.eclipse.ui 2 2 2017-01-13 23:28:58.860
  1265. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1266. !SESSION 2017-01-13 23:34:23.624 -----------------------------------------------
  1267. eclipse.buildId=unknown
  1268. java.version=1.8.0_101
  1269. java.vendor=Oracle Corporation
  1270. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1271. Framework arguments: -product UltimateCore.Debug
  1272. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1273.  
  1274. !ENTRY org.eclipse.ui 2 2 2017-01-13 23:34:26.639
  1275. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1276. !SESSION 2017-01-18 02:37:58.032 -----------------------------------------------
  1277. eclipse.buildId=unknown
  1278. java.version=1.8.0_101
  1279. java.vendor=Oracle Corporation
  1280. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1281. Framework arguments: -product UltimateCore.Debug
  1282. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1283.  
  1284. !ENTRY org.eclipse.ui 2 2 2017-01-18 02:38:02.940
  1285. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1286.  
  1287. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 02:41:05.506
  1288. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1289. !SESSION 2017-01-18 02:41:22.223 -----------------------------------------------
  1290. eclipse.buildId=unknown
  1291. java.version=1.8.0_101
  1292. java.vendor=Oracle Corporation
  1293. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1294. Framework arguments: -product UltimateCore.Debug
  1295. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1296.  
  1297. !ENTRY org.eclipse.ui 2 2 2017-01-18 02:41:25.252
  1298. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1299.  
  1300. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 02:53:03.426
  1301. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1302. !SESSION 2017-01-18 02:53:06.667 -----------------------------------------------
  1303. eclipse.buildId=unknown
  1304. java.version=1.8.0_101
  1305. java.vendor=Oracle Corporation
  1306. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1307. Framework arguments: -product UltimateCore.Debug
  1308. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1309.  
  1310. !ENTRY org.eclipse.ui 2 2 2017-01-18 02:53:09.495
  1311. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1312.  
  1313. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 02:56:34.478
  1314. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1315. !SESSION 2017-01-18 02:58:26.005 -----------------------------------------------
  1316. eclipse.buildId=unknown
  1317. java.version=1.8.0_101
  1318. java.vendor=Oracle Corporation
  1319. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1320. Framework arguments: -product UltimateCore.Debug
  1321. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1322.  
  1323. !ENTRY org.eclipse.ui 2 2 2017-01-18 02:58:28.989
  1324. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1325.  
  1326. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 03:15:15.283
  1327. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1328. !SESSION 2017-01-18 03:15:19.530 -----------------------------------------------
  1329. eclipse.buildId=unknown
  1330. java.version=1.8.0_101
  1331. java.vendor=Oracle Corporation
  1332. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1333. Framework arguments: -product UltimateCore.Debug
  1334. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1335.  
  1336. !ENTRY org.eclipse.ui 2 2 2017-01-18 03:15:22.408
  1337. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1338.  
  1339. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 03:18:21.801
  1340. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1341. !SESSION 2017-01-18 03:18:45.544 -----------------------------------------------
  1342. eclipse.buildId=unknown
  1343. java.version=1.8.0_101
  1344. java.vendor=Oracle Corporation
  1345. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1346. Framework arguments: -product UltimateCore.Debug
  1347. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1348.  
  1349. !ENTRY org.eclipse.ui 2 2 2017-01-18 03:18:48.361
  1350. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1351.  
  1352. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 11:36:15.568
  1353. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1354. !SESSION 2017-01-18 11:36:22.622 -----------------------------------------------
  1355. eclipse.buildId=unknown
  1356. java.version=1.8.0_101
  1357. java.vendor=Oracle Corporation
  1358. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1359. Framework arguments: -product UltimateCore.Debug
  1360. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1361.  
  1362. !ENTRY org.eclipse.ui 2 2 2017-01-18 11:36:25.472
  1363. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1364.  
  1365. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 11:36:59.064
  1366. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1367. !SESSION 2017-01-18 11:38:45.633 -----------------------------------------------
  1368. eclipse.buildId=unknown
  1369. java.version=1.8.0_101
  1370. java.vendor=Oracle Corporation
  1371. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1372. Framework arguments: -product UltimateCore.Debug
  1373. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1374.  
  1375. !ENTRY org.eclipse.ui 2 2 2017-01-18 11:38:48.521
  1376. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1377.  
  1378. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 11:59:58.738
  1379. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1380. !SESSION 2017-01-18 12:00:00.511 -----------------------------------------------
  1381. eclipse.buildId=unknown
  1382. java.version=1.8.0_101
  1383. java.vendor=Oracle Corporation
  1384. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1385. Framework arguments: -product UltimateCore.Debug
  1386. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1387.  
  1388. !ENTRY org.eclipse.ui 2 2 2017-01-18 12:00:03.463
  1389. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1390.  
  1391. !ENTRY org.eclipse.core.jobs 2 2 2017-01-18 12:08:31.336
  1392. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1393. !SESSION 2017-01-18 12:09:23.307 -----------------------------------------------
  1394. eclipse.buildId=unknown
  1395. java.version=1.8.0_101
  1396. java.vendor=Oracle Corporation
  1397. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1398. Framework arguments: -product UltimateCore.Debug
  1399. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1400.  
  1401. !ENTRY org.eclipse.ui 2 2 2017-01-18 12:09:26.334
  1402. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1403. !SESSION 2017-01-18 12:18:41.202 -----------------------------------------------
  1404. eclipse.buildId=unknown
  1405. java.version=1.8.0_101
  1406. java.vendor=Oracle Corporation
  1407. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1408. Framework arguments: -product UltimateCore.Debug
  1409. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1410.  
  1411. !ENTRY org.eclipse.ui 2 2 2017-01-18 12:18:44.094
  1412. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1413. !SESSION 2017-01-18 12:27:47.116 -----------------------------------------------
  1414. eclipse.buildId=unknown
  1415. java.version=1.8.0_101
  1416. java.vendor=Oracle Corporation
  1417. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1418. Framework arguments: -product UltimateCore.Debug
  1419. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1420.  
  1421. !ENTRY org.eclipse.ui 2 2 2017-01-18 12:27:49.986
  1422. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1423. !SESSION 2017-01-18 23:52:34.276 -----------------------------------------------
  1424. eclipse.buildId=unknown
  1425. java.version=1.8.0_101
  1426. java.vendor=Oracle Corporation
  1427. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1428. Framework arguments: -product UltimateCore.Debug
  1429. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1430.  
  1431. !ENTRY org.eclipse.ui 2 2 2017-01-18 23:52:40.326
  1432. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1433.  
  1434. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:02:26.969
  1435. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1436. !SESSION 2017-01-19 00:03:19.965 -----------------------------------------------
  1437. eclipse.buildId=unknown
  1438. java.version=1.8.0_101
  1439. java.vendor=Oracle Corporation
  1440. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1441. Framework arguments: -product UltimateCore.Debug
  1442. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1443.  
  1444. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:03:23.052
  1445. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1446.  
  1447. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:06:05.311
  1448. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1449. !SESSION 2017-01-19 00:06:08.627 -----------------------------------------------
  1450. eclipse.buildId=unknown
  1451. java.version=1.8.0_101
  1452. java.vendor=Oracle Corporation
  1453. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1454. Framework arguments: -product UltimateCore.Debug
  1455. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1456.  
  1457. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:06:11.571
  1458. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1459.  
  1460. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:10:28.743
  1461. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1462. !SESSION 2017-01-19 00:10:31.928 -----------------------------------------------
  1463. eclipse.buildId=unknown
  1464. java.version=1.8.0_101
  1465. java.vendor=Oracle Corporation
  1466. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1467. Framework arguments: -product UltimateCore.Debug
  1468. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1469.  
  1470. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:10:34.715
  1471. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1472.  
  1473. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:12:39.045
  1474. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1475. !SESSION 2017-01-19 00:12:40.859 -----------------------------------------------
  1476. eclipse.buildId=unknown
  1477. java.version=1.8.0_101
  1478. java.vendor=Oracle Corporation
  1479. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1480. Framework arguments: -product UltimateCore.Debug
  1481. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1482.  
  1483. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:12:43.611
  1484. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1485.  
  1486. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:13:53.100
  1487. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1488. !SESSION 2017-01-19 00:17:58.859 -----------------------------------------------
  1489. eclipse.buildId=unknown
  1490. java.version=1.8.0_101
  1491. java.vendor=Oracle Corporation
  1492. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1493. Framework arguments: -product UltimateCore.Debug
  1494. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1495.  
  1496. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:18:01.944
  1497. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1498.  
  1499. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:22:33.556
  1500. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1501. !SESSION 2017-01-19 00:22:35.755 -----------------------------------------------
  1502. eclipse.buildId=unknown
  1503. java.version=1.8.0_101
  1504. java.vendor=Oracle Corporation
  1505. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1506. Framework arguments: -product UltimateCore.Debug
  1507. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1508.  
  1509. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:22:38.499
  1510. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1511.  
  1512. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:44:31.504
  1513. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1514. !SESSION 2017-01-19 00:44:35.262 -----------------------------------------------
  1515. eclipse.buildId=unknown
  1516. java.version=1.8.0_101
  1517. java.vendor=Oracle Corporation
  1518. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1519. Framework arguments: -product UltimateCore.Debug
  1520. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1521.  
  1522. !ENTRY org.eclipse.ui 2 2 2017-01-19 00:44:38.079
  1523. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1524.  
  1525. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 00:45:48.497
  1526. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1527. !SESSION 2017-01-19 01:16:14.699 -----------------------------------------------
  1528. eclipse.buildId=unknown
  1529. java.version=1.8.0_101
  1530. java.vendor=Oracle Corporation
  1531. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1532. Framework arguments: -product UltimateCore.Debug
  1533. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1534.  
  1535. !ENTRY org.eclipse.ui 2 2 2017-01-19 01:16:17.535
  1536. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1537. !SESSION 2017-01-19 01:25:53.154 -----------------------------------------------
  1538. eclipse.buildId=unknown
  1539. java.version=1.8.0_101
  1540. java.vendor=Oracle Corporation
  1541. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1542. Framework arguments: -product UltimateCore.Debug
  1543. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1544.  
  1545. !ENTRY org.eclipse.ui 2 2 2017-01-19 01:25:56.054
  1546. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1547. !SESSION 2017-01-19 01:30:00.330 -----------------------------------------------
  1548. eclipse.buildId=unknown
  1549. java.version=1.8.0_101
  1550. java.vendor=Oracle Corporation
  1551. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1552. Framework arguments: -product UltimateCore.Debug
  1553. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1554.  
  1555. !ENTRY org.eclipse.ui 2 2 2017-01-19 01:30:03.107
  1556. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1557. !SESSION 2017-01-19 01:36:20.405 -----------------------------------------------
  1558. eclipse.buildId=unknown
  1559. java.version=1.8.0_101
  1560. java.vendor=Oracle Corporation
  1561. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1562. Framework arguments: -product UltimateCore.Debug
  1563. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1564.  
  1565. !ENTRY org.eclipse.ui 2 2 2017-01-19 01:36:23.360
  1566. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1567. !SESSION 2017-01-19 01:37:28.334 -----------------------------------------------
  1568. eclipse.buildId=unknown
  1569. java.version=1.8.0_101
  1570. java.vendor=Oracle Corporation
  1571. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1572. Framework arguments: -product UltimateCore.Debug
  1573. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1574.  
  1575. !ENTRY org.eclipse.ui 2 2 2017-01-19 01:37:31.198
  1576. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1577. !SESSION 2017-01-19 05:02:02.710 -----------------------------------------------
  1578. eclipse.buildId=unknown
  1579. java.version=1.8.0_101
  1580. java.vendor=Oracle Corporation
  1581. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1582. Framework arguments: -product UltimateCore.Debug
  1583. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1584.  
  1585. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:02:05.523
  1586. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1587. !SESSION 2017-01-19 05:03:10.023 -----------------------------------------------
  1588. eclipse.buildId=unknown
  1589. java.version=1.8.0_101
  1590. java.vendor=Oracle Corporation
  1591. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1592. Framework arguments: -product UltimateCore.Debug
  1593. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1594.  
  1595. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:03:12.833
  1596. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1597.  
  1598. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:04:23.474
  1599. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1600. !SESSION 2017-01-19 05:04:25.142 -----------------------------------------------
  1601. eclipse.buildId=unknown
  1602. java.version=1.8.0_101
  1603. java.vendor=Oracle Corporation
  1604. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1605. Framework arguments: -product UltimateCore.Debug
  1606. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1607.  
  1608. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:04:27.981
  1609. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1610.  
  1611. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:05:17.708
  1612. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1613. !SESSION 2017-01-19 05:05:19.256 -----------------------------------------------
  1614. eclipse.buildId=unknown
  1615. java.version=1.8.0_101
  1616. java.vendor=Oracle Corporation
  1617. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1618. Framework arguments: -product UltimateCore.Debug
  1619. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1620.  
  1621. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:05:22.138
  1622. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1623. !SESSION 2017-01-19 05:07:58.465 -----------------------------------------------
  1624. eclipse.buildId=unknown
  1625. java.version=1.8.0_101
  1626. java.vendor=Oracle Corporation
  1627. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1628. Framework arguments: -product UltimateCore.Debug
  1629. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1630.  
  1631. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:08:01.361
  1632. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1633.  
  1634. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:10:07.132
  1635. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1636. !SESSION 2017-01-19 05:10:09.083 -----------------------------------------------
  1637. eclipse.buildId=unknown
  1638. java.version=1.8.0_101
  1639. java.vendor=Oracle Corporation
  1640. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1641. Framework arguments: -product UltimateCore.Debug
  1642. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1643.  
  1644. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:10:12.068
  1645. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1646.  
  1647. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:15:19.269
  1648. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1649. !SESSION 2017-01-19 05:16:41.024 -----------------------------------------------
  1650. eclipse.buildId=unknown
  1651. java.version=1.8.0_101
  1652. java.vendor=Oracle Corporation
  1653. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1654. Framework arguments: -product UltimateCore.Debug
  1655. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1656.  
  1657. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:16:43.943
  1658. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1659. !SESSION 2017-01-19 05:28:03.353 -----------------------------------------------
  1660. eclipse.buildId=unknown
  1661. java.version=1.8.0_101
  1662. java.vendor=Oracle Corporation
  1663. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1664. Framework arguments: -product UltimateCore.Debug
  1665. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1666.  
  1667. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:28:06.245
  1668. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1669. !SESSION 2017-01-19 05:30:53.908 -----------------------------------------------
  1670. eclipse.buildId=unknown
  1671. java.version=1.8.0_101
  1672. java.vendor=Oracle Corporation
  1673. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1674. Framework arguments: -product UltimateCore.Debug
  1675. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1676.  
  1677. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:30:56.890
  1678. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1679.  
  1680. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:34:09.870
  1681. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1682. !SESSION 2017-01-19 05:34:13.844 -----------------------------------------------
  1683. eclipse.buildId=unknown
  1684. java.version=1.8.0_101
  1685. java.vendor=Oracle Corporation
  1686. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1687. Framework arguments: -product UltimateCore.Debug
  1688. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1689.  
  1690. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:34:16.759
  1691. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1692.  
  1693. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:43:07.225
  1694. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1695. !SESSION 2017-01-19 05:43:19.283 -----------------------------------------------
  1696. eclipse.buildId=unknown
  1697. java.version=1.8.0_101
  1698. java.vendor=Oracle Corporation
  1699. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1700. Framework arguments: -product UltimateCore.Debug
  1701. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1702.  
  1703. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:43:22.235
  1704. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1705.  
  1706. !ENTRY org.eclipse.core.jobs 2 2 2017-01-19 05:56:03.501
  1707. !MESSAGE Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: de.uni_freiburg.informatik.ultimate.gui.GuiToolchainJob
  1708. !SESSION 2017-01-19 05:56:07.380 -----------------------------------------------
  1709. eclipse.buildId=unknown
  1710. java.version=1.8.0_101
  1711. java.vendor=Oracle Corporation
  1712. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1713. Framework arguments: -product UltimateCore.Debug
  1714. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1715.  
  1716. !ENTRY org.eclipse.ui 2 2 2017-01-19 05:56:10.463
  1717. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1718. !SESSION 2017-01-19 09:40:13.089 -----------------------------------------------
  1719. eclipse.buildId=unknown
  1720. java.version=1.8.0_101
  1721. java.vendor=Oracle Corporation
  1722. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1723. Framework arguments: -product UltimateCore.Debug
  1724. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1725.  
  1726. !ENTRY org.eclipse.ui 2 2 2017-01-19 09:40:16.347
  1727. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1728. !SESSION 2017-01-19 16:10:21.935 -----------------------------------------------
  1729. eclipse.buildId=unknown
  1730. java.version=1.8.0_101
  1731. java.vendor=Oracle Corporation
  1732. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1733. Framework arguments: -product UltimateCore.Debug
  1734. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1735.  
  1736. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-01-19 16:10:23.445
  1737. !MESSAGE FrameworkEvent ERROR
  1738. !STACK 0
  1739. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  1740. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1741. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1742. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1743. Unresolved requirement: Require-Bundle: Library-GraphVR
  1744. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1745. Library-GraphVR [221]
  1746. Unresolved requirement: Require-Bundle: Library-Protobuf
  1747.  
  1748. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1749. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1750. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1751. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1752. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1753. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1754. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1755. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1756.  
  1757. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-01-19 16:10:23.446
  1758. !MESSAGE FrameworkEvent ERROR
  1759. !STACK 0
  1760. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  1761. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1762. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1763. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1764. Unresolved requirement: Require-Bundle: Library-GraphVR
  1765. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1766. Library-GraphVR [221]
  1767. Unresolved requirement: Require-Bundle: Library-Protobuf
  1768.  
  1769. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1770. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1771. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1772. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1773. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1774. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1775. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1776. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1777.  
  1778. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-01-19 16:10:23.449
  1779. !MESSAGE FrameworkEvent ERROR
  1780. !STACK 0
  1781. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [158]
  1782. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  1783. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  1784. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  1785. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1786. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1787. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1788. Unresolved requirement: Require-Bundle: Library-GraphVR
  1789. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1790. Library-GraphVR [221]
  1791. Unresolved requirement: Require-Bundle: Library-Protobuf
  1792. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1793. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1794.  
  1795. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1796. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1797. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1798. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1799. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1800. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1801. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1802. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1803.  
  1804. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-01-19 16:10:23.450
  1805. !MESSAGE FrameworkEvent ERROR
  1806. !STACK 0
  1807. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [168]
  1808. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1809. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1810. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1811. Unresolved requirement: Require-Bundle: Library-GraphVR
  1812. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1813. Library-GraphVR [221]
  1814. Unresolved requirement: Require-Bundle: Library-Protobuf
  1815. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent
  1816. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent; bundle-version="0.0.1"; singleton:="true"
  1817. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [148]
  1818. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1819. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1820.  
  1821. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1822. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1823. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1824. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1825. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1826. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1827. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1828. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1829.  
  1830. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-01-19 16:10:23.450
  1831. !MESSAGE FrameworkEvent ERROR
  1832. !STACK 0
  1833. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  1834. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  1835. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  1836. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  1837. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1838. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1839. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1840. Unresolved requirement: Require-Bundle: Library-GraphVR
  1841. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1842. Library-GraphVR [221]
  1843. Unresolved requirement: Require-Bundle: Library-Protobuf
  1844.  
  1845. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1846. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1847. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1848. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1849. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1850. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1851. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1852. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1853.  
  1854. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-01-19 16:10:23.513
  1855. !MESSAGE FrameworkEvent ERROR
  1856. !STACK 0
  1857. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [198]
  1858. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1859. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1860. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1861. Unresolved requirement: Require-Bundle: Library-GraphVR
  1862. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1863. Library-GraphVR [221]
  1864. Unresolved requirement: Require-Bundle: Library-Protobuf
  1865.  
  1866. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1867. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1868. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1869. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1870. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1871. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1872. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1873. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1874.  
  1875. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-01-19 16:10:23.514
  1876. !MESSAGE FrameworkEvent ERROR
  1877. !STACK 0
  1878. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [203]
  1879. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.ltl2aut
  1880. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.ltl2aut; bundle-version="0.0.1"; singleton:="true"
  1881. de.uni_freiburg.informatik.ultimate.ltl2aut [170]
  1882. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  1883. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  1884. de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [157]
  1885. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction
  1886. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction; bundle-version="0.0.1"; singleton:="true"
  1887. de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1888. Unresolved requirement: Require-Bundle: Library-GraphVR
  1889. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1890. Library-GraphVR [221]
  1891. Unresolved requirement: Require-Bundle: Library-Protobuf
  1892. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer
  1893. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer; bundle-version="0.0.1"; singleton:="true"
  1894.  
  1895. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1896. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1897. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1898. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1899. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1900. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1901. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1902. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1903.  
  1904. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-01-19 16:10:23.514
  1905. !MESSAGE FrameworkEvent ERROR
  1906. !STACK 0
  1907. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [220]
  1908. Unresolved requirement: Require-Bundle: Library-GraphVR
  1909. -> Bundle-SymbolicName: Library-GraphVR; bundle-version="1.5.0"
  1910. Library-GraphVR [221]
  1911. Unresolved requirement: Require-Bundle: Library-Protobuf
  1912.  
  1913. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1914. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1915. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1916. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1917. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1918. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1919. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1920. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1921.  
  1922. !ENTRY org.eclipse.ui 2 2 2017-01-19 16:10:27.732
  1923. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1924. !SESSION 2017-02-02 22:22:16.325 -----------------------------------------------
  1925. eclipse.buildId=unknown
  1926. java.version=1.8.0_101
  1927. java.vendor=Oracle Corporation
  1928. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1929. Framework arguments: -product UltimateCore.Debug
  1930. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1931.  
  1932. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-02-02 22:22:17.085
  1933. !MESSAGE FrameworkEvent ERROR
  1934. !STACK 0
  1935. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [198]
  1936. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.heapseparator
  1937. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.heapseparator; bundle-version="0.0.1"; singleton:="true"
  1938. de.uni_freiburg.informatik.ultimate.heapseparator [228]
  1939. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.icfgtransformer
  1940.  
  1941. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1942. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1943. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1944. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1945. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1946. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1947. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1948. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1949.  
  1950. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 4 0 2017-02-02 22:22:17.115
  1951. !MESSAGE FrameworkEvent ERROR
  1952. !STACK 0
  1953. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [228]
  1954. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.icfgtransformer
  1955.  
  1956. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1957. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1958. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1959. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1960. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1961. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1962. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1963. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1964.  
  1965. !ENTRY org.eclipse.ui 2 2 2017-02-02 22:22:19.785
  1966. !MESSAGE Invalid preference category path: org.eclipse.ui.preferencePages.Workbench (bundle: org.eclipse.ui.trace, page: org.eclipse.ui.trace.tracingPage)
  1967. !SESSION 2017-02-03 19:31:33.435 -----------------------------------------------
  1968. eclipse.buildId=unknown
  1969. java.version=1.8.0_101
  1970. java.vendor=Oracle Corporation
  1971. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  1972. Framework arguments: -product UltimateCore.Debug
  1973. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  1974.  
  1975. !ENTRY org.eclipse.equinox.app 0 0 2017-02-03 19:31:34.003
  1976. !MESSAGE Product UltimateCore.Debug could not be found.
  1977.  
  1978. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 4 0 2017-02-03 19:31:34.056
  1979. !MESSAGE FrameworkEvent ERROR
  1980. !STACK 0
  1981. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [231]
  1982. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  1983.  
  1984. at org.eclipse.osgi.container.Module.start(Module.java:444)
  1985. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  1986. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  1987. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  1988. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  1989. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1990. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1991. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1992.  
  1993. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-02-03 19:31:34.056
  1994. !MESSAGE FrameworkEvent ERROR
  1995. !STACK 0
  1996. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [232]
  1997. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  1998.  
  1999. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2000. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2001. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2002. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2003. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2004. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2005. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2006. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2007.  
  2008. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-02-03 19:31:34.057
  2009. !MESSAGE FrameworkEvent ERROR
  2010. !STACK 0
  2011. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [233]
  2012. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2013.  
  2014. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2015. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2016. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2017. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2018. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2019. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2020. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2021. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2022.  
  2023. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-02-03 19:31:34.057
  2024. !MESSAGE FrameworkEvent ERROR
  2025. !STACK 0
  2026. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [234]
  2027. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2028.  
  2029. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2030. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2031. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2032. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2033. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2034. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2035. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2036. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2037.  
  2038. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 4 0 2017-02-03 19:31:34.057
  2039. !MESSAGE FrameworkEvent ERROR
  2040. !STACK 0
  2041. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [235]
  2042. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2043.  
  2044. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2045. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2046. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2047. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2048. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2049. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2050. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2051. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2052.  
  2053. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 4 0 2017-02-03 19:31:34.058
  2054. !MESSAGE FrameworkEvent ERROR
  2055. !STACK 0
  2056. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [236]
  2057. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2058.  
  2059. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2060. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2061. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2062. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2063. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2064. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2065. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2066. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2067.  
  2068. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 4 0 2017-02-03 19:31:34.058
  2069. !MESSAGE FrameworkEvent ERROR
  2070. !STACK 0
  2071. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [237]
  2072. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  2073.  
  2074. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2075. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2076. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2077. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2078. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2079. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2080. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2081. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2082.  
  2083. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-02-03 19:31:34.058
  2084. !MESSAGE FrameworkEvent ERROR
  2085. !STACK 0
  2086. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [238]
  2087. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2088.  
  2089. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2090. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2091. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2092. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2093. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2094. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2095. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2096. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2097.  
  2098. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-02-03 19:31:34.058
  2099. !MESSAGE FrameworkEvent ERROR
  2100. !STACK 0
  2101. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [239]
  2102. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2103.  
  2104. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2105. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2106. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2107. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2108. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2109. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2110. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2111. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2112.  
  2113. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 4 0 2017-02-03 19:31:34.059
  2114. !MESSAGE FrameworkEvent ERROR
  2115. !STACK 0
  2116. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [240]
  2117. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.logic
  2118.  
  2119. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2120. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2121. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2122. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2123. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2124. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2125. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2126. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2127.  
  2128. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 4 0 2017-02-03 19:31:34.059
  2129. !MESSAGE FrameworkEvent ERROR
  2130. !STACK 0
  2131. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [241]
  2132. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2133.  
  2134. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2135. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2136. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2137. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2138. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2139. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2140. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2141. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2142.  
  2143. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 4 0 2017-02-03 19:31:34.059
  2144. !MESSAGE FrameworkEvent ERROR
  2145. !STACK 0
  2146. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [242]
  2147. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2148.  
  2149. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2150. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2151. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2152. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2153. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2154. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2155. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2156. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2157.  
  2158. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-02-03 19:31:34.060
  2159. !MESSAGE FrameworkEvent ERROR
  2160. !STACK 0
  2161. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [244]
  2162. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2163.  
  2164. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2165. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2166. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2167. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2168. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2169. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2170. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2171. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2172.  
  2173. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 4 0 2017-02-03 19:31:34.061
  2174. !MESSAGE FrameworkEvent ERROR
  2175. !STACK 0
  2176. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [245]
  2177. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2178.  
  2179. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2180. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2181. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2182. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2183. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2184. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2185. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2186. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2187.  
  2188. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 4 0 2017-02-03 19:31:34.061
  2189. !MESSAGE FrameworkEvent ERROR
  2190. !STACK 0
  2191. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [246]
  2192. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2193.  
  2194. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2195. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2196. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2197. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2198. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2199. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2200. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2201. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2202.  
  2203. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 4 0 2017-02-03 19:31:34.062
  2204. !MESSAGE FrameworkEvent ERROR
  2205. !STACK 0
  2206. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [247]
  2207. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2208.  
  2209. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2210. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2211. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2212. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2213. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2214. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2215. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2216. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2217.  
  2218. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 4 0 2017-02-03 19:31:34.062
  2219. !MESSAGE FrameworkEvent ERROR
  2220. !STACK 0
  2221. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [248]
  2222. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  2223.  
  2224. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2225. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2226. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2227. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2228. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2229. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2230. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2231. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2232.  
  2233. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-02-03 19:31:34.063
  2234. !MESSAGE FrameworkEvent ERROR
  2235. !STACK 0
  2236. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [249]
  2237. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2238.  
  2239. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2240. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2241. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2242. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2243. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2244. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2245. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2246. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2247.  
  2248. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 4 0 2017-02-03 19:31:34.063
  2249. !MESSAGE FrameworkEvent ERROR
  2250. !STACK 0
  2251. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [250]
  2252. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2253.  
  2254. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2255. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2256. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2257. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2258. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2259. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2260. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2261. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2262.  
  2263. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-02-03 19:31:34.063
  2264. !MESSAGE FrameworkEvent ERROR
  2265. !STACK 0
  2266. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [251]
  2267. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2268.  
  2269. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2270. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2271. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2272. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2273. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2274. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2275. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2276. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2277.  
  2278. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 4 0 2017-02-03 19:31:34.064
  2279. !MESSAGE FrameworkEvent ERROR
  2280. !STACK 0
  2281. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [252]
  2282. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2283.  
  2284. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2285. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2286. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2287. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2288. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2289. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2290. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2291. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2292.  
  2293. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 2 0 2017-02-03 19:31:34.071
  2294. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [252]
  2295. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2296.  
  2297.  
  2298. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 2 0 2017-02-03 19:31:34.071
  2299. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [232]
  2300. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2301.  
  2302.  
  2303. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 2 0 2017-02-03 19:31:34.071
  2304. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [234]
  2305. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2306.  
  2307.  
  2308. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 2 0 2017-02-03 19:31:34.071
  2309. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [244]
  2310. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2311.  
  2312.  
  2313. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 2 0 2017-02-03 19:31:34.071
  2314. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [246]
  2315. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2316.  
  2317.  
  2318. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 2 0 2017-02-03 19:31:34.071
  2319. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [248]
  2320. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  2321.  
  2322.  
  2323. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 2 0 2017-02-03 19:31:34.072
  2324. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [231]
  2325. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2326.  
  2327.  
  2328. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 2 0 2017-02-03 19:31:34.072
  2329. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [245]
  2330. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2331.  
  2332.  
  2333. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 2 0 2017-02-03 19:31:34.072
  2334. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [238]
  2335. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2336.  
  2337.  
  2338. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 2 0 2017-02-03 19:31:34.072
  2339. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [250]
  2340. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2341.  
  2342.  
  2343. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 2 0 2017-02-03 19:31:34.072
  2344. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [236]
  2345. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2346.  
  2347.  
  2348. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 2 0 2017-02-03 19:31:34.072
  2349. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [249]
  2350. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2351.  
  2352.  
  2353. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 2 0 2017-02-03 19:31:34.073
  2354. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [233]
  2355. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2356.  
  2357.  
  2358. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 2 0 2017-02-03 19:31:34.073
  2359. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [240]
  2360. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.logic
  2361.  
  2362.  
  2363. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 2 0 2017-02-03 19:31:34.077
  2364. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [242]
  2365. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2366.  
  2367.  
  2368. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 2 0 2017-02-03 19:31:34.077
  2369. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [251]
  2370. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2371.  
  2372.  
  2373. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 2 0 2017-02-03 19:31:34.077
  2374. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [237]
  2375. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  2376.  
  2377.  
  2378. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 2 0 2017-02-03 19:31:34.078
  2379. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [241]
  2380. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2381.  
  2382.  
  2383. !ENTRY org.eclipse.e4.ui.swt.gtk 2 0 2017-02-03 19:31:34.078
  2384. !MESSAGE Could not resolve module: org.eclipse.e4.ui.swt.gtk [174]
  2385. Unresolved requirement: Fragment-Host: org.eclipse.e4.ui.css.swt.theme; bundle-version="0.10.0"
  2386.  
  2387.  
  2388. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 2 0 2017-02-03 19:31:34.078
  2389. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [235]
  2390. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2391.  
  2392.  
  2393. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 2 0 2017-02-03 19:31:34.078
  2394. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [247]
  2395. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2396.  
  2397.  
  2398. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 2 0 2017-02-03 19:31:34.078
  2399. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [239]
  2400. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2401.  
  2402.  
  2403. !ENTRY de.uni_freiburg.informatik.ultimate.gui 2 0 2017-02-03 19:31:34.079
  2404. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.gui [243]
  2405. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  2406.  
  2407.  
  2408. !ENTRY org.eclipse.osgi 4 0 2017-02-03 19:31:34.079
  2409. !MESSAGE Application error
  2410. !STACK 1
  2411. java.lang.RuntimeException: No application id has been found.
  2412. at org.eclipse.equinox.internal.app.EclipseAppContainer.startDefaultApp(EclipseAppContainer.java:242)
  2413. at org.eclipse.equinox.internal.app.MainApplicationLauncher.run(MainApplicationLauncher.java:29)
  2414. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
  2415. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
  2416. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
  2417. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
  2418. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  2419. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
  2420. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  2421. at java.lang.reflect.Method.invoke(Method.java:498)
  2422. at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
  2423. at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
  2424. at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
  2425. at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
  2426. !SESSION 2017-02-03 19:31:39.339 -----------------------------------------------
  2427. eclipse.buildId=unknown
  2428. java.version=1.8.0_101
  2429. java.vendor=Oracle Corporation
  2430. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  2431. Framework arguments: -product UltimateCore.Debug
  2432. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  2433.  
  2434. !ENTRY org.eclipse.equinox.app 0 0 2017-02-03 19:31:39.758
  2435. !MESSAGE Product UltimateCore.Debug could not be found.
  2436.  
  2437. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 4 0 2017-02-03 19:31:39.798
  2438. !MESSAGE FrameworkEvent ERROR
  2439. !STACK 0
  2440. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [231]
  2441. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2442.  
  2443. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2444. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2445. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2446. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2447. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2448. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2449. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2450. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2451.  
  2452. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-02-03 19:31:39.799
  2453. !MESSAGE FrameworkEvent ERROR
  2454. !STACK 0
  2455. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [232]
  2456. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2457.  
  2458. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2459. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2460. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2461. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2462. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2463. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2464. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2465. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2466.  
  2467. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-02-03 19:31:39.800
  2468. !MESSAGE FrameworkEvent ERROR
  2469. !STACK 0
  2470. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [233]
  2471. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2472.  
  2473. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2474. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2475. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2476. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2477. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2478. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2479. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2480. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2481.  
  2482. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-02-03 19:31:39.800
  2483. !MESSAGE FrameworkEvent ERROR
  2484. !STACK 0
  2485. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [234]
  2486. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2487.  
  2488. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2489. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2490. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2491. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2492. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2493. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2494. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2495. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2496.  
  2497. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 4 0 2017-02-03 19:31:39.801
  2498. !MESSAGE FrameworkEvent ERROR
  2499. !STACK 0
  2500. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [235]
  2501. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2502.  
  2503. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2504. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2505. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2506. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2507. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2508. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2509. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2510. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2511.  
  2512. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 4 0 2017-02-03 19:31:39.802
  2513. !MESSAGE FrameworkEvent ERROR
  2514. !STACK 0
  2515. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [236]
  2516. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2517.  
  2518. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2519. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2520. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2521. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2522. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2523. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2524. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2525. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2526.  
  2527. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 4 0 2017-02-03 19:31:39.804
  2528. !MESSAGE FrameworkEvent ERROR
  2529. !STACK 0
  2530. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [237]
  2531. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  2532.  
  2533. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2534. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2535. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2536. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2537. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2538. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2539. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2540. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2541.  
  2542. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-02-03 19:31:39.805
  2543. !MESSAGE FrameworkEvent ERROR
  2544. !STACK 0
  2545. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [238]
  2546. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2547.  
  2548. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2549. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2550. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2551. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2552. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2553. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2554. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2555. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2556.  
  2557. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-02-03 19:31:39.805
  2558. !MESSAGE FrameworkEvent ERROR
  2559. !STACK 0
  2560. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [239]
  2561. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2562.  
  2563. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2564. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2565. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2566. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2567. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2568. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2569. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2570. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2571.  
  2572. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 4 0 2017-02-03 19:31:39.806
  2573. !MESSAGE FrameworkEvent ERROR
  2574. !STACK 0
  2575. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [240]
  2576. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.logic
  2577.  
  2578. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2579. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2580. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2581. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2582. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2583. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2584. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2585. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2586.  
  2587. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 4 0 2017-02-03 19:31:39.807
  2588. !MESSAGE FrameworkEvent ERROR
  2589. !STACK 0
  2590. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [241]
  2591. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2592.  
  2593. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2594. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2595. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2596. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2597. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2598. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2599. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2600. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2601.  
  2602. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 4 0 2017-02-03 19:31:39.808
  2603. !MESSAGE FrameworkEvent ERROR
  2604. !STACK 0
  2605. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [242]
  2606. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2607.  
  2608. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2609. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2610. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2611. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2612. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2613. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2614. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2615. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2616.  
  2617. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-02-03 19:31:39.808
  2618. !MESSAGE FrameworkEvent ERROR
  2619. !STACK 0
  2620. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [244]
  2621. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2622.  
  2623. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2624. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2625. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2626. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2627. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2628. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2629. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2630. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2631.  
  2632. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 4 0 2017-02-03 19:31:39.809
  2633. !MESSAGE FrameworkEvent ERROR
  2634. !STACK 0
  2635. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [245]
  2636. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2637.  
  2638. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2639. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2640. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2641. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2642. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2643. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2644. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2645. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2646.  
  2647. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 4 0 2017-02-03 19:31:39.810
  2648. !MESSAGE FrameworkEvent ERROR
  2649. !STACK 0
  2650. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [246]
  2651. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2652.  
  2653. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2654. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2655. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2656. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2657. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2658. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2659. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2660. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2661.  
  2662. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 4 0 2017-02-03 19:31:39.811
  2663. !MESSAGE FrameworkEvent ERROR
  2664. !STACK 0
  2665. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [247]
  2666. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2667.  
  2668. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2669. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2670. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2671. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2672. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2673. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2674. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2675. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2676.  
  2677. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 4 0 2017-02-03 19:31:39.811
  2678. !MESSAGE FrameworkEvent ERROR
  2679. !STACK 0
  2680. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [248]
  2681. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  2682.  
  2683. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2684. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2685. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2686. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2687. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2688. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2689. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2690. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2691.  
  2692. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-02-03 19:31:39.812
  2693. !MESSAGE FrameworkEvent ERROR
  2694. !STACK 0
  2695. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [249]
  2696. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2697.  
  2698. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2699. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2700. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2701. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2702. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2703. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2704. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2705. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2706.  
  2707. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 4 0 2017-02-03 19:31:39.813
  2708. !MESSAGE FrameworkEvent ERROR
  2709. !STACK 0
  2710. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [250]
  2711. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2712.  
  2713. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2714. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2715. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2716. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2717. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2718. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2719. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2720. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2721.  
  2722. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-02-03 19:31:39.814
  2723. !MESSAGE FrameworkEvent ERROR
  2724. !STACK 0
  2725. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [251]
  2726. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2727.  
  2728. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2729. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2730. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2731. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2732. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2733. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2734. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2735. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2736.  
  2737. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 4 0 2017-02-03 19:31:39.814
  2738. !MESSAGE FrameworkEvent ERROR
  2739. !STACK 0
  2740. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [252]
  2741. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2742.  
  2743. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2744. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2745. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2746. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2747. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2748. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2749. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2750. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2751.  
  2752. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 2 0 2017-02-03 19:31:39.822
  2753. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [244]
  2754. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2755.  
  2756.  
  2757. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 2 0 2017-02-03 19:31:39.822
  2758. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [231]
  2759. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2760.  
  2761.  
  2762. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 2 0 2017-02-03 19:31:39.823
  2763. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [236]
  2764. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2765.  
  2766.  
  2767. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 2 0 2017-02-03 19:31:39.823
  2768. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [232]
  2769. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2770.  
  2771.  
  2772. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 2 0 2017-02-03 19:31:39.823
  2773. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [247]
  2774. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2775.  
  2776.  
  2777. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 2 0 2017-02-03 19:31:39.823
  2778. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [239]
  2779. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2780.  
  2781.  
  2782. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 2 0 2017-02-03 19:31:39.823
  2783. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [252]
  2784. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2785.  
  2786.  
  2787. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 2 0 2017-02-03 19:31:39.823
  2788. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [235]
  2789. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2790.  
  2791.  
  2792. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 2 0 2017-02-03 19:31:39.823
  2793. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [233]
  2794. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2795.  
  2796.  
  2797. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 2 0 2017-02-03 19:31:39.823
  2798. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [251]
  2799. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2800.  
  2801.  
  2802. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 2 0 2017-02-03 19:31:39.823
  2803. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [237]
  2804. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  2805.  
  2806.  
  2807. !ENTRY org.eclipse.e4.ui.swt.gtk 2 0 2017-02-03 19:31:39.825
  2808. !MESSAGE Could not resolve module: org.eclipse.e4.ui.swt.gtk [174]
  2809. Unresolved requirement: Fragment-Host: org.eclipse.e4.ui.css.swt.theme; bundle-version="0.10.0"
  2810.  
  2811.  
  2812. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 2 0 2017-02-03 19:31:39.826
  2813. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [245]
  2814. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2815.  
  2816.  
  2817. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 2 0 2017-02-03 19:31:39.826
  2818. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [242]
  2819. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2820.  
  2821.  
  2822. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 2 0 2017-02-03 19:31:39.826
  2823. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [240]
  2824. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.logic
  2825.  
  2826.  
  2827. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 2 0 2017-02-03 19:31:39.826
  2828. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [234]
  2829. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2830.  
  2831.  
  2832. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 2 0 2017-02-03 19:31:39.826
  2833. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [246]
  2834. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2835.  
  2836.  
  2837. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 2 0 2017-02-03 19:31:39.826
  2838. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [248]
  2839. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  2840.  
  2841.  
  2842. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 2 0 2017-02-03 19:31:39.826
  2843. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [241]
  2844. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2845.  
  2846.  
  2847. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 2 0 2017-02-03 19:31:39.826
  2848. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [249]
  2849. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2850.  
  2851.  
  2852. !ENTRY de.uni_freiburg.informatik.ultimate.gui 2 0 2017-02-03 19:31:39.826
  2853. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.gui [243]
  2854. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  2855.  
  2856.  
  2857. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 2 0 2017-02-03 19:31:39.826
  2858. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [250]
  2859. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2860.  
  2861.  
  2862. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 2 0 2017-02-03 19:31:39.826
  2863. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [238]
  2864. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2865.  
  2866.  
  2867. !ENTRY org.eclipse.osgi 4 0 2017-02-03 19:31:39.827
  2868. !MESSAGE Application error
  2869. !STACK 1
  2870. java.lang.RuntimeException: No application id has been found.
  2871. at org.eclipse.equinox.internal.app.EclipseAppContainer.startDefaultApp(EclipseAppContainer.java:242)
  2872. at org.eclipse.equinox.internal.app.MainApplicationLauncher.run(MainApplicationLauncher.java:29)
  2873. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
  2874. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
  2875. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
  2876. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
  2877. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  2878. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
  2879. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  2880. at java.lang.reflect.Method.invoke(Method.java:498)
  2881. at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
  2882. at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
  2883. at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
  2884. at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
  2885. !SESSION 2017-02-03 22:40:13.422 -----------------------------------------------
  2886. eclipse.buildId=unknown
  2887. java.version=1.8.0_101
  2888. java.vendor=Oracle Corporation
  2889. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  2890. Framework arguments: -product UltimateCore.Debug
  2891. Command-line arguments: -product UltimateCore.Debug -data /home/iari/src/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/src/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  2892.  
  2893. !ENTRY org.eclipse.equinox.app 0 0 2017-02-03 22:40:13.858
  2894. !MESSAGE Product UltimateCore.Debug could not be found.
  2895.  
  2896. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 4 0 2017-02-03 22:40:13.891
  2897. !MESSAGE FrameworkEvent ERROR
  2898. !STACK 0
  2899. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [231]
  2900. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2901.  
  2902. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2903. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2904. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2905. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2906. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2907. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2908. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2909. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2910.  
  2911. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 4 0 2017-02-03 22:40:13.892
  2912. !MESSAGE FrameworkEvent ERROR
  2913. !STACK 0
  2914. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [232]
  2915. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2916.  
  2917. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2918. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2919. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2920. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2921. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2922. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2923. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2924. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2925.  
  2926. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 4 0 2017-02-03 22:40:13.892
  2927. !MESSAGE FrameworkEvent ERROR
  2928. !STACK 0
  2929. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [233]
  2930. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2931.  
  2932. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2933. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2934. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2935. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2936. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2937. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2938. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2939. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2940.  
  2941. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 4 0 2017-02-03 22:40:13.893
  2942. !MESSAGE FrameworkEvent ERROR
  2943. !STACK 0
  2944. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [234]
  2945. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2946.  
  2947. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2948. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2949. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2950. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2951. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2952. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2953. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2954. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2955.  
  2956. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 4 0 2017-02-03 22:40:13.893
  2957. !MESSAGE FrameworkEvent ERROR
  2958. !STACK 0
  2959. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [235]
  2960. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  2961.  
  2962. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2963. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2964. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2965. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2966. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2967. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2968. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2969. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2970.  
  2971. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 4 0 2017-02-03 22:40:13.894
  2972. !MESSAGE FrameworkEvent ERROR
  2973. !STACK 0
  2974. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [236]
  2975. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  2976.  
  2977. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2978. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2979. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2980. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2981. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2982. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2983. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2984. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  2985.  
  2986. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 4 0 2017-02-03 22:40:13.895
  2987. !MESSAGE FrameworkEvent ERROR
  2988. !STACK 0
  2989. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [237]
  2990. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  2991.  
  2992. at org.eclipse.osgi.container.Module.start(Module.java:444)
  2993. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  2994. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  2995. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  2996. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  2997. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  2998. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  2999. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3000.  
  3001. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 4 0 2017-02-03 22:40:13.896
  3002. !MESSAGE FrameworkEvent ERROR
  3003. !STACK 0
  3004. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [238]
  3005. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3006.  
  3007. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3008. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3009. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3010. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3011. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3012. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3013. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3014. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3015.  
  3016. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 4 0 2017-02-03 22:40:13.897
  3017. !MESSAGE FrameworkEvent ERROR
  3018. !STACK 0
  3019. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [239]
  3020. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3021.  
  3022. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3023. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3024. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3025. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3026. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3027. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3028. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3029. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3030.  
  3031. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 4 0 2017-02-03 22:40:13.898
  3032. !MESSAGE FrameworkEvent ERROR
  3033. !STACK 0
  3034. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [240]
  3035. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.logic
  3036.  
  3037. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3038. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3039. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3040. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3041. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3042. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3043. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3044. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3045.  
  3046. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 4 0 2017-02-03 22:40:13.898
  3047. !MESSAGE FrameworkEvent ERROR
  3048. !STACK 0
  3049. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [241]
  3050. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3051.  
  3052. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3053. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3054. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3055. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3056. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3057. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3058. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3059. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3060.  
  3061. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 4 0 2017-02-03 22:40:13.899
  3062. !MESSAGE FrameworkEvent ERROR
  3063. !STACK 0
  3064. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [242]
  3065. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3066.  
  3067. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3068. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3069. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3070. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3071. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3072. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3073. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3074. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3075.  
  3076. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 4 0 2017-02-03 22:40:13.900
  3077. !MESSAGE FrameworkEvent ERROR
  3078. !STACK 0
  3079. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [244]
  3080. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3081.  
  3082. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3083. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3084. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3085. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3086. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3087. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3088. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3089. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3090.  
  3091. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 4 0 2017-02-03 22:40:13.901
  3092. !MESSAGE FrameworkEvent ERROR
  3093. !STACK 0
  3094. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [245]
  3095. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3096.  
  3097. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3098. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3099. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3100. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3101. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3102. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3103. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3104. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3105.  
  3106. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 4 0 2017-02-03 22:40:13.901
  3107. !MESSAGE FrameworkEvent ERROR
  3108. !STACK 0
  3109. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [246]
  3110. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3111.  
  3112. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3113. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3114. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3115. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3116. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3117. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3118. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3119. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3120.  
  3121. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 4 0 2017-02-03 22:40:13.901
  3122. !MESSAGE FrameworkEvent ERROR
  3123. !STACK 0
  3124. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [247]
  3125. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3126.  
  3127. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3128. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3129. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3130. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3131. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3132. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3133. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3134. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3135.  
  3136. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 4 0 2017-02-03 22:40:13.902
  3137. !MESSAGE FrameworkEvent ERROR
  3138. !STACK 0
  3139. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [248]
  3140. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  3141.  
  3142. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3143. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3144. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3145. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3146. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3147. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3148. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3149. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3150.  
  3151. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 4 0 2017-02-03 22:40:13.902
  3152. !MESSAGE FrameworkEvent ERROR
  3153. !STACK 0
  3154. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [249]
  3155. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3156.  
  3157. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3158. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3159. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3160. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3161. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3162. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3163. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3164. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3165.  
  3166. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 4 0 2017-02-03 22:40:13.903
  3167. !MESSAGE FrameworkEvent ERROR
  3168. !STACK 0
  3169. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [250]
  3170. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3171.  
  3172. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3173. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3174. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3175. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3176. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3177. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3178. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3179. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3180.  
  3181. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 4 0 2017-02-03 22:40:13.903
  3182. !MESSAGE FrameworkEvent ERROR
  3183. !STACK 0
  3184. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [251]
  3185. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3186.  
  3187. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3188. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3189. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3190. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3191. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3192. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3193. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3194. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3195.  
  3196. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 4 0 2017-02-03 22:40:13.903
  3197. !MESSAGE FrameworkEvent ERROR
  3198. !STACK 0
  3199. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [252]
  3200. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3201.  
  3202. at org.eclipse.osgi.container.Module.start(Module.java:444)
  3203. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1620)
  3204. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1599)
  3205. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1571)
  3206. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1514)
  3207. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  3208. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  3209. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  3210.  
  3211. !ENTRY de.uni_freiburg.informatik.ultimate.buchiprogramproduct 2 0 2017-02-03 22:40:13.910
  3212. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.buchiprogramproduct [244]
  3213. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3214.  
  3215.  
  3216. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 2 0 2017-02-03 22:40:13.910
  3217. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 [231]
  3218. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3219.  
  3220.  
  3221. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 2 0 2017-02-03 22:40:13.910
  3222. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [236]
  3223. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3224.  
  3225.  
  3226. !ENTRY de.uni_freiburg.informatik.ultimate.ltl2aut 2 0 2017-02-03 22:40:13.910
  3227. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.ltl2aut [232]
  3228. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3229.  
  3230.  
  3231. !ENTRY de.uni_freiburg.informatik.ultimate.witnessparser 2 0 2017-02-03 22:40:13.911
  3232. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessparser [247]
  3233. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3234.  
  3235.  
  3236. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent 2 0 2017-02-03 22:40:13.911
  3237. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionconcurrent [239]
  3238. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3239.  
  3240.  
  3241. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 2 0 2017-02-03 22:40:13.911
  3242. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator [252]
  3243. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3244.  
  3245.  
  3246. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 2 0 2017-02-03 22:40:13.911
  3247. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter [235]
  3248. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3249.  
  3250.  
  3251. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 2 0 2017-02-03 22:40:13.911
  3252. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck [233]
  3253. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3254.  
  3255.  
  3256. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 2 0 2017-02-03 22:40:13.911
  3257. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer [251]
  3258. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3259.  
  3260.  
  3261. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 2 0 2017-02-03 22:40:13.911
  3262. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder [237]
  3263. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.boogie.type
  3264.  
  3265.  
  3266. !ENTRY org.eclipse.e4.ui.swt.gtk 2 0 2017-02-03 22:40:13.912
  3267. !MESSAGE Could not resolve module: org.eclipse.e4.ui.swt.gtk [174]
  3268. Unresolved requirement: Fragment-Host: org.eclipse.e4.ui.css.swt.theme; bundle-version="0.10.0"
  3269.  
  3270.  
  3271. !ENTRY de.uni_freiburg.informatik.ultimate.heapseparator 2 0 2017-02-03 22:40:13.912
  3272. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.heapseparator [245]
  3273. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3274.  
  3275.  
  3276. !ENTRY de.uni_freiburg.informatik.ultimate.witnessprinter 2 0 2017-02-03 22:40:13.912
  3277. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.witnessprinter [242]
  3278. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3279.  
  3280.  
  3281. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 2 0 2017-02-03 22:40:13.912
  3282. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions [240]
  3283. Unresolved requirement: Import-Package: de.uni_freiburg.informatik.ultimate.logic
  3284.  
  3285.  
  3286. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 2 0 2017-02-03 22:40:13.913
  3287. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker [234]
  3288. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3289.  
  3290.  
  3291. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 2 0 2017-02-03 22:40:13.913
  3292. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.procedureinliner [246]
  3293. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3294.  
  3295.  
  3296. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 2 0 2017-02-03 22:40:13.913
  3297. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies [248]
  3298. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  3299.  
  3300.  
  3301. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 2 0 2017-02-03 22:40:13.913
  3302. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding [241]
  3303. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3304.  
  3305.  
  3306. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 2 0 2017-02-03 22:40:13.913
  3307. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas [249]
  3308. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.core
  3309.  
  3310.  
  3311. !ENTRY de.uni_freiburg.informatik.ultimate.gui 2 0 2017-02-03 22:40:13.913
  3312. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.gui [243]
  3313. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.ultimatemodel
  3314.  
  3315.  
  3316. !ENTRY de.uni_freiburg.informatik.ultimate.boogie.printer 2 0 2017-02-03 22:40:13.913
  3317. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.boogie.printer [250]
  3318. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3319.  
  3320.  
  3321. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 2 0 2017-02-03 22:40:13.913
  3322. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction [238]
  3323. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core
  3324.  
  3325.  
  3326. !ENTRY org.eclipse.osgi 4 0 2017-02-03 22:40:13.914
  3327. !MESSAGE Application error
  3328. !STACK 1
  3329. java.lang.RuntimeException: No application id has been found.
  3330. at org.eclipse.equinox.internal.app.EclipseAppContainer.startDefaultApp(EclipseAppContainer.java:242)
  3331. at org.eclipse.equinox.internal.app.MainApplicationLauncher.run(MainApplicationLauncher.java:29)
  3332. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
  3333. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
  3334. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:388)
  3335. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:243)
  3336. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  3337. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
  3338. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  3339. at java.lang.reflect.Method.invoke(Method.java:498)
  3340. at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:673)
  3341. at org.eclipse.equinox.launcher.Main.basicRun(Main.java:610)
  3342. at org.eclipse.equinox.launcher.Main.run(Main.java:1519)
  3343. at org.eclipse.equinox.launcher.Main.main(Main.java:1492)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!