Name Date Size #Lines LOC

..13-Mar-2025-

bounded_coefficients.scH A D13-Mar-2025723 1312

bounded_coefficients.stH A D13-Mar-2025417 65

carry_bounded_coefficients.scH A D13-Mar-20251 KiB2019

carry_bounded_coefficients.stH A D13-Mar-2025157 65

disjunctive_domain.scH A D13-Mar-2025503 54

disjunctive_domain.stH A D13-Mar-2025354 65

feautrier_compressed.scH A D13-Mar-2025217 65

feautrier_compressed.stH A D13-Mar-2025158 87

flat1.scH A D13-Mar-2025188 43

flat1.stH A D13-Mar-2025152 65

flat2.scH A D13-Mar-2025168 43

flat2.stH A D13-Mar-2025141 65

flat3.scH A D13-Mar-2025180 43

flat3.stH A D13-Mar-2025172 65

flat4.scH A D13-Mar-2025183 43

flat4.stH A D13-Mar-2025179 65

flat5.scH A D13-Mar-2025190 43

flat5.stH A D13-Mar-2025140 65

flat6.scH A D13-Mar-2025192 43

flat6.stH A D13-Mar-2025140 65

max_coincidence.scH A D13-Mar-2025405 87

max_coincidence.stH A D13-Mar-2025545 1413

niewang.scH A D13-Mar-20251.7 KiB3029

niewang.stH A D13-Mar-20251.3 KiB2625

nomax_coincidence.scH A D13-Mar-2025432 87

nomax_coincidence.stH A D13-Mar-2025438 109

poliwoda.scH A D13-Mar-20253.1 KiB4847

poliwoda.stH A D13-Mar-2025614 65