test_10.data 620 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
Aicraft Landing System model, optimal reachability, BBFS cost, abstract inclusion test, with pruning
./tiamo optimal tests/als.xml -cora -order BBFS -best cost -incl exp -p

Input automaton parsed, computing LU bounds
Took 0 seconds to compute LU bounds
new optimal value 90 replaces 1073741823, found after seeing 826 states
corresponding path has length 14
cleaning: shrink from 1837 states to 410 states stored
still 1161 states waiting for treatment

discrete states:	272
states seen:		2081
states explored:	826
max size of storage:	1846
incl tests:		41882
pos. incl tests:	1732
Result of verification is 90
Path is