10

dir
370
http://mortar.ece.cmu.edu/svn/mmazurek/class/712/DLprover/data
http://mortar.ece.cmu.edu/svn/mmazurek



2010-05-05T23:59:12.797205Z
252
mmazurek














99a21615-10e0-43bf-ba7d-3f439252faaa

bouncingball_okhints_1worker.data
file




2010-07-12T17:46:48.258557Z
94109370f15e941195f2d68237124e10
2010-05-05T02:16:32.744872Z
220
renshaw





















429741

bouncingball_okhints_1worker_2.data
file




2010-07-12T17:46:48.262556Z
3afd630db05c445c8fdda37d148fb652
2010-05-05T02:45:22.987157Z
221
renshaw





















319354

water_tank_badhints_4workers_1851.data
file




2010-07-12T17:46:48.262556Z
1da3d05493fb3639efdf30d5992f90a0
2010-05-05T23:59:12.797205Z
252
mmazurek





















151951

water_tank_badhints_4workers.data
file




2010-07-12T17:46:48.262556Z
9ceb51672cd4a3ba01ef7eedefcedeb0
2010-05-04T23:14:28.430028Z
213
renshaw





















123985

water_tank_badhints_4workers_1719.data
file




2010-07-12T17:46:48.262556Z
4ddeaa1b1a846a0ca93b4996193f828a
2010-05-05T21:43:36.374501Z
243
mmazurek





















136909

bouncingball_okhints_4workers_1636.data
file




2010-07-12T17:46:48.262556Z
bb5c70a42df25984c5080c18bb690935
2010-05-05T20:38:00.120225Z
238
mmazurek





















305610

bouncingball_okhints_4workers.data
file




2010-07-12T17:46:48.262556Z
43c69d37a2c82d1b11573525a1dccb40
2010-05-05T02:07:43.308282Z
219
renshaw





















298704

bouncingball_okhints_4workers_1646.data
file




2010-07-12T17:46:48.262556Z
e58c6fc37b12b5d7b7861afc87eff7a2
2010-05-05T20:50:23.743231Z
240
mmazurek





















269215

water_tanks_badhints.data
file




2010-07-12T17:46:48.262556Z
b690c9344c10a24e0aa0ea36e2a77a9a
2010-05-03T16:12:32.447401Z
189
renshaw





















62692

bouncingball_okhints_4workers_2.data
file




2010-07-12T17:46:48.266556Z
f7a80f08b8b2ec83e0f449fd2a341292
2010-05-05T02:45:22.987157Z
221
renshaw





















382215

bouncingball_okhints_1worker_1751.data
file




2010-07-12T17:46:48.266556Z
fb76b1bd23041687364fb88a66c59560
2010-05-05T21:54:53.074312Z
244
mmazurek





















320427

water_tank_badhints_1worker.data
file




2010-07-12T17:46:48.266556Z
6238b0f06116e57dcfda5dead24def9b
2010-05-05T00:47:13.962743Z
214
renshaw





















121670

water_tank_badhints_1worker_1755.data
file




2010-07-12T17:46:48.266556Z
fec31a7f6263d965cc6e7da907c1b884
2010-05-05T22:50:36.780417Z
247
mmazurek





















144817

