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 07:09 08:49 03:29 03:14 05:37 09:27 15:07 227:08 09:11 03:52 03:28 04:04 00:33 00:37 01:30 08:51 01:43 13:24 09:34 11:31 04:06 04:42 03:53 21:04