10

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



2008-07-11T09:04:00.922521Z
79
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

aim-50-2_0-yes1-1.cnf
file




2010-03-26T11:42:31.993381Z
9096411c1511bb961b74a8ec67c03646
2008-07-11T09:04:00.922521Z
79
leberre





















1496

aim-50-2_0-yes1-2.cnf
file




2010-03-26T11:42:31.994630Z
4bd014f6b2f2a4f84968b2623ab9fc36
2008-07-11T09:04:00.922521Z
79
leberre





















1493

aim-50-2_0-yes1-3.cnf
file




2010-03-26T11:42:31.994630Z
57e9a89ea91d97dd6c52ad52604ed952
2008-07-11T09:04:00.922521Z
79
leberre





















1496

aim-50-2_0-yes1-4.cnf
file




2010-03-26T11:42:31.994630Z
0a44ebb13b35ffba855ad0bc0efb2f2e
2008-07-11T09:04:00.922521Z
79
leberre





















1493

aim-50-6_0-yes1-1.cnf
file




2010-03-26T11:42:31.995632Z
32d515b00a3325325de6514c17840f7b
2008-07-11T09:04:00.922521Z
79
leberre





















3885

aim-50-6_0-yes1-2.cnf
file




2010-03-26T11:42:31.995632Z
dcfb78c4e4df484eb59560d356867401
2008-07-11T09:04:00.922521Z
79
leberre





















3878

aim-50-6_0-yes1-3.cnf
file




2010-03-26T11:42:31.995632Z
57a93b6a0099d2b480e132c465591a05
2008-07-11T09:04:00.922521Z
79
leberre





















3878

aim-50-6_0-yes1-4.cnf
file




2010-03-26T11:42:31.996629Z
28996c24f3317e067e4cd5f8e1a80016
2008-07-11T09:04:00.922521Z
79
leberre





















3884

aim-200-2_0-no-1.cnf
file




2010-03-26T11:42:31.996629Z
abefd7e5da8782dbf2c6fad2d79f34e5
2008-07-11T09:04:00.922521Z
79
leberre





















5852

aim-200-2_0-no-2.cnf
file




2010-03-26T11:42:31.996629Z
277b0a345e1186259e5f82f6d0dce4b0
2008-07-11T09:04:00.922521Z
79
leberre





















5851

aim-200-2_0-no-3.cnf
file




2010-03-26T11:42:31.997629Z
3a061a58fabd5f49090ebc033dcde7cd
2008-07-11T09:04:00.922521Z
79
leberre





















5849

aim-200-2_0-no-4.cnf
file




2010-03-26T11:42:31.997629Z
aa7258ece7e623e067d6a7f3dc05f574
2008-07-11T09:04:00.922521Z
79
leberre





















5847

aim-100-1_6-no-1.cnf
file




2010-03-26T11:42:31.998629Z
be78f73d5b5538471280582d84a47214
2008-07-11T09:04:00.922521Z
79
leberre





















2273

aim-100-1_6-no-2.cnf
file




2010-03-26T11:42:31.999631Z
7d85473ede2d053bdc8bac7a8d392067
2008-07-11T09:04:00.922521Z
79
leberre





















2258

aim-100-1_6-no-3.cnf
file




2010-03-26T11:42:31.999631Z
6cd78c64fb5c32f814adbe20d25cfc5a
2008-07-11T09:04:00.922521Z
79
leberre





















2269

aim-100-1_6-no-4.cnf
file




2010-03-26T11:42:31.999631Z
36807e03cab6edfcc833004b569ef6af
2008-07-11T09:04:00.922521Z
79
leberre





















2262

aim-200-3_4-yes1-1.cnf
file




2010-03-26T11:42:32.000630Z
014f9107fc8808b80981844563e04ccd
2008-07-11T09:04:00.922521Z
79
leberre





















9735

aim-200-1_6-yes1-1.cnf
file




2010-03-26T11:42:32.000630Z
13d3ca294839614b63784ddc43b16fa3
2008-07-11T09:04:00.922521Z
79
leberre





















