Merge pull request #5510 from kit-ty-kate/solver-tolerance #4055

Job	Run time
Analyse	3s
Cygwin	4s
Build-Linux (4.08.1)	2m 28s
Build-Linux (4.09.1)	2m 32s
Test-macOS (4.14.2)	26m 30s
Build-macOS (4.14.2)	3m 50s
Build-Linux (4.10.2)	2m 24s
Test-macOS (5.3.0)	23m 32s
Build-macOS (5.3.0)	3m 29s
Build-Linux (4.11.2)	2m 25s
Build-Linux (4.12.1)	2m 28s
Build-Linux (4.13.1)	2m 33s
Hygiene	17s
Build-Linux (5.0.0)	2m 39s
Build-Linux (5.1.1)	2m 27s
Build-Linux (5.2.1)	2m 19s
Build-Linux (4.14.2)	2m 19s
Build-Linux (5.3.0)	2m 25s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	34m 51s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	40m 55s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	41m 53s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	8m 41s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	45m 21s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	41m 13s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	41m 33s
Doc-Linux (4.14.2)	1m 15s
Test-Linux (4.14.2)	11m 14s
Doc-Linux (5.3.0)	1m 14s
Solvers-Linux (z3, 4.14.2)	52s
Test-Linux (5.3.0)	9m 9s
Cold-Linux	5m 11s
Solvers-Linux (z3, 5.3.0)	1m 0s
Solvers-Linux (0install, 4.14.2)	1m 28s
Upgrade-Linux (4.14.2)	1m 31s
Solvers-Linux (0install, 5.3.0)	1m 23s
Upgrade-Linux (5.3.0)	1m 27s
Upgrade-macOS (4.14.2)	2m 4s
Solvers-macOS (z3, 4.14.2)	1m 23s
Upgrade-macOS (5.3.0)	2m 10s
Solvers-macOS (z3, 5.3.0)	1m 19s
Solvers-macOS (0install, 4.14.2)	1m 29s
Solvers-macOS (0install, 5.3.0)	1m 24s
	6h 24m 44s

Provide feedback