10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.pb/src/test/testfiles/normalized-opb/submitted/manquinho/primes-dimacs-cnf
svn://svn.forge.objectweb.org/svnroot/sat4j



2008-07-24T20:07:26.310090Z
99
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

normalized-ii32e3.opb
file




2010-03-26T11:42:43.082379Z
fba76bbece6bbaf52b3b51d8d6e74147
2008-07-24T20:07:26.310090Z
99
leberre





















234085

normalized-jnh1.opb
file




2010-03-26T11:42:43.083379Z
063eb2758c10dfb54cdafd2acd326cb9
2008-07-24T20:07:26.310090Z
99
leberre





















42569

normalized-ii32e5.opb
file




2010-03-26T11:42:43.085378Z
6caf33eeba2c45b0896a04cb80501c4f
2008-07-24T20:07:26.310090Z
99
leberre





















487648

normalized-aim-100-2_0-yes1-2.opb
file




2010-03-26T11:42:43.086378Z
11cced9b162950d7fcb271e3d00b4bf2
2008-07-24T20:07:26.310090Z
99
leberre





















9671

normalized-aim-100-2_0-yes1-4.opb
file




2010-03-26T11:42:43.086378Z
ff832af0c00ca95993ddf1539575f98d
2008-07-24T20:07:26.310090Z
99
leberre





















9685

normalized-aim-100-6_0-yes1-1.opb
file




2010-03-26T11:42:43.087379Z
d7d35757a1ca1bbfdc7d0e1a984fef15
2008-07-24T20:07:26.310090Z
99
leberre





















21414

normalized-g125.17.opb
file




2010-03-26T11:42:43.109382Z
ed503628984a48598e5d5a4b8388e97a
2008-07-24T20:07:26.310090Z
99
leberre





















1726672

normalized-jnh213.opb
file




2010-03-26T11:42:43.110630Z
fc7a13f02376c4488d910785de6ba2bf
2008-07-24T20:07:26.310090Z
99
leberre





















38497

normalized-aim-100-6_0-yes1-3.opb
file




2010-03-26T11:42:43.110630Z
cd522e3077197e6f8d61bed002e69f90
2008-07-24T20:07:26.310090Z
99
leberre





















21423

normalized-jnh7.opb
file




2010-03-26T11:42:43.111630Z
b0c4a96509f44be03bb634bc9c511276
2008-07-24T20:07:26.310090Z
99
leberre





















40815

normalized-jnh217.opb
file




2010-03-26T11:42:43.111630Z
c4040960fadc5a0c2fe39dd858a66385
2008-07-24T20:07:26.310090Z
99
leberre





















38759

normalized-par8-2.opb
file




2010-03-26T11:42:43.112630Z
d9635d6ea1ec047ecde38f2375293788
2008-07-24T20:07:26.310090Z
99
leberre





















45826

normalized-par8-4.opb
file




2010-03-26T11:42:43.113630Z
cddb50c25b12350b8114465a010ee904
2008-07-24T20:07:26.310090Z
99
leberre





















45737

normalized-ii8d2.opb
file




2010-03-26T11:42:43.114631Z
44910688b6ba81ef96bbced304e8624c
2008-07-24T20:07:26.310090Z
99
leberre





















205531

normalized-f1000.opb
file




2010-03-26T11:42:43.115632Z
3b740c03d309134e8e181ea08fc4a1e3
2008-07-24T20:07:26.310090Z
99
leberre





















178380

normalized-jnh17.opb
file




2010-03-26T11:42:43.115632Z
5d85642089039eb7c3057502f986e6c4
2008-07-24T20:07:26.310090Z
99
leberre





















40609

normalized-aim-50-1_6-yes1-1.opb
file




2010-03-26T11:42:43.116631Z
2e98eb5a3dbba221c0fa972753bba3d5
2008-07-24T20:07:26.310090Z
99
leberre





















4080

normalized-ii32b1.opb
file




2010-03-26T11:42:43.117629Z
c4653389ddee2820797c664a0856c651
2008-07-24T20:07:26.310090Z
99
leberre





















66458

normalized-aim-50-3_4-yes1-2.opb
file




2010-03-26T11:42:43.116631Z
92da3ee1a58befab3a29e06da989eb2a
2008-07-24T20:07:26.310090Z
99
leberre





















