Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | bounded_coefficients.sc | 723 | logstatsplain |
-rw-r--r-- | bounded_coefficients.st | 417 | logstatsplain |
-rw-r--r-- | carry_bounded_coefficients.sc | 1034 | logstatsplain |
-rw-r--r-- | carry_bounded_coefficients.st | 157 | logstatsplain |
-rw-r--r-- | disjunctive_domain.sc | 503 | logstatsplain |
-rw-r--r-- | disjunctive_domain.st | 354 | logstatsplain |
-rw-r--r-- | feautrier_compressed.sc | 217 | logstatsplain |
-rw-r--r-- | feautrier_compressed.st | 158 | logstatsplain |
-rw-r--r-- | max_coincidence.sc | 405 | logstatsplain |
-rw-r--r-- | max_coincidence.st | 545 | logstatsplain |
-rw-r--r-- | nomax_coincidence.sc | 432 | logstatsplain |
-rw-r--r-- | nomax_coincidence.st | 438 | logstatsplain |