K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/stp-fast-prover/!svn/ver/447/trunk/stp/tests/sample-smt-tests
END
610dd9dc.T.stp.smt_71.smt
K 25
svn:wc:ra_dav:version-url
V 96
/svnroot/stp-fast-prover/!svn/ver/407/trunk/stp/tests/sample-smt-tests/610dd9dc.T.stp.smt_71.smt
END
convert-tiff2jpg-query-1831.smt_68.smt
K 25
svn:wc:ra_dav:version-url
V 109
/svnroot/stp-fast-prover/!svn/ver/407/trunk/stp/tests/sample-smt-tests/convert-tiff2jpg-query-1831.smt_68.smt
END
working_54.smt
K 25
svn:wc:ra_dav:version-url
V 85
/svnroot/stp-fast-prover/!svn/ver/106/trunk/stp/tests/sample-smt-tests/working_54.smt
END
working_55.smt
K 25
svn:wc:ra_dav:version-url
V 85
/svnroot/stp-fast-prover/!svn/ver/106/trunk/stp/tests/sample-smt-tests/working_55.smt
END
