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