Dear all,
I am using the XCSP3 Choco parser command line utility to solve my XCSP3 problem instance, however, the command line offers an option -csv to output the solver search results as a csv line,. here are two examples
S;12;1.362;1200.003;536.026;717;8144100;16190413;0;8046757;1654;
here another example
T;607;0.552;3.990;3.043;940097;8571;11487;0;2916;422;
I tried to find a documentation explaining the meaning of the csv columns, but in vain.
Do you have an idea on the interpretation of the columns? It would be nice if you could guide me to a documentation?
Thanks in Advance