6577

normalized-aim-50-1_6-yes1-3.opb
file




2010-03-26T11:42:43.118631Z
fc3355d84a7271ac9b9ef3154481c3ab
2008-07-24T20:07:26.310090Z
99
leberre





















4062

normalized-ii32b3.opb
file




2010-03-26T11:42:43.120630Z
2998f4c8b2aa0ba71848641193ef2744
2008-07-24T20:07:26.310090Z
99
leberre





















281602

normalized-aim-50-3_4-yes1-4.opb
file




2010-03-26T11:42:43.118631Z
12daa960a03b27a0d929d6cebe7dd116
2008-07-24T20:07:26.310090Z
99
leberre





















6565

normalized-ii16d2.opb
file




2010-03-26T11:42:43.122630Z
640e42314ccc494338715717ba212e02
2008-07-24T20:07:26.310090Z
99
leberre





















418074

normalized-aim-200-2_0-yes1-2.opb
file




2010-03-26T11:42:43.122630Z
207b7afaccb47d7f1cd8a6ea33b99e7d
2008-07-24T20:07:26.310090Z
99
leberre





















19777

normalized-jnh301.opb
file




2010-03-26T11:42:43.124630Z
6e0331df7389e344a07566dfc029d495
2008-07-24T20:07:26.310090Z
99
leberre





















44870

normalized-jnh220.opb
file




2010-03-26T11:42:43.123629Z
98f8a95595a145a754e30c7b5811afa6
2008-07-24T20:07:26.310090Z
99
leberre





















38689

normalized-aim-200-2_0-yes1-4.opb
file




2010-03-26T11:42:43.123629Z
1b633593ae3968f28a76c6052576ad57
2008-07-24T20:07:26.310090Z
99
leberre





















19769

normalized-aim-200-6_0-yes1-1.opb
file




2010-03-26T11:42:43.126629Z
8383ae77f8417c3caa791651bc2db13b
2008-07-24T20:07:26.310090Z
99
leberre





















43877

normalized-aim-100-1_6-yes1-1.opb
file




2010-03-26T11:42:43.125629Z
cfc0e453f6cd1f0886e49691a5f0da89
2008-07-24T20:07:26.310090Z
99
leberre





















8497

normalized-bf0432-007.opb
file




2010-03-26T11:42:43.125629Z
cefbaafd6dea9e95d9c8e4cb4c8900f1
2008-07-24T20:07:26.310090Z
99
leberre





















149023

normalized-aim-100-3_4-yes1-2.opb
file




2010-03-26T11:42:43.127631Z
6c15c1a57b62ee50a4eddf93e9d0f522
2008-07-24T20:07:26.310090Z
99
leberre





















13777

normalized-aim-200-6_0-yes1-3.opb
file




2010-03-26T11:42:43.127631Z
d03ad0e1514eb5c4d3ee3f6b96307e72
2008-07-24T20:07:26.310090Z
99
leberre





















43900

normalized-aim-100-1_6-yes1-3.opb
file




2010-03-26T11:42:43.128630Z
33d91271e07eb00152ece42b1a9d94f0
2008-07-24T20:07:26.310090Z
99
leberre





















8503

normalized-ssa2670-130.opb
file




2010-03-26T11:42:43.129630Z
600cdaf1f0eedf797341aa9f45a30b93
2008-07-24T20:07:26.310090Z
99
leberre





















145666

normalized-aim-100-3_4-yes1-4.opb
file




2010-03-26T11:42:43.129630Z
c5a7e1a921f6a57e2675de6908b9939e
2008-07-24T20:07:26.310090Z
99
leberre





















13792

normalized-par32-3-c.opb
file




2010-03-26T11:42:43.130630Z
b552ff39062b6c42ea64365c815cbd78
2008-07-24T20:07:26.310090Z
99
leberre





















222074

normalized-par16-2-c.opb
file




2010-03-26T11:42:43.131632Z
e4299a962dbf619cce8fa1cb0ec0a149
2008-07-24T20:07:26.310090Z
99
leberre





















55143

normalized-ii8a2.opb
file




2010-03-26T11:42:43.132630Z
6005a01d3f2ae55b0ca9c19f876c5827
2008-07-24T20:07:26.310090Z
99
leberre





















