Mon, 31 Jan 2022 16:09:23 +0100 tweaked verbose output
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75033
tweaked verbose output
Mon, 31 Jan 2022 16:09:23 +0100 tweak padding of prover slice schedule to include all provers
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75032
tweak padding of prover slice schedule to include all provers
Mon, 31 Jan 2022 16:09:23 +0100 implemented 'max_proofs' mechanism
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75031
implemented 'max_proofs' mechanism
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip