About complexity results of 1,153
05:03 12:42 14:16 11:06 09:20 05:38 05:42 05:38 03:57 05:10 04:59 05:20 04:51 04:17 04:25 03:46 06:44 05:41 05:10 05:05 03:59 04:11 04:09 04:27 04:10 04:40 03:44 05:58 04:13 04:01 03:59 03:43 05:09 06:15 07:25 05:16 04:48 04:23 03:48 30:59 19:12 18:50 20:06 15:00 12:12 11:52