[%eval 0.23] [%clk 2:00:28]
[%eval 0.0] [%clk 1:53:48]
[%eval 0.36] [%clk 1:59:22]
[%eval 0.36] [%clk 2:00:28]
[%eval 0.36] [%clk 0:07:41]