About complexity results of 1,157
02:33 03:43 02:27 02:27 03:27 81:47 51:30 05:25 06:00 07:45 10:01 02:03 02:05 05:26 03:15 02:55 02:24 12:34 14:08 16:50 25:09 11:08 03:08 02:16 03:39 02:23 02:48 02:49 01:53 02:28 02:47 02:09 03:29 10:58 07:37 07:35 10:02 07:16 02:43 03:50 03:28 02:14 03:05 03:41 19:20 19:21