28197

normalized-ii8a4.opb
file




2010-03-26T11:42:43.132630Z
8a77190c2eeefb9e88447a9087adfd6f
2008-07-24T20:07:26.310090Z
99
leberre





















92923

normalized-ii8e1.opb
file




2010-03-26T11:42:43.133631Z
979ebd144bbd2b562b23479b90a02c66
2008-07-24T20:07:26.310090Z
99
leberre





















100180

normalized-hanoi5.opb
file




2010-03-26T11:42:43.136629Z
430910c9a5d64dfdcfdaccb49935c3d0
2008-07-24T20:07:26.310090Z
99
leberre





















494846

normalized-ssa6288-047.opb
file




2010-03-26T11:42:43.153629Z
9adce8cbe88d8b4cea00449510319da7
2008-07-24T20:07:26.310090Z
99
leberre





















1533452

normalized-par16-2.opb
file




2010-03-26T11:42:43.155630Z
ff021c96fa8729c0ff59034e5dd63ec7
2008-07-24T20:07:26.310090Z
99
leberre





















143294

normalized-par8-2-c.opb
file




2010-03-26T11:42:43.155630Z
6426d07b9a45c1ddc8ddbec58612957d
2008-07-24T20:07:26.310090Z
99
leberre





















10009

normalized-par16-4.opb
file




2010-03-26T11:42:43.156630Z
ebb1659035ed2692908dffb1cbe7a576
2008-07-24T20:07:26.310090Z
99
leberre





















141262

normalized-ii32c2.opb
file




2010-03-26T11:42:43.157631Z
b78d16df5ec546c41fce5f9f07c0fd92
2008-07-24T20:07:26.310090Z
99
leberre





















115546

normalized-ii16a2.opb
file




2010-03-26T11:42:43.160629Z
f8f477e05e80ba24d613a231e387041a
2008-07-24T20:07:26.310090Z
99
leberre





















663931

normalized-ii32c4.opb
file




2010-03-26T11:42:43.164629Z
cafd7bd480d889c74d8810dc689bffd8
2008-07-24T20:07:26.310090Z
99
leberre





















1077643

normalized-ii16e1.opb
file




2010-03-26T11:42:43.167629Z
d8b41369d5995771affb002d5cd9e431
2008-07-24T20:07:26.310090Z
99
leberre





















653950

normalized-ssa0432-003.opb
file




2010-03-26T11:42:43.167629Z
049aa05bd0cb38bc58f95c2236cf9448
2008-07-24T20:07:26.310090Z
99
leberre





















42699

normalized-aim-200-1_6-yes1-1.opb
file




2010-03-26T11:42:43.168631Z
a782aca778ed011d2ecf45cd10493290
2008-07-24T20:07:26.310090Z
99
leberre





















17356

normalized-aim-200-3_4-yes1-2.opb
file




2010-03-26T11:42:43.168631Z
ec31f30f5dfe39eed850903a7b367b6c
2008-07-24T20:07:26.310090Z
99
leberre





















28237

normalized-aim-200-1_6-yes1-3.opb
file




2010-03-26T11:42:43.169631Z
7b61abae354dae9312203fa383a17cff
2008-07-24T20:07:26.310090Z
99
leberre





















17357

normalized-aim-200-3_4-yes1-4.opb
file




2010-03-26T11:42:43.169631Z
6d19a7d23c112f1bd52f27210adeeb3c
2008-07-24T20:07:26.310090Z
99
leberre





















28223

normalized-ssa2670-141.opb
file




2010-03-26T11:42:43.170630Z
423b72910a463b7aa4b9bdae86b878a8
2008-07-24T20:07:26.310090Z
99
leberre





















100192

normalized-ii8b1.opb
file




2010-03-26T11:42:43.171631Z
812314147c77e28d5e428080c7a2412d
2008-07-24T20:07:26.310090Z
99
leberre





















63312

normalized-ii8b3.opb
file




2010-03-26T11:42:43.172630Z
b2547f396d5cd0589545f2e597f6c86a
2008-07-24T20:07:26.310090Z
99
leberre





















184662

normalized-ssa7552-159.opb
file




2010-03-26T11:42:43.173633Z
b7b224de1898888de830ec05fbd5ea69
2008-07-24T20:07:26.310090Z
99
leberre





















