| .. | | - | - |
| bounded_coefficients.sc | D | 03-May-2024 | 723 | 13 | 12 |
| bounded_coefficients.st | D | 03-May-2024 | 417 | 6 | 5 |
| carry_bounded_coefficients.sc | D | 03-May-2024 | 1 KiB | 20 | 19 |
| carry_bounded_coefficients.st | D | 03-May-2024 | 157 | 6 | 5 |
| disjunctive_domain.sc | D | 03-May-2024 | 503 | 5 | 4 |
| disjunctive_domain.st | D | 03-May-2024 | 354 | 6 | 5 |
| feautrier_compressed.sc | D | 03-May-2024 | 217 | 6 | 5 |
| feautrier_compressed.st | D | 03-May-2024 | 158 | 8 | 7 |
| flat1.sc | D | 03-May-2024 | 188 | 4 | 3 |
| flat1.st | D | 03-May-2024 | 152 | 6 | 5 |
| flat2.sc | D | 03-May-2024 | 168 | 4 | 3 |
| flat2.st | D | 03-May-2024 | 141 | 6 | 5 |
| flat3.sc | D | 03-May-2024 | 180 | 4 | 3 |
| flat3.st | D | 03-May-2024 | 172 | 6 | 5 |
| flat4.sc | D | 03-May-2024 | 183 | 4 | 3 |
| flat4.st | D | 03-May-2024 | 179 | 6 | 5 |
| flat5.sc | D | 03-May-2024 | 190 | 4 | 3 |
| flat5.st | D | 03-May-2024 | 140 | 6 | 5 |
| flat6.sc | D | 03-May-2024 | 192 | 4 | 3 |
| flat6.st | D | 03-May-2024 | 140 | 6 | 5 |
| max_coincidence.sc | D | 03-May-2024 | 405 | 8 | 7 |
| max_coincidence.st | D | 03-May-2024 | 545 | 14 | 13 |
| niewang.sc | D | 03-May-2024 | 1.7 KiB | 30 | 29 |
| niewang.st | D | 03-May-2024 | 1.3 KiB | 26 | 25 |
| nomax_coincidence.sc | D | 03-May-2024 | 432 | 8 | 7 |
| nomax_coincidence.st | D | 03-May-2024 | 438 | 10 | 9 |
| poliwoda.sc | D | 03-May-2024 | 3.1 KiB | 48 | 47 |
| poliwoda.st | D | 03-May-2024 | 614 | 6 | 5 |