test_9.data 737 Bytes
Newer Older
Maximilien Colange's avatar
Maximilien Colange committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
Aicraft Landing System model, optimal reachability, BBFS cost, simple inclusion test, with pruning
./tiamo optimal tests/als.xml -cora -order BBFS -best cost -incl simple -p

[WARNING] If your automaton is not acyclic or bounded, the chosen inclusion test does not guarantee termination.
Input automaton parsed, computing LU bounds
Took 0 seconds to compute LU bounds
new optimal value 90 replaces 1073741823, found after seeing 1186 states
corresponding path has length 14
cleaning: shrink from 2879 states to 436 states stored
still 1841 states waiting for treatment

discrete states:	272
states seen:		3085
states explored:	1186
max size of storage:	2887
incl tests:		138544
pos. incl tests:	1540
Result of verification is 90
Path is