|
Up
|
|
|
|
|
CVS/
|
— |
|
|
|
bounded_coefficients.sc
|
|
|
|
|
bounded_coefficients.st
|
|
|
|
|
carry_bounded_coefficients.sc
|
|
|
|
|
carry_bounded_coefficients.st
|
|
|
|
|
disjunctive_domain.sc
|
|
|
|
|
disjunctive_domain.st
|
|
|
|
|
feautrier_compressed.sc
|
|
|
|
|
feautrier_compressed.st
|
|
|
|
|
flat1.sc
|
|
|
|
|
flat1.st
|
|
|
|
|
flat2.sc
|
|
|
|
|
flat2.st
|
|
|
|
|
flat3.sc
|
|
|
|
|
flat3.st
|
|
|
|
|
flat4.sc
|
|
|
|
|
flat4.st
|
|
|
|
|
flat5.sc
|
|
|
|
|
flat5.st
|
|
|
|
|
flat6.sc
|
|
|
|
|
flat6.st
|
|
|
|
|
fork1.sc
|
|
|
|
|
fork1.st
|
|
|
|
|
fork2.sc
|
|
|
|
|
fork2.st
|
|
|
|
|
fork3.sc
|
|
|
|
|
fork3.st
|
|
|
|
|
leyin1.sc
|
|
|
|
|
leyin1.st
|
|
|
|
|
leyin2a.sc
|
|
|
|
|
leyin2a.st
|
|
|
|
|
leyin2b.sc
|
|
|
|
|
leyin2b.st
|
|
|
|
|
max_coincidence.sc
|
|
|
|
|
max_coincidence.st
|
|
|
|
|
nana.sc
|
|
|
|
|
nana.st
|
|
|
|
|
niewang.sc
|
|
|
|
|
niewang.st
|
|
|
|
|
nomax_coincidence.sc
|
|
|
|
|
nomax_coincidence.st
|
|
|
|
|
poliwoda.sc
|
|
|
|
|
poliwoda.st
|
|
|
|