Commit aca9c86d authored by Maximilien Colange's avatar Maximilien Colange

Two more tests.

parent 6e9e324f
...@@ -49,4 +49,6 @@ TESTS = \ ...@@ -49,4 +49,6 @@ TESTS = \
tests/test_7.data \ tests/test_7.data \
tests/test_8.data \ tests/test_8.data \
tests/test_9.data \ tests/test_9.data \
tests/test_10.data tests/test_10.data \
tests/test_11.data \
tests/test_12.data
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
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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment