| ../ | - | |
| bounded_coefficients.sc | 723 B | 2026-08-19 08:50:08 |
| bounded_coefficients.st | 417 B | 2026-08-19 08:50:08 |
| carry_bounded_coefficients.sc | 1.0kB | 2026-08-19 08:50:08 |
| carry_bounded_coefficients.st | 157 B | 2026-08-19 08:50:08 |
| disjunctive_domain.sc | 503 B | 2026-08-19 08:50:08 |
| disjunctive_domain.st | 354 B | 2026-08-19 08:50:08 |
| feautrier_compressed.sc | 217 B | 2026-08-19 08:50:08 |
| feautrier_compressed.st | 158 B | 2026-08-19 08:50:08 |
| flat1.sc | 188 B | 2026-08-19 08:50:08 |
| flat1.st | 152 B | 2026-08-19 08:50:08 |
| flat2.sc | 168 B | 2026-08-19 08:50:08 |
| flat2.st | 141 B | 2026-08-19 08:50:08 |
| flat3.sc | 180 B | 2026-08-19 08:50:08 |
| flat3.st | 172 B | 2026-08-19 08:50:08 |
| flat4.sc | 183 B | 2026-08-19 08:50:08 |
| flat4.st | 179 B | 2026-08-19 08:50:08 |
| flat5.sc | 190 B | 2026-08-19 08:50:08 |
| flat5.st | 140 B | 2026-08-19 08:50:08 |
| flat6.sc | 192 B | 2026-08-19 08:50:08 |
| flat6.st | 140 B | 2026-08-19 08:50:08 |
| fork1.sc | 224 B | 2026-08-19 08:50:08 |
| fork1.st | 170 B | 2026-08-19 08:50:08 |
| fork2.sc | 224 B | 2026-08-19 08:50:08 |
| fork2.st | 113 B | 2026-08-19 08:50:08 |
| fork3.sc | 326 B | 2026-08-19 08:50:08 |
| fork3.st | 517 B | 2026-08-19 08:50:08 |
| max_coincidence.sc | 405 B | 2026-08-19 08:50:08 |
| max_coincidence.st | 545 B | 2026-08-19 08:50:08 |
| nana.sc | 544 B | 2026-08-19 08:50:08 |
| nana.st | 568 B | 2026-08-19 08:50:08 |
| niewang.sc | 1.8kB | 2026-08-19 08:50:08 |
| niewang.st | 1.3kB | 2026-08-19 08:50:08 |
| nomax_coincidence.sc | 432 B | 2026-08-19 08:50:08 |
| nomax_coincidence.st | 438 B | 2026-08-19 08:50:08 |
| poliwoda.sc | 3.1kB | 2026-08-19 08:50:08 |
| poliwoda.st | 614 B | 2026-08-19 08:50:08 |