10

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



2011-02-03T03:47:13.317678Z
1117
trevor_hansen














e59a4935-1847-0410-ae03-e826735625c1

dsa_chop_dc.stp.smt2
file




2011-12-13T02:40:58.000000Z
4efb8b4f9f9903d6814db0bf943e4ccc
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















59886

dsa_chop_noopt-ssa.stp.cvc_old
file




2011-12-13T02:40:58.000000Z
6974804307445ecf1a299657dc47ade1
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















267984

dsa_chop_dc.stp.cvc_old
file




2011-12-13T02:40:58.000000Z
97fecffe1f160c7d8dc6a773edfed012
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















186696

dsa_chop_allopt.stp.smt2
file




2011-12-13T02:40:58.000000Z
7a40ed4d24b3e8de2ae257d6ab2816e3
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















63194

dsa_chop_allopt.stp.cvc_old
file




2011-12-13T02:40:58.000000Z
39d885bc2318665c081d844d530ba275
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















139208

dsa_chop_noopt-nossa.stp.smt2
file




2011-12-13T02:40:58.000000Z
46eed798d2b4665eed35a928d4ca1e83
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















59903

dsa_chop_noopt-ssa.stp.smt2
file




2011-12-13T02:40:58.000000Z
35f580cd93fa38ca6f5d8f1b91fa23cd
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















59909

dsa_chop_noopt-nossa.stp.cvc_old
file




2011-12-13T02:40:58.000000Z
0a71fc74dc9aa622b9babb03075a74a7
2011-02-03T03:47:13.317678Z
1117
trevor_hansen





















265365

