About abstraction results of 320
56:16 53:38 59:23 49:14 45:41 111:48 64:50 93:37 50:36 66:02 65:47 59:35 58:47 68:56 68:56 56:50 59:41 56:51 68:56 61:07 76:46 50:37 119:09 73:03 61:11 72:52 58:07 78:46 81:47 68:13 52:50 145:56 125:11 72:39 63:27 76:41 70:40 85:44 95:59 221:41 138:35 105:55 83:04 89:35