The produced latex was not fully standalone.

The test solvers script needed to reindex its dataframes for tools that
only solved one instance.