A very difficult file, may take hours. In a simulation, it did not finish after ~8 hours; in other simulations
it finished after 1 and after 3 hours.