136072

normalized-ii32d1.opb
file




2010-03-26T11:42:43.174630Z
151e246868267296e134c3c76a3cb289
2008-07-24T20:07:26.310090Z
99
leberre





















103679

normalized-ii16b1.opb
file




2010-03-26T11:42:43.177630Z
dd9b4ae34921e1731f1a12dcd9d29b23
2008-07-24T20:07:26.310090Z
99
leberre





















767886

normalized-ii32d3.opb
file




2010-03-26T11:42:43.181630Z
527fb49aa1a9296592f9e28b71f1006f
2008-07-24T20:07:26.310090Z
99
leberre





















731169

normalized-jnh201.opb
file




2010-03-26T11:42:43.182630Z
ba509931ad93c2223be235a06a9b3100
2008-07-24T20:07:26.310090Z
99
leberre





















40435

normalized-g250.29.opb
file




2010-03-26T11:42:43.249629Z
95af9ee9e7f41d7e844f72bb8840ff83
2008-07-24T20:07:26.310090Z
99
leberre





















11960460

normalized-jnh205.opb
file




2010-03-26T11:42:43.183632Z
f6fdc202e213c33bf947a860dbc34987
2008-07-24T20:07:26.310090Z
99
leberre





















38605

normalized-par32-2-c.opb
file




2010-03-26T11:42:43.183632Z
40e47c460002545cc2670ca84fd53082
2008-07-24T20:07:26.310090Z
99
leberre





















218332

normalized-par16-1-c.opb
file




2010-03-26T11:42:43.250630Z
ccccfcac2dcabc521caef1ee37fe5121
2008-07-24T20:07:26.310090Z
99
leberre





















49927

normalized-jnh207.opb
file




2010-03-26T11:42:43.251630Z
f7c7ba2c6275b81ba79004cad9fac543
2008-07-24T20:07:26.310090Z
99
leberre





















38783

normalized-jnh209.opb
file




2010-03-26T11:42:43.252630Z
ad3e64e9cdbd56e02705ba9162b58982
2008-07-24T20:07:26.310090Z
99
leberre





















38476

normalized-par16-5-c.opb
file




2010-03-26T11:42:43.252630Z
5b3b72cfc97a7b1e471b28e18b610f1a
2008-07-24T20:07:26.310090Z
99
leberre





















53839

normalized-ssa7552-160.opb
file




2010-03-26T11:42:43.253631Z
e6fecce3dd18220c4b3d8965362801d2
2008-07-24T20:07:26.310090Z
99
leberre





















139671

normalized-ii8c2.opb
file




2010-03-26T11:42:43.254630Z
966ceb4249ada81e9b52daecca845c09
2008-07-24T20:07:26.310090Z
99
leberre





















209006

normalized-aim-50-2_0-yes1-1.opb
file




2010-03-26T11:42:43.256629Z
d032a765eb23ee7e14f06394cc980cb1
2008-07-24T20:07:26.310090Z
99
leberre





















4634

normalized-bf1355-638.opb
file




2010-03-26T11:42:43.256629Z
44b78d9739b91292adfb004590f4107e
2008-07-24T20:07:26.310090Z
99
leberre





















288078

normalized-aim-50-2_0-yes1-3.opb
file




2010-03-26T11:42:43.259630Z
0254126da99ff200a0bec7ae3b6fe8ba
2008-07-24T20:07:26.310090Z
99
leberre





















4634

normalized-par32-1.opb
file




2010-03-26T11:42:43.259630Z
64e81a7b23abbb8a6da4e2377ea69dee
2008-07-24T20:07:26.310090Z
99
leberre





















450647

normalized-par32-3.opb
file




2010-03-26T11:42:43.261630Z
3d08363a486acbc90a149ca8c58297b8
2008-07-24T20:07:26.310090Z
99
leberre





















451440

normalized-ii32a1.opb
file




2010-03-26T11:42:43.281633Z
eb47f4c49e66c2bccec3237bb66dd1b2
2008-07-24T20:07:26.310090Z
99
leberre





















339545

normalized-aim-50-6_0-yes1-2.opb
file




2010-03-26T11:42:43.280628Z
d50859cfd8ffc5545d6ebbb3993e5418
2008-07-24T20:07:26.310090Z
99
leberre





















10165

normalized-par8-1-c.opb
file




2010-03-26T11:42:43.262630Z
d9a63c7afff520ea91d829bc19bcd084
2008-07-24T20:07:26.310090Z
99
leberre





















9373

normalized-par32-5.opb
file




2010-03-26T11:42:43.297629Z
9b244c88702eddacf15d45f12fda5eb0
2008-07-24T20:07:26.310090Z
99
leberre





















452689

normalized-aim-50-6_0-yes1-4.opb
file




2010-03-26T11:42:43.298631Z
2beca4d072c9a53c27ee7e09aa5271f2
2008-07-24T20:07:26.310090Z
99
leberre





















10179

normalized-par8-5-c.opb
file




2010-03-26T11:42:43.298631Z
3a52f9b5a38f69c983404b3d415562fe
2008-07-24T20:07:26.310090Z
99
leberre





















11122

normalized-ii32e2.opb
file




2010-03-26T11:42:43.301630Z
4e882bbd92f288daf6e68ac3de757136
2008-07-24T20:07:26.310090Z
99
leberre





















124940

normalized-ii16c2.opb
file




2010-03-26T11:42:43.300631Z
97d3686ba27caa0b5ec08bf1e8098491
2008-07-24T20:07:26.310090Z
99
leberre





















444691

normalized-ii32e4.opb
file




2010-03-26T11:42:43.304632Z
1c0d08e5657c85ec3afe3a7738817cf3
2008-07-24T20:07:26.310090Z
99
leberre





















340086

normalized-aim-100-2_0-yes1-1.opb
file




2010-03-26T11:42:43.302631Z
90ae1cc8db4b2024a7ee1ecdf9140863
2008-07-24T20:07:26.310090Z
99
leberre





















9678

normalized-aim-100-2_0-yes1-3.opb
file




2010-03-26T11:42:43.305630Z
e13da91e0882f7b8f155a22ef7144d8e
2008-07-24T20:07:26.310090Z
99
leberre





















9678

normalized-jnh210.opb
file




2010-03-26T11:42:43.305630Z
536a635f83fc17dc00978c285b2ea8e6
2008-07-24T20:07:26.310090Z
99
leberre





















38637

normalized-jnh212.opb
file




2010-03-26T11:42:43.306629Z
3bfbbe50b03cd0d34027b338a9e65c68
2008-07-24T20:07:26.310090Z
99
leberre





















38725

normalized-aim-100-6_0-yes1-2.opb
file




2010-03-26T11:42:43.306629Z
836a2af811b965a64fa1fd6f7031339b
2008-07-24T20:07:26.310090Z
99
leberre





















21429

normalized-g125.18.opb
file




2010-03-26T11:42:43.313629Z
a18434ce5469ba587063f7e76ce3e080
2008-07-24T20:07:26.310090Z
99
leberre





















1830331

normalized-aim-100-6_0-yes1-4.opb
file




2010-03-26T11:42:43.314629Z
b52c079073d6fbecb53bdc15d0413f75
2008-07-24T20:07:26.310090Z
99
leberre





















21407

normalized-par8-1.opb
file




2010-03-26T11:42:43.315629Z
e7cc8c25af45af2e74cd638a412c166e
2008-07-24T20:07:26.310090Z
99
leberre





















45506

normalized-jnh218.opb
file




2010-03-26T11:42:43.316631Z
4eb5acee12a26465008a98a794ff0bad
2008-07-24T20:07:26.310090Z
99
leberre





















38548

normalized-par8-3.opb
file




2010-03-26T11:42:43.316631Z
197418829bf1c719e70543335c96557e
2008-07-24T20:07:26.310090Z
99
leberre





















46375

normalized-f600.opb
file




2010-03-26T11:42:43.317631Z
4fdec182582ed31d1ae371090f6cc5c1
2008-07-24T20:07:26.310090Z
99
leberre





















103420

normalized-par8-5.opb
file




2010-03-26T11:42:43.318631Z
6fb7080b39e0c8e67e184eb336ad59fd
2008-07-24T20:07:26.310090Z
99
leberre





















46371

normalized-ii8d1.opb
file




