Result on 2206-13424 benchmark

Solvers (Click on a solver to hide it or double click to hide all the others)