10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/tests/sample-smt-tests
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2009-12-02T16:18:36.962769Z
447
vijay_ganesh














e59a4935-1847-0410-ae03-e826735625c1

610dd9dc.T.stp.smt_71.smt
file




2011-12-13T02:40:48.000000Z
8c88fa724a76921d5e485bd0331ead8c
2009-11-16T17:13:31.708798Z
407
vijay_ganesh
has-props




















355295

convert-tiff2jpg-query-1831.smt_68.smt
file




2011-12-13T02:40:48.000000Z
01ccdd6da6da4b0c6da9d243ba38ac7a
2009-11-16T17:13:31.708798Z
407
vijay_ganesh
has-props




















269076

working_54.smt
file




2011-12-13T02:40:48.000000Z
c4613848fcbdbea871ab6c8bf6ceb912
2009-08-11T16:18:36.481076Z
106
vijay_ganesh





















425

working_55.smt
file




2011-12-13T02:40:48.000000Z
7924fbe6f08d5e2f5eb76279fffd77e3
2009-08-11T16:18:36.481076Z
106
vijay_ganesh





















917