4731

aim-200-3_4-yes1-2.cnf
file




2010-03-26T11:42:32.000630Z
7f683313dcdc2283c2abbbb72e1b4ea2
2008-07-11T09:04:00.922521Z
79
leberre





















9750

aim-200-1_6-yes1-2.cnf
file




2010-03-26T11:42:32.001629Z
d4b0b5b885c0d5cc887c72adfa1ccb8c
2008-07-11T09:04:00.922521Z
79
leberre





















4760

aim-200-3_4-yes1-3.cnf
file




2010-03-26T11:42:32.002629Z
afeb3d844589de27c7fc767c92438b6f
2008-07-11T09:04:00.922521Z
79
leberre





















9739

aim-200-1_6-yes1-3.cnf
file




2010-03-26T11:42:32.002629Z
adec58935354b16ee2173d0c22130a70
2008-07-11T09:04:00.922521Z
79
leberre





















4734

aim-200-3_4-yes1-4.cnf
file




2010-03-26T11:42:32.003643Z
3978a1acadd56f51b5c3cc5f66562544
2008-07-11T09:04:00.922521Z
79
leberre





















9731

aim-200-1_6-yes1-4.cnf
file




2010-03-26T11:42:32.004631Z
a1941fa0ac12b607df7a5b80b05b9060
2008-07-11T09:04:00.922521Z
79
leberre





















4731

aim-50-1_6-yes1-1.cnf
file




2010-03-26T11:42:32.004631Z
dc56e880a4b5757453dd4ad2ac4304c4
2008-07-11T09:04:00.922521Z
79
leberre





















1258

aim-50-3_4-yes1-1.cnf
file




2010-03-26T11:42:32.004631Z
9c2119ab7a19f5cadd6a57a8ca55f8a7
2008-07-11T09:04:00.922521Z
79
leberre





















2332

aim-50-1_6-yes1-2.cnf
file




2010-03-26T11:42:32.005629Z
60599776262003c838cc9f289092a5cd
2008-07-11T09:04:00.922521Z
79
leberre





















1248

aim-50-3_4-yes1-2.cnf
file




2010-03-26T11:42:32.005629Z
dae8271105a0a6442b5956f0e94f9e26
2008-07-11T09:04:00.922521Z
79
leberre





















2331

aim-50-1_6-yes1-3.cnf
file




2010-03-26T11:42:32.005629Z
a73e0ed1be5b5cb38d191d6da395ee62
2008-07-11T09:04:00.922521Z
79
leberre





















1241

aim-100-2_0-no-1.cnf
file




2010-03-26T11:42:32.006629Z
251c734542cd66a15a6decd894b71ef2
2008-07-11T09:04:00.922521Z
79
leberre





















2756

aim-50-3_4-yes1-3.cnf
file




2010-03-26T11:42:32.006629Z
5079730dcfdb68a3f950dd92615e94e3
2008-07-11T09:04:00.922521Z
79
leberre





















2331

aim-50-1_6-yes1-4.cnf
file




2010-03-26T11:42:32.007630Z
3ef0dfcdfdd1751f08dc96ac49edd6e1
2008-07-11T09:04:00.922521Z
79
leberre





















1257

aim-100-2_0-no-2.cnf
file




2010-03-26T11:42:32.007630Z
d52331c707dd274b3dc0662bce6b36f1
2008-07-11T09:04:00.922521Z
79
leberre





















2756

aim-50-3_4-yes1-4.cnf
file




2010-03-26T11:42:32.006629Z
1a53c5fb8bc9968e51833ffeca81a2e8
2008-07-11T09:04:00.922521Z
79
leberre





















2329

aim-100-2_0-no-3.cnf
file




2010-03-26T11:42:32.007630Z
3c55ce13101bbf5e13f772d0962a2a07
2008-07-11T09:04:00.922521Z
79
leberre





















2749

aim-100-2_0-no-4.cnf
file




2010-03-26T11:42:32.008629Z
85aeb60d0a1a4cefc1b99db2012ffe23
2008-07-11T09:04:00.922521Z
79
leberre





