2010-03-26T11:42:43.318631Z
f5ae067eec5cb4736f6ec50c87e4a015
2008-07-24T20:07:26.310090Z
99
leberre





















101923

normalized-jnh12.opb
file




2010-03-26T11:42:43.319631Z
d78fc0cf01bc4ec3597515f9eac93d18
2008-07-24T20:07:26.310090Z
99
leberre





















40890

normalized-aim-50-3_4-yes1-1.opb
file




2010-03-26T11:42:43.319631Z
67f4ba98704235b47c1b55b8f147e9a3
2008-07-24T20:07:26.310090Z
99
leberre





















6577

normalized-aim-50-1_6-yes1-2.opb
file




2010-03-26T11:42:43.320631Z
731fe7ffe7fc5610b21439e47286bff8
2008-07-24T20:07:26.310090Z
99
leberre





















4078

normalized-ii32b2.opb
file




2010-03-26T11:42:43.322631Z
4c322f6b4009d273fbdff10efcd1c54f
2008-07-24T20:07:26.310090Z
99
leberre





















121812

normalized-aim-50-3_4-yes1-3.opb
file




2010-03-26T11:42:43.321628Z
1d5f0f8c7f6cbafb06d13f590eda2533
2008-07-24T20:07:26.310090Z
99
leberre





















6577

normalized-aim-50-1_6-yes1-4.opb
file




2010-03-26T11:42:43.322631Z
fd1a347ed702063b32f78f7525d722a5
2008-07-24T20:07:26.310090Z
99
leberre





















4067

normalized-ii32b4.opb
file




2010-03-26T11:42:43.324629Z
c3974db7e8a7a7dcf1a342d47c14e34f
2008-07-24T20:07:26.310090Z
99
leberre





















336952

normalized-ii16d1.opb
file




2010-03-26T11:42:43.326630Z
38e9597c5e2c643da0b2660ad99fee98
2008-07-24T20:07:26.310090Z
99
leberre





















551393

normalized-aim-200-2_0-yes1-1.opb
file




2010-03-26T11:42:43.327630Z
ea759b33d230aecf4f7f113089fa7876
2008-07-24T20:07:26.310090Z
99
leberre





















19777

normalized-aim-200-2_0-yes1-3.opb
file




2010-03-26T11:42:43.327630Z
6945c653f2f5a8b612521f3899ab449c
2008-07-24T20:07:26.310090Z
99
leberre





















19777

normalized-aim-100-3_4-yes1-1.opb
file




2010-03-26T11:42:43.328630Z
427c6f9c436c2f8b91b1bd2bcc9009cc
2008-07-24T20:07:26.310090Z
99
leberre





















13793

normalized-aim-200-6_0-yes1-2.opb
file




2010-03-26T11:42:43.330630Z
fa3172b3b7749f9ec945cb3f8d315823
2008-07-24T20:07:26.310090Z
99
leberre





















43874

normalized-aim-100-1_6-yes1-2.opb
file




2010-03-26T11:42:43.330630Z
3d058866acfc7bd1c3c31f94a11015a2
2008-07-24T20:07:26.310090Z
99
leberre





















8499

normalized-par32-1-c.opb
file




2010-03-26T11:42:43.329631Z
8c1b8634a2f99e9f8e579ef031d10353
2008-07-24T20:07:26.310090Z
99
leberre





















220324

normalized-aim-100-3_4-yes1-3.opb
file




2010-03-26T11:42:43.331631Z
884081467c05044aa43baf5922fae1d2
2008-07-24T20:07:26.310090Z
99
leberre





















13800

normalized-aim-200-6_0-yes1-4.opb
file




2010-03-26T11:42:43.332630Z
d01b026f0dbb3ffe5ac207946f109d68
2008-07-24T20:07:26.310090Z
99
leberre





















43885

normalized-aim-100-1_6-yes1-4.opb
file




2010-03-26T11:42:43.331631Z
aa21ad6c7544ff20781d39d22f64f0c0
2008-07-24T20:07:26.310090Z
99
leberre





















8510

normalized-par32-5-c.opb
file




2010-03-26T11:42:43.333630Z
b2d6fc6e4e4b51f8b59d0f4ed12a9f74
2008-07-24T20:07:26.310090Z
99
leberre





















224524

normalized-par16-4-c.opb
file




