giles
353dcb67d6
Test, Build, and Deploy / test-build-deploy (push) Failing after 22s
ocaml: phase 5.1 partition_count.ml baseline (p(15) = 176)
...
Counts integer partitions via classic DP:
let partition_count n =
let dp = Array.make (n + 1) 0 in
dp.(0) <- 1;
for k = 1 to n do
for i = k to n do
dp.(i) <- dp.(i) + dp.(i - k)
done
done;
dp.(n)
partition_count 15 = 176
Tests Array.make, .(i)<-/.(i) array access, nested for-loops, refs.
135 baseline programs total.
2026-05-10 03:13:36 +00:00
..
2026-05-10 00:36:29 +00:00
2026-05-09 08:50:12 +00:00
2026-05-09 19:18:01 +00:00
2026-05-09 12:14:32 +00:00
2026-05-09 19:47:21 +00:00
2026-05-09 12:34:36 +00:00
2026-05-09 06:15:03 +00:00
2026-05-09 06:59:22 +00:00
2026-05-09 12:52:55 +00:00
2026-05-09 12:24:48 +00:00
2026-05-09 11:19:23 +00:00
2026-05-09 13:02:17 +00:00
2026-05-09 09:15:00 +00:00
2026-05-10 02:26:10 +00:00
2026-05-09 10:40:49 +00:00
2026-05-09 21:06:10 +00:00
2026-05-09 10:21:11 +00:00
2026-05-09 16:28:15 +00:00
2026-05-09 19:56:58 +00:00
2026-05-09 20:05:45 +00:00
2026-05-09 22:21:16 +00:00
2026-05-09 21:59:23 +00:00
2026-05-09 21:35:59 +00:00
2026-05-09 20:16:49 +00:00
2026-05-09 22:11:11 +00:00
2026-05-09 20:36:43 +00:00
2026-05-09 21:46:16 +00:00
2026-05-09 22:53:27 +00:00
2026-05-09 22:43:45 +00:00
2026-05-09 23:27:15 +00:00
2026-05-09 22:31:27 +00:00
2026-05-09 23:03:06 +00:00
2026-05-09 23:37:36 +00:00
2026-05-09 23:17:00 +00:00
2026-05-09 23:50:25 +00:00
2026-05-10 00:26:46 +00:00
2026-05-10 00:09:57 +00:00
2026-05-09 12:04:42 +00:00
2026-05-10 03:13:36 +00:00
2026-05-09 11:09:23 +00:00
2026-05-09 17:36:24 +00:00
2026-05-09 15:53:47 +00:00
2026-05-09 20:56:31 +00:00
2026-05-09 11:52:19 +00:00
2026-05-09 06:05:31 +00:00
2026-05-09 11:42:52 +00:00
2026-05-09 19:08:19 +00:00
2026-05-09 09:34:40 +00:00
2026-05-09 17:45:52 +00:00
2026-05-09 14:40:22 +00:00
2026-05-09 13:30:46 +00:00
2026-05-09 18:27:50 +00:00
2026-05-09 08:21:19 +00:00
2026-05-10 02:46:20 +00:00
2026-05-09 15:02:13 +00:00
2026-05-09 17:55:07 +00:00
2026-05-09 21:16:40 +00:00
2026-05-09 07:41:01 +00:00
2026-05-09 10:07:12 +00:00
2026-05-09 15:42:01 +00:00
2026-05-09 19:27:14 +00:00
2026-05-09 11:00:00 +00:00
2026-05-09 15:22:28 +00:00
2026-05-09 20:46:42 +00:00
2026-05-09 18:58:32 +00:00
2026-05-09 18:39:46 +00:00
2026-05-09 17:24:53 +00:00
2026-05-09 15:11:46 +00:00
2026-05-09 19:37:11 +00:00
2026-05-09 14:52:13 +00:00
2026-05-09 08:29:01 +00:00
2026-05-10 01:39:25 +00:00
2026-05-10 01:29:52 +00:00
2026-05-09 10:31:22 +00:00
2026-05-09 16:03:22 +00:00
2026-05-09 16:13:05 +00:00
2026-05-10 03:13:36 +00:00
2026-05-09 21:26:31 +00:00
2026-05-09 09:57:18 +00:00
2026-05-09 16:38:09 +00:00
2026-05-10 01:02:18 +00:00
2026-05-09 07:19:52 +00:00
2026-05-09 17:15:47 +00:00
2026-05-09 14:21:24 +00:00
2026-05-09 09:24:41 +00:00
2026-05-09 12:44:02 +00:00
2026-05-10 03:02:17 +00:00
2026-05-10 02:36:37 +00:00
2026-05-09 08:39:56 +00:00
2026-05-09 16:47:56 +00:00
2026-05-09 09:47:25 +00:00
2026-05-09 06:47:47 +00:00
2026-05-09 07:31:33 +00:00
2026-05-09 18:09:33 +00:00
2026-05-09 16:56:46 +00:00
2026-05-09 18:49:00 +00:00
2026-05-09 13:46:40 +00:00
2026-05-10 02:05:09 +00:00
2026-05-09 14:00:49 +00:00
2026-05-09 17:06:10 +00:00
2026-05-10 01:17:11 +00:00
2026-05-09 15:32:11 +00:00
2026-05-09 13:15:05 +00:00
2026-05-09 05:44:35 +00:00
2026-05-09 08:11:07 +00:00
2026-05-09 08:01:21 +00:00
2026-05-09 18:19:02 +00:00
2026-05-10 01:49:23 +00:00
2026-05-09 14:30:55 +00:00
2026-05-09 11:33:30 +00:00