10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/unit_test
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2011-08-06T04:02:44.967262Z
1378
trevor_hansen














e59a4935-1847-0410-ae03-e826735625c1

harald.smt2
file




2011-12-13T02:40:59.000000Z
b43133c1254181011541283009e462bb
2011-02-23T07:09:20.203489Z
1160
trevor_hansen





















358

xor4.smt2
file




2011-12-13T02:40:59.000000Z
e6dc60c4a336cee9909b1e469f286b2f
2010-09-07T14:21:46.594087Z
1014
trevor_hansen





















318

pure2.smt2
file




2011-12-13T02:40:59.000000Z
beaaf9033e1a20fac787533eb9d4dc9d
2011-05-11T05:17:11.517134Z
1332
trevor_hansen





















571

unc_shift.smt
file




2011-12-13T02:40:59.000000Z
5becd96c90b62938dae3a0253cca3200
2011-08-06T04:02:44.967262Z
1378
trevor_hansen





















411

bvxor.smt2
file




2011-12-13T02:40:59.000000Z
6e83715f7bcd1685cdfc80030c999262
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















200

unit_test.sh
file




2011-12-13T02:40:59.000000Z
2ba0e735d66d6c0f9a862bdbe534a905
2011-07-12T07:04:35.597849Z
1368
trevor_hansen
has-props




















421

eq.smt2
file




2011-12-13T02:40:59.000000Z
dedfba60f37947829da2d02ee5a4d21e
2010-09-24T00:32:30.393337Z
1022
trevor_hansen





















390

bvshift.smt2
file




2011-12-13T02:40:59.000000Z
7b2ef77ae40045dd4a70fcb97545d7b4
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















265

bvsgt2.smt2
file




2011-12-13T02:40:59.000000Z
e766f3681212cc33932ccc9a7043e077
2011-03-09T03:45:26.061544Z
1194
trevor_hansen





















288

bvor.smt2
file




2011-12-13T02:40:59.000000Z
c7ce712310b52f7a57bda75e47a15dce
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















268

pure.smt2
file




2011-12-13T02:40:59.000000Z
381e6135b0cc7314ea8e5e057ae02fe0
2011-02-23T07:09:20.203489Z
1160
trevor_hansen





















249

bvand2.smt2
file




2011-12-13T02:40:59.000000Z
32145c8da38ef62e17dbff60c3d238a4
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















533

bvsolver.smt
file




2011-12-13T02:40:59.000000Z
b91e7fa3c090c96b738d31ef321ce4be
2010-08-31T13:59:43.743745Z
1008
trevor_hansen





















469

bvconcat2.smt2
file




2011-12-13T02:40:59.000000Z
74b1dc542650eb0b435f29dde9fb8543
2010-09-12T13:55:09.035730Z
1020
trevor_hansen





















455

bvsgt.smt2
file




2011-12-13T02:40:59.000000Z
149c3bb55a913136414839bf2c3f740e
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















204

sim.smt2
file




2011-12-13T02:40:59.000000Z
7b4354c5fd4e6041927e5d14555575f5
2010-06-26T08:44:09.444795Z
889
trevor_hansen





















330

xor3.smt2
file




2011-12-13T02:40:59.000000Z
98c59ead52eb080b56df1b6ccceb5b25
2010-09-07T13:09:42.101619Z
1013
trevor_hansen





















305

eqConcat.smt2
file




2011-12-13T02:40:59.000000Z
a295a1007c3cb1e85d107ce6469a0ca1
2011-02-21T04:26:59.334606Z
1153
trevor_hansen





















888

bvconcat.smt2
file




2011-12-13T02:40:59.000000Z
cb87506f64af9aa16dd830191c8c412b
2010-09-12T13:55:09.035730Z
1020
trevor_hansen





















455

alwaysTrue.smt2
file




2011-12-13T02:40:59.000000Z
bb8701a91e885cc9b7862ada6a7b9bc1
2011-05-11T05:17:11.517134Z
1332
trevor_hansen





















243

bvmul_minus.smt2
file




2011-12-13T02:40:59.000000Z
ccd613757cd05109e8b71d2bb2c213ce
2011-07-12T07:04:35.597849Z
1368
trevor_hansen





















310

mod2.smt2
file




2011-12-13T02:40:59.000000Z
eed644db1fa3f061b0b9dae9fd1efb01
2011-03-07T02:48:14.585701Z
1192
trevor_hansen





















897

bvge1.smt2
file




2011-12-13T02:40:59.000000Z
1ca3484d65aa5737fe6bcd898d07b75e
2011-04-11T15:09:31.797164Z
1265
trevor_hansen





















278

bvsge.smt2
file




2011-12-13T02:40:59.000000Z
663a7544fe475d253ff672acf3351d98
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















177

xor.smt2
file




2011-12-13T02:40:59.000000Z
ce7bdb641dfda702baeb4f115f473e45
2010-06-28T01:46:11.749701Z
900
trevor_hansen





















287

uncon_then_pure.smt
file




2011-12-13T02:40:59.000000Z
340f3a3aadeda93fbc979d9da6ff57b4
2011-07-29T15:33:16.472012Z
1377
trevor_hansen





















309

mod.smt2
file




2011-12-13T02:40:59.000000Z
efcbb054c1736469c2db2b2393803d86
2011-02-23T07:09:20.203489Z
1160
trevor_hansen





















370

mult.smt2
file




2011-12-13T02:40:59.000000Z
2cc546defd913fb787a2f8caa62acc90
2011-03-18T12:32:07.576999Z
1218
trevor_hansen





















549

bvconcat3.smt2
file




2011-12-13T02:40:59.000000Z
0f632670021a070a87b47c64092d956a
2010-09-12T13:55:09.035730Z
1020
trevor_hansen





















455

bvnor.smt2
file




2011-12-13T02:40:59.000000Z
1330c6b24d1b28441d26dc5545996266
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















295

eq2.smt2
file




2011-12-13T02:40:59.000000Z
3adf6d5dcadad8e0291ba0d5e2581844
2011-03-01T12:30:42.080554Z
1180
trevor_hansen





















544

writing_same.smt2
file




2011-12-13T02:40:59.000000Z
29894460acb84084ee9288287e726ed3
2011-05-11T05:17:11.517134Z
1332
trevor_hansen





















333

bvnot.smt2
file




2011-12-13T02:40:59.000000Z
66d40d89b290015b36679a376b319fea
2011-04-11T15:11:08.266503Z
1266
trevor_hansen





















222

bvand.smt2
file




2011-12-13T02:40:59.000000Z
e92b244fed8e1fdf99a36efb4789c8b0
2010-06-14T13:20:54.194574Z
846
trevor_hansen





















290

xor2.smt2
file




2011-12-13T02:40:59.000000Z
75044393de6c89b3a99636c10938f60f
2010-06-28T11:48:38.573950Z
901
trevor_hansen





















450

