Energy Task Scheduling model, simple reachability, BFS, abstract inclusion test ./tiamo reach tests/ets.xml -cora -order BFS -incl sri Input automaton parsed, computing LU bounds Took 0 seconds to compute LU bounds discrete states: 55 states seen: 68 states explored: 64 max size of storage: 65 incl tests: 74 pos. incl tests: 51 Result of verification is Reachable! Path is
