Average solving time (sec.)