2756

aim-50-1_6-no-1.cnf
file




2010-03-26T11:42:32.008629Z
3a56712f736860560726d65e75c62a45
2008-07-11T09:04:00.922521Z
79
leberre





















1261

aim-50-1_6-no-2.cnf
file




2010-03-26T11:42:32.008629Z
b018a7b6bb643c8537a680756b49d154
2008-07-11T09:04:00.922521Z
79
leberre





















1265

aim-50-1_6-no-3.cnf
file




2010-03-26T11:42:32.009629Z
b91937a7b571a35e208d5ada587ccfcf
2008-07-11T09:04:00.922521Z
79
leberre





















1249

aim-50-1_6-no-4.cnf
file




2010-03-26T11:42:32.009629Z
300e9658ba4d6146c79d13b54bb261d1
2008-07-11T09:04:00.922521Z
79
leberre





















1253

aim-100-2_0-yes1-1.cnf
file




2010-03-26T11:42:32.009629Z
29a9c0771d1bc747a242c1bc4bff5147
2008-07-11T09:04:00.922521Z
79
leberre





















2751

aim-100-2_0-yes1-2.cnf
file




2010-03-26T11:42:32.010629Z
8a9d12c2f99ad56e6dee073fabd1dbbf
2008-07-11T09:04:00.922521Z
79
leberre





















2746

aim-100-2_0-yes1-3.cnf
file




2010-03-26T11:42:32.010629Z
30c56ae3c1903a98b1f434983b1faf99
2008-07-11T09:04:00.922521Z
79
leberre





















2750

aim-100-2_0-yes1-4.cnf
file




2010-03-26T11:42:32.010629Z
6ca7999ff0d35c212e6eb86358c8624a
2008-07-11T09:04:00.922521Z
79
leberre





















2754

aim-100-6_0-yes1-1.cnf
file




2010-03-26T11:42:32.011629Z
10c86e5bbb6431a19f254d96ec606220
2008-07-11T09:04:00.922521Z
79
leberre





















7646

aim-100-6_0-yes1-2.cnf
file




2010-03-26T11:42:32.011629Z
3afbe30d94fb62c49dec742b060b5ebf
2008-07-11T09:04:00.922521Z
79
leberre





















7654

aim-100-6_0-yes1-3.cnf
file




2010-03-26T11:42:32.011629Z
32f99378eed1e0e0067f4c9c19007b9c
2008-07-11T09:04:00.922521Z
79
leberre





















7651

aim-100-6_0-yes1-4.cnf
file




2010-03-26T11:42:32.012629Z
6d8bc66e1eccdc6130e98b073cb7d043
2008-07-11T09:04:00.922521Z
79
leberre





















7644

aim-50-2_0-no-1.cnf
file




2010-03-26T11:42:32.012629Z
6b744cc515c62d0430261cf56f1e0c40
2008-07-11T09:04:00.922521Z
79
leberre





















1498

aim-50-2_0-no-2.cnf
file




2010-03-26T11:42:32.012629Z
c83697435c527f73dd08da410ea846b6
2008-07-11T09:04:00.922521Z
79
leberre





















1498

aim-50-2_0-no-3.cnf
file




2010-03-26T11:42:32.013630Z
23885aeb6094806b1244cf9eb82feeed
2008-07-11T09:04:00.922521Z
79
leberre





















1498

aim-50-2_0-no-4.cnf
file




2010-03-26T11:42:32.013630Z
398de4372709d77c17b89efcaf091ae4
2008-07-11T09:04:00.922521Z
79
leberre





















1488

aim-200-2_0-yes1-1.cnf
file




2010-03-26T11:42:32.014629Z
8fbca7f8f3622dd0258456e54c6a6551
2008-07-11T09:04:00.922521Z
79
leberre





















5850

aim-200-1_6-no-1.cnf
file




2010-03-26T11:42:32.014629Z
481b248795aacf0ff827443f61b1cc36
2008-07-11T09:04:00.922521Z
79
leberre





















4746

