K 25
svn:wc:ra_dav:version-url
V 66
/svnroot/stp-fast-prover/!svn/ver/424/trunk/stp/tests/sample-tests
END
a114test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a114test0001.cvc
END
a115test0002.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a115test0002.cvc
END
a116test0003.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a116test0003.cvc
END
a172test0002.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a172test0002.cvc
END
a165test0010.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a165test0010.cvc
END
a174test0003.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a174test0003.cvc
END
a182test0015.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a182test0015.cvc
END
a176test0022.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a176test0022.cvc
END
a166test0014.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a166test0014.cvc
END
a128test0016.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a128test0016.cvc
END
variable-rightshift-invalid.cvc
K 25
svn:wc:ra_dav:version-url
V 98
/svnroot/stp-fast-prover/!svn/ver/424/trunk/stp/tests/sample-tests/variable-rightshift-invalid.cvc
END
a169test0012.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a169test0012.cvc
END
a177test0006.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a177test0006.cvc
END
a178test0007.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a178test0007.cvc
END
egt-1899.cvc
K 25
svn:wc:ra_dav:version-url
V 79
/svnroot/stp-fast-prover/!svn/ver/106/trunk/stp/tests/sample-tests/egt-1899.cvc
END
a168test0018.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a168test0018.cvc
END
a188test0016.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a188test0016.cvc
END
a179test0008.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a179test0008.cvc
END
a100test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a100test0001.cvc
END
a101test0002.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a101test0002.cvc
END
a103test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a103test0001.cvc
END
a121test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a121test0001.cvc
END
a105test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a105test0001.cvc
END
a122test0002.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a122test0002.cvc
END
a107test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a107test0001.cvc
END
a123test0003.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a123test0003.cvc
END
a126test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a126test0001.cvc
END
a124test0004.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a124test0004.cvc
END
a181test0020.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a181test0020.cvc
END
a173test0011.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a173test0011.cvc
END
a163test0021.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a163test0021.cvc
END
a180test0004.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a180test0004.cvc
END
a167test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a167test0001.cvc
END
a185test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a185test0001.cvc
END
long-by-hand.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/106/trunk/stp/tests/sample-tests/long-by-hand.cvc
END
a170test0017.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a170test0017.cvc
END
a164test0005.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a164test0005.cvc
END
a175test0013.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a175test0013.cvc
END
a186test0002.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a186test0002.cvc
END
a171test0019.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a171test0019.cvc
END
a127test0009.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a127test0009.cvc
END
a12test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 82
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a12test0001.cvc
END
a13test0002.cvc
K 25
svn:wc:ra_dav:version-url
V 82
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a13test0002.cvc
END
a15test0001.cvc
K 25
svn:wc:ra_dav:version-url
V 82
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a15test0001.cvc
END
a187test0009.cvc
K 25
svn:wc:ra_dav:version-url
V 83
/svnroot/stp-fast-prover/!svn/ver/405/trunk/stp/tests/sample-tests/a187test0009.cvc
END
variable-rightshift-valid.cvc
K 25
svn:wc:ra_dav:version-url
V 96
/svnroot/stp-fast-prover/!svn/ver/424/trunk/stp/tests/sample-tests/variable-rightshift-valid.cvc
END
