test_14.data 379 Bytes
Newer Older
Maximilien Colange's avatar
Maximilien Colange committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14
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