Tweaking the futility pruning formula #2101

Job	Run time
Binaries	0s
Prerelease	0s
ARM_Binaries	0s
Analyzers / Check includes	3m 1s
Compiles / Ubuntu 20.04 GCC	2m 34s
Sanitizers / Run with thread sanitizer	4m 36s
Compiles / Ubuntu 20.04 Clang	2m 31s
Sanitizers / Run with UB sanitizer	1m 3s
Compiles / MacOS 13 Apple Clang	2m 12s
Tests / Ubuntu 20.04 GCC	10m 33s
Compiles / MacOS 13 GCC 11	2m 44s
Sanitizers / Run under valgrind	4m 17s
Tests / Ubuntu 20.04 Clang	10m 18s
Compiles / Windows 2022 Mingw-w64 GCC x86_64	5m 6s
Sanitizers / Run under valgrind-thread	5m 39s
Tests / Android NDK aarch64	2m 5s
Compiles / Windows 2022 Mingw-w64 Clang x86_64	4m 59s
Tests / Android NDK arm	3m 44s
Tests / Linux GCC riscv64	5m 57s
Tests / Linux GCC ppc64	4m 27s
Tests / MacOS 13 Apple Clang	4m 37s
Tests / MacOS 13 GCC 11	6m 22s
Tests / Windows 2022 Mingw-w64 GCC x86_64	7m 22s
Tests / Windows 2022 Mingw-w64 GCC i686	4m 15s
Tests / Windows 2022 Mingw-w64 Clang x86_64	7m 18s
	1h 45m 40s

Provide feedback