race1d execution performance measurement
Merge origin/prolog1 into prolog1