Fix determination of EPD solving time
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 27 Mar 2016 09:22:41 +0000 (11:22 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 14:51:34 +0000 (16:51 +0200)
commit8e489d513f354388fa888b280b7a06dd0b7993e4
treef3b783c2b25f88bda97995c0b8c88fcdc164e327
parent58b79b90c17a718bdbc2176f20d4bc89adccebc9
Fix determination of EPD solving time

Repeating an already found solution would increase the solving time
like the repetition was the first good solution.
backend.c