About hardness results of 134
19:17 01:33 76:07 10:51 15:14 06:10 16:21 09:06 01:28 11:23 07:29 05:02 07:40 02:24 02:37 05:18 05:58 05:51 06:19 02:29 10:02 06:54 05:30 06:14 03:14 04:38 08:21 04:34 02:37 05:09 08:26 08:56 04:48 16:26 31:20 08:34 09:35 03:45 05:48 05:39 03:41 04:19 03:40 13:36 04:38 04:06