2 ms·Also not this SCIP: https://www.scipopt.org/ https://www.scipopt.org/by eru 7mo agoAlso not this SCIP: https://www.scipopt.org/ https://www.scipopt.org/