| v | k | t | size | creator | method | timestamp |
| 25 | 9 | 7 | 18160 | LJCR | Simple construction: combined (24,9,7) and (24,8,6) | 2025-05-13 13:13:12 |
| 80 | 22 | 7 | 121248 | LJCR | Simple construction: combined (79,22,7) and (79,21,6) | 2025-05-13 12:58:11 |
| 48 | 16 | 6 | 6016 | LJCR | Multiple of (24,8,6) covering | 2025-05-13 12:56:58 |
| 29 | 8 | 6 | 22451 | LJCR | Simple construction: combined (28,8,6) and (28,7,5) | 2025-05-13 12:56:54 |
| 38 | 24 | 5 | 36 | LJCR | Multiple of (19,12,5) covering | 2025-05-13 12:37:37 |
| 41 | 6 | 5 | 133259 | LJCR | Simple construction: combined (40,6,5) and (40,5,4) | 2025-05-13 12:36:17 |
| 58 | 16 | 4 | 491 | LJCR | Multiple of (29,8,4) covering | 2025-05-13 12:20:58 |
| 74 | 25 | 8 | 112100 | LJCR | Dynamic programming construction | 2025-05-13 11:32:36 |
| 72 | 24 | 8 | 122766 | LJCR | Dynamic programming construction | 2025-05-13 11:12:06 |
| 69 | 24 | 8 | 82773 | LJCR | Dynamic programming construction | 2025-05-13 10:57:04 |
| 69 | 23 | 8 | 129046 | LJCR | Dynamic programming construction | 2025-05-13 10:37:08 |
| 68 | 24 | 8 | 70619 | LJCR | Dynamic programming construction | 2025-05-13 10:23:28 |
| 66 | 23 | 8 | 82193 | LJCR | Dynamic programming construction | 2025-05-13 10:07:58 |
| 50 | 24 | 8 | 5027 | LJCR | Dynamic programming construction | 2025-05-13 09:57:14 |
| 49 | 24 | 8 | 4260 | LJCR | Dynamic programming construction | 2025-05-13 09:51:50 |
| 46 | 25 | 8 | 1513 | LJCR | Dynamic programming construction | 2025-05-13 09:46:05 |
| 43 | 24 | 8 | 1146 | LJCR | Dynamic programming construction | 2025-05-13 09:45:34 |
| 39 | 23 | 8 | 700 | LJCR | Dynamic programming construction | 2025-05-13 09:44:52 |
| 38 | 23 | 8 | 541 | LJCR | Dynamic programming construction | 2025-05-13 09:43:57 |
| 58 | 25 | 7 | 3570 | LJCR | Dynamic programming construction | 2025-05-13 09:37:06 |
| 54 | 25 | 7 | 1940 | LJCR | Dynamic programming construction | 2025-05-13 09:36:24 |
| 45 | 22 | 7 | 1296 | LJCR | Dynamic programming construction | 2025-05-13 09:34:14 |
| 40 | 21 | 7 | 712 | LJCR | Dynamic programming construction | 2025-05-13 09:33:02 |
| 38 | 20 | 7 | 681 | LJCR | Dynamic programming construction | 2025-05-13 09:32:27 |
| 37 | 21 | 7 | 334 | LJCR | Dynamic programming construction | 2025-05-13 09:32:09 |
| 36 | 20 | 7 | 414 | LJCR | Dynamic programming construction | 2025-05-13 09:31:50 |
| 35 | 20 | 7 | 337 | LJCR | Dynamic programming construction | 2025-05-13 09:31:32 |
| 51 | 19 | 6 | 2542 | LJCR | Dynamic programming construction | 2025-05-13 09:20:17 |
| 46 | 19 | 6 | 1323 | LJCR | Dynamic programming construction | 2025-05-13 09:19:05 |
| 63 | 19 | 5 | 1973 | LJCR | Dynamic programming construction | 2025-05-13 09:04:25 |
| 39 | 25 | 8 | 263 | Franco Atzeni | Local Search | 2025-05-12 10:53:47 |
| 80 | 14 | 4 | 3399 | Terenzio Lazzarotto | | 2025-05-12 08:45:25 |
| 69 | 20 | 5 | 2207 | Terenzio Lazzarotto | | 2025-05-12 08:45:05 |
| 76 | 22 | 7 | 76522 | A. West | Local search | 2025-05-12 06:13:02 |
| 43 | 19 | 6 | 763 | A. West | Local search | 2025-05-12 06:13:02 |
| 70 | 24 | 8 | 96290 | A. West | Local search | 2025-05-12 06:13:01 |
| 41 | 21 | 7 | 831 | A. West | Local search | 2025-05-12 06:13:01 |
| 52 | 24 | 7 | 1767 | A. West | Local search | 2025-05-12 06:13:00 |
| 76 | 21 | 7 | 114842 | A. West | Local search | 2025-05-12 06:13:00 |
| 71 | 25 | 6 | 4073 | A. West | Local search | 2025-05-12 06:12:59 |
| 59 | 19 | 5 | 1359 | A. West | Local search | 2025-05-12 06:12:59 |
| 46 | 19 | 7 | 5785 | A. West | Local search | 2025-05-12 06:12:59 |
| 85 | 23 | 6 | 20981 | A. West | Local search | 2025-05-12 06:12:58 |
| 51 | 19 | 6 | 2545 | A. West | Local search | 2025-05-12 06:12:58 |
| 47 | 20 | 8 | 16959 | A. West | Local search | 2025-05-12 06:12:57 |
| 71 | 20 | 7 | 97535 | A. West | Local search | 2025-05-12 06:12:57 |
| 58 | 19 | 5 | 1225 | A. West | Local search | 2025-05-12 06:12:56 |
| 89 | 23 | 6 | 27254 | A. West | Local search | 2025-05-12 06:12:56 |
| 97 | 22 | 6 | 61893 | A. West | Local search | 2025-05-12 06:12:55 |
| 77 | 25 | 6 | 6680 | A. West | Local search | 2025-05-12 06:12:55 |
| 81 | 17 | 6 | 108968 | A. West | Local search | 2025-05-12 06:12:54 |
| 53 | 23 | 6 | 858 | A. West | Local search | 2025-05-12 06:12:54 |
| 85 | 24 | 6 | 15592 | A. West | Local search | 2025-05-12 06:12:53 |
| 50 | 21 | 7 | 4813 | A. West | Local search | 2025-05-12 06:12:53 |
| 58 | 24 | 6 | 1240 | A. West | Local search | 2025-05-12 06:12:53 |
| 57 | 22 | 6 | 2143 | A. West | Local search | 2025-05-12 06:12:52 |
| 78 | 22 | 7 | 93055 | A. West | Local search | 2025-05-12 06:12:52 |
| 58 | 23 | 6 | 1750 | A. West | Local search | 2025-05-12 06:12:51 |
| 86 | 25 | 7 | 72249 | A. West | Local search | 2025-05-12 06:12:51 |
| 44 | 23 | 7 | 705 | A. West | Local search | 2025-05-12 06:12:50 |
| 87 | 25 | 7 | 77288 | A. West | Local search | 2025-05-12 06:12:50 |
| 51 | 18 | 5 | 762 | A. West | Local search | 2025-05-12 06:12:49 |
| 67 | 23 | 8 | 93083 | A. West | Local search | 2025-05-12 06:12:49 |
| 71 | 23 | 7 | 31890 | A. West | Local search | 2025-05-12 06:12:48 |
| 54 | 24 | 7 | 2774 | A. West | Local search | 2025-05-12 06:12:48 |
| 74 | 22 | 7 | 62991 | A. West | Local search | 2025-05-12 06:12:47 |
| 83 | 23 | 7 | 107128 | A. West | Local search | 2025-05-12 06:12:47 |
| 53 | 25 | 8 | 6101 | A. West | Local search | 2025-05-12 06:12:46 |
| 48 | 19 | 6 | 1783 | A. West | Local search | 2025-05-12 06:12:46 |
| 89 | 25 | 7 | 94537 | A. West | Local search | 2025-05-12 06:12:45 |
| 53 | 24 | 7 | 2317 | A. West | Local search | 2025-05-12 06:12:45 |
| 70 | 21 | 7 | 58780 | A. West | Local search | 2025-05-12 06:08:48 |
| 67 | 20 | 7 | 61240 | A. West | Local search | 2025-05-12 06:08:48 |
| 56 | 23 | 6 | 1339 | A. West | Local search | 2025-05-12 06:08:47 |
| 79 | 22 | 7 | 98638 | A. West | Local search | 2025-05-12 06:08:47 |
| 52 | 21 | 8 | 25984 | A. West | Local search | 2025-05-12 06:08:46 |
| 70 | 15 | 6 | 108994 | A. West | Local search | 2025-05-12 06:08:46 |
| 36 | 18 | 8 | 3384 | A. West | Local search | 2025-05-12 06:08:45 |
| 44 | 19 | 6 | 935 | A. West | Local search | 2025-05-12 06:08:45 |
| 25 | 15 | 8 | 479 | Franco Atzeni | Local Search | 2025-05-12 05:50:18 |
| 80 | 14 | 4 | 3400 | Terenzio Lazzarotto | | 2025-05-12 04:18:18 |
| 51 | 25 | 7 | 987 | Terenzio Lazzarotto | | 2025-05-12 04:17:56 |
| 33 | 18 | 7 | 515 | Terenzio Lazzarotto | | 2025-05-12 04:17:31 |
| 37 | 24 | 8 | 252 | Franco Atzeni | Local Search | 2025-05-11 07:06:24 |
| 41 | 22 | 7 | 533 | Dietmar Pree | Local search | 2025-05-11 01:05:32 |
| 45 | 19 | 6 | 1131 | Terenzio Lazzarotto | | 2025-05-10 22:04:27 |
| 43 | 18 | 6 | 1163 | Terenzio Lazzarotto | | 2025-05-10 22:04:06 |
| 42 | 20 | 6 | 439 | Weber Azevedo | Using WSC5 | 2025-05-10 16:05:01 |
| 52 | 25 | 7 | 1233 | A. West | Local search | 2025-05-10 15:53:16 |
| 77 | 23 | 5 | 2026 | A. West | Local search | 2025-05-10 15:53:15 |
| 68 | 22 | 5 | 1265 | A. West | Local search | 2025-05-10 15:53:15 |
| 99 | 19 | 5 | 21068 | A. West | Local search | 2025-05-10 15:53:14 |
| 59 | 21 | 6 | 3674 | A. West | Local search | 2025-05-10 15:53:14 |
| 98 | 19 | 5 | 20103 | A. West | Local search | 2025-05-10 15:53:13 |
| 78 | 25 | 6 | 7039 | A. West | Local search | 2025-05-10 15:53:13 |
| 88 | 23 | 6 | 25557 | A. West | Local search | 2025-05-10 15:53:12 |
| 42 | 20 | 6 | 440 | Weber Azevedo | Using WSC5 | 2025-05-10 13:34:02 |
| 39 | 22 | 7 | 359 | Franco Atzeni | Local Search | 2025-05-10 12:46:27 |
| 37 | 24 | 8 | 253 | Franco Atzeni | Local Search | 2025-05-10 12:45:59 |
| 43 | 22 | 7 | 822 | Dietmar Pree | Local search | 2025-05-09 22:07:23 |
| 74 | 25 | 8 | 112178 | LJCR | Dynamic programming construction | 2025-05-09 21:58:01 |
| 70 | 24 | 8 | 96407 | LJCR | Dynamic programming construction | 2025-05-09 21:39:41 |
| 67 | 23 | 8 | 93520 | LJCR | Dynamic programming construction | 2025-05-09 21:22:24 |
| 66 | 22 | 8 | 131299 | LJCR | Dynamic programming construction | 2025-05-09 21:03:03 |
| 53 | 25 | 8 | 6104 | LJCR | Dynamic programming construction | 2025-05-09 20:54:08 |
| 52 | 21 | 8 | 26078 | LJCR | Dynamic programming construction | 2025-05-09 20:51:57 |
| 47 | 20 | 8 | 16989 | LJCR | Dynamic programming construction | 2025-05-09 20:44:14 |
| 46 | 25 | 8 | 1516 | LJCR | Dynamic programming construction | 2025-05-09 20:39:24 |
| 45 | 24 | 8 | 1738 | LJCR | Dynamic programming construction | 2025-05-09 20:39:08 |
| 36 | 18 | 8 | 3397 | LJCR | Dynamic programming construction | 2025-05-09 20:37:09 |
| 89 | 25 | 7 | 94855 | LJCR | Dynamic programming construction | 2025-05-09 20:24:26 |
| 87 | 25 | 7 | 78319 | LJCR | Dynamic programming construction | 2025-05-09 20:07:21 |
| 86 | 25 | 7 | 72283 | LJCR | Dynamic programming construction | 2025-05-09 19:51:30 |
| 83 | 23 | 7 | 107310 | LJCR | Dynamic programming construction | 2025-05-09 19:31:10 |
| 79 | 22 | 7 | 99105 | LJCR | Dynamic programming construction | 2025-05-09 19:14:27 |
| 78 | 22 | 7 | 93174 | LJCR | Dynamic programming construction | 2025-05-09 18:59:40 |
| 76 | 22 | 7 | 76657 | LJCR | Dynamic programming construction | 2025-05-09 18:46:36 |
| 76 | 21 | 7 | 114965 | LJCR | Dynamic programming construction | 2025-05-09 18:30:31 |
| 74 | 22 | 7 | 63056 | LJCR | Dynamic programming construction | 2025-05-09 18:18:58 |
| 71 | 23 | 7 | 31947 | LJCR | Dynamic programming construction | 2025-05-09 18:08:17 |
| 71 | 20 | 7 | 97611 | LJCR | Dynamic programming construction | 2025-05-09 17:53:47 |
| 70 | 21 | 7 | 58854 | LJCR | Dynamic programming construction | 2025-05-09 17:43:10 |
| 67 | 20 | 7 | 61336 | LJCR | Dynamic programming construction | 2025-05-09 17:31:08 |
| 54 | 24 | 7 | 2775 | LJCR | Dynamic programming construction | 2025-05-09 17:23:22 |
| 53 | 25 | 7 | 1540 | LJCR | Dynamic programming construction | 2025-05-09 17:23:05 |
| 53 | 24 | 7 | 2321 | LJCR | Dynamic programming construction | 2025-05-09 17:22:50 |
| 52 | 25 | 7 | 1234 | LJCR | Dynamic programming construction | 2025-05-09 17:22:32 |
| 52 | 24 | 7 | 1769 | LJCR | Dynamic programming construction | 2025-05-09 17:22:21 |
| 50 | 21 | 7 | 4815 | LJCR | Dynamic programming construction | 2025-05-09 17:21:40 |
| 46 | 19 | 7 | 5798 | LJCR | Dynamic programming construction | 2025-05-09 17:20:33 |
| 44 | 23 | 7 | 706 | LJCR | Dynamic programming construction | 2025-05-09 17:19:46 |
| 41 | 21 | 7 | 836 | LJCR | Dynamic programming construction | 2025-05-09 17:19:00 |
| 97 | 22 | 6 | 61966 | LJCR | Dynamic programming construction | 2025-05-09 17:08:10 |
| 89 | 23 | 6 | 27271 | LJCR | Dynamic programming construction | 2025-05-09 16:57:05 |
| 85 | 24 | 6 | 15600 | LJCR | Dynamic programming construction | 2025-05-09 16:47:48 |
| 85 | 23 | 6 | 20986 | LJCR | Dynamic programming construction | 2025-05-09 16:39:09 |
| 81 | 17 | 6 | 108985 | LJCR | Dynamic programming construction | 2025-05-09 16:23:42 |
| 78 | 25 | 6 | 7050 | LJCR | Dynamic programming construction | 2025-05-09 16:19:23 |
| 77 | 25 | 6 | 6682 | LJCR | Dynamic programming construction | 2025-05-09 16:18:15 |
| 71 | 25 | 6 | 4074 | LJCR | Dynamic programming construction | 2025-05-09 16:16:41 |
| 70 | 15 | 6 | 109071 | LJCR | Dynamic programming construction | 2025-05-09 16:04:56 |
| 59 | 21 | 6 | 3685 | LJCR | Dynamic programming construction | 2025-05-09 16:00:07 |
| 58 | 24 | 6 | 1241 | LJCR | Dynamic programming construction | 2025-05-09 15:59:30 |
| 58 | 23 | 6 | 1751 | LJCR | Dynamic programming construction | 2025-05-09 15:58:58 |
| 57 | 22 | 6 | 2144 | LJCR | Dynamic programming construction | 2025-05-09 15:58:20 |
| 56 | 23 | 6 | 1347 | LJCR | Dynamic programming construction | 2025-05-09 15:57:47 |
| 55 | 23 | 6 | 1131 | LJCR | Dynamic programming construction | 2025-05-09 15:57:16 |
| 54 | 23 | 6 | 1008 | LJCR | Dynamic programming construction | 2025-05-09 15:56:48 |
| 53 | 23 | 6 | 860 | LJCR | Dynamic programming construction | 2025-05-09 15:56:23 |
| 51 | 19 | 6 | 2546 | LJCR | Dynamic programming construction | 2025-05-09 15:55:48 |
| 50 | 23 | 6 | 522 | LJCR | Dynamic programming construction | 2025-05-09 15:55:31 |
| 48 | 19 | 6 | 1787 | LJCR | Dynamic programming construction | 2025-05-09 15:54:55 |
| 44 | 19 | 6 | 936 | LJCR | Dynamic programming construction | 2025-05-09 15:53:59 |
| 43 | 19 | 6 | 764 | LJCR | Dynamic programming construction | 2025-05-09 15:53:42 |
| 42 | 20 | 6 | 441 | LJCR | Dynamic programming construction | 2025-05-09 15:53:27 |
| 99 | 19 | 5 | 21095 | LJCR | Dynamic programming construction | 2025-05-09 15:45:41 |
| 98 | 19 | 5 | 20265 | LJCR | Dynamic programming construction | 2025-05-09 15:43:41 |
| 77 | 23 | 5 | 2029 | LJCR | Dynamic programming construction | 2025-05-09 15:40:01 |
| 68 | 22 | 5 | 1266 | LJCR | Dynamic programming construction | 2025-05-09 15:38:05 |
| 59 | 19 | 5 | 1360 | LJCR | Dynamic programming construction | 2025-05-09 15:35:56 |
| 58 | 19 | 5 | 1226 | LJCR | Dynamic programming construction | 2025-05-09 15:35:36 |
| 51 | 18 | 5 | 763 | LJCR | Dynamic programming construction | 2025-05-09 15:33:41 |
| 54 | 15 | 4 | 467 | Franco Atzeni | Local Search | 2025-05-09 11:37:49 |
| 47 | 20 | 6 | 1048 | Franco Atzeni | Local Search | 2025-05-09 11:37:18 |
| 44 | 20 | 6 | 613 | Franco Atzeni | Local Search | 2025-05-09 11:36:51 |
| 36 | 22 | 7 | 172 | Franco Atzeni | Local Search | 2025-05-09 11:36:00 |
| 35 | 21 | 7 | 216 | Franco Atzeni | Local Search | 2025-05-09 11:35:25 |
| 34 | 21 | 7 | 169 | Franco Atzeni | Local Search | 2025-05-09 11:35:01 |
| 33 | 20 | 7 | 191 | Franco Atzeni | Local Search | 2025-05-09 11:34:31 |
| 31 | 7 | 5 | 9895 | Bluskov, Milshtein and Sidorenko | Improvement of a Milshtein covering | 2025-05-09 10:48:52 |
| 30 | 7 | 5 | 7779 | Bluskov, Milshtein and Sidorenko | Improvement of a Jan de Heer and Steve Muir covering | 2025-05-09 10:43:03 |
| 22 | 13 | 8 | 571 | Giovanni Acerbi | Wheeling Systems Checker 5 | 2025-05-09 07:19:57 |
| 26 | 9 | 7 | 26304 | Bluskov, Milshtein and Sidorenko | Union optimization | 2025-05-09 06:57:00 |
| 19 | 12 | 5 | 36 | Alessandro Jurcovich | | 2025-05-09 05:33:19 |
| 43 | 22 | 7 | 825 | Dietmar Pree | Local search | 2025-05-09 03:44:21 |