3 ms·For some reason 134 is the smallest upper limit for which it finds the counterexample...by tromp 5y agoFor some reason 134 is the smallest upper limit for which it finds the counterexample...