K 25
svn:wc:ra_dav:version-url
V 64
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/misc-tests
END
no-query.cvc
K 25
svn:wc:ra_dav:version-url
V 77
/svnroot/stp-fast-prover/!svn/ver/399/trunk/stp/tests/misc-tests/no-query.cvc
END
cryptominisat-bug.cvc
K 25
svn:wc:ra_dav:version-url
V 86
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/misc-tests/cryptominisat-bug.cvc
END
