WRONG BRANCH: revert 97da5966a74729131613f1c6771f2227b107650d
"First attemp of implementing better criterion for stopping explorations"