test_5.data 424 Bytes
Newer Older
Maximilien Colange's avatar
Maximilien Colange committed
1 2 3 4
Fischer model, reachability, BFS, abstract inclusion test
./tiamo reach tests/fischer.xml -incl sri

Input automaton parsed, computing LU bounds
5 6
Took 0 seconds to compute LU bounds
we have explored 220000 states, 3903 in the waiting listt
Maximilien Colange's avatar
Maximilien Colange committed
7
discrete states:	7737
8 9 10 11
states seen:		223903
states explored:	223903
max size of storage:	223903
incl tests:		109940539
Maximilien Colange's avatar
Maximilien Colange committed
12 13
pos. incl tests:	483595
Result of verification is Not reachable...