aim-200-2_0-yes1-2.cnf
file




2010-03-26T11:42:32.015629Z
bcbe081cec76de72a0fd8e73d07e6b87
2008-07-11T09:04:00.922521Z
79
leberre





















5850

aim-200-1_6-no-2.cnf
file




2010-03-26T11:42:32.014629Z
4eb508ab6e2094f3e079dee1eca86c05
2008-07-11T09:04:00.922521Z
79
leberre





















4757

aim-200-2_0-yes1-3.cnf
file




2010-03-26T11:42:32.015629Z
8cd6853a6e3876aa3c771bfbc5bd9e34
2008-07-11T09:04:00.922521Z
79
leberre





















5850

aim-200-1_6-no-3.cnf
file




2010-03-26T11:42:32.015629Z
81ac49db73aedba3bc3a1f928d16e788
2008-07-11T09:04:00.922521Z
79
leberre





















4732

aim-200-2_0-yes1-4.cnf
file




2010-03-26T11:42:32.016629Z
5ae871632efa85ebd7189a927a1d3597
2008-07-11T09:04:00.922521Z
79
leberre





















5846

aim-200-1_6-no-4.cnf
file




2010-03-26T11:42:32.016629Z
2f30019028487073aa04eefc45a50e77
2008-07-11T09:04:00.922521Z
79
leberre





















4749

aim-200-6_0-yes1-1.cnf
file




2010-03-26T11:42:32.017629Z
f5b7fa8fdebcafda5476805f5d4b08e0
2008-07-11T09:04:00.922521Z
79
leberre





















16959

aim-100-1_6-yes1-1.cnf
file




2010-03-26T11:42:32.017629Z
e9feab81e4835a7c7b43b9eafecb03f6
2008-07-11T09:04:00.922521Z
79
leberre





















2259

aim-100-3_4-yes1-1.cnf
file




2010-03-26T11:42:32.016629Z
d1b6aa19ab97c8c1cb6aa7ff00af8a0e
2008-07-11T09:04:00.922521Z
79
leberre





















4469

aim-200-6_0-yes1-2.cnf
file




2010-03-26T11:42:32.017629Z
aa6b5da9dea195b37d75a601fdc779fe
2008-07-11T09:04:00.922521Z
79
leberre





















16924

aim-100-1_6-yes1-2.cnf
file




2010-03-26T11:42:32.018630Z
b4f0467541056d116b8561c9dbd0212e
2008-07-11T09:04:00.922521Z
79
leberre





















2258

aim-100-3_4-yes1-2.cnf
file




2010-03-26T11:42:32.018630Z
5f5c3b5987041ddd31c49cf494bd8d30
2008-07-11T09:04:00.922521Z
79
leberre





















4458

aim-200-6_0-yes1-3.cnf
file




2010-03-26T11:42:32.019630Z
47f20f600e10b03992f3fa4009d0e8c9
2008-07-11T09:04:00.922521Z
79
leberre





















16939

aim-100-1_6-yes1-3.cnf
file




2010-03-26T11:42:32.019630Z
1ff7366fc6701dc3dcf214cb5bbc2949
2008-07-11T09:04:00.922521Z
79
leberre





















2262

aim-100-3_4-yes1-3.cnf
file




2010-03-26T11:42:32.019630Z
2b3f1b2c851a105d47551eacfaa258f9
2008-07-11T09:04:00.922521Z
79
leberre





















4474

aim-200-6_0-yes1-4.cnf
file




2010-03-26T11:42:32.020629Z
f0f30f1b392146a6e416bb606be9e742
2008-07-11T09:04:00.922521Z
79
leberre





















16931

aim-100-1_6-yes1-4.cnf
file




2010-03-26T11:42:32.020629Z
807c964a5e3254f214399402d8da683a
2008-07-11T09:04:00.922521Z
79
leberre





















2267

aim-100-3_4-yes1-4.cnf
file




2010-03-26T11:42:32.020629Z
4cb31ee31b32bdd72ad1c04588f7080e
2008-07-11T09:04:00.922521Z
79
leberre





















4467

