About complexity results of 1,153
14:37 19:21 13:47 11:52 03:34 02:41 02:52 02:43 03:22 02:36 03:11 02:57 27:12 16:26 09:21 07:39 08:33 08:10 06:21 08:25 03:41 03:43 03:12 03:19 03:20 03:32 02:37 03:45 18:05 03:15 03:31 12:50 13:15 13:04 12:13 09:23 07:21 03:20 03:24 03:53 07:35 07:58 05:09 04:36 03:24 04:02