10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.pb/src/test/testfiles
svn://svn.forge.objectweb.org/svnroot/sat4j



2009-06-11T19:08:55.893137Z
467
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

enigma.opb
file




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





















1890

10_20_4-5_0-95_100.opb
file




2010-03-26T11:42:49.421378Z
dcc088d1fc5ec30321f3a8b9d1da0bdd
2008-07-24T20:07:26.310090Z
99
leberre





















71830

10_20_4-5_0-95_98.opb
file




2010-03-26T11:42:49.421378Z
59533d355c499555eec5a97c9b3b7bfc
2008-07-24T20:07:26.310090Z
99
leberre





















69381

misc07.opb
file




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





















73611

30_30_4-5_0-95_100.opb
file




2010-03-26T11:42:49.424379Z
f94aae43a2d8bc5193c4bb1e51ed3be4
2008-07-24T20:07:26.310090Z
99
leberre





















400252

p0033.opb
file




2010-03-26T11:42:49.424379Z
cb8d07d3a4e092d1ae7192fd45d35d64
2008-07-24T20:07:26.310090Z
99
leberre





















1469

10_20_4-5_0-5_100.opb
file




2010-03-26T11:42:49.424379Z
e8763eb6fe0784503860595e2c4c33e2
2008-07-24T20:07:26.310090Z
99
leberre





















58174

30_70_4-5_0-95_100.opb
file




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





















979205

lseu.opb
file




2010-03-26T11:42:49.429381Z
877e8c0059fd2e7c9f01cc0ee5705ff7
2008-07-24T20:07:26.310090Z
99
leberre





















4022

fast0507.opb
file




2010-03-26T11:42:49.443382Z
21caee146bb6470b815ea697394b7a86
2008-07-24T20:07:26.310090Z
99
leberre





















3903678

cap6000.opb
file




2010-03-26T11:42:49.446378Z
dfb5ec7dce01d367397c46d7fba8c7ae
2008-07-24T20:07:26.310090Z
99
leberre





















599111

bug-1.opb
file




2010-03-26T11:42:49.446378Z
be3daaec19eb6f74c780b858afc6652a
2009-06-11T19:08:55.893137Z
467
leberre





















4218

bug-2.opb
file




2010-03-26T11:42:49.446378Z
90a2e4775cb0b93d8a9a388ce1bcf6ee
2009-06-11T19:08:55.893137Z
467
leberre





















1736

bug-3.opb
file




2010-03-26T11:42:49.448380Z
9fd52bec996ed780d55ecea52b6ce11a
2009-06-11T19:08:55.893137Z
467
leberre





















432411

p2756.opb
file




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





















116622

stein27.opb
file




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





















4149

stein45.opb
file




2010-03-26T11:42:49.449380Z
d278b6cb64dbe1a16ba507e4d07b5dc0
2008-07-24T20:07:26.310090Z
99
leberre





















11423

bug275101.opb
file




2010-03-26T11:42:49.451378Z
678ffd4e2a556b5285850e6327f1e3d1
2009-05-15T19:38:19.680582Z
454
leberre





















178423

10_10_4-5_0-95_98.opb
file




2010-03-26T11:42:49.451378Z
2120edf939778f657654e552c0183b1d
2008-07-24T20:07:26.310090Z
99
leberre





















30366

p0201.opb
file




2010-03-26T11:42:49.452378Z
616a407842d2432e11a6c49d9997b481
2008-07-24T20:07:26.310090Z
99
leberre





















20622

30_30_4-5_0-95_98.opb
file




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





















399603

seymour.opb
file




2010-03-26T11:42:49.453378Z
ccaed1194e560e0bc416bd9616b26458
2008-07-24T20:07:26.310090Z
99
leberre





















281035

normalized-opb
dir

10_10_4-5_0-5_100.opb
file




2010-03-26T11:42:49.457379Z
cf3825186f6e545338cc9901bac9eee2
2008-07-24T20:07:26.310090Z
99
leberre





















26989

mod008.opb
file




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





















17794

30_70_4-5_0-95_98.opb
file




2010-03-26T11:42:49.477629Z
1443addb0d5eda2c4c172ad71f7533ad
2008-07-24T20:07:26.310090Z
99
leberre





















979815

30_30_4-5_0-5_100.opb
file




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





















385747

p0282.opb
file




2010-03-26T11:42:49.480630Z
e963cdfb6e59c4ea2650857bf55e3fbb
2008-07-24T20:07:26.310090Z
99
leberre





















24188

bug247567.opb
file




2010-03-26T11:42:49.480630Z
2482b8b8c8e11dc64cb1912b1e22cfcd
2009-01-16T21:23:14.267992Z
275
leberre





















209

harp2.opb
file




2010-03-26T11:42:49.481630Z
839851d4cca946a213eda540397e32fe
2008-07-24T20:07:26.310090Z
99
leberre





















148755

air03.opb
file




2010-03-26T11:42:49.491629Z
a56ebc9d2bc0591f86a1f6c629c703f5
2008-07-24T20:07:26.310090Z
99
leberre





















1073277

30_70_4-5_0-5_100.opb
file




2010-03-26T11:42:49.495629Z
da98d9bde19fab8605afb1579fdcbd60
2008-07-24T20:07:26.310090Z
99
leberre





















961573

random-opb
dir

air04.opb
file




2010-03-26T11:42:49.505629Z
028fb9d03a85c6b730e8f2c6f21e1e2b
2008-07-24T20:07:26.310090Z
99
leberre





















867127

mod0010.opb
file




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





















103430

mitre.opb
file




2010-03-26T11:42:49.514630Z
a6c9f2c10ed2c2c71ce6696fac239e2b
2008-07-24T20:07:26.310090Z
99
leberre





















585153

air05.opb
file




2010-03-26T11:42:49.517629Z
825b5788b83864b27db1304157016429
2008-07-24T20:07:26.310090Z
99
leberre





















628587

p0548.opb
file




2010-03-26T11:42:49.518630Z
e44bf44bafcebcef56e8399b5779ce6b
2008-07-24T20:07:26.310090Z
99
leberre





















23805

mod0011.opb
file




2010-03-26T11:42:49.519631Z
73263efe6bf69ddddc9cfa9713b5fde5
2008-07-24T20:07:26.310090Z
99
leberre





















365486

modglob.opb
file




2010-03-26T11:42:49.520630Z
aa8e37aef0fa736e33b2d71133d5ec35
2008-07-24T20:07:26.310090Z
99
leberre





















22874

pigeons
dir

l152lav.opb
file




2010-03-26T11:42:49.527628Z
1275bc6c996492529b6638dc1e97b15a
2008-07-24T20:07:26.310090Z
99
leberre





















131381

misc03.opb
file




2010-03-26T11:42:49.527628Z
bc1b8e446574bad7658057dae9131114
2008-07-24T20:07:26.310090Z
99
leberre





















18743

10_10_4-5_0-95_100.opb
file




2010-03-26T11:42:49.528629Z
13652bd72e2e918952087fa237fc7577
2008-07-24T20:07:26.310090Z
99
leberre





















31923

