test_11.data 761 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
Vehicule Routing model, optimal reachability, BBFS cost, simple inclusion test, with pruning
./tiamo optimal tests/vrptw.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 184 seconds to compute LU bounds
new optimal value 18372 replaces 1073741823, found after seeing 354815 states
corresponding path has length 27
cleaning: shrink from 379778 states to 354716 states stored
still 25209 states waiting for treatment

discrete states:	29853
states seen:		393235
states explored:	354815
max size of storage:	380138
incl tests:		15995559
pos. incl tests:	150920
Result of verification is 18372
Path is