test_12.data 644 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
Vehicule Routing model, optimal reachability, BBFS cost, abstract inclusion test, with pruning
./tiamo optimal tests/vrptw.xml -cora -order BBFS -best cost -incl exp -p

Input automaton parsed, computing LU bounds
Took 175 seconds to compute LU bounds
new optimal value 18372 replaces 1073741823, found after seeing 135092 states
corresponding path has length 27
cleaning: shrink from 144191 states to 135017 states stored
still 9570 states waiting for treatment

discrete states:	29853
states seen:		151502
states explored:	135092
max size of storage:	144419
incl tests:		1486881
pos. incl tests:	24875
Result of verification is 18372
Path is