About complexity results of 1,156
01:12 15:24 38:01 14:01 12:36 03:35 36:22 07:56 53:22 08:57 01:01 53:00 02:23 07:46 21:28 01:35 08:33 02:45 04:39 35:53 13:26 09:54 08:49 07:09 03:29 03:14 05:37 09:27 15:07 227:08 09:11 03:52 03:28 04:04 00:33 01:30 00:37 01:43 08:51 03:53 04:42 04:06 09:34 13:24 11:31 21:04