About complexity results of 1,157
05:48 03:24 02:48 04:02 03:31 35:52 11:03 10:31 04:44 04:40 03:35 04:05 03:39 05:12 04:12 05:05 04:24 04:04 03:22 03:08 05:18 04:26 03:18 04:27 02:59 04:24 14:50 12:34 12:23 04:11 05:44 04:32 03:32 05:31 10:14 03:52 05:01 04:37 04:34 04:45 03:31 05:03 04:19 04:01 04:32 14:16