9

dir
32
https://ellipse.math.ucdavis.edu/usvn/svn/polysys/trunk/src/sat/test
https://ellipse.math.ucdavis.edu/usvn/svn/polysys



2009-07-13T22:10:24.583287Z
2
malkin


svn:special svn:externals svn:needs-lock











6368b0d9-103f-44e1-ab64-fb26b4a3e984

.poly
file




2011-03-02T19:33:28.000000Z
2019c0277a71b750ba17a1dde8d0b013
2009-07-13T22:10:24.583287Z
2
malkin





















182

RUN_OUTPUT
file




2011-03-02T19:33:28.000000Z
2f87ba34b9f35345965f5ff40809e067
2009-07-13T22:10:24.583287Z
2
malkin





















4057

small
file




2011-03-02T19:33:28.000000Z
1b2b2abea6484a4e64d14831ddb97e6a
2009-07-13T22:10:24.583287Z
2
malkin





















46

small.poly
file




2011-03-02T19:33:29.000000Z
9ae9b26bded335e657260cdf9d7899f9
2009-07-13T22:10:24.583287Z
2
malkin





















222

