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:37 02:24 05:58 06:19 05:51 05:18 02:29 10:02 06:54 06:14 05:30 03:14 04:38 08:21 02:37 04:34 05:09 08:26 04:48 08:56 16:26 31:20 08:34 09:35 03:41 05:39 05:48 03:45 04:19 03:40 13:36 04:38 04:40