tree deab164de82cb938220c629b85fd9bdce227034c
parent bd1fcc5fe20912221e220795d1bdce6e6d13d7b4
author Benno Schulenberg <bensberg@justemail.net> 1470487148 +0200
committer Benno Schulenberg <bensberg@justemail.net> 1470557682 +0200

debug: add a timing instrument to the main search routine