2010-03-26T11:42:43.334630Z
fabab1fefe64535b227fac16b2477da8
2008-07-24T20:07:26.310090Z
99
leberre





















51068

normalized-ii8a1.opb
file




2010-03-26T11:42:43.334630Z
b3cc2686c19f6e4ddbbeb52b8905fbf9
2008-07-24T20:07:26.310090Z
99
leberre





















7044

normalized-ii8a3.opb
file




2010-03-26T11:42:43.335631Z
a430664a9b4f203a5896b33ca2b0e0e5
2008-07-24T20:07:26.310090Z
99
leberre





















51702

normalized-ii8e2.opb
file




2010-03-26T11:42:43.336630Z
66ef5c48f4a7492e24281157b7778ffb
2008-07-24T20:07:26.310090Z
99
leberre





















195115

normalized-hanoi4.opb
file




2010-03-26T11:42:43.337630Z
ed8ba7dc95c95dfab9760b508b0ba8ab
2008-07-24T20:07:26.310090Z
99
leberre





















163691

normalized-par16-1.opb
file




2010-03-26T11:42:43.338631Z
34e3d66fc3f726d6e01980ef9f07d518
2008-07-24T20:07:26.310090Z
99
leberre





















140692

normalized-par16-3.opb
file




2010-03-26T11:42:43.340631Z
0c5e732518faa634f5236b6dfdf30123
2008-07-24T20:07:26.310090Z
99
leberre





















142028

normalized-ii32c1.opb
file




2010-03-26T11:42:43.343629Z
8afff0cc8710524125079d5ef00fedc0
2008-07-24T20:07:26.310090Z
99
leberre





















64892

normalized-ii16a1.opb
file




2010-03-26T11:42:43.342630Z
8d302f04261c322e5b8c31c087553d24
2008-07-24T20:07:26.310090Z
99
leberre





















576162

normalized-par16-5.opb
file




2010-03-26T11:42:43.344630Z
373fd65e1136c6c0b1070f70c39b678a
2008-07-24T20:07:26.310090Z
99
leberre





















142598

normalized-par8-4-c.opb
file




2010-03-26T11:42:43.344630Z
d33312634450fd8d24ca6cfc6ebb388e
2008-07-24T20:07:26.310090Z
99
leberre





















9850

normalized-ii32c3.opb
file




2010-03-26T11:42:43.346630Z
00d830716ad6728e4af33fe898d69922
2008-07-24T20:07:26.310090Z
99
leberre





















169336

normalized-ii16e2.opb
file




2010-03-26T11:42:43.348629Z
b02172857ce65a3b2db38d953a9873b2
2008-07-24T20:07:26.310090Z
99
leberre





















326124

normalized-g250.15.opb
file




2010-03-26T11:42:43.375379Z
9cfcc49797c7ac58bfef2056b3d91b66
2008-07-24T20:07:26.310090Z
99
leberre





















5967722

normalized-aim-200-3_4-yes1-1.opb
file




2010-03-26T11:42:43.376380Z
e01d5c6b1994301611dd0017163235b9
2008-07-24T20:07:26.310090Z
99
leberre





















28224

normalized-aim-200-1_6-yes1-2.opb
file




2010-03-26T11:42:43.376380Z
1bb0b9a25360f917469532445e97cb1a
2008-07-24T20:07:26.310090Z
99
leberre





















17378

normalized-aim-200-3_4-yes1-3.opb
file




2010-03-26T11:42:43.377380Z
945c991e8858d621d34fbdc5c45b2199
2008-07-24T20:07:26.310090Z
99
leberre





















28227

normalized-aim-200-1_6-yes1-4.opb
file




2010-03-26T11:42:43.378380Z
2f53041e69d1bcf59677042f65bff335
2008-07-24T20:07:26.310090Z
99
leberre





















17345

normalized-ii8b2.opb
file




2010-03-26T11:42:43.378380Z
bbfcebd70586668574286ad19a1cd5a8
2008-07-24T20:07:26.310090Z
99
leberre





















122929

normalized-ii8b4.opb
file




2010-03-26T11:42:43.380382Z
4958e72bfea6f430972589733eb52991
2008-07-24T20:07:26.310090Z
99
leberre





















248482

normalized-ssa7552-038.opb
file




2010-03-26T11:42:43.381380Z
47daf5749c77d7eb7d5d94fe2374f355
2008-07-24T20:07:26.310090Z
99
leberre





















158356

normalized-ssa7552-158.opb
file




2010-03-26T11:42:43.382381Z
d607820afcd431f46941921bd45aecde
2008-07-24T20:07:26.310090Z
99
leberre





















136126

normalized-ii32d2.opb
file




2010-03-26T11:42:43.383381Z
a483fc3761bb4050329265bf3a3a7ca5
2008-07-24T20:07:26.310090Z
99
leberre





















192496

normalized-ii16b2.opb
file




2010-03-26T11:42:43.386379Z
e21ba82f6fe94f7331ec17a5a9607763
2008-07-24T20:07:26.310090Z
99
leberre





















490671

normalized-bf2670-001.opb
file




2010-03-26T11:42:43.387380Z
caacddb078d9307989a3c2624242ecb4
2008-07-24T20:07:26.310090Z
99
leberre





















150427

normalized-jnh204.opb
file




2010-03-26T11:42:43.388380Z
a868f0757b1a6fa4984216c84ba8594b
2008-07-24T20:07:26.310090Z
99
leberre





















38577

normalized-par32-4-c.opb
file




2010-03-26T11:42:43.389384Z
3d2c3109962e8068c6ff1a393a02942b
2008-07-24T20:07:26.310090Z
99
leberre





















223474

normalized-par16-3-c.opb
file




2010-03-26T11:42:43.389384Z
9758fd8c9a8bc907d5083400c8e6642e
2008-07-24T20:07:26.310090Z
99
leberre





















52698

normalized-ii8c1.opb
file




2010-03-26T11:42:43.390380Z
5573ac468e70af6b65c69997b62e5033
2008-07-24T20:07:26.310090Z
99
leberre





















98446

normalized-bf1355-075.opb
file




2010-03-26T11:42:43.392382Z
a49c7da557148a2c89bd88c6a2106d94
2008-07-24T20:07:26.310090Z
99
leberre





















288428

normalized-aim-50-2_0-yes1-2.opb
file




2010-03-26T11:42:43.392382Z
2c12a9305ddfd4d3e66da6556d5b3db9
2008-07-24T20:07:26.310090Z
99
leberre





















4627

normalized-aim-50-2_0-yes1-4.opb
file




2010-03-26T11:42:43.393380Z
6c8917e0b18c109a19f6358223a5faf4
2008-07-24T20:07:26.310090Z
99
leberre





















4627

normalized-par32-2.opb
file




2010-03-26T11:42:43.395379Z
48ed39004ec868a1cad026c865b17eb2
2008-07-24T20:07:26.310090Z
99
leberre





















449752

normalized-aim-50-6_0-yes1-1.opb
file




2010-03-26T11:42:43.395379Z
c131649e9c653dc8e61eb56ac4ffc660
2008-07-24T20:07:26.310090Z
99
leberre





















10179

normalized-f2000.opb
file




2010-03-26T11:42:43.397382Z
4675a5d50c7e04c9a0597ae768da1a88
2008-07-24T20:07:26.310090Z
99
leberre





















365794

normalized-par32-4.opb
file




2010-03-26T11:42:43.399381Z
4ad922a0ad53056b410be6ab5caa6b5b
2008-07-24T20:07:26.310090Z
99
leberre





















452177

normalized-aim-50-6_0-yes1-3.opb
file




2010-03-26T11:42:43.400380Z
5cc087b54d6422e56631b84bd18b2ba0
2008-07-24T20:07:26.310090Z
99
leberre





















10165

normalized-par8-3-c.opb
file




2010-03-26T11:42:43.400380Z
1df02e911c893da5870c211764bc88bd
2008-07-24T20:07:26.310090Z
99
leberre





















11122

normalized-ii32e1.opb
file




2010-03-26T11:42:43.401379Z
33d46caaa6c22613488909eddb5a530f
2008-07-24T20:07:26.310090Z
99
leberre





















63325

normalized-ii16c1.opb
file




2010-03-26T11:42:43.404380Z
43a8a62e8611595f1fd7c9eef317b58e
2008-07-24T20:07:26.310090Z
99
leberre





















590459

