About complexity results of 1,157
37:40 47:36 38:01 72:18 50:41 35:30 45:36 49:41 36:32 40:50 44:19 51:25 35:48 89:35 47:53 48:14 63:04 39:00 54:58 50:03 50:03 59:00 34:30 55:13 40:35 44:48 46:09 111:27 54:17 52:37 53:20 42:27 120:59 81:13 81:52 55:45 60:01 47:55 131:28 115:07 36:55 64:46 193:45 168:29 81:48 166:31