K 25
svn:wc:ra_dav:version-url
V 63
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test
END
dsa_chop_dc.stp.smt2
K 25
svn:wc:ra_dav:version-url
V 84
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_dc.stp.smt2
END
dsa_chop_noopt-ssa.stp.cvc_old
K 25
svn:wc:ra_dav:version-url
V 94
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_noopt-ssa.stp.cvc_old
END
dsa_chop_dc.stp.cvc_old
K 25
svn:wc:ra_dav:version-url
V 87
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_dc.stp.cvc_old
END
dsa_chop_allopt.stp.smt2
K 25
svn:wc:ra_dav:version-url
V 88
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_allopt.stp.smt2
END
dsa_chop_allopt.stp.cvc_old
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_allopt.stp.cvc_old
END
dsa_chop_noopt-nossa.stp.smt2
K 25
svn:wc:ra_dav:version-url
V 93
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_noopt-nossa.stp.smt2
END
dsa_chop_noopt-ssa.stp.smt2
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_noopt-ssa.stp.smt2
END
dsa_chop_noopt-nossa.stp.cvc_old
K 25
svn:wc:ra_dav:version-url
V 96
/svnroot/stp-fast-prover/!svn/ver/1117/trunk/stp/tests/big-test/dsa_chop_noopt-nossa.stp.cvc_old
END
