00660bd43717e323715909a62b6aaa6435fec9c80065ddcfa59824faa7f4cdd0  ./k-dim-knapsack-bench-784-143-12.opb.cnf
006f396fa23a9d1dbc81cb83fc4681aeea8c6320e0aec2601be50acbc2104d09  ./k-dim-knapsack-bench-543-260-12.opb.cnf
007d2fdc2cfae30b1edc6a5f9c35d7d77c2ea59bfed2d739771ffeecda838a85  ./k-dim-knapsack-bench-116-210-14.opb.cnf
009489c0e5d4b7944622edbc1bfbf39aaf809c98b253feae779c977a372c35cd  ./k-dim-knapsack-bench-875-182-5.opb.cnf
012efa4454f1352ae963593701b259a924ccd5aa46882b19bcb97a5008f4c2f3  ./k-dim-knapsack-bench-862-279-5.opb.cnf
0143fcccb968c183f3d35fb017d3a4a2eedcfc62e7684ef34a03b61221c17a59  ./k-dim-knapsack-bench-48-116-19.opb.cnf
0179892ef1f81c1bf058e8d3fdde8757fd5ebb7fa80c8f7544006d596d19fe53  ./k-dim-knapsack-bench-542-263-12.opb.cnf
018c4b003497c1bfff7c40ecaa050825992d8a1c61e49903b058495616c00452  ./k-dim-knapsack-bench-716-148-16.opb.cnf
0198bc3ae4e4ff92c729a886c171acada0a3a483568aad3af28d977c4d228a30  ./k-dim-knapsack-bench-799-235-3.opb.cnf
01da88049486dc3c6df65ce2893dbfd7d02d16f9d2ff178952c21802e9e457b8  ./k-dim-knapsack-bench-186-14-18.opb.cnf
01feb408d0f16eef66ab7583a91dc7f13b48597a7e3aacef49d88622fbc62f7d  ./k-dim-knapsack-bench-146-277-10.opb.cnf
02318f3a6216dd2d8922cdaf9c4cc282799ef38f859eb24ee0c413e53d1ee1a0  ./k-dim-knapsack-bench-309-109-10.opb.cnf
0299df2f00b0aaf0e7144ba63f46d821ee6bd3e1cc9a79e16b7d36e272ffc3d4  ./k-dim-knapsack-bench-714-171-7.opb.cnf
02a01d5cabd54c8aa813f250331ec06e33df81bf8ad45fffcebc516418edb05b  ./k-dim-knapsack-bench-545-209-13.opb.cnf
02ca189141c31ec59272c3d68bdb60c4aea886476fe050b9498da27c7a654086  ./k-dim-knapsack-bench-380-214-16.opb.cnf
0321bae3aa71318b0c7df2e1cc34b8108c6a41231c0e897b076b2ecd0b02b860  ./k-dim-knapsack-bench-596-113-17.opb.cnf
032c6e8b13bf129c4c38ebccca542ead87044b13443c004a5218978e82dac372  ./k-dim-knapsack-bench-409-49-17.opb.cnf
0359c956f23f2a610eb93cb8196dc4dc5217bdba6b4d2c8df9832e44f0589a20  ./k-dim-knapsack-bench-974-297-11.opb.cnf
037929810b2664159f7579249e0a05f24179d7ccbe592045447bd7a5eb805554  ./k-dim-knapsack-bench-858-52-16.opb.cnf
03793bc4ed713b2cd228f39c4fca2cda06e2ae308872418c6de5ba85c532ee5b  ./k-dim-knapsack-bench-235-126-8.opb.cnf
0383fb0250cee92db0aace97bae7ddcec4d0227c49d7a4ea7234da94e9a50631  ./k-dim-knapsack-bench-265-150-8.opb.cnf
03da6ddee653bc57da68d5b42d219b726e72952ff41d96f1ac2af7f4d0bbdab0  ./k-dim-knapsack-bench-772-168-5.opb.cnf
03f1edf37c6567a2f82ff758039cd2ada2d7a9a93c0225c9ee4fcbd4260c0566  ./k-dim-knapsack-bench-589-274-3.opb.cnf
0428b69d76f6c7c4372aa015363fe7d26dfcfb836ade8919341325c0303527b8  ./k-dim-knapsack-bench-675-166-8.opb.cnf
04cbc406a9baabac11cb05974e32e6b2d83b1aee85f62e809bd426bc2621dad5  ./k-dim-knapsack-bench-818-64-3.opb.cnf
04cf8fe37f7feb655a6420e38c4722e1a7670ac3bb2da561cd040ac40ac5f1ff  ./k-dim-knapsack-bench-893-211-13.opb.cnf
054be4d3647bf332e7a0ff07e949cce58d2de1a4a4d85eb5c59896045e6d7463  ./k-dim-knapsack-bench-788-182-4.opb.cnf
0572baa72817d9887ef137b42870606e9a63ec1582faa33fa160f8b9e5eedd91  ./k-dim-knapsack-bench-829-71-5.opb.cnf
0595b20bb9d61c903692982e3cdba2c693a41c1ae59cd43e0cd7470e12a44539  ./k-dim-knapsack-bench-925-205-7.opb.cnf
059e79f63222485f06275adb834f4c49ae940079f092af8e12c8ee3d7286b1a3  ./k-dim-knapsack-bench-161-112-6.opb.cnf
05eda4e7218b8d90ecbaf274b1a6c2cb7f9cab8da085b63ce510f77426f220a0  ./k-dim-knapsack-bench-449-115-20.opb.cnf
062ab6c86e163453f0376bc8e2ca64897b1c2d7c319a8e2a43b44edd3d4b9bde  ./k-dim-knapsack-bench-130-245-19.opb.cnf
062ee46c3af2b01a39265d9f7003dc9486b3357f2e6f88953efc6d4ceccdb1fd  ./k-dim-knapsack-bench-860-139-13.opb.cnf
0658151a20a2f775780ebdaa7fd4d9eaabcdb0ea5f1e3983896b055ae72f4782  ./k-dim-knapsack-bench-915-212-10.opb.cnf
069ce89bb95fc36280315bbb0b5acdcad194cb8efd4bd4312ed2e16479b2bb2d  ./k-dim-knapsack-bench-322-246-2.opb.cnf
06f774af5c00562086ba678c72f3f9681c6dfc5747d57ec51e9474a6e9507a0e  ./k-dim-knapsack-bench-500-151-14.opb.cnf
076ef7158bcfbeed3ecfbe6d88b0c925090184afb6ccb4165799ba4218c9360c  ./k-dim-knapsack-bench-211-273-2.opb.cnf
07ad6e5d19d7c6629c046282b08585645c41522a85b914b3a9139352a35c71b3  ./k-dim-knapsack-bench-158-121-11.opb.cnf
07d7b8bd144d4975cc666ff5694bcfbdd488d3aa6d3c2dcae5a111763353dbe6  ./k-dim-knapsack-bench-506-50-6.opb.cnf
07dd03c5bf314d053c8f7601036038d540eee6f2e138d06dacff0355401182f1  ./k-dim-knapsack-bench-14-16-16.opb.cnf
07e7ca2cf3a622541fcbf1774587af816b3c581eec482cc50c4e976e2133f7f1  ./k-dim-knapsack-bench-891-47-17.opb.cnf
08696f60bf96f8000c218ccbe235d759492c9424682e73f982d00cfbe732090c  ./k-dim-knapsack-bench-486-253-13.opb.cnf
0873d2e316b7e39aa46baebfc9a88485d83fb59057639cf1dcb281f32c237fc8  ./k-dim-knapsack-bench-767-285-5.opb.cnf
0885b64d22d804e22a7c84ca4b15108f57c2bf8a8ba47c0577379b5323c6666c  ./k-dim-knapsack-bench-771-97-11.opb.cnf
0893fcde4826fb6e284da440c07ca3825dcd820e2f46ce48249ff2420228ee98  ./k-dim-knapsack-bench-5-112-18.opb.cnf
08a8eb94360950bfc9ef404759b0dcc9dd6b398ef6a0845c80f142f19310fc0b  ./k-dim-knapsack-bench-929-111-5.opb.cnf
08cdcce57dff4d093cf2223cff07efe8791602bf5f94fd32181476e8108ab022  ./k-dim-knapsack-bench-923-300-9.opb.cnf
08e87af8e511089e28aedc72642a0d340c6085a4d779c4a5551b6b014648fbbf  ./k-dim-knapsack-bench-978-66-3.opb.cnf
090a7ea551405bcf0b348cdcf09da9e69a9b6cdcbc266e59c357ffaea62da602  ./k-dim-knapsack-bench-761-139-14.opb.cnf
0911d72fb7f13f3ad26fb3b0e8845e0b0018f1a3b775c755aa0d876d0c3b1d27  ./k-dim-knapsack-bench-966-186-10.opb.cnf
0946bd455ea1a47f1f69fbc9867119807dfc415d193303348dd55f9798cdb595  ./k-dim-knapsack-bench-489-57-11.opb.cnf
095238d7c054effe08d9691a2a31fca0257f9199e9c4e71caade80c9697c9fb1  ./k-dim-knapsack-bench-706-144-8.opb.cnf
09eaa788824a783c7769999c9b3ec823ba9bf3fdfb68735eddcccfa6eb20bffd  ./k-dim-knapsack-bench-169-81-10.opb.cnf
09f9bb01afcf6fc645c8c9f32f96751bcd1f9f6784c53c2b93a26d29ea2f52b0  ./k-dim-knapsack-bench-588-253-16.opb.cnf
09faed24a354a1ba57557b0fcc04cce81a26e713a7b9bc6a450544232e88784b  ./k-dim-knapsack-bench-72-73-9.opb.cnf
0a17cfeb8053e0aef1bae8f9bb1868ea3e4e7334cc13ed5d4b9a0fed95299af7  ./k-dim-knapsack-bench-26-45-2.opb.cnf
0a261932cf70c1726b08f016edc1d7903bb7fdc125089ceaf27fa23d79b81e98  ./k-dim-knapsack-bench-482-244-13.opb.cnf
0ad861736fcd9bfe3c6239202d809bfb9f81e4a78e2368dfe0a80248886128fc  ./k-dim-knapsack-bench-172-262-20.opb.cnf
0b04dd9527070c8be3b2d567eb7e9828a1fb056c1a137aa1fa39e467c7aba6d0  ./k-dim-knapsack-bench-345-58-5.opb.cnf
0b43d2803a0d89bb526a1d49e8e6dc176f9fb31181e61feb9a80d662026a1d1f  ./k-dim-knapsack-bench-256-263-14.opb.cnf
0b77d83441f7f025eccb78dc4bcf904d047f11765ea419571a33079425c23f84  ./k-dim-knapsack-bench-469-269-7.opb.cnf
0b8f9812ea957cd7b326a9433fccaa6333dd0ae013b77098bb164789637d1c59  ./k-dim-knapsack-bench-550-286-2.opb.cnf
0badeac97b8d640ecc51022a8d5e3a0b26a220f70b8da83d61b9a0fd8baefe77  ./k-dim-knapsack-bench-352-57-1.opb.cnf
0c5763241135e2d280b2af714c5cd54e763f6a98c69254efd25e78b1c6a168aa  ./k-dim-knapsack-bench-502-271-18.opb.cnf
0c969b6ea86d201c7d342baa844bbf003ccd5345f074d7f02cd91ea1467774e2  ./k-dim-knapsack-bench-373-96-9.opb.cnf
0ca0379262c89472f76675741a01a440c652ad7655f178aa82a49766a3bd336a  ./k-dim-knapsack-bench-11-216-20.opb.cnf
0d2b3412e014b495536b28c828e64ec55c7043c5a47a92c5acb759fc7b0a7592  ./k-dim-knapsack-bench-147-69-14.opb.cnf
0e851069457603a2307785a33e8713b63484fb289d0d384d8c7260326eff913d  ./k-dim-knapsack-bench-935-83-2.opb.cnf
0eabc8e43af02cb6736bd1aca1fea5a7585c4a3c540b17e97f9f6be669784086  ./k-dim-knapsack-bench-981-117-1.opb.cnf
0eac8108d00cd686e8c6cb410b40c2ff8bac91d71b6fc799130fc23436f7e3f4  ./k-dim-knapsack-bench-790-265-11.opb.cnf
0efd6be23b068fce4f01fac41d3624a555996cd884d11ed1a4dad2f3d305dd2a  ./k-dim-knapsack-bench-759-165-19.opb.cnf
0f5e03030be4150ee8605dd823c7d756e8a39260a3f68e97b369748b6ab72691  ./k-dim-knapsack-bench-654-101-19.opb.cnf
0f708021cf069e85e1507217c27806c1af3ab22777c274a74872a83e40cefc62  ./k-dim-knapsack-bench-969-30-5.opb.cnf
0fbc36fcddcff17a81832f15587f6a76e3f496f24835469bc7f1af036d5ada55  ./k-dim-knapsack-bench-50-128-14.opb.cnf
1072f08589c2442be45778f3405b427d51c4f95465a3d5f7147c533771c8d9ee  ./k-dim-knapsack-bench-566-110-12.opb.cnf
10a732cc0f70aebfa429a08c67e8166f231fc4db182c4b219904fcbba6706238  ./k-dim-knapsack-bench-928-187-14.opb.cnf
11292f583834ab1d032f5cc4dcb9e46cd1eac0907007c97153a4366e980734ae  ./k-dim-knapsack-bench-297-42-5.opb.cnf
1180e3f2ab4d536da24bf0e588934c0be52155af0c6c51fd973f1469d5b713f4  ./k-dim-knapsack-bench-764-23-19.opb.cnf
11bb1760a48a25360a400ab6fbfcf320eb986e3ab4aae669ad23b4ecf282e71b  ./k-dim-knapsack-bench-61-22-13.opb.cnf
11ec9ef7b89551822b5a38a4883004937855c374e157d9e72b99976fae6a8e6b  ./k-dim-knapsack-bench-210-173-14.opb.cnf
12231aed5d4d5504997d1d1e671ff57b4e3979eee631a35db42e0e0facce680f  ./k-dim-knapsack-bench-723-98-20.opb.cnf
123d48a3ed0f0ee47d537cf0eba0be5b0d0bd36da260d92f5309d80ba18214d7  ./k-dim-knapsack-bench-971-31-3.opb.cnf
12ae3d2949a5f21899e0734425cba3232f80a50178f2fee836de17bb8e2b0baf  ./k-dim-knapsack-bench-906-31-11.opb.cnf
12bc30cb52fa97b73d5fe9d6991db6ffee97b26d885456ada108ed080268e0d0  ./k-dim-knapsack-bench-80-91-12.opb.cnf
1327ce07535366509946ff85d4dbfc8c4abb81b5891a6c685e970e7a408e2d06  ./k-dim-knapsack-bench-277-43-16.opb.cnf
13998070a2965432af7df8112d80b6e3bbd6377953751af468525fa318db6bf7  ./k-dim-knapsack-bench-497-103-3.opb.cnf
13ace8c041e64a73b58370cda62a98c302e46900ff1d60e17b784f43bd4bfdf9  ./k-dim-knapsack-bench-616-296-7.opb.cnf
13de9361df3dc0759f5d5ccef82d9fff9b0be15ddb40c259bd7aa3e75e0cb6b4  ./k-dim-knapsack-bench-424-196-18.opb.cnf
14273fd017249c9fdb71be867d23f9efcab5f39d61a249cabfc497db352afe58  ./k-dim-knapsack-bench-223-167-18.opb.cnf
14aef15cd609111eff2b6fc9f728563fc7ad31de601a232217529236703dfcfa  ./k-dim-knapsack-bench-691-201-11.opb.cnf
152b528c88e4f7296c99a1484704fc063b510d6fabb19e554ea0e67f37cd484b  ./k-dim-knapsack-bench-412-250-12.opb.cnf
155193ef282742d6fb14226276e9dec90303af41b7f4d79440768b95d1b2861b  ./k-dim-knapsack-bench-19-235-17.opb.cnf
160cc44928265b6c24e157662addf11d07063301e1af8cab455d69dc42c5fdce  ./k-dim-knapsack-bench-385-70-17.opb.cnf
16211d837d8356032e9f21cbb4ad6257e09be6ca718a92f0f7772024fbce55cc  ./k-dim-knapsack-bench-199-57-11.opb.cnf
1638fb02639c6df223f44bdc71e3892f5e6e672f3f9258637fd490bb875dde42  ./k-dim-knapsack-bench-849-187-3.opb.cnf
1746269420e73c40081b1a14bcfa65352ddd58e418115f3bf57688750d40d894  ./k-dim-knapsack-bench-865-241-20.opb.cnf
174b2a2a6b847ea9a21209a31c52c2e675331312b042592d45ba4f588218d4db  ./k-dim-knapsack-bench-354-300-8.opb.cnf
17b05e496f9f8db92bf241568cbed2bf19e526e5aaa4a802268abfcf003b4123  ./k-dim-knapsack-bench-499-173-10.opb.cnf
17b964f8e42722f163aaa70317d8aa619591964cc60243f1256146dc3edc33bc  ./k-dim-knapsack-bench-94-173-13.opb.cnf
17d3d31f4211e30ddb283a3b52943c5566895f4b9bd5cf778d0074a6039cf13c  ./k-dim-knapsack-bench-445-42-17.opb.cnf
1835bf67a19037dea417b572fcbf9f92e0c59416cf9162e64fb187053501da4b  ./k-dim-knapsack-bench-945-290-1.opb.cnf
1883f9969c55b281380ef9fe50f9c8d12b5c3239cebbf57ff9580114647ea456  ./k-dim-knapsack-bench-899-297-19.opb.cnf
18b6eb98816a8179f18cff09afd6cbcff9f7208f7446d018e10bbdbd6a414d56  ./k-dim-knapsack-bench-697-251-8.opb.cnf
1944e57e9b20304ad8aa624f6cf6cd59d5171e96142a766fe92c893a3c4ea3cd  ./k-dim-knapsack-bench-955-206-3.opb.cnf
19906695ea0a7565c823fe5393e9351eecc270ed3f2f1cd6e5ebce0547ac3a63  ./k-dim-knapsack-bench-283-156-6.opb.cnf
19cb5fd0c889371c1e931130f32b92be1ca9b3fdbbdf9b488966b753dd12ab0f  ./k-dim-knapsack-bench-84-75-4.opb.cnf
19f357959766615cae63236cb5796f07da02843fd678d5fdaf4841be3a34fefb  ./k-dim-knapsack-bench-52-126-13.opb.cnf
1a80a839385d31d732ecf669838c9ae39b1785cf862a5c6c16520f58e9305046  ./k-dim-knapsack-bench-532-172-11.opb.cnf
1aae5f572720d74db8be4d98db8e07452a427057f5315c89d23603b41260f294  ./k-dim-knapsack-bench-395-270-4.opb.cnf
1ab5ed009bee95b431a1b4f421e10c962b71b918f19d30561b225db58d72aefd  ./k-dim-knapsack-bench-815-176-11.opb.cnf
1b6c8ffab9e75a40129a4e90578799d9aa5df8ee5dcc5d6d4e97ee595fd79d0d  ./k-dim-knapsack-bench-972-157-12.opb.cnf
1b82f47f4493c77637c47c83589252ce11318041f02ac9f9ee89efceb60abf83  ./k-dim-knapsack-bench-526-173-18.opb.cnf
1bb69b8d2d6588f4e483ca8b447aecf0ce3981ad82948a98b54b27246bf74255  ./k-dim-knapsack-bench-86-68-3.opb.cnf
1c363cfddeaee5a81e6d6479b1ebe38c309573548fcd512edad2be72967771fd  ./k-dim-knapsack-bench-109-123-4.opb.cnf
1cbcd80def82c9691f0130dcffdcc6b39bc7707b570ed673aadf1f51b7315714  ./k-dim-knapsack-bench-165-190-6.opb.cnf
1d5097db57ee3b704753631c7c2c984e048f10988e9aba993c3b86408e0f22ec  ./k-dim-knapsack-bench-613-223-20.opb.cnf
1d66ca28e48d8a19ba66962deda6cac6569fcc56ac8a39d6ad3063e9286aa3b5  ./k-dim-knapsack-bench-941-277-18.opb.cnf
1d6b906dc6f894bad98a4a43928aa56608ae9993abd698159be951b525e60c37  ./k-dim-knapsack-bench-617-46-12.opb.cnf
1d7eab249b10688447f97327da6754d14b4df2fb888697db403a09e61a01ed42  ./k-dim-knapsack-bench-692-261-2.opb.cnf
1dba6a2d418be2c0db7921a8c667754fc44c00ac0f64401ebd60d887a87f219f  ./k-dim-knapsack-bench-625-158-13.opb.cnf
1dcb604d9b19a8f710ca000fbaf92a27cf612d54fc2860a501b06bd7fe7f3b65  ./k-dim-knapsack-bench-83-296-18.opb.cnf
1dd231a507c9ed9271ea9ba289d6bb6b7290d67c74a20ffc827c697b5acdade0  ./k-dim-knapsack-bench-712-98-18.opb.cnf
1deb30553746a8710dae8157ab0f07c74f2f31f78d270361a43a2a0b5f050e6c  ./k-dim-knapsack-bench-93-136-19.opb.cnf
1e39abae6eee14ee108459815d55e85b9d9db00752a9dbb768b0595e72c94300  ./k-dim-knapsack-bench-455-53-16.opb.cnf
1e8ff881a910ed33088daa5e63f02a727ba07d70f1d87113544f79c7d72340f8  ./k-dim-knapsack-bench-699-271-3.opb.cnf
1e9b2923707bb99ddbbf22176f8941227a69152a4b0b1083700b4c7f4a5ce5f9  ./k-dim-knapsack-bench-227-181-20.opb.cnf
1ebada7c4b242991ec07d97c9696efee91d7dccbbfcb84cfd0436e03a93678b1  ./k-dim-knapsack-bench-765-116-3.opb.cnf
1ee2891f1a51e8249f7d52ef66bb410df315eca6fdbaf77d7b1eeb3a558d3959  ./k-dim-knapsack-bench-934-58-8.opb.cnf
1f2a6be27169670faf46df305beeb7b116fee180824ae3b594d2b5c262f74ad8  ./k-dim-knapsack-bench-856-266-12.opb.cnf
1fa413b3f398cfbf30b6aa9dfc25db6be3e62a0d741af8bd9bf8c361a86e430b  ./k-dim-knapsack-bench-485-252-6.opb.cnf
201633a0b7aa260d08ce150f8740fa16e88106f6bae217c70cd4a36059597e91  ./k-dim-knapsack-bench-776-63-18.opb.cnf
204be5d9bb9c5a002eec1d5d59396ad856d6d47520cb0df5d6655907d9dcc7e6  ./k-dim-knapsack-bench-473-18-10.opb.cnf
20a38608fbbf93f216c64fb0f1344b1e24bae511d3bfa9067c8d32fe68eddf7a  ./k-dim-knapsack-bench-598-260-7.opb.cnf
20b521463084e33160ae4186fc6502d7c3ba9085955cd1d258fb7afa9ed6bf79  ./k-dim-knapsack-bench-742-77-6.opb.cnf
20c60c1d974592e59e84e6538cfad8aa927fd8d9d55125b71d0ce0676fda9c86  ./k-dim-knapsack-bench-275-236-18.opb.cnf
20e00e59b1ab861af983cc65a31947a5051f6508dd957844549aedd7d5790d86  ./k-dim-knapsack-bench-994-91-18.opb.cnf
2145dbf6a746a6a99eacb4325711a0fc48fd4b3da3193e97abb1f6faa30effe1  ./k-dim-knapsack-bench-154-197-7.opb.cnf
21802ae6b8840d4439baef1ad08eed7a9ba44a694fc8d8e04411a235443a6c5c  ./k-dim-knapsack-bench-743-204-1.opb.cnf
2207d891b484741a10e0033d55f193ded306c2324faacf3e8fc5eba0ec1aaf27  ./k-dim-knapsack-bench-507-27-1.opb.cnf
229d169baebc4bac627249544b2e5b85866eb15c46e9d2fcb3db3b0f4c163f0d  ./k-dim-knapsack-bench-90-11-1.opb.cnf
22fb67da978701865ee3d7e62cd7e4f4ba40f435120b7e5ed402431531c48d5b  ./k-dim-knapsack-bench-372-180-19.opb.cnf
230f94ce161c827507535422c8e0f35ac0cf4d3f9238156b13aa8c936736115d  ./k-dim-knapsack-bench-749-246-16.opb.cnf
234ee56b265e7feac3b716682134c100f86690e60705616018415e14318beba5  ./k-dim-knapsack-bench-415-220-20.opb.cnf
2357b8d771ca6fb611ab42beef6613606535361630ba3806a5e8c6f83aa703b6  ./k-dim-knapsack-bench-119-9-18.opb.cnf
23676c2d77aad8bbf0c790dc8cf8c96ff8dca5d0f72e37a3c1f8baa2bdbe6120  ./k-dim-knapsack-bench-82-295-10.opb.cnf
2393d5af4c31d5f4d6157ec18e58ffb7e3aea81dd909c0fc40d954c24bc724cb  ./k-dim-knapsack-bench-483-14-18.opb.cnf
23db086a41ec82f0611d2613f8ffbb298a0dad2e51e4176256f2bdfca740b2b9  ./k-dim-knapsack-bench-773-268-2.opb.cnf
24edf2abcdbcd94d151c70f962ec4274551751a45c16724ff5d5611096df0eea  ./k-dim-knapsack-bench-905-242-19.opb.cnf
255a13c2fb51a2abcfe831e2ef949bfd5d2cb77c4b0aa99d8e5bf8c3ef58fe6a  ./k-dim-knapsack-bench-480-11-8.opb.cnf
2580ff9f57ce282eaf17d59f28782c8c9f9b506a5069159a0a4074fc3e4f31f8  ./k-dim-knapsack-bench-885-207-6.opb.cnf
267881b8063cb2b2696340558ac1a3866a5ed0eba2ec2966de59b5604c1de416  ./k-dim-knapsack-bench-823-279-13.opb.cnf
26baf1f8c6af65caf461847cb8cb24929c2874a4c949a771a34eb847e7b439b8  ./k-dim-knapsack-bench-490-49-14.opb.cnf
27066112c322901e3597887487b7de6a6396dd5d28215516cb0e7a55948a9f89  ./k-dim-knapsack-bench-57-76-11.opb.cnf
271d4d24ee771141a1d85fc3bb0bfcbe6196ee959154f719297dbb82b971c3af  ./k-dim-knapsack-bench-476-59-6.opb.cnf
272edc497c595950e48a49130ee7b6efca7b19e93e48a5933c2cd1b5ed1f1d27  ./k-dim-knapsack-bench-397-179-20.opb.cnf
274b8a6b03e99387a32e1acac7dbe03e0f08d65332d7a93d75e63077326b8c20  ./k-dim-knapsack-bench-218-68-19.opb.cnf
27b46e3c85a48ab01796b3d0be27bf6f32524addcb2738532d206b26bf406b71  ./k-dim-knapsack-bench-864-246-4.opb.cnf
282ffa4254f7dcce0542a7d63348d67d9e0e6f93dcc5339492da49e2110da70f  ./k-dim-knapsack-bench-959-41-7.opb.cnf
2857e7dbfa0a851b2ef156f35e8607f82b4ace6dcc0d6e9a95abe7052eb4bbb4  ./k-dim-knapsack-bench-195-254-8.opb.cnf
28a91427f630c88e8a4e7251b408b90855b9431426c941dc4809649250ebb664  ./k-dim-knapsack-bench-536-232-3.opb.cnf
28e2aff4abdc46c469871630ba39dda0775b8d07f7dd56a8708de8a5a1826d6b  ./k-dim-knapsack-bench-652-83-4.opb.cnf
29096cc72e46cc3b7e23a306a2e7b68a0c6cefdc13390c259f646640fad661af  ./k-dim-knapsack-bench-606-27-13.opb.cnf
290a4f7c3df88811da8a459906a979265a4b99755afc8f9915bbd662c6b98dc4  ./k-dim-knapsack-bench-731-159-1.opb.cnf
2928f3af75bcf624e315a2a59d28a2fb6b1dc0180fde7f653e0174ece79a15fb  ./k-dim-knapsack-bench-379-12-2.opb.cnf
29391431156e7ebd4e237b87374ded7aeac6319c1a9d3f8985196dfb113a940d  ./k-dim-knapsack-bench-832-227-16.opb.cnf
29a6919629cc156b71cd2e610a78c8dea64245b3943e04f55b7016bf457c9823  ./k-dim-knapsack-bench-407-229-14.opb.cnf
2a114419ca21bd2f3f532c45f990ef147dc23ccebef60082606f68cddff3f627  ./k-dim-knapsack-bench-711-281-7.opb.cnf
2a9d94caae64107ffae799d5593fe9a70ab555ff2b05b6ff214217636048490c  ./k-dim-knapsack-bench-514-206-11.opb.cnf
2ac839d4ea0185d37c3f79c1294c79b9c1a0670146c6871309b8a9106c952e5f  ./k-dim-knapsack-bench-63-277-8.opb.cnf
2b20a83e0af88600548ad6c8afd4b54dbb58675ccceffeb71a1cde59ce8aae16  ./k-dim-knapsack-bench-230-176-5.opb.cnf
2b37d718ce2419ba9bc89eeede2f7153f61925b7617ec7e212779f405953e91a  ./k-dim-knapsack-bench-724-291-1.opb.cnf
2b44bc3899839553a2b1bb759078354541200b683fdf44726020e67f36353178  ./k-dim-knapsack-bench-985-253-10.opb.cnf
2b4ab95459e679773fe103b2fad86c5296670b75ad9075340f37178558e30d3e  ./k-dim-knapsack-bench-36-135-20.opb.cnf
2b787093ec701cae13bf34b15852fc7518c31f435691583ba9b3538ad9df0fff  ./k-dim-knapsack-bench-975-299-19.opb.cnf
2b86eea835e943c433067c5ca601536a000606ab8bc90c1b66ec223a29cc9738  ./k-dim-knapsack-bench-992-77-18.opb.cnf
2bff014b1c89cc1bd95cb29ad120f3317ee700b263b7cb0abeb660d3e24915ad  ./k-dim-knapsack-bench-603-143-15.opb.cnf
2c0227aa265046c20dd8398e97a2466ea1b5085c5768cb896c9e69be79ef514d  ./k-dim-knapsack-bench-717-147-6.opb.cnf
2c9165de41affe1c8e82ec78fd1f2dcccf0f1b5fafe18f1af0a2ff5fd670e4b1  ./k-dim-knapsack-bench-88-171-11.opb.cnf
2cde958f5e8de48ef7a094f20546b07f1e72b3337ccb12a8a21ae9bdcab3a196  ./k-dim-knapsack-bench-747-255-20.opb.cnf
2ceec7a54eb517631a43e89aca3dca5f731a13e278372f2b50aaeb76575351f7  ./k-dim-knapsack-bench-623-160-1.opb.cnf
2cfcbc387e7d18223ad605db79ac5796879c6565e787b173ced59f335a14dac3  ./k-dim-knapsack-bench-474-22-4.opb.cnf
2d1805e35454b5a19e7c2ad17c0194bfffed0099fc1d0fa1b1e2aa80c0afdfec  ./k-dim-knapsack-bench-207-118-11.opb.cnf
2d1de528400a9837f3273befeae7818cb52816096580e8477ff1c443542b4fdb  ./k-dim-knapsack-bench-408-269-2.opb.cnf
2d2770b62f4ed48e3422954440e69748dd35d2da443436435143762fa0d33b65  ./k-dim-knapsack-bench-876-7-16.opb.cnf
2d3df1812af20562c9ce0f8eaa88358e6268ac309cb07f1956f0a87931a5a79e  ./k-dim-knapsack-bench-366-205-8.opb.cnf
2d8940d145d688965495882a18f30c9ce95d531b9c0f2ff3f37f59414f9efc29  ./k-dim-knapsack-bench-689-219-18.opb.cnf
2dc1c23e6a743298ac3dc3e2569bf0ce5b8e6e622081d8789054d042c47de364  ./k-dim-knapsack-bench-232-264-2.opb.cnf
2dc21c71f9690d5beb9a078364bebbbb11ff336d3333579d7e14eb567c5404fa  ./k-dim-knapsack-bench-962-300-2.opb.cnf
2dc828cccda2823e0acbd349566ae0bb8a8059b9e1af0d149edb092d442fd9e6  ./k-dim-knapsack-bench-124-30-3.opb.cnf
2e2f80e78149c41c24a09b72ba0d353dda236745e4b141d372cb5b97ba4c062a  ./k-dim-knapsack-bench-202-239-18.opb.cnf
2e38364f2edf266eb5ae02fc7cfa30b11fdfe49be3186fb2ffc0d850181302ba  ./k-dim-knapsack-bench-564-100-11.opb.cnf
2ec66ffcd829820c9f4f68418791dcf683b92a1df4b31f5d9f37dd65a2e17105  ./k-dim-knapsack-bench-160-100-14.opb.cnf
2f3ca831fb3d06ffba3f17ac87c44b4792bbb813ec0e64dbe5f4b9d3ccd9e942  ./k-dim-knapsack-bench-932-278-5.opb.cnf
2fa940fbf39dab31ff71ca3f20b0e794a779fadcd151ffa88e37999f210bebd5  ./k-dim-knapsack-bench-835-291-7.opb.cnf
305a01c04391a6ca7d5bbe4394d195a1f6cfc8e209d93a2998fe1bd45c049d1c  ./k-dim-knapsack-bench-221-48-2.opb.cnf
306a6cdbabfbcafc779b87aef9dc05d375dcee539ee96c120d825ca8f13035e9  ./k-dim-knapsack-bench-257-265-10.opb.cnf
3085cfa9d0b925ab4b23ba1da2282afe5f3d104c54671c200c5f224e488845b0  ./k-dim-knapsack-bench-853-175-14.opb.cnf
308ee4b42819ea075ff242e490519ed74f9a9de39469864e3ed7bb93ae39cabb  ./k-dim-knapsack-bench-173-253-4.opb.cnf
308ffffe421b6eff9bc07bc00f7e741faa3121097a9e722cc75ecfaabf3d066d  ./k-dim-knapsack-bench-763-88-18.opb.cnf
309fcc955d0f65938c391822cb35b011521e9dd9c47f2c73779805db36058c4c  ./k-dim-knapsack-bench-960-204-20.opb.cnf
30a5af62a0af7fb347395421015380bfc05b8af766622285ca18f553ad22a3a3  ./k-dim-knapsack-bench-440-84-4.opb.cnf
30f96b910b26e16dd1fcf89326c19f8d121c84cca40ab5f8a4d53417547ba36b  ./k-dim-knapsack-bench-609-34-17.opb.cnf
31c71a6b07831e681808f6b70f7910ab2ef1d5d9c4b4a2b21c0e8bb788a6003b  ./k-dim-knapsack-bench-647-9-13.opb.cnf
3220d8d6021a817dff9355597e44b58ed273d521bf729b322bd726bef8f07c47  ./k-dim-knapsack-bench-599-161-15.opb.cnf
3239086fd90e5dcc38e57ec4044643aeacc0fe16dc73388bb0271a6e48036e7c  ./k-dim-knapsack-bench-126-260-11.opb.cnf
327ef7522304eab8f1eff28151f78671f7b759f7d79e6b1c00b2f0e5af57ea8c  ./k-dim-knapsack-bench-897-193-11.opb.cnf
32ec189e07e689af82c294c6f1d4f39c5cf079c003099253c6a03fa14a2a38c2  ./k-dim-knapsack-bench-369-221-12.opb.cnf
330e34e6aa047d585bd1742c5bb0cee7f29025286269e016dd3ea8fc1ce7cbb5  ./k-dim-knapsack-bench-219-256-14.opb.cnf
337d53e028649d263e6a25294c6bbf1f15947236a9c665f1497ea30bb0e01ea0  ./k-dim-knapsack-bench-674-276-18.opb.cnf
339ebb5c843cec88e545d91f23a817967f0ff4d2f04fedf56974aadc0630f1dd  ./k-dim-knapsack-bench-29-276-2.opb.cnf
33dbfef8a67720eaddc232d91ae7f281694170f53f7286a860c05694184d3182  ./k-dim-knapsack-bench-574-263-10.opb.cnf
34289e61a2e85f52d04b0f4f075502b673fad53087855ce0fa63468c62630863  ./k-dim-knapsack-bench-624-169-8.opb.cnf
342ba409541b7f7e7ce3cfc08982f51ac1d4d22ff654fee379bd71defa8e2c0b  ./k-dim-knapsack-bench-753-56-3.opb.cnf
345ab3d1097f02c32a2ebbee7009f1239165a321f75ba1862c1fe88faa722877  ./k-dim-knapsack-bench-324-100-3.opb.cnf
345b8af3b2d21cb18cb60caedcf3cf15406cbcc1cd188df2e8d1fdf5d98344f4  ./k-dim-knapsack-bench-387-81-5.opb.cnf
349be586315ca05c8026ef967224c85f328732af6d9c4554a0b18dca5ebd7595  ./k-dim-knapsack-bench-888-127-18.opb.cnf
34b6a56cc37b66894575c3b481279b15a0c32283575970855b53d4ccc753fcf9  ./k-dim-knapsack-bench-737-59-8.opb.cnf
353eca2b85ee3e018c38d12e4cf5f4597460519bde24c7b3861b4f2ecff72034  ./k-dim-knapsack-bench-687-119-10.opb.cnf
357848043d5d409c8c309c238afdf740c36ec6e8c35fd041f1c58bb710c9e2ce  ./k-dim-knapsack-bench-791-127-6.opb.cnf
359a5ff9a8aae7b2e01b05f413c6ffe0bc7cb392f28a46236db70727140bb9d1  ./k-dim-knapsack-bench-452-288-8.opb.cnf
35e52ee28b301f3b68e8e6e93f95c442456407b2fe8fccbc724c886e791ea344  ./k-dim-knapsack-bench-812-5-8.opb.cnf
360f489ec32e11b7f3f93bfbce44be5366d7ce64a63861b3c0cc98fdf5745f4a  ./k-dim-knapsack-bench-920-121-9.opb.cnf
36451634f7b5a97dbf64c71e02964a5f946913bbb779afd56a98d9a26ad45bd8  ./k-dim-knapsack-bench-495-110-9.opb.cnf
36bf3f16d278087eb013604d0f46b461b14ca22ee7ab5020d892d118531bb32b  ./k-dim-knapsack-bench-386-214-1.opb.cnf
36e349158dea4074cc0ef17f49d2316864a71fd50984b478af680c2a516e4704  ./k-dim-knapsack-bench-375-138-15.opb.cnf
3725147cddbb2ce747cb418546da683b25631b23ff517e447eaced8a88bb3105  ./k-dim-knapsack-bench-413-148-8.opb.cnf
37e7c8290b8c6f9e85141b7930823430c8aacb03015bfe3f2f0e023f5efe2a2e  ./k-dim-knapsack-bench-376-211-12.opb.cnf
37f4e3f494efb825f786cc3bdcffa6e099842f9d30e2b85101912164bdb27903  ./k-dim-knapsack-bench-655-230-7.opb.cnf
38142752bb277f721f8efa932767af4a0e143ba58afe1551c5e475b1754dd3ad  ./k-dim-knapsack-bench-174-78-7.opb.cnf
381f1c29a80931bae4156c2234269e5dd0db61cb04929587b81d77dd83069c30  ./k-dim-knapsack-bench-56-293-14.opb.cnf
3835d8be887961ef6fc230b46b500698076c1b15348eb5d7d6ac7011dbdaec6c  ./k-dim-knapsack-bench-454-104-8.opb.cnf
3861d638191e1b6683d08d1e1eda474f740129f7a548a5659261af71737d359d  ./k-dim-knapsack-bench-910-189-2.opb.cnf
38fd4360ff1ff30837abdb5c7d90696b1b85945956d11f3c631c53c726ddffc3  ./k-dim-knapsack-bench-145-164-15.opb.cnf
3993c3c23e7d6498bd2c5589ac03b80ea30475e4450adce0a6812504a4a1fb47  ./k-dim-knapsack-bench-478-79-20.opb.cnf
39b48bd1947a702949842f666416bab5a054869600d1ae728f0d8a214c62d302  ./k-dim-knapsack-bench-956-51-14.opb.cnf
3a0d7b09cc9fb7afe15be12b7619626e9febbe613428b82a03c87ed73579d592  ./k-dim-knapsack-bench-448-217-4.opb.cnf
3a58d152a86fbd605b9721465669cfb1ae9c8e56a34151b33b0eda239413ca91  ./k-dim-knapsack-bench-735-271-6.opb.cnf
3a92292abd2d1bf11c2d646f63c32156a76508490c6f6cf22beaebdfb16efc19  ./k-dim-knapsack-bench-679-174-19.opb.cnf
3a9b8d7234a61b0008f4d5347a01f91738f8ab386f5f5065009b7775671965a2  ./k-dim-knapsack-bench-926-245-16.opb.cnf
3add734581d45921837ecf067f82d1e602093984dc34ffbbead74c01cbb9cc2d  ./k-dim-knapsack-bench-693-218-16.opb.cnf
3af08138a7defd885e671a8e1ca4f0b7d69b5183a8c69d4feab0862e0451b974  ./k-dim-knapsack-bench-796-209-5.opb.cnf
3b0f5021655412ffccbfdbb0d0b0312c46dce285ba4e31cf9741ed1d5a1ce2c3  ./k-dim-knapsack-bench-681-265-18.opb.cnf
3b8fd423fce74cb1ff2e4993fb144ef23eae4ee47a5bbbc03e92e815ee2225a3  ./k-dim-knapsack-bench-973-276-20.opb.cnf
3bd901749dd63ef3af7d2d2d752989c369f6265ffa2b14e8f26c446af13b37ec  ./k-dim-knapsack-bench-6-18-1.opb.cnf
3bf5c5ff779879cc528a3a2bacdec44f450132258a3b8c3569a4b6ad4f029ceb  ./k-dim-knapsack-bench-242-207-4.opb.cnf
3c05c8f3771d8cf2fb1665a0026c837d55e998e4b368c38959b3125467786095  ./k-dim-knapsack-bench-432-122-20.opb.cnf
3c19beda65790b8bd0efa1b1cab4737938e7fce05818885c776a6a9f5d11fc02  ./k-dim-knapsack-bench-523-49-17.opb.cnf
3c2596e4b59097fb5dc1e25f031001d2f5f4178107fcb486da40edc46caf5e96  ./k-dim-knapsack-bench-357-22-14.opb.cnf
3c46e127784b7cb2e807cbae175b55b50f23d27859857d33695c64e75fe67aaf  ./k-dim-knapsack-bench-77-150-8.opb.cnf
3c5031f4b2a8de2218232f15c5a60b797d4ee841a00f8616284c81f6e68b163e  ./k-dim-knapsack-bench-370-248-8.opb.cnf
3da1893b7395f304ef7b1be2a7bc4173fe6919ec3a45d7745d347de5130c33f9  ./k-dim-knapsack-bench-628-205-1.opb.cnf
3db4bb7f8871178086f17de9ed12e28bb0ca5f08ebff684c1e12dc919a339c24  ./k-dim-knapsack-bench-421-48-11.opb.cnf
3e6c0455a236f6374f5b30c75ec714b864bd29ac5d45a2f25ef9ceefa91f5d54  ./k-dim-knapsack-bench-600-46-8.opb.cnf
3eef90ee8ad2b2392b51850db0f88d46228d154ec0c73671cf806e069b999151  ./k-dim-knapsack-bench-762-255-14.opb.cnf
3f2ef19c78d057e45eb5e56a694445781a30c0c009541f64d09d37c8cc08e36b  ./k-dim-knapsack-bench-943-260-8.opb.cnf
3f4532e9bd7522dc06e87c8b81a1020e9b818818136fb6090a7d186b28bccbdc  ./k-dim-knapsack-bench-640-232-9.opb.cnf
3f6afa8b74aebea399207bc79eebd0bd9cad76e2e141a70e08578da7f1a274be  ./k-dim-knapsack-bench-250-152-4.opb.cnf
3f8f76ad2246994900d74dffc4854855e88012622a578a5599cdd978177ad1bc  ./k-dim-knapsack-bench-217-228-6.opb.cnf
3fd6f598c41e786ff4bd119ca318c3762aea4532079efe647dbcc9ff94540631  ./k-dim-knapsack-bench-621-123-13.opb.cnf
40063222b12301c95294ccb120a49c4b5df9c27ff81bda80e1ce74fc0cb7d324  ./k-dim-knapsack-bench-92-147-4.opb.cnf
40068f8c84fdb6af90dae169b06e4f4e697706e73859ac05ca21c04311c6d964  ./k-dim-knapsack-bench-710-153-13.opb.cnf
407b00aa43c92b0d80ca6357aad294afcae8f657f4be2b1b044d81bda0d60423  ./k-dim-knapsack-bench-447-237-1.opb.cnf
40e80e7db73e4c9d0f625b2caf581bdc82d90a01be909ce332abc833fc4e82e9  ./k-dim-knapsack-bench-175-118-1.opb.cnf
41375cab3116a892f7f483915dc53a417b1fd98fac60b5e166008b3dfca00b64  ./k-dim-knapsack-bench-913-253-20.opb.cnf
4156af361ba5a31baa7ef24a8da6f4828824bc53c89ca9953a146e22cc24bf0d  ./k-dim-knapsack-bench-222-123-8.opb.cnf
415c3295ee1e2fbf6a9f65d2a89e453667267b871c7b159a8f87f51481f6c6e6  ./k-dim-knapsack-bench-524-165-14.opb.cnf
41e20baa8911b6ffdfa64409a1ca585f11d0e234bb7801d1ecb52bfbd5e25b5d  ./k-dim-knapsack-bench-443-167-9.opb.cnf
423489a0fe442356964a9f6d3bb6c2a623835cb1552d0c6fe6619d45a109e027  ./k-dim-knapsack-bench-406-241-20.opb.cnf
426da5bbe544bad6ab2a924128b3963b5d20fee1fcbc341e89f3eca1af4349ca  ./k-dim-knapsack-bench-18-180-1.opb.cnf
432793e4a1fa4f3a774589b7416cdf0b422d8400d71e29686c2150268d49970d  ./k-dim-knapsack-bench-912-256-10.opb.cnf
44165aaf13068617cdc63486b2d6539f0729dd1ab2976cdc97c993ed8d5d38a0  ./k-dim-knapsack-bench-264-22-12.opb.cnf
4467bfed3dfd2121f1fb342521238dba46010e6174d6479944009542148ae41d  ./k-dim-knapsack-bench-71-211-15.opb.cnf
4494bb1b410bf12a84bd04eba705849bda6c9cf7801460e9b479d32e872c8a58  ./k-dim-knapsack-bench-194-245-19.opb.cnf
44a29d819e6d7d0822897cafe50523df0ceb42a3b56866f6d376c75200285c5c  ./k-dim-knapsack-bench-715-10-15.opb.cnf
44affd9baf851484b3f8c6bc2a0447a2ae65a2363d8a2e3976f2d219d03e02da  ./k-dim-knapsack-bench-996-152-9.opb.cnf
44cd7616728ade675ce357cececf35a9cc1ffd9b5285278193cd9c98a9f95c29  ./k-dim-knapsack-bench-800-141-6.opb.cnf
44d4b4f859a28417c45856892b48d86d387b6d97adcd7e0bb1d4e7de9d17fc71  ./k-dim-knapsack-bench-361-231-16.opb.cnf
4502d3edd90f0b96dce244d7d7779897703c80de68022392eee4e5a25b6833af  ./k-dim-knapsack-bench-288-181-9.opb.cnf
4588607483a51085ac1347b26ce4b970a2e9752df1edeaf5cf1f1590312e2554  ./k-dim-knapsack-bench-314-297-20.opb.cnf
45c3ca3ff3ffde244a6158b6b435d6d62629b2b4bcabcbd7651a971c9dea0096  ./k-dim-knapsack-bench-745-275-1.opb.cnf
45fa7d5d4e3d70d72c7140008f8946180285a727fb5e3a75f8da2cdb4cd59be1  ./k-dim-knapsack-bench-839-11-4.opb.cnf
46273266f01e1cc5350215e41c96e8577a4a692d7c55a75c64b85fc1e0b4e5e4  ./k-dim-knapsack-bench-378-289-10.opb.cnf
46618b647ef63a9adea26c39a33251826a8e862d8b1d64a1f3164572b42f7ff2  ./k-dim-knapsack-bench-576-197-17.opb.cnf
469ad38dfd7d6542d393341087268b1a70b99b9b95e8f46b216c5acfc3b1c0ba  ./k-dim-knapsack-bench-669-177-7.opb.cnf
47d3fff6a82013782e48de7bd486631aa3725672260ea5c0c0c3fb2182dee454  ./k-dim-knapsack-bench-980-253-3.opb.cnf
486b4c97a72284f1e05acd0129d12dd4459b6e086b9c91db68e9aa61aeb89751  ./k-dim-knapsack-bench-872-265-19.opb.cnf
48ff0cef1947a1a63f6a7bae42bc904f93900a69ba377a4048ab05ccac09fa33  ./k-dim-knapsack-bench-479-121-17.opb.cnf
4947f44e1a00cb854e0c2d45a59fa1e1b19dc26afbeb8bb581fd2f1a563b70dd  ./k-dim-knapsack-bench-344-132-12.opb.cnf
49671eb4ed094347c9d74e493b4bc04bb7d96c649872afee899a05057b8e130a  ./k-dim-knapsack-bench-9-71-20.opb.cnf
497a4f28bcfa24e41274c1fad400b9944a20229f30ecab1d2ec75393db281b9c  ./k-dim-knapsack-bench-79-132-4.opb.cnf
498b8c3605b695f0438fe419a2dc2ead53cbafb5afca869896949502f20d24c6  ./k-dim-knapsack-bench-701-257-8.opb.cnf
4a01898f0ebabfb846acae4512043debc69c07bca621ed17cdd4612841f3c32c  ./k-dim-knapsack-bench-293-85-12.opb.cnf
4a11d632d19e3e52760250c8b37aff57b512aa9a09e40fa5b4f978e0d7a73a38  ./k-dim-knapsack-bench-535-26-9.opb.cnf
4a2890753e8ed2032e8d87898e5eab2f64c57d729337b2b601efebfc0f3d1e81  ./k-dim-knapsack-bench-841-204-11.opb.cnf
4a4ba34f2e8668330317d579e50b4e90914bfe5a67bd7a2899830d1742689e30  ./k-dim-knapsack-bench-757-12-3.opb.cnf
4a6381d28a4086222e739c7056b44607a02fe37c5ce85143d630039ae3ded8de  ./k-dim-knapsack-bench-435-261-11.opb.cnf
4a7fc3d904d01f1722cb777477885e2801c0c17de2939a5ee8d5f7c4daf15a28  ./k-dim-knapsack-bench-183-289-13.opb.cnf
4ab071986a1860ab9d98a3f28dcdbffa0619ce598d710028ceaa6870ee00cef2  ./k-dim-knapsack-bench-106-48-7.opb.cnf
4ae02e40e18fc998bfe5e5e309d7bf223147f673b6fa53c9c2bd58d604e0e101  ./k-dim-knapsack-bench-148-122-8.opb.cnf
4aee6154a72e35e1050290f494087581f3b07180e4d4b56bde813cc4c54d7e8d  ./k-dim-knapsack-bench-727-58-16.opb.cnf
4b0cb662e871b125fb7bffc35343401428c70ceae3d0ae9b48c65b1f3477c7c9  ./k-dim-knapsack-bench-427-240-19.opb.cnf
4b62fc072cd8d4d46f6a6a237ff504f7def62dbf13f47dd0779e2897bae7e961  ./k-dim-knapsack-bench-74-152-8.opb.cnf
4b72ba6dd3da55463e22c7862285ee1185ef4b13e1dcb2ce438bbd7fa0b11d06  ./k-dim-knapsack-bench-403-193-8.opb.cnf
4b8d4580818eb3ecd30b70d41a666452d4293720cf68c3da3407a409c091fe86  ./k-dim-knapsack-bench-294-277-12.opb.cnf
4bb73d43eaf64e4c89ec2413e9daf85fa817af56c009d939bb7eb5e75a210631  ./k-dim-knapsack-bench-37-107-15.opb.cnf
4bf79d2329714496046d83712a6fbf9ad8882d28ea29c726eeacb131019004ca  ./k-dim-knapsack-bench-916-48-7.opb.cnf
4ce3515b5d9e16ffa2b06b60120d6ae1aed00b7a6059ef6b658a4a573ae16bfa  ./k-dim-knapsack-bench-644-284-12.opb.cnf
4d1b0e4300fa70c908773a3b2b68551b1f9b87c673e1f9221db8155f2e32d6be  ./k-dim-knapsack-bench-307-232-18.opb.cnf
4d2c7119d807c7ada793ceccf023c340cca52378a50bb3e053d3fee48b0f0ee6  ./k-dim-knapsack-bench-170-99-18.opb.cnf
4d68f1831a4294431d1888752565f300bcd608d92d5c85ed120f2b83025e913b  ./k-dim-knapsack-bench-704-162-17.opb.cnf
4da7c844dc527fbe730b71555e423abd291b5862ae77df9016dd6a383700a3cb  ./k-dim-knapsack-bench-458-71-15.opb.cnf
4dd3a753990aa8ea2159eac974101a5a99641c8f558ff9c53fccb4c87503f13f  ./k-dim-knapsack-bench-446-84-20.opb.cnf
4e54a2f8be3eab0a9e25b220ab6f56f4dcc99cc1a3d0954a54ee4f921069dce5  ./k-dim-knapsack-bench-822-209-6.opb.cnf
4eb33281302e25a908c56a1f4507aff71b17d4724f1df552ee5eff173e9033c3  ./k-dim-knapsack-bench-806-282-16.opb.cnf
4ef6cf132f7efa0dd64ad73f55240c6d0a12b03127f5b0ca86153f1041ec0342  ./k-dim-knapsack-bench-831-162-5.opb.cnf
4f140dcd53d0192908e0dd0f09d0c328d48e4e21ba12d1a2f590ffee11f1ecdb  ./k-dim-knapsack-bench-792-27-11.opb.cnf
4f14f1cf29226be6c11e171041fdad12d7724dd5acca69167c363017e5529e44  ./k-dim-knapsack-bench-530-38-12.opb.cnf
4f5a5ee23391364642456d92621707397a81d184105b0213157230ea356436d0  ./k-dim-knapsack-bench-939-145-16.opb.cnf
4f729639700f99798ced85102b1d9f6982cc412f93854afe37d3f8d235c64d0d  ./k-dim-knapsack-bench-214-125-5.opb.cnf
4f7361bb3c492262fd08b4898e2c0922e8d76c32a71772891bf525ba414847a4  ./k-dim-knapsack-bench-41-92-9.opb.cnf
4ff0a084f055195177e528d4de25983d96d78004d937aacc6d7a3166c50d8826  ./k-dim-knapsack-bench-892-216-16.opb.cnf
503a0a414278b373e4562dd9ac7b581e385ddd6bbcbe26a4a46943923ebb81ce  ./k-dim-knapsack-bench-986-41-4.opb.cnf
508dc0003a180ebe1b2a9c6d9366d61a6e651af4338f76a46fe6fcafe6911a3f  ./k-dim-knapsack-bench-793-271-8.opb.cnf
509080c149660b2561e83e8b6328c7065fbfbd6e4994b9c3770676c801db7927  ./k-dim-knapsack-bench-176-243-1.opb.cnf
50cf77360ce79b523566df1b125bdfb1b3dd07182fce9fd06ca4981913f9d8a6  ./k-dim-knapsack-bench-607-28-15.opb.cnf
513a87bfba380430ae5182fcaa4b2ac0f135f0d5cb7634e4ec8c3b6fc105ed23  ./k-dim-knapsack-bench-516-128-15.opb.cnf
51499f43ac4a61a36d6e15d2f526af70567f293e33017a7176d28620caa765de  ./k-dim-knapsack-bench-278-130-15.opb.cnf
51c3116c716b9e0b231733a75e4469c4e73b50595ed744895b253fbf789a8b00  ./k-dim-knapsack-bench-671-184-18.opb.cnf
5215b903f73d50a419d983dacf3388e863a60474f03c9aa11121323a5acabc2e  ./k-dim-knapsack-bench-45-15-15.opb.cnf
52356acd5ddd0e00c016ebeba992400bb055e0ef944e76404f97e8cae3eff62e  ./k-dim-knapsack-bench-459-106-9.opb.cnf
524190d3559f07f547f5c56661b27a12975136d0977e604c19fc0619bd2f0cb8  ./k-dim-knapsack-bench-995-155-7.opb.cnf
524909edc07c82e8b48a3d9e1e967635adbdaf3f5c65df9d0e4eb10b37f42216  ./k-dim-knapsack-bench-136-186-2.opb.cnf
526087e524486502396dcdf450b921b0d51af50d7af87e69dce27f98e92f9ce7  ./k-dim-knapsack-bench-982-63-10.opb.cnf
5310a7d4f8b870225a7434ed96865003a041efa69f01fc3cbe637c11b0310e6d  ./k-dim-knapsack-bench-347-92-13.opb.cnf
539d7008d633fae2aecf9f5060a0862d8c5e963527486e646f69293eb61e22b4  ./k-dim-knapsack-bench-122-273-8.opb.cnf
53ba1ef213f9187f1e13e7d20f9032aa9783d0bd20527cea2ffaea25cb474ac0  ./k-dim-knapsack-bench-285-172-8.opb.cnf
53d97c62c12a8b420394bd909356060100e45688a36ed6a8ec0d4489d2604a5f  ./k-dim-knapsack-bench-339-71-9.opb.cnf
53e491ee09d18e09b80df19b4f008a71b36de8b3012c49e48ff9e6fb26517419  ./k-dim-knapsack-bench-134-6-18.opb.cnf
53ec4abb9fb020e1b50c8d79f4143e6b8067094967590211717eaad0adf7941e  ./k-dim-knapsack-bench-498-131-11.opb.cnf
544ecbfb64eedd7eb2c18dd1302d79f10ee1699c69a0d31c814c4706062057e9  ./k-dim-knapsack-bench-755-99-12.opb.cnf
54781cf5df2c3c588c74fcbca4923998b94c49e4b2ee3cead760186e142d389c  ./k-dim-knapsack-bench-684-18-9.opb.cnf
54c9173c8e1453f1d514e846e7b7c7cb4613ecebbf7d4191afecdd9d806c47fb  ./k-dim-knapsack-bench-266-275-5.opb.cnf
554b45512a72e67030aea44a30cb79055f42a719dad271de4fd75a6d9da115f0  ./k-dim-knapsack-bench-803-233-5.opb.cnf
556b9acada9eb39f4ca702d0e325f0af6f7e500544b963aac1068ad248bf3a07  ./k-dim-knapsack-bench-133-34-14.opb.cnf
55934f05e58a4faded2311d8228145a7da480ce31d4a134b0e6fb0416b0499be  ./k-dim-knapsack-bench-330-255-12.opb.cnf
5595168178a39f01e4bb5540a05b81de42489696bf92174e305cf52f7e091e14  ./k-dim-knapsack-bench-104-198-1.opb.cnf
55a5ed724b75344f6e0098f1d717f292fe833854550cee7fbc004ea1431e88cd  ./k-dim-knapsack-bench-852-166-1.opb.cnf
55be53b9ae5d48f16f0debe7042d4aa0c86c6e290ae8fb903710404a454630d4  ./k-dim-knapsack-bench-562-216-14.opb.cnf
55fb02fcb5459d8a7fec895820d542cbfa16af80cc2fa828447cafca18a15d78  ./k-dim-knapsack-bench-349-163-18.opb.cnf
56659e5a979aea17c6d2156bca4e75db04e551ed325fd9ea8a33babc00efcef7  ./k-dim-knapsack-bench-28-218-19.opb.cnf
57457843f88ed92826c567a70f4472632499842bb3992cb70d4d687dcf64d04e  ./k-dim-knapsack-bench-225-159-9.opb.cnf
576eddf02620d119321921f5aaa3340731e7f2d39b0ace410950a5b3fff1c7aa  ./k-dim-knapsack-bench-850-232-7.opb.cnf
577213a0a58409140dbb09c528bdd7af022d54e670f9726ee260146033e78fcb  ./k-dim-knapsack-bench-102-233-18.opb.cnf
58582177f16d3ca5e12655ae81f5226b46f7a638530d1f12f6d9847014353f5c  ./k-dim-knapsack-bench-528-217-8.opb.cnf
5867797c64a70bca7bd546fbce543eac3b8b00b022eafb6cb4a413cc65a98d06  ./k-dim-knapsack-bench-579-164-15.opb.cnf
58683400aa35eee3150e62926b7501ebcff1547e67c2b37a304df49ee10eb394  ./k-dim-knapsack-bench-873-171-17.opb.cnf
59583825e398bdd21dceb1e564941e58c5e13b992ae9dfff4713f7404180bbb5  ./k-dim-knapsack-bench-327-189-11.opb.cnf
59859a068653c6d0fe7a8dd30e867d3e2daedbb5c2e3e5963070b5bae7a7525c  ./k-dim-knapsack-bench-648-52-13.opb.cnf
5a223861ae5c7905a558f1ad57728ef0ea68a0b5465e7a6d2ba7782604d4e5cf  ./k-dim-knapsack-bench-155-142-5.opb.cnf
5a9600657827f7d6df9977f8616991ba3e0f770be25e936216d12eb3c5e4abb2  ./k-dim-knapsack-bench-99-254-16.opb.cnf
5a9859be1353938f40e647c427b758165c3838621224ce91c5b7b829270d7c2e  ./k-dim-knapsack-bench-481-191-7.opb.cnf
5af8bd732c8c16f610b44d689ea683a4fcee5a3a22ea6bce31a91a4177b073d2  ./k-dim-knapsack-bench-438-112-3.opb.cnf
5bcb54373cfbc235ce37ed5497d25aacd5e7c5c4e35bae4083c92d3a5ac0fb58  ./k-dim-knapsack-bench-782-67-7.opb.cnf
5c3ca3e8857235d0e935652635188d7a6fd194046d15200bfe42cdd2da67291a  ./k-dim-knapsack-bench-766-207-8.opb.cnf
5c5cfaa5e95cbebee4ee0f6cbd21cb4d97992fc754b8e5b38d0e4eec1b5de38f  ./k-dim-knapsack-bench-85-275-13.opb.cnf
5c644c4f6e756a2a2ceac94bdccbc6b38e707a922ffac2dcb38f6e9fcb34ad26  ./k-dim-knapsack-bench-789-170-17.opb.cnf
5c7b4a1d183c90999ec3d8cf5101adddcb286c0dafce9747bd27ba932719bd01  ./k-dim-knapsack-bench-78-73-20.opb.cnf
5c8a2467f8b64524d5499337de3d1bb1fd7836d89ad13b6a18c24f29516ac230  ./k-dim-knapsack-bench-95-37-15.opb.cnf
5cd94733e76346d1db500543801f4aa8d7f7068a59b68d55db3cbdb43c148e4b  ./k-dim-knapsack-bench-627-55-12.opb.cnf
5e11b4567c25910359ab58f27a2a83fbb3469724aaee8d1f39f0dfd2c1372334  ./k-dim-knapsack-bench-137-177-6.opb.cnf
5ea342dd7617fbfc8ae6921f16edf70165925a91022cc9d42337fe67d5c034a9  ./k-dim-knapsack-bench-76-53-15.opb.cnf
5f16f44e9c80ffdd51856c9a87268b71ef79723407a8b049ff58fdeacd29fec7  ./k-dim-knapsack-bench-64-9-11.opb.cnf
5f5f4df1bbffbc741d8dfe0e0f468d418651626afa390e7e052a308358522276  ./k-dim-knapsack-bench-833-164-4.opb.cnf
5f726b7d3837a683637049b494aba3fa5bea349f77b37c65005b8266a6cc1a63  ./k-dim-knapsack-bench-794-192-17.opb.cnf
5f7d584e6f558e68dd12733767b3c8b77fa76e3e6224128e0d6781f88ee1568d  ./k-dim-knapsack-bench-304-166-12.opb.cnf
5f8d61c33f45b233e2d3c6e1a3201ad4801f71423561c5b03320b9954278d4d0  ./k-dim-knapsack-bench-444-298-6.opb.cnf
5fe1b6ef7052f5175429cbb33c0816d35d4c79d7204aad67755c71a6f3a97bf5  ./k-dim-knapsack-bench-298-214-8.opb.cnf
6013926d19da761d3daa89e29c2b2137be2c4361c3c1382b0d3a00918bf1af53  ./k-dim-knapsack-bench-356-299-2.opb.cnf
6015d1e424c0b9c9e86f9dd71399ad5536d6a822eaa2b0c54da42a13131b4f21  ./k-dim-knapsack-bench-142-114-7.opb.cnf
6075fdfb6a4f3aa032f2b4a26fa33626aea46805e25d675840cdf8fb4cb0be27  ./k-dim-knapsack-bench-733-46-13.opb.cnf
6087d36c5b054e3e43ac883f743a0e79d88684b8d06638fb7511cfb035436bb9  ./k-dim-knapsack-bench-594-17-10.opb.cnf
60aa1098df83ab7d6f2fb86b1a045e3a35fdb4b44a595fa742d13911918e873a  ./k-dim-knapsack-bench-854-184-19.opb.cnf
60aaef5ce48cc03485257839ca94ad809d73251c56c29669c306744c4cc1ce56  ./k-dim-knapsack-bench-20-94-15.opb.cnf
60b1ae2127995ec3d834de78da47be5f921dbe7d1a4fdd7659d9e0b1476c6952  ./k-dim-knapsack-bench-39-105-2.opb.cnf
60ff132b2f5430cbc894da7d737d6c6c4276a16380912096e98d6365f9e8d30f  ./k-dim-knapsack-bench-389-205-12.opb.cnf
61024e0eda670c2bf025acc5265fa3b363b07632ce40887c238eb609dac41453  ./k-dim-knapsack-bench-267-23-12.opb.cnf
6121f6381a109ac675d30c5a8504fda4a25115931208c32a7d85d9454e2141b0  ./k-dim-knapsack-bench-626-121-14.opb.cnf
61861f17a97391d627c189320b42c89f7091d55826045f1a668dd08874c7faa9  ./k-dim-knapsack-bench-646-211-18.opb.cnf
618736b2031be587bacf283466d112ccb1df5e4a810dedf187f9015253aef21a  ./k-dim-knapsack-bench-377-240-1.opb.cnf
618de4006667b60af23e27392cc47e98069714af581b4125a8cdf44514addbac  ./k-dim-knapsack-bench-367-270-1.opb.cnf
61f4f474221d0ad1cf3feb2f0e855956cac13171c0b852e9fd1deeac782ff3b3  ./k-dim-knapsack-bench-33-41-7.opb.cnf
61fe63e3ed1e4b4ab616d1532a34e692bfa9a90ea1ad98d4266049e89e827bf7  ./k-dim-knapsack-bench-903-152-5.opb.cnf
62507ad669c2ae32da2b7cf5128f4b8ed094aab5daee8abb20890f818043af67  ./k-dim-knapsack-bench-470-42-19.opb.cnf
625fd02ffdf6a2b98225c7c3ef2fba3bafa32243f205d6bf75bfe93a0284915b  ./k-dim-knapsack-bench-315-167-14.opb.cnf
626410bcc848d56011480f894b63e2509780453b7dce99c406506dd423312d52  ./k-dim-knapsack-bench-777-195-7.opb.cnf
6289a6a680feed2c3d34305fe2f93f25b81e092c9ee399a8cb4bb55f948ba615  ./k-dim-knapsack-bench-851-163-2.opb.cnf
62a240d38fff86797fd6ea17d9c326b041660218ad68c1dc7c4a7fc18f236438  ./k-dim-knapsack-bench-781-153-9.opb.cnf
62db68e4f257d88f927b1ede5f3e65cb0187c0681ad2dfba78956f13e393cc3c  ./k-dim-knapsack-bench-168-42-9.opb.cnf
6333901df256c3cf24aad7b453a24f7ee2dcab0235f6429985dd9eba33e346fc  ./k-dim-knapsack-bench-319-88-8.opb.cnf
6340ffafcdae9fed7e27d52ca3265d90de04b2c389bc435bd0a38551d0df7b1a  ./k-dim-knapsack-bench-290-123-9.opb.cnf
635054e78bec96b8142f5a82de8af3a9b88aa92d84ba9db25e371b25c39fc823  ./k-dim-knapsack-bench-107-128-13.opb.cnf
63729fa0dddd5256b6509cceeb523fe7f790890ff959279b49b04aacf5fbfaeb  ./k-dim-knapsack-bench-282-19-6.opb.cnf
63c4c9da80359917032864e57c79489476b1d1de97b29198e26ce8a9cbd712c7  ./k-dim-knapsack-bench-844-175-6.opb.cnf
63e4f6d9ec3008affde2b9dd66d5391e97f6c722d7f90e16d1097d308259d609  ./k-dim-knapsack-bench-661-40-12.opb.cnf
63f41c02ff19916be3d7cd7f53e17063b7ea8f32fea6cd887ad0336d976a9ca3  ./k-dim-knapsack-bench-42-75-5.opb.cnf
641eecfa570c88f65efd95c57b16e90cae951509a2568d320946fa8dbcc954fa  ./k-dim-knapsack-bench-258-295-2.opb.cnf
645970d68572c4737094d8e242532d0eebb2368b641cd7d20956d3c9f2a3dc2c  ./k-dim-knapsack-bench-402-289-12.opb.cnf
6494438a1acecc2d11dbd459e1a270f4d2ec278cdd09b8cf0a85e93c69167d22  ./k-dim-knapsack-bench-879-233-5.opb.cnf
651cf65cd961d56895c9c1c980642a6f5952630a6e4cbad4bc5e53e0448ab4c8  ./k-dim-knapsack-bench-292-142-16.opb.cnf
658ed4afc4a9daa210f094ab8e6ae4790f229d0b69d98fc35c4e4f7fa4817835  ./k-dim-knapsack-bench-118-165-6.opb.cnf
65a3b18069787c574b4e2392d9fd14d09f54b006dbce795e72d2c139f274206a  ./k-dim-knapsack-bench-306-40-19.opb.cnf
65e3f206b11d8db35c8e6d5b1c2f243bdaebba89f23658efac18c5fa2e824bfc  ./k-dim-knapsack-bench-770-11-1.opb.cnf
665c4b6e764887c910b51305d74c51011dfa679a384a7929950d9083f8b194fd  ./k-dim-knapsack-bench-461-32-16.opb.cnf
666d00af9fefc15583b603992762130b2c3c114c3f62d27c26bfbc8860c488fa  ./k-dim-knapsack-bench-900-169-11.opb.cnf
667113d6602d476fce15b65cb4d379709866104e9a21cec7e7b3c5906041f01c  ./k-dim-knapsack-bench-930-189-2.opb.cnf
66dfa39bcaeaef6de5e339317a804cd5df1e0efb02f8f5ee35cb50fe350ac6d9  ./k-dim-knapsack-bench-877-83-10.opb.cnf
67080d186f6f58838f3a8b19dd461b082c962bf52f2adea8a66024cde64593ff  ./k-dim-knapsack-bench-89-143-14.opb.cnf
673757852dd763eb23ab21ac5024a34f6d5c8d261c17c9f055b55a0fae08743d  ./k-dim-knapsack-bench-907-219-19.opb.cnf
673d77aba3a50371304eb54e8cdaf9e26f305d2976b016de5476f71dc67470e3  ./k-dim-knapsack-bench-96-110-11.opb.cnf
6747afc3b66fe18a085d19cabf4bdf9ca48783ceec0b9c15ae587a01794ab1a9  ./k-dim-knapsack-bench-272-159-12.opb.cnf
6754a7b5a2742c0da7d05ef3382812dc56b97edc4aa21b86a06d0e6b6433ec47  ./k-dim-knapsack-bench-206-82-20.opb.cnf
67812e9070d1d4346c47435472e292b2c67876122e2aed4779a54ae82725d8c1  ./k-dim-knapsack-bench-192-255-5.opb.cnf
67c79caafdd48e9e18a4e8da0263d493188b93b7385b00dc338dace52793feef  ./k-dim-knapsack-bench-467-12-3.opb.cnf
67cc77500ae1fae1e10a4001ad345e34283947801aa1f6faa0ee0778af2c3323  ./k-dim-knapsack-bench-381-122-14.opb.cnf
67eec08b5427ebf50323dd659f2ed504c59b05aba0e564b99c35d8ea2df0fbe8  ./k-dim-knapsack-bench-656-109-9.opb.cnf
6864c54f73e608f707bdcf79220add2dc256e63099091aab4b0b066861230b44  ./k-dim-knapsack-bench-586-47-2.opb.cnf
687323dbb1581e18372d088ff581c8523c9d3c9dd7e0aac244fc586a7024b1cf  ./k-dim-knapsack-bench-503-38-15.opb.cnf
68b01dc4beb8a0656f9cab426e6ff4964f5ef8925205adc7525c9e388bbf4990  ./k-dim-knapsack-bench-180-196-19.opb.cnf
68f0fd6a6111e0cbc287d83e929e02c6d60b16d59f2150ef07011e9ce9aa971f  ./k-dim-knapsack-bench-754-269-16.opb.cnf
692392b6826b1a959693c7a0c5b5854f6f50d8fa3c6cf7efb01b4bc3a0e478c4  ./k-dim-knapsack-bench-382-291-5.opb.cnf
692a8ad4433484e6a1fe8b89724b6c9b24719a48c714d1109f00dad9e35715de  ./k-dim-knapsack-bench-287-35-19.opb.cnf
693acf99bec8f76938fbb2cff4913d7f0aff3a3676de5ef1473ffb1fd6fb79fb  ./k-dim-knapsack-bench-544-195-13.opb.cnf
699a6b6742584ea0eb0748f1619dd512218d1179b99563dae4bcee187b9e4c58  ./k-dim-knapsack-bench-758-208-6.opb.cnf
699bff488bc8ebf9e88444b166aefbce03816ad0a2b5c3ac9711df21d3920695  ./k-dim-knapsack-bench-398-212-8.opb.cnf
69df58b03bd682172fd1e6775bef72112799dca31fc7830b94516c7cab3f101f  ./k-dim-knapsack-bench-471-245-5.opb.cnf
69f7cdb79a5332635187840d63479eb808c6db36e85cc9412e95998b3909fe4f  ./k-dim-knapsack-bench-188-17-11.opb.cnf
6a0f96a1bd298d73c1776078d25dabfca95aba0e2f379f4b5b9abe18b1668b4b  ./k-dim-knapsack-bench-510-135-3.opb.cnf
6a3dc65d7ae3f3b59febd31e8a9f8d5ca2f3bb37150743616d49f40626d94b39  ./k-dim-knapsack-bench-752-157-11.opb.cnf
6a7b11202d3bf7bef63c3c79918e74924198943c6beccaed1ecfd8a02c4c405c  ./k-dim-knapsack-bench-990-131-18.opb.cnf
6a8b66fd258081f551bfabff8c5779b1cd7bb156a6b45e918567ab1c22d4c2e1  ./k-dim-knapsack-bench-904-181-9.opb.cnf
6aa298c71b114b4dd12a821fd00a6426e8c497f423e511cf8dd4327afdea903b  ./k-dim-knapsack-bench-756-177-10.opb.cnf
6aab84f3533a6bfc2099c043242c5c0c0b192012042f0ccb880e8ec4c8d1cbea  ./k-dim-knapsack-bench-855-164-9.opb.cnf
6b387ef7b150f3f0455badf9c7422e1e0f949687dea377278ecfb9139cc10683  ./k-dim-knapsack-bench-333-61-14.opb.cnf
6b40770f5c8b5573b2c25fa2bcf2c9782f5f085378c3e4670f1e7c3df4767294  ./k-dim-knapsack-bench-895-181-7.opb.cnf
6ba0f4f50ac75b3a860ac5ea7dadf64f8090fe40c7fa174a41ea2595ae518b0f  ./k-dim-knapsack-bench-984-146-19.opb.cnf
6bbb5d4c9340f7122a2586c2490eded11f528ea881c966e2ac73bc916123702f  ./k-dim-knapsack-bench-371-142-13.opb.cnf
6c55b8ab5c44955d6d97836d693eabe2b3c0f49736ee36450021012362ad21e2  ./k-dim-knapsack-bench-15-247-9.opb.cnf
6c8725355921344100191ea554046e708a1155f2989a84f5e840248446d96dc3  ./k-dim-knapsack-bench-114-35-4.opb.cnf
6c95416a31297240e942dd3e2e61424b4bfaafac0828c87b61b929a20b223495  ./k-dim-knapsack-bench-7-39-3.opb.cnf
6ce48228a1a936bb6c4fc4d17a043a52dbbb88d87d5987289d48c32ef9054d59  ./k-dim-knapsack-bench-584-95-20.opb.cnf
6cfc531baa7f0cc5dc35af03ccac1fda68c2a78fdfbed733fcd1c9d646c9000f  ./k-dim-knapsack-bench-678-108-16.opb.cnf
6dcc195336cab488891adb79c705214c6dc8b8901349e2134a4c130f8a5bf103  ./k-dim-knapsack-bench-857-20-10.opb.cnf
6e18b4ed39a23ea0580a6203ba042ea32e103652c5ccebdcb4ad72b37d2d049b  ./k-dim-knapsack-bench-585-121-1.opb.cnf
6e7594cd96e714f9a46ba60fe0c1160ef178247b35e9fed6fdc0b48da7b04591  ./k-dim-knapsack-bench-332-174-19.opb.cnf
6eb3760c142f2c307230da0286edacd559da06366fbb189339566cc41d621281  ./k-dim-knapsack-bench-559-228-4.opb.cnf
6f418c83332296c4d6031c7b7f60926e184a81984fdf5ff6754f1026adc899dd  ./k-dim-knapsack-bench-59-85-14.opb.cnf
6fdb0bef7f8447fb688223877019728e8b69be5ada2cc1bd91f01b6a94a2224a  ./k-dim-knapsack-bench-138-162-14.opb.cnf
6ff7ecc5cbbed37327760a50056483512bfe03f8dba11ab4c4d88934687d0d3f  ./k-dim-knapsack-bench-132-108-19.opb.cnf
70080547a3079895d23c5aa04d43f48a3d6f7470e1d27d4b220c8519eae9039f  ./k-dim-knapsack-bench-208-300-8.opb.cnf
700d0dad157389565df0058ecfb3d578757dec19d407ea01394fe2e80941c0ed  ./k-dim-knapsack-bench-999-133-6.opb.cnf
7059b645607be87efc4f3821ca0cd9a22306b9115c4d42f22fad5b6edb174186  ./k-dim-knapsack-bench-245-265-19.opb.cnf
707a52b08b68a802be48da0d80063b9067114ae3f1832acfd756c9ebf4b61282  ./k-dim-knapsack-bench-636-24-1.opb.cnf
70b4776d7dbcafe4acb02f966d5919409dd7fa091a7208b240ba7853543a8904  ./k-dim-knapsack-bench-336-165-12.opb.cnf
70d9304f16fe5ecbe2c8be4ebae87f748d92e273762459624625c3c8754876b4  ./k-dim-knapsack-bench-143-260-10.opb.cnf
70e4260435353a36333b356fe81c4cfc5e42163fc1ef2e40a4224aaa3e1078a7  ./k-dim-knapsack-bench-35-284-10.opb.cnf
714433835b43e6cb6273aaf3eaa3d1d344e4359d21f7f4f407376ac360f39657  ./k-dim-knapsack-bench-898-165-4.opb.cnf
715e98fa9a644d9a127846f7314253d92c96ee2d3204ac81e5d0f56ad38dba1d  ./k-dim-knapsack-bench-46-58-16.opb.cnf
72d2c27da3ab466500e7e2fd2753748801de4b3cde2b73e2a6fb0f60ae10636f  ./k-dim-knapsack-bench-720-269-9.opb.cnf
7351fd936772e867fa0096a3dad95b3f5d9ddf2ca150269a18bbbd7a8fdbbc24  ./k-dim-knapsack-bench-442-103-6.opb.cnf
737f9ae3eb18a6522b8123921ebfded3e335e110403d485162f26623fa3f3025  ./k-dim-knapsack-bench-774-152-19.opb.cnf
74103eea93fe4f649e79dda1e204610300a67cf6c4a1b4a88626aee36359cc95  ./k-dim-knapsack-bench-845-139-5.opb.cnf
743475665e88d85c59e47bdb395cdecec0f94e6ab87a5a8befec55e492e97e45  ./k-dim-knapsack-bench-303-196-9.opb.cnf
7499f80186826d0fd697958cd174dfd1664a702525f552ade4559b154929d4ac  ./k-dim-knapsack-bench-786-182-7.opb.cnf
755701d8e3e7c168d83f298d7288cebc1ee06cbec8b4076e36c4323c62702ef7  ./k-dim-knapsack-bench-651-155-7.opb.cnf
75a7d7c90290914c09df79798b08452f5f32f657f4bc38afccb61a96c3dd9f14  ./k-dim-knapsack-bench-27-123-2.opb.cnf
75ac6d4f77402cdbe84896b481fdadbdf757acda37596bb4d307bb0c53b2fc0d  ./k-dim-knapsack-bench-359-33-11.opb.cnf
75c879c7428427021e5b039b9b9f8f5a4320c32af4554a8362e7d26e7521a8f9  ./k-dim-knapsack-bench-887-219-15.opb.cnf
768071220b22ad3aedda6a2ba43d5a16f4f4e699b28ae267e0f036ab9250164d  ./k-dim-knapsack-bench-519-173-17.opb.cnf
7692b9cdf508c3b820c47b040a37d609b5388b5151dbce6523019a40839f32ff  ./k-dim-knapsack-bench-809-67-14.opb.cnf
7703cff600bd9ce2c6b73eee2fcc71030698d70f53bb04a50838b03b7389d2c8  ./k-dim-knapsack-bench-60-108-13.opb.cnf
771f8a546d4c4d66044c523ac23b88f0444ce993dba0ee52a4ca5883e22ac04b  ./k-dim-knapsack-bench-220-61-6.opb.cnf
7729121be9ce32d5421fa830961f11b809da262c95aa59543829d30ff14a2144  ./k-dim-knapsack-bench-200-254-6.opb.cnf
7774ebb01811c55569e2fedd9cfebfe96f5f976c09ac905d9ea255e35079c1d0  ./k-dim-knapsack-bench-346-38-4.opb.cnf
778d5ce86a3568445f21c80b6e3971bbc3b38defc950701268dadf2796ebb8a6  ./k-dim-knapsack-bench-713-141-20.opb.cnf
77916322c2f7db0990899e7b966ab85dede05078feff6c273917d3ee5c3360f5  ./k-dim-knapsack-bench-182-40-13.opb.cnf
77c24c0b5da0535e89c5880c6f46607cbcb2860a4780c5e9afb2f35b5ce2955c  ./k-dim-knapsack-bench-392-28-4.opb.cnf
780c5a2c968a7c9696eccde9dd0fc4a9d960aa33dbfac0c17d6a2fdbfad9b7f6  ./k-dim-knapsack-bench-209-151-18.opb.cnf
783f2ee22e3774c1fb7402b61f86bc6a33b9d353cdf32378682ce0356eeb9bea  ./k-dim-knapsack-bench-234-205-16.opb.cnf
78bd6e63966050cd041bab54737669e8eb79aaccd336b7537c9876628aaacda0  ./k-dim-knapsack-bench-531-234-4.opb.cnf
78dc5368a998b57a1939b409036f6716fda3d0ad18499cc17bbe7303b5fc8595  ./k-dim-knapsack-bench-101-164-10.opb.cnf
78f2af1cd045ac6e6b00271668f7f782d14fa180d752d70f78d1e67cbeb18887  ./k-dim-knapsack-bench-582-181-9.opb.cnf
7911c05b55ccd5be65835cc037b0cf5f24078d5552c2d4bf0c77ee4145c2b28a  ./k-dim-knapsack-bench-38-199-12.opb.cnf
794ccabb54a3414e34c281c368f9de3711df5721bcf6c01b3c74deff4e769030  ./k-dim-knapsack-bench-191-55-2.opb.cnf
799e9ad06d757caddd377dcfbdf6317c4a4553c4608c69676e213985e0413773  ./k-dim-knapsack-bench-418-174-10.opb.cnf
7acc1bb89ca3cef0233270feb5c750ced8cc9b00fe233a7a54e60a66b4e6666d  ./k-dim-knapsack-bench-779-263-11.opb.cnf
7ad1bcb6a72550766c4a8ef8d4d2d7a2d87ddbaec767a7d6789e15e4075747b0  ./k-dim-knapsack-bench-787-87-6.opb.cnf
7b010fe9a84a8e42cc8b75323c4f2938790731ec22c049678e1e2d84d8cca788  ./k-dim-knapsack-bench-635-181-13.opb.cnf
7b2b827e80e367f89693ab4e24442282e13a8f479b22f0cf52c3393cb7afa9b8  ./k-dim-knapsack-bench-610-57-17.opb.cnf
7b329b72c3687a0140523866b8b73429496a1ba86efbe483532c43d45e01523b  ./k-dim-knapsack-bench-837-130-12.opb.cnf
7b641ba2dc337bf52b32830c6ee2fec98d36dcfa4aa4f7b58abf34c2f62d7274  ./k-dim-knapsack-bench-660-234-6.opb.cnf
7b7fd62f96f6dcc0d6779317ed7fa8c116d09f49c663c98044ff5ac1793c084e  ./k-dim-knapsack-bench-112-166-10.opb.cnf
7baa48af7ac8f55776fbfaa3e04e9aed99c320e98d94ebbd18fb0780126a95f2  ./k-dim-knapsack-bench-658-212-19.opb.cnf
7c23a90fe79cdc8114e1755197822788d058fd60141c6b7beb393e8b031b8511  ./k-dim-knapsack-bench-299-230-15.opb.cnf
7c73365c3cfaa535d6162f3ca45655420ceea2f848eba5c3fa1ddd2f018b4cad  ./k-dim-knapsack-bench-363-105-10.opb.cnf
7ca52e589a67ad1ab36ad25aa13673bff8963990a4384ee6a4dec1eeff04c578  ./k-dim-knapsack-bench-451-113-18.opb.cnf
7cd064d6f059ae9b788ae3f5c72b35b31aa426d7f175ad9ed84422389f85808e  ./k-dim-knapsack-bench-1000-247-12.opb.cnf
7d1286fbcd3a32fcb86c7a78246819cd2bce3466b56d5e2f46294cab0b353c93  ./k-dim-knapsack-bench-184-261-4.opb.cnf
7d4abdf5ee4eb4ca20ffa0722b493b45b039cd03f78a0cc8bfd4593a4952c776  ./k-dim-knapsack-bench-271-269-12.opb.cnf
7d563cca9910da793f711986ba26b1367e3ad152f68d96d7a102912e5ae6c575  ./k-dim-knapsack-bench-166-203-10.opb.cnf
7d63f718441cfa4b31907ef1f9e41491f1af453cc9fe8c99d1d8856b60061359  ./k-dim-knapsack-bench-682-125-12.opb.cnf
7dc9b8b4d5017ecf7595c213c8add883a943e93c91d81905980e694f069743b6  ./k-dim-knapsack-bench-518-74-9.opb.cnf
7e030d451a1d40696704fe8bd43f89a746377678a93b6cfb304ee7eb55ba0567  ./k-dim-knapsack-bench-394-173-4.opb.cnf
7e3b0783a5c30382f2531e924b11159fa3bdf7a97c00f838c97cce1f3d85590c  ./k-dim-knapsack-bench-521-23-14.opb.cnf
7fcff47db000bb4ecfdb47cd17ebf12166dc24b2a00daf352b157ccae6b56efd  ./k-dim-knapsack-bench-690-233-10.opb.cnf
7fdeb235ff09eec5df53d1f43a56dea34e48b082b9a091efea1fd1227b5a648c  ./k-dim-knapsack-bench-882-132-4.opb.cnf
7fe36cc1c33709b3cbbb8f11d20862a03e4770cb181f2e0fc5e9e6adb8bc9741  ./k-dim-knapsack-bench-748-199-16.opb.cnf
805bc0a335fb81e71d994c2529520cfc0eae9c0025c00266971e2f7160df311a  ./k-dim-knapsack-bench-768-274-6.opb.cnf
80802e47659945157f6f6a6255d21a5d606c40680578419f189d5d19551203b4  ./k-dim-knapsack-bench-848-131-19.opb.cnf
81188f0540d528295f4dc84df4ddf061ea4ad29edb08b1fe2e0e8adcbff16b43  ./k-dim-knapsack-bench-721-7-20.opb.cnf
81453ba4f2287ab05e9a15f87523878812a9ec1570018d38eb0ef30d2e64f817  ./k-dim-knapsack-bench-949-240-7.opb.cnf
81793edeec05746e470665c9a4f8ce031074bb8bed066f1c6fca117458267d37  ./k-dim-knapsack-bench-738-46-7.opb.cnf
81b01de00dd124f39cc425513b9ad1cf1d21492e3c9d64e961e30e1f606479c8  ./k-dim-knapsack-bench-513-115-3.opb.cnf
821dedb0733ead95aba8fc0fdff613454600b8dc8ecf29cb1aab298afbdd780e  ./k-dim-knapsack-bench-460-107-14.opb.cnf
824b6d867ee4364d6ccdc2dd6935ac41f2637f28b36f6569cb375186568d7bf8  ./k-dim-knapsack-bench-632-162-13.opb.cnf
829b059065855aef3aa2a8ab6af71269b2f450c8d5809b6ea2364de6e53c6a61  ./k-dim-knapsack-bench-244-224-7.opb.cnf
82b76c6b0011166efc1c51b45e8afdfdc48d751fa7faf4375ea5a0f248d5627f  ./k-dim-knapsack-bench-709-215-18.opb.cnf
82d98bfd0eb48a501a47a320908e7666820141e02fadf34eb4e898fc5982f79e  ./k-dim-knapsack-bench-149-35-13.opb.cnf
82db7a34e455d3856d0a3e0df085222dde6f23a83b714552ed69644d6ff31e97  ./k-dim-knapsack-bench-433-64-6.opb.cnf
82feadddc090c25e21c9ec1cecad221bd18992a38a1e6d0797b8ef8fa69ce0c5  ./k-dim-knapsack-bench-951-208-13.opb.cnf
83a8eb7f9a855d8b9082c82b5bf00b26b94d693ea3de100293ffb856160093f6  ./k-dim-knapsack-bench-683-240-19.opb.cnf
83dfc8df68e17bb86fb5716eab1352d67257eb226e6a438c52c355d3f323a01b  ./k-dim-knapsack-bench-350-58-5.opb.cnf
84b89799b9d54db44ca42072d5383a9383f006d9ad250c2bff6bcdd0b4a1fca5  ./k-dim-knapsack-bench-859-224-17.opb.cnf
84dbff4156bfcf370da94e3a6be94651b863ce026a3e426c09876928c2eb00c8  ./k-dim-knapsack-bench-215-251-5.opb.cnf
85180f4787a1452e6f63c2fcd55b4f1b3faad4eaba321bb29ae562a257b5fbba  ./k-dim-knapsack-bench-496-232-18.opb.cnf
858b86f6a616bbf6e2005eead33ebde6d09d7dde5ce694cee1aa8a0240a0c77b  ./k-dim-knapsack-bench-525-87-15.opb.cnf
859f5cb1ec6f8a297bcb2197421d218ac1f804ec50789f45660b63fdc67af8f6  ./k-dim-knapsack-bench-411-294-12.opb.cnf
85bbfab8157a571f6253d7d625ebdf302ab2798eee8731713bd27d1495a3695b  ./k-dim-knapsack-bench-643-291-9.opb.cnf
85c2a4750828fdaa1e3e4aea2563f2db5e5a91e2154a659ce64381a36b8aca0f  ./k-dim-knapsack-bench-468-197-17.opb.cnf
85e118c0bdd40a95d4f2f6bda5be6d6505874d9646f861430845d8d4593205ab  ./k-dim-knapsack-bench-374-53-2.opb.cnf
865bc1515017bb63371a1280f9a0ed123c34fc89ee002dff784492aa9612c1cd  ./k-dim-knapsack-bench-135-185-4.opb.cnf
86cef01607257021c2338410de912db6224e926fc4ffb0a6f030cd4cf88c7a35  ./k-dim-knapsack-bench-62-176-1.opb.cnf
87b6f84ea07cb0dd9e98879f0c125503e3a4014f346e7da2103d27072987810e  ./k-dim-knapsack-bench-177-140-5.opb.cnf
8845c9c126ab9ee3a75aa8a57dc90e1e02b6072af50146d7b9aab4b9814ca711  ./k-dim-knapsack-bench-305-78-8.opb.cnf
8856b8ce15786aff48e1ea7108309807a60d87babd4ed3f7707db471f04422bb  ./k-dim-knapsack-bench-457-173-9.opb.cnf
88c2336c7a49dcb88faf3cc18fb5dfbfd9ded181a449b8e5489096320883da9c  ./k-dim-knapsack-bench-825-27-5.opb.cnf
891545aa869f47a79ffd22c1cc7194fc4cc78cda21abe2e315a7e3e3cbaed754  ./k-dim-knapsack-bench-552-296-11.opb.cnf
8950ce5c2702a98f027dafc663376a8923a7982f68be8e272fea365b9df36076  ./k-dim-knapsack-bench-797-244-5.opb.cnf
895b1503cdb960632b2b0c8547555476a8d1075084436b5764250d86144e97e1  ./k-dim-knapsack-bench-834-160-13.opb.cnf
899c55bfda0d2743c0554f2fcc0810186b60123623f5dd3b9e88c7bbf5a5f054  ./k-dim-knapsack-bench-53-70-8.opb.cnf
8a218d0e159e671520be6bad98bf94c208bc7d305a0ddfeb0d57c91ad6a82f1c  ./k-dim-knapsack-bench-151-207-20.opb.cnf
8a53a16be6e0eb70dffbadd3ab83a790067ba391f3e200f309027f8aa00da534  ./k-dim-knapsack-bench-248-56-11.opb.cnf
8b017b3a9b932181b3984db1d0dbde01f20013e86b677dc88e1bc4c3a8f74828  ./k-dim-knapsack-bench-360-149-14.opb.cnf
8b6a2e42620329d048bd757e417c83f0f7741591bdc47594a641b6af6655342c  ./k-dim-knapsack-bench-874-139-3.opb.cnf
8b7e5875925f955654710195cc59893b835e53e40022026e37d815763ffe1189  ./k-dim-knapsack-bench-719-78-14.opb.cnf
8b7ea44c84d2240ee2553e0cc4abd885770720e943f14b14e0b6fedd3df9afb9  ./k-dim-knapsack-bench-252-58-7.opb.cnf
8b8f6008f4e622de854a29663cbc31f6f19e841deadf60feffae33263baf3a9a  ./k-dim-knapsack-bench-484-98-11.opb.cnf
8b97f2d96a325fbfaa174b2c6a6dd3a2f2eece0f666f68e7bc24f5b7c5421ee5  ./k-dim-knapsack-bench-889-224-18.opb.cnf
8bc4348f76b265ad9ac084eed0cda8ebf20804051d91431872f22e84b5c45430  ./k-dim-knapsack-bench-268-260-18.opb.cnf
8bcfd86b06d38f6a848f9e2d12b55aa12f118d32a1cf83569efc2f77236f1ab2  ./k-dim-knapsack-bench-736-162-9.opb.cnf
8bdc24ecf2df915ab8fda2057fe229901efd4df3867afab78e9c492ee1d02626  ./k-dim-knapsack-bench-533-39-5.opb.cnf
8bdf384a7b713ae7694da9656aab9a71134ceb3a7a0395ad6eb4422139847664  ./k-dim-knapsack-bench-593-214-6.opb.cnf
8bf2c5022a041c83e81b61c70668638f17ed3d1f251688f25eed9148439f2c28  ./k-dim-knapsack-bench-817-277-1.opb.cnf
8c4cb1b2c2ba0d96b9e97a63a4582d3d17e2fe527064a1e9d520c65035256eef  ./k-dim-knapsack-bench-16-119-2.opb.cnf
8c87c9fc373b6dae8eb2c32210289793183cac17ef8ea7e48f7bcedb70d940dc  ./k-dim-knapsack-bench-66-258-8.opb.cnf
8cc68e53198b594ac6360a45a32690ec3a9d03eac912428b030ebdafcf7fd9a8  ./k-dim-knapsack-bench-17-102-15.opb.cnf
8d416168cc5b61409b48f49ae95173ffa5f61c0189ded3469000e0c200ad8003  ./k-dim-knapsack-bench-983-62-5.opb.cnf
8d726922c96ec944733c74ba91f22a8825daaf800f25cc55e66f598fb81a99f9  ./k-dim-knapsack-bench-880-254-17.opb.cnf
8e3792f0f5f584712cbaf03c000f8e20be0c261037cd3975da88a5bb6571d95b  ./k-dim-knapsack-bench-694-202-8.opb.cnf
8ea5a62aebce4b1b91530026bcf547aa348c92f6e19e1d115f520fa8659c4f98  ./k-dim-knapsack-bench-769-33-11.opb.cnf
8ef821c232363edf95f7ba6198b5ff3ace727550e250d1fa227c574b22467f9d  ./k-dim-knapsack-bench-821-134-13.opb.cnf
8f61fd7f16063afec373fd2109af602411ffedc34002e1c85c090b7565280d1c  ./k-dim-knapsack-bench-152-26-8.opb.cnf
8f73a8937ed93e59405400d07356c130741f5f1721e8ca403e67df4046b4d482  ./k-dim-knapsack-bench-274-197-7.opb.cnf
8ff3f14617d8dceb33d6ff5b9727967cde2b13003469ac32584475ae556c063d  ./k-dim-knapsack-bench-47-155-2.opb.cnf
900eaa4d4c31a5473c871cd96baaf32af445ab48595bf73aa403e15f92ab5abe  ./k-dim-knapsack-bench-205-120-12.opb.cnf
9071b828a1a7e12412f08143ba481756e59ae40803c2762c2899589b81ff5024  ./k-dim-knapsack-bench-668-204-3.opb.cnf
907e9b24af4b6adaf81d0baf703d0541adeff21d1f92019646d8ca16451e5266  ./k-dim-knapsack-bench-741-138-3.opb.cnf
90d32874d4f93f19dc244d24ff92b1de94cb34dc7294c45be8be0ddd0430f678  ./k-dim-knapsack-bench-390-94-18.opb.cnf
9139e1de4aa781a9ee61f18f71c13f4f8d80ddca83eb07b53e8425327eb7c468  ./k-dim-knapsack-bench-728-223-13.opb.cnf
93616fce6be20f86faf710574568891c2206f947c29f865af480190626ae2574  ./k-dim-knapsack-bench-642-264-4.opb.cnf
93f4620a25ab5cf6c5919e85d3fb6dec85a7d8303e96f5a13b185cd2bc75a196  ./k-dim-knapsack-bench-150-50-10.opb.cnf
94c859f41e16b463f6acf2433c04bee722707f75191aa4097ec9f80ebbef787c  ./k-dim-knapsack-bench-426-151-10.opb.cnf
959f6c072c81ab5f453d26464260ed4ed15cfd31648d8be7be80cda5a0c4e768  ./k-dim-knapsack-bench-871-184-7.opb.cnf
96355bb89f4722ff0f8ce879cd5389fdc10278f91b942d56c9e7fe6a2b50f704  ./k-dim-knapsack-bench-43-220-20.opb.cnf
965e070d3ecab2caf43b07c8978b4d73b3287d3d0be3a84bede6e9dc325ad21b  ./k-dim-knapsack-bench-263-152-4.opb.cnf
967076a5ff101f6e59027c94c83e2a04273a247accd17ed115a809ea62e6739d  ./k-dim-knapsack-bench-212-72-18.opb.cnf
96b48b01de7cf44152ed91ca6a98cfb7952c507053e23c6100c07d95e4a536ea  ./k-dim-knapsack-bench-605-195-7.opb.cnf
96b99508608c20a46ed38e68b092206f69b13a3ef4a6fae522c75f28cc9c7693  ./k-dim-knapsack-bench-950-175-20.opb.cnf
973be2fe4dcc1367ca83f38ee77fe7bcd6277e11d056d959e2a9606b095b6d7b  ./k-dim-knapsack-bench-964-261-14.opb.cnf
9854fab7da78ac12d189b51742816746065f5ac7f46e1bb2ba1639da74480257  ./k-dim-knapsack-bench-958-229-13.opb.cnf
98895ba390cd9e392326f07da2ea0f947aeb3300111fdfdd786544b9d226a7cb  ./k-dim-knapsack-bench-331-164-18.opb.cnf
98b4f8663e82f4385c3e7b24aa80201e470b214f14084fb0cb1d02669fd6f7b3  ./k-dim-knapsack-bench-512-201-7.opb.cnf
98c4f88aba15a22a2e34ab9cbcc7fcc862c84557eb0f3435d1878b7a15d40715  ./k-dim-knapsack-bench-70-165-1.opb.cnf
98dfb6666434b3d1b9c41009f327a27ded235bc1cd352d9cbfcf780ee223ae7d  ./k-dim-knapsack-bench-34-110-12.opb.cnf
991a7360c7b77be1c27f8051cc5b4df6f74bd0cac1f12f7e59218538805088f6  ./k-dim-knapsack-bench-253-288-11.opb.cnf
9929eb0ded66c98ffbd844192d8a8e6371d3d5cb9d896d35504d0d41cc9bc6ba  ./k-dim-knapsack-bench-494-97-12.opb.cnf
993315e7c83f670e399b67da4bf25eee4e5e46024a23a628cc16150edf3efdbb  ./k-dim-knapsack-bench-561-173-6.opb.cnf
9984bd66acda3cc748dc5ce94b499bdb104a619fdd2f7b3061e58a82376959ce  ./k-dim-knapsack-bench-508-194-11.opb.cnf
99b7a5a976d9740e5bbc4ce40e522309d0ccaabe46bee3123340a44bd0b9107a  ./k-dim-knapsack-bench-197-234-5.opb.cnf
9a0702ed3ca07fe9df2a2a659c844476fdf9c634e881f11210597d5c54468214  ./k-dim-knapsack-bench-67-176-20.opb.cnf
9a12ae36e7e062e4dd5c765a886f18b44c0b5a175c3ccbc92a91487bac32f8fe  ./k-dim-knapsack-bench-979-168-3.opb.cnf
9a5fbb6ad3e06476892f5ad06b3971cc2c5f41441b24437b81dc21e6ed7c557b  ./k-dim-knapsack-bench-295-245-11.opb.cnf
9a76053aa3cb244207eaf2dab0778e9ec6c14b05c83ff8ec9ada04087b57be1e  ./k-dim-knapsack-bench-672-267-17.opb.cnf
9b05be824570aa5858abd40637baabd3e0e68aca9721757ba33fd0ec1e6097c0  ./k-dim-knapsack-bench-556-74-10.opb.cnf
9b071295391c831b37e80dcf2750bb6fc453be5c9815f253f61356cc53c65b4b  ./k-dim-knapsack-bench-312-26-6.opb.cnf
9bd66ecbb49fec05af9c955b43aceb2d371ac631300bbaec57cb16b151574419  ./k-dim-knapsack-bench-968-113-18.opb.cnf
9cb4dc6136c6b03f8b7bc7e5cfd7f52c95c35ca85d1e8065b992ff407bf94f67  ./k-dim-knapsack-bench-273-196-9.opb.cnf
9cc2493f9b141833a7dc7303742568fedc3afea825757001287c04815cb1214a  ./k-dim-knapsack-bench-75-260-7.opb.cnf
9cd0036c9b823c1fa6352f99cca9dcdc62878f4cb3f94ba25545b46a9108b008  ./k-dim-knapsack-bench-113-95-17.opb.cnf
9cd8e4cba7accae187eb67b1648067bebbd0ee6311d52dc270eaaa53a3bade24  ./k-dim-knapsack-bench-236-61-10.opb.cnf
9ce45a16f907c1f1d977062e475a3824836c32c4730aad4872ae956e30807fb5  ./k-dim-knapsack-bench-629-142-19.opb.cnf
9cff54fd9b5efe5f7525e65e0090820a9d90f44a2871c193d4affd74131ddb1b  ./k-dim-knapsack-bench-663-153-19.opb.cnf
9d066013c32b12550bab0fb6b45d2347fa744e6e2af2e0b830a83f5d3c61e5e8  ./k-dim-knapsack-bench-802-223-1.opb.cnf
9d4c2d2a43776a727a5d322e49512adc17d56a472483f7312ae18cbcbde7921c  ./k-dim-knapsack-bench-896-254-15.opb.cnf
9dbbd423e44ea15a963c51b992383d2d835d66299aceb9b7c6f4b3f6081cabad  ./k-dim-knapsack-bench-393-58-17.opb.cnf
9e01e7b7f75016b85faa604e18e618fc671cffff71d685d0120a947206075d8c  ./k-dim-knapsack-bench-537-219-8.opb.cnf
9e1faf49f2a95cf745c7b035ecbe1b3746039bf87a1a1aaa92f534584d92ff73  ./k-dim-knapsack-bench-296-292-14.opb.cnf
9e62a462d359a832deb4e5094772fb56cf02df4babc2b5e006ec4a57ae0f0b22  ./k-dim-knapsack-bench-163-213-16.opb.cnf
9ecf483915d5992fbc42ccfe8ab74e10fbfd8b413359b7db8a8b17bf119be465  ./k-dim-knapsack-bench-129-274-10.opb.cnf
9f3adece57f9b7bcf4afcc9867c98390b2982aac65d83c3a80a3fc87203a7a43  ./k-dim-knapsack-bench-631-172-3.opb.cnf
9f546d75861c0cf41e62e4d18320df886de89e5c0abea9c07487d78d10103fcb  ./k-dim-knapsack-bench-171-36-6.opb.cnf
9f844b9ab48b6396775b38c5558c0d318659959d73e906d56970f9662d12afe6  ./k-dim-knapsack-bench-726-267-17.opb.cnf
9fb72911beb7f39655625867b96110ffa41454ec95853ceb337061f3ab109994  ./k-dim-knapsack-bench-81-291-20.opb.cnf
9fcdb29911a5d9c8378493fd0d12a6c7bd8339727ee349e794135deb90fe6da3  ./k-dim-knapsack-bench-677-56-2.opb.cnf
9fd8c3f57da3ffb9b223901687008b1ff9d526e760cc5ed304f270a8d29c2026  ./k-dim-knapsack-bench-828-47-9.opb.cnf
a0069562e43ef2499f19dddcb70cc1384541453246283b8aca9f4c3f3cb87368  ./k-dim-knapsack-bench-465-263-7.opb.cnf
a06122251dbf7244f89367b68e15ab3724c7778d9a9a32ff7283c61fe7e3ee16  ./k-dim-knapsack-bench-123-17-16.opb.cnf
a0ec258106dda36191e336959b0a16a33fc5f5ec81fa57e7f95ea66498502a05  ./k-dim-knapsack-bench-563-263-4.opb.cnf
a11b8cea20ea658d4acee825928baf9f5e403a8f93c142410b53aeb5e7c8298b  ./k-dim-knapsack-bench-492-251-13.opb.cnf
a157709fe7652bb9eedba2ad3e35249441a7f05d9d7e79030a7750afc382c098  ./k-dim-knapsack-bench-51-286-14.opb.cnf
a1dcff9ca2bbb3096bae4241b42f2f13cbf28dee355854d43fbb9dfb2d88106c  ./k-dim-knapsack-bench-103-74-17.opb.cnf
a1e050c4078c19afa8c7d2f9f805b677ef40fa4f20730badd6275c5155d1a335  ./k-dim-knapsack-bench-824-274-11.opb.cnf
a209d44d3b2c972cc09e0d7aadc926f501476694eeea6ae9b12ace1c2f5d5b95  ./k-dim-knapsack-bench-342-167-1.opb.cnf
a23ad2750e4e70c22907bb9b7ae04ed29a162e9f85e18e88be70d556557ac662  ./k-dim-knapsack-bench-659-118-19.opb.cnf
a2467adc2de321c437890f58cebbe01612cd17ae731013f29e445eeb0787d644  ./k-dim-knapsack-bench-937-89-6.opb.cnf
a2bfb00563d668fc8cd019c0a66307e9377f9461d00d6525ba54bbd067703552  ./k-dim-knapsack-bench-100-182-16.opb.cnf
a2c89dd9e207fd871629d51b657f49793318554c438e26b5c6c9f8bf6f25cfd9  ./k-dim-knapsack-bench-953-279-12.opb.cnf
a32570e781bea933239fd0f0f9669515f52ed4781ea8016c389ae8bf75998739  ./k-dim-knapsack-bench-989-198-19.opb.cnf
a388de7287511d27a3676ed9d62748f445bd8094ecb83247e3295b7224a28f53  ./k-dim-knapsack-bench-326-80-11.opb.cnf
a399d3f98fc6501f7b12785ec76a70b21ebbe1d9d6012549d17cf4adf759d53a  ./k-dim-knapsack-bench-141-159-11.opb.cnf
a3e0bfc992777d29d0a6dd79862de4663baf47dee79b946d525160fb99cdba60  ./k-dim-knapsack-bench-614-28-16.opb.cnf
a4273ce36dbcbbac018fbecbe8d924a430ae06770ce51a51dc01984f81c8f3ed  ./k-dim-knapsack-bench-501-274-18.opb.cnf
a4309e9b31649c232cf7b998a328dea2419aeea37e63215888e9c90db4b702e3  ./k-dim-knapsack-bench-919-39-14.opb.cnf
a463de1ade5ef0cc1a365cb53ef169393e403f7a611c236db5636aec1e3af2d8  ./k-dim-knapsack-bench-269-217-4.opb.cnf
a499677873533ce2f35c1770c3e8e0924bbfca7969e0179aac982a0e3443aabd  ./k-dim-knapsack-bench-751-80-7.opb.cnf
a4aa0969aa7134958c6d9a6bef84ba5bc2483b972a260b07b342aa4f925b67ac  ./k-dim-knapsack-bench-255-77-10.opb.cnf
a5a0347b5cf49fb813d82236762ae0e054d80eb32576f9382091fd6c65db75e8  ./k-dim-knapsack-bench-229-247-1.opb.cnf
a5b753a810321230f9b753da08fbcd2eaf389f25fe2bbb3e46f7f160f8e04c67  ./k-dim-knapsack-bench-881-126-11.opb.cnf
a612d3d1e71d18d7b81a602ff95fded1876102bf62743d1a420279f9908e0705  ./k-dim-knapsack-bench-31-33-4.opb.cnf
a65848ff47622637eb2038c742c4ce86ba50db4fb60faafc6f914c54d5fcc87b  ./k-dim-knapsack-bench-581-31-9.opb.cnf
a68a21db7c31695ca51fdf84f074a4b3c65cfab1d5f83b360dd70150d9778b08  ./k-dim-knapsack-bench-947-291-20.opb.cnf
a6a2254cee29b1ba36d7e78f03e4f7fbe5a5ad4bf01ac2b40bb60948636611e8  ./k-dim-knapsack-bench-705-211-10.opb.cnf
a6c9e723b9733f18b42129f7db895bf14acf57b153be99eb8f24604fcb321ca7  ./k-dim-knapsack-bench-688-253-3.opb.cnf
a6e1bc867ba58f4491b24bddb7b10495b325f2a15307a31c8821251d465144e8  ./k-dim-knapsack-bench-422-88-2.opb.cnf
a7b214b65bc1b545c73fd6cf3d2c0e8f2aad761c870276032d1de2b98168e224  ./k-dim-knapsack-bench-645-101-5.opb.cnf
a856373a9009114cef76719a1934481568467b8910f21ae2e1209d1735fce385  ./k-dim-knapsack-bench-886-186-3.opb.cnf
a8949ae290edf1502e899124440ba9b3e9e3680674ae77e67e6d46d624682963  ./k-dim-knapsack-bench-813-234-11.opb.cnf
a8e14a5de31365a7a07db00fca1d073538d03dcfa0b6774d58eb92e59d10d85a  ./k-dim-knapsack-bench-203-141-20.opb.cnf
a91da4d7c65774882c82da942983688b773b851bd012ee755e342154a7a66add  ./k-dim-knapsack-bench-157-5-13.opb.cnf
a93e1e020d101e4153ed8978f30508bf8f4308c6f7d017b2138284170fb72b29  ./k-dim-knapsack-bench-795-23-9.opb.cnf
a982ad77d9b602a8b048be832158ba0bc16bb71f94c5fb07106b837448e91471  ./k-dim-knapsack-bench-466-145-18.opb.cnf
a98acc351acc256a6dbe574763686c0307c7b41dc0e269ca74b38c02f215baad  ./k-dim-knapsack-bench-571-264-8.opb.cnf
a9d5bffeb5c83a51cd7989975876976346fe1a444cf86e443f9fed66de8f0282  ./k-dim-knapsack-bench-601-190-12.opb.cnf
aabea6841c1abab53e105cf17a648cc58761117f41247510478cdb36d2d450ad  ./k-dim-knapsack-bench-842-170-13.opb.cnf
ab2b094b52f57ce8f680cf1233677770fca728cfaab784174b3faad7087ae085  ./k-dim-knapsack-bench-870-46-6.opb.cnf
ab2f488d6d6078c9ed7d755e3968dee663f6a0bba96b8d2939dd9a3da222c34c  ./k-dim-knapsack-bench-587-275-18.opb.cnf
ab5fe0910f1bf2f3356c106a925dbcaf2d99698ea4d4839ae51bef4fad79cb9b  ./k-dim-knapsack-bench-558-114-9.opb.cnf
ab9ffd6a8acfa7e1eacce39cbaed569ac45caaf42548a0c63eaf550eabeca6cc  ./k-dim-knapsack-bench-575-78-20.opb.cnf
ac26b3810355aa768fd7b7f10bf7fcc56d972e805b4186349678cf34fd0de146  ./k-dim-knapsack-bench-634-163-19.opb.cnf
ac2bcd03314fd49eba2a2996a51b3bf1e943bf46b1dfb8c24811527a47e02310  ./k-dim-knapsack-bench-428-115-1.opb.cnf
ac87d3678fa70703cf7436c040e22242d4ed6de65b2686e7e5a753d905a4f058  ./k-dim-knapsack-bench-657-98-6.opb.cnf
aca0f782efc8ba4df3cae599d606a6138d1faa82b665eebd7599956c28606ead  ./k-dim-knapsack-bench-334-34-10.opb.cnf
accf43abe64835d1cf6a1486fb984bd88c3b8b55f5f7624d33e0c8c049b94599  ./k-dim-knapsack-bench-301-256-4.opb.cnf
ad39d9ebee53bf86dbf2b3c2f43a8e5d24789680d623af9777c8470374a708a8  ./k-dim-knapsack-bench-883-297-11.opb.cnf
ad3bc95dc890944761f948c385df398ba865ee874ac3ae24bc5b34f53b5589d2  ./k-dim-knapsack-bench-807-167-17.opb.cnf
ad6af019a336da3c4d5326ff4172f35df223d929bbaa8f79ac44883cdc85b95e  ./k-dim-knapsack-bench-65-235-11.opb.cnf
ad73cb297315bdb420a770215a952796e266f268cd3edc3b6d2a1f8a7602e436  ./k-dim-knapsack-bench-300-64-16.opb.cnf
adab39a2c90345ae4ec5f992127b7d4e649bd57f18dd6d9f960b5041b7b8f871  ./k-dim-knapsack-bench-565-87-14.opb.cnf
ae58f82c73b531a358cdb186e80789b44570fe0bc8289cd988520b272b31be4c  ./k-dim-knapsack-bench-931-297-14.opb.cnf
aefa40ef0e7eb77bae9ce7c4a0a7108fe63c73b6f140554cbf7f0247a578b42d  ./k-dim-knapsack-bench-541-200-16.opb.cnf
af5435d9868bd1da9c220580ffdce4c388048bc8744218779a3651065a7f76d2  ./k-dim-knapsack-bench-957-259-9.opb.cnf
af89dcfe65904f246bd50e71eaa724f70d5c54e05db7a587a7e42ef7e0f19fba  ./k-dim-knapsack-bench-276-198-8.opb.cnf
afc8db7fbad08652f5dce9b7bef36bd5fca52cbf269a81947bc5ea554bc6e217  ./k-dim-knapsack-bench-355-257-13.opb.cnf
afdd1ca743a9e5c21e2ee55cf65fe715a297b833900ce493876f5f161eb66c4c  ./k-dim-knapsack-bench-963-271-9.opb.cnf
affa71b17ee88397f1167504532633c0d1daf26a26f6e959cbdf4c911eb00b78  ./k-dim-knapsack-bench-538-117-17.opb.cnf
b01bec81bac1d914ed558718590eb2412f96e8571fe129ebb0d7c6621a20a30f  ./k-dim-knapsack-bench-554-267-12.opb.cnf
b03996f2f380185724b48205674d11983208fb410f2b87d47da53eb0b6e7c702  ./k-dim-knapsack-bench-32-119-8.opb.cnf
b0d273e944170e045d714abc9a598d2247f815409bc15550cdbebbc26fcb49f3  ./k-dim-knapsack-bench-522-44-16.opb.cnf
b10b61eb5940735cf3ecbe0817af4103e20402bfd387853e5302bf4777f39709  ./k-dim-knapsack-bench-924-261-1.opb.cnf
b18b94c25149138922cbb6065f913160a4df9aaac36e4aa82b5992a8830c34cb  ./k-dim-knapsack-bench-54-65-15.opb.cnf
b1f8cf5e4015d1fe160c4cf9f13620f38260269f1b16968841fb7821ca90066c  ./k-dim-knapsack-bench-144-191-9.opb.cnf
b2a78db07c5c2984102cc49ce2ebc3380f17c4b24ada3412b02507db6e3245d6  ./k-dim-knapsack-bench-666-130-7.opb.cnf
b2abde67d5c375d2449d526206ca028a95041f0b186bab6d5165feda21789988  ./k-dim-knapsack-bench-921-264-2.opb.cnf
b2d00966f7e91be9cc877dd02df33fc5d6804a50727d37e60e3892fd141a4f30  ./k-dim-knapsack-bench-97-67-16.opb.cnf
b2f1360a9049497086b6b18fdee386f027dcb2ed4443fec9a33ed93c9fdeeb39  ./k-dim-knapsack-bench-967-15-5.opb.cnf
b301defd630466f5ec172fadfa165d4467a2828eec026da80ecf164a39ba8151  ./k-dim-knapsack-bench-662-97-2.opb.cnf
b3a03fc4df7de6135f73f73bd88e62d18a82b21a2450f886be49ff636897c6be  ./k-dim-knapsack-bench-325-59-1.opb.cnf
b3f804d301da375f2fe4cca22718a12eab292a5622fa09e9c9a8c4c480d6d5c6  ./k-dim-knapsack-bench-417-287-3.opb.cnf
b4017d38922be7a73bc2d92a1e472c2b32fc56000710f9e1daf7e3bbf4694174  ./k-dim-knapsack-bench-504-239-19.opb.cnf
b46b89d43511d89991f555c8be2ede25914dbefe005d4189c2be81fd391fd7ab  ./k-dim-knapsack-bench-400-85-17.opb.cnf
b4896f9c4a09c7f254b5a9a8723568e6b65472e8227a1ad4dd765f349e4d1cdf  ./k-dim-knapsack-bench-193-296-17.opb.cnf
b52624fab6c49247561caae4e557fc8f092b3766152e05218bd8563ae04b9166  ./k-dim-knapsack-bench-328-149-20.opb.cnf
b5272c3c2ce0c5269f550a3ea2914ff55b163c06755681c9049c2e8642aee5c0  ./k-dim-knapsack-bench-595-28-14.opb.cnf
b57bdb3f5e6f8b32379e37396a9474591c5e7b6cd11159b5e3b354c5cc31ab06  ./k-dim-knapsack-bench-351-129-6.opb.cnf
b5a849f3091fde5495fb88a87e121441e3b2deeae11215930d33f4d893975e1d  ./k-dim-knapsack-bench-439-252-9.opb.cnf
b5fcdcd1cd0c7e1d0e6e3e63cdb258b36d8a7898b28b4172d26f271d9c0a92ef  ./k-dim-knapsack-bench-108-276-10.opb.cnf
b63125c636ecdbc73973ade4fead41ae7dd2ed1344781fa30ece2e99271c8207  ./k-dim-knapsack-bench-965-243-5.opb.cnf
b6741fac8fb0546785712eed9310544478607e41ce3197e6bee33e40bf419900  ./k-dim-knapsack-bench-162-63-2.opb.cnf
b68a721e17b79a425082182961f47a4c42c5ed13d99f549cb121a83b8bf5e6af  ./k-dim-knapsack-bench-946-171-15.opb.cnf
b6b0c88e22807de950c60dbbda67e9bc5d2d827cedde1c7c3d34c2e3a63e33c2  ./k-dim-knapsack-bench-226-164-9.opb.cnf
b6d076daa31161aaa921cbdce8b846c8a7adeeef59a333a8ffafbb97f207d133  ./k-dim-knapsack-bench-597-131-12.opb.cnf
b71d2c22865c9405d423a8d7e57f5bc77a47628ea670ebec68bc4b20a97d8704  ./k-dim-knapsack-bench-321-85-9.opb.cnf
b720b3e8474459cc5bb263c85af54c807715ab90283d014d3353fe4f2411c57e  ./k-dim-knapsack-bench-515-89-11.opb.cnf
b75134b850da93f32572366850aed04a725f40fa6c5c895ecd79881afaea3d50  ./k-dim-knapsack-bench-539-71-20.opb.cnf
b7ab4ddc54846543ec61b8e09bdaaa882bb420fda8246e1fecf8da5a6d7e538b  ./k-dim-knapsack-bench-425-57-18.opb.cnf
b8662debeed88c24e16f7718d21c169cc45ac3d85e934da6a736f1545ff5ece8  ./k-dim-knapsack-bench-105-300-11.opb.cnf
b88ebcdfab7c612e50f08cd1e29b8fca032274a034f136baf2005f505919f28d  ./k-dim-knapsack-bench-665-269-2.opb.cnf
b9a02dcda524ea73c6673e4b0a3074665b2c74297cb235eff60457ce114901b1  ./k-dim-knapsack-bench-159-291-1.opb.cnf
ba033f8d42ff3b9208bf53198d4d803b3647fd1589573e270d25e7020752bbf7  ./k-dim-knapsack-bench-238-30-1.opb.cnf
ba456b7be287b10b658eb25dce5d62e6f18a7f493cdcf552b93c527c8b81b509  ./k-dim-knapsack-bench-670-82-11.opb.cnf
ba5e6577467a8610af14298f377eb35cdc26caf5d98481c75ca7f63c7006ee0a  ./k-dim-knapsack-bench-270-261-4.opb.cnf
ba654f0999390f8050a24a2e67c704e86307820d7e1c61ac51aa7d08fac6ce46  ./k-dim-knapsack-bench-91-94-5.opb.cnf
baa4e656e068a27750a021c2acf6b2053e438c979c2a08c428bd5a4d603706ac  ./k-dim-knapsack-bench-805-37-16.opb.cnf
bac7903185db8bb0ba361e2689e6888d0ab899e5028495090080678ed941f451  ./k-dim-knapsack-bench-798-57-5.opb.cnf
bb0e9e5419d7632ec218c492aef5bd8671cecb1917c6998d809e5b94c079215b  ./k-dim-knapsack-bench-775-281-4.opb.cnf
bb16c6e1e4ed5c9b0c64f0841e128aeb620eecb31e2fed81600438c3490e0a6b  ./k-dim-knapsack-bench-739-27-6.opb.cnf
bb9cd0986d345f8020da7e4623b4d2926d9f2b7380adf2ee9c6d9426f811ca73  ./k-dim-knapsack-bench-247-176-17.opb.cnf
bbbac1d4d67224c49593d9d4ee4bed91ddb13d8360b128673028d3336af09da2  ./k-dim-knapsack-bench-970-9-9.opb.cnf
bbc71559f55a27de37202a702013caa4d7b181afcd9a5e64c54127d5269277e5  ./k-dim-knapsack-bench-780-119-11.opb.cnf
bbe836a9343628c81b7e5398124ea48bdf6c42edb827c0347a57c8c6eace8023  ./k-dim-knapsack-bench-608-236-4.opb.cnf
bc0ea84829cce5a365fd79f70817bb5b4ecf5a6fe0705aff062db5c34ade460b  ./k-dim-knapsack-bench-317-231-15.opb.cnf
bc3794476332c4e6eb9cc1e0f1e91a3442f09ad4e0a3f4349b45568eeb26c12e  ./k-dim-knapsack-bench-718-96-10.opb.cnf
bc394086ddf60ee678826b28c59ca7e1bdad078031b1b15e658cad35e117cb77  ./k-dim-knapsack-bench-553-194-14.opb.cnf
bdd9342e928d1945df668ebc1015ab47d6ce2d566c0f082dcc895aadda07dd96  ./k-dim-knapsack-bench-908-248-12.opb.cnf
be069caea74d8ebce77b05d2faebfec8a2096bf89d19e6c8a34c47a9210f473d  ./k-dim-knapsack-bench-620-190-10.opb.cnf
becd53041cc15de5528e5c7c57c9b9e59695ddc21ed14a5f5f5c14208fd7cb7c  ./k-dim-knapsack-bench-441-143-20.opb.cnf
bf265f2ec704bba89d358c810263937c451b74a6b9931f374648fb66f4d9fe6b  ./k-dim-knapsack-bench-954-179-19.opb.cnf
bf5ad982e54187a2ff7c1d787e2126b45a561bb732510294d56ed8f09bf1a9ac  ./k-dim-knapsack-bench-310-207-9.opb.cnf
bf7af5cf4988be6159c70fc91b03138520c4bc6645d27ded4b9e4ea82dbe798b  ./k-dim-knapsack-bench-578-241-14.opb.cnf
bf9aef81de1da03c5c9972159a9ea14d4ea4cc662733d2ed1061bf592caee57b  ./k-dim-knapsack-bench-572-214-5.opb.cnf
bf9ba3474bde6c1d4168b0f4190e371d4acd520fdaa1acd3c723d2ae4307215d  ./k-dim-knapsack-bench-567-165-15.opb.cnf
bfb50ecf254e1f747462310727ed57daebacd597043465f90d864767f72df2da  ./k-dim-knapsack-bench-580-26-14.opb.cnf
bfe818a00f62cf07c94e9dc250b39512cea3aecf5ae3f28824e025036a75ed87  ./k-dim-knapsack-bench-493-180-12.opb.cnf
c0ab930a5334aae40e5602bcc7e770e1af204b8566b0d94f9356c080c790fc3e  ./k-dim-knapsack-bench-703-290-1.opb.cnf
c0b7d37733fc8db1c817ea5afa764f69f854904e29b6414f98880450cae3d4c4  ./k-dim-knapsack-bench-630-221-3.opb.cnf
c160fa174ce3974debce46537beae6f14a9b889758861225d57a69958c4601ed  ./k-dim-knapsack-bench-464-99-20.opb.cnf
c176bdde4810422b42e9c7d369ce244a914aa517734bc1586269ee0cfe61f2f8  ./k-dim-knapsack-bench-750-262-14.opb.cnf
c1fef1b21eeb82c36c9b40a81a12f4822cf30fdf91eceee036e106e125b8908f  ./k-dim-knapsack-bench-517-171-3.opb.cnf
c2422c12fbb204bce9e8e82b8175bd0327fdb048debc766ad981471c9f95201c  ./k-dim-knapsack-bench-410-110-4.opb.cnf
c24d8f2a367d29c6652a72bb9f139dbd68e8a2c6dad7771424a7c4305e2f199e  ./k-dim-knapsack-bench-243-91-12.opb.cnf
c256e3d1f5b2e0820242ca05e567d1fa86866d76de54e939fdc07318f4176e23  ./k-dim-knapsack-bench-128-61-12.opb.cnf
c2703f6e9c4ee3a4d306811b9e4addc7bfc8fb9301a241a12d164f42dd9f9e6f  ./k-dim-knapsack-bench-115-267-12.opb.cnf
c3128f5cc85fb6c3acffccf2b86fcbc4e2bba3182d24cb185091fad1cc4e3161  ./k-dim-knapsack-bench-329-231-5.opb.cnf
c32cb3c25a04add223961a23832a3a844c29f95572feb07aa09f7dd95558db0c  ./k-dim-knapsack-bench-843-259-10.opb.cnf
c34124e4ab62c31f556f80de950abc39d7d6358b6385c07fa102d9ea9979fe65  ./k-dim-knapsack-bench-568-85-16.opb.cnf
c382c1d8418fe9265780aa5f8b627649d7c970b679e561163ed25a338aa8068a  ./k-dim-knapsack-bench-196-154-10.opb.cnf
c3b0ce6bd5869c8193b363c519d3310e05547cfd3404d9290c9fe1776674381b  ./k-dim-knapsack-bench-239-211-17.opb.cnf
c3fe1da2fd94c5e137c7eea571d0e299009dfe9ad5c518d75311fc17d9693ef6  ./k-dim-knapsack-bench-991-230-16.opb.cnf
c40fc795cf8c6bc5beb9b11e89c71acd55e3d100ae9838e1f30198a6e862abba  ./k-dim-knapsack-bench-261-296-3.opb.cnf
c47316a616247faed2e885e58a9c61d9c2ddd24ced236a6da82db6d0895ae24d  ./k-dim-knapsack-bench-434-33-7.opb.cnf
c4e98e027f69b7af54997e4e1677f340ed682e69efd2b808c47e5266bf866f5c  ./k-dim-knapsack-bench-722-82-1.opb.cnf
c5627908127309130f6b7f643c3870b430e2b5de64d415f239a96ad4681bef5f  ./k-dim-knapsack-bench-153-129-9.opb.cnf
c57081f5fd7ecde282db67b5512c98fc16e69182e3ad37311d0e3244cd4653f8  ./k-dim-knapsack-bench-734-154-9.opb.cnf
c5a589d7b4280b83c12e5118687b5edfb78f15d8e3d74245f46f676daa0db29b  ./k-dim-knapsack-bench-927-159-8.opb.cnf
c5ad836bb1e8fd65738780dc7d6e911d9da10b5661588323298bc2bd00afe09b  ./k-dim-knapsack-bench-847-110-18.opb.cnf
c63b2d5c42f00e255dd425fe2f1c9fea48fd2adca59bb69b9389b210f5ae069b  ./k-dim-knapsack-bench-890-297-7.opb.cnf
c65dbb9c9514378f9b73d2d9a066c6fa248efe2d06a20af61e2e3636c27d72fd  ./k-dim-knapsack-bench-73-147-8.opb.cnf
c6634791da840255cf8d4ba363b167dd0d019887a79fb8788ad504572e1cdc24  ./k-dim-knapsack-bench-868-226-18.opb.cnf
c67ce7a0e3dc6af4bfd537fdfeb20bee7e13db27ff7c9b0e8499352225ff46a8  ./k-dim-knapsack-bench-863-159-8.opb.cnf
c6846f783e94f46f660c467d9f62e939d424d04b88dc691e7d8956475e6ed30b  ./k-dim-knapsack-bench-358-291-12.opb.cnf
c6a1339b0acab88c9e62661c1f6e916dd44a9dd4d0840267e7e2c4e9c3881074  ./k-dim-knapsack-bench-695-190-18.opb.cnf
c6c5a4174187c5c4b45271119206b126fda8738134993a0368670b36f9a68197  ./k-dim-knapsack-bench-638-56-14.opb.cnf
c730ff97d614af48e3450d98236adbdbf7e8f67b23cc6b8ab061f60a6722670d  ./k-dim-knapsack-bench-416-101-15.opb.cnf
c74d54c4801dbb396df75742b9ad0f167b362b8b14d6a3b3d42d9f450956abce  ./k-dim-knapsack-bench-520-296-15.opb.cnf
c75cd741910b99935b099be460301c22d21a3ceeda16325e58e3b5cb65c70cc7  ./k-dim-knapsack-bench-997-87-12.opb.cnf
c763ea637e7ec1d28380a9ee4250cd19cf479764bfaeab7dffbf3636f292d325  ./k-dim-knapsack-bench-590-249-4.opb.cnf
c78d8f84a5682e1a6edc5eafc293a49d5ed76f11efe2a5f2e650b5961a9040a4  ./k-dim-knapsack-bench-401-69-1.opb.cnf
c81288111d11eb54985eae1d940449546b4399090396cb962fe771a23330f7b7  ./k-dim-knapsack-bench-190-35-7.opb.cnf
c822f4c7c83728fb7d574c3e0bacb5b8f1677eba3a401dba21ed80bad6499089  ./k-dim-knapsack-bench-241-128-10.opb.cnf
c8456422075d2d6f29e0f5b0b2ba0d8a0a64afce17c18e6729d1d935fb7826d1  ./k-dim-knapsack-bench-281-50-1.opb.cnf
c8490eb8bf42cff033f59d2bcdc0416afd7d1d47834ce736f53975b7b658b2ea  ./k-dim-knapsack-bench-246-92-10.opb.cnf
c89b6d57015fb10141af64f7ab4c7a3ba6dea54bd6beb3546da8c9fef15dc856  ./k-dim-knapsack-bench-622-111-3.opb.cnf
c8c019ad6876227565d3b9e62067842c400e838f6bb19ce327841ab868404897  ./k-dim-knapsack-bench-846-46-8.opb.cnf
c990434c548c9b46f23ca5e01bd25144b52b406ef65b45fa7860444ac72f857f  ./k-dim-knapsack-bench-534-89-16.opb.cnf
c9e5a75251e5bd8ff79cbb20ec3a3541311462739cd3bc1f736ee8094a88944c  ./k-dim-knapsack-bench-25-191-8.opb.cnf
ca09ca5f0d2de1a3c63fc4756e99a3f1d1efbb5fdeef5f2fe061117c765886c0  ./k-dim-knapsack-bench-527-267-8.opb.cnf
ca33fc74f3fbe89754f01233387abef0e97b001f5307517c6bd9728580a4da8b  ./k-dim-knapsack-bench-237-269-6.opb.cnf
cabc9f522587d0ed5f00c454715ff3d710895862d3c18743fbf96527eafd664f  ./k-dim-knapsack-bench-249-270-7.opb.cnf
cad7642d30fb40e8fa2ce58f9ef439ad0d626e01ad0e30b56517827118602e20  ./k-dim-knapsack-bench-867-233-16.opb.cnf
cb7567d665abacb9fa204aea0811685971198babf05f50888adbe92ecc210ac7  ./k-dim-knapsack-bench-284-19-9.opb.cnf
cb8b317172f85fad8d4472cd2edae2faa6b59c38f52ecf926dde9169f7a8ca5f  ./k-dim-knapsack-bench-98-50-17.opb.cnf
cba85214c12cd8d1d15e990f1bbf7a1e5c3efaa3cb8bcbc8777d4a0c3ce749ea  ./k-dim-knapsack-bench-13-300-5.opb.cnf
cbd0b0cf1e788acb31ee27b0d23962562d8da72a67091796482a01b653108c96  ./k-dim-knapsack-bench-546-82-2.opb.cnf
cc15c052ba5600d0312efa184849057308ac8fcde95bb21a291cd7e62a14443f  ./k-dim-knapsack-bench-120-89-18.opb.cnf
cc302aa31f3060f2ed134b2f4d13ed0d1943107ba77df98f6db762c1f7a929ca  ./k-dim-knapsack-bench-570-193-10.opb.cnf
cc66b91837710fbaa1404cb963aff40ee441eb64c049d5812fbc8360979f5935  ./k-dim-knapsack-bench-810-112-19.opb.cnf
cccbeee6b5cd32e2bcc21e086e6fb7eb589af7d787712abc4ae3fa6872ed85ea  ./k-dim-knapsack-bench-308-116-2.opb.cnf
ccdbaf9336ce6b55eff1c4edf7d8ad960030d19b72a54769c58141074fa17833  ./k-dim-knapsack-bench-708-49-10.opb.cnf
cd10490592c0f91c983a1c13628774ce7fd35b1370054f70267c8a6c3d1bfe04  ./k-dim-knapsack-bench-69-115-16.opb.cnf
cd5adac9640152c45794dfb38e9212afa885513e2fa6085132e71f0a1dc1a489  ./k-dim-knapsack-bench-592-236-15.opb.cnf
cd876b6596cd4dc87da89b3f9c0dad3d29be3925425d74b0c39b41bb0c7955f6  ./k-dim-knapsack-bench-830-168-6.opb.cnf
cd8e0ccce124ecb6a5dc8c8a98bf026fbf546a7e4def5c80c34b199cd318590b  ./k-dim-knapsack-bench-560-92-20.opb.cnf
cdc99a58a81e8cb7a3d6e63c51135a39523318f4af0fd0c0bf322ef88e8c1e46  ./k-dim-knapsack-bench-353-234-15.opb.cnf
cdcd124fdf43b293138db12ab33b67d158e073af8ccd783b7b92085954bcd181  ./k-dim-knapsack-bench-44-183-10.opb.cnf
cdd2f76194bce7dd96e6c942506571eb9e86d1e8ba0987422e38cf1f011488dd  ./k-dim-knapsack-bench-936-218-14.opb.cnf
ce44b775d129543ad5153d62f8b24b61767869b0e6459c6b6f8d347ec98f277a  ./k-dim-knapsack-bench-696-13-10.opb.cnf
cea5ac6cf9f1e686d848f28c9bd3388e394dcca4399545faa68b314647261094  ./k-dim-knapsack-bench-836-105-3.opb.cnf
cf20638735545f74c674787c73bc6e4f6af3f86be6fa7b72163b74cfd624da13  ./k-dim-knapsack-bench-861-182-20.opb.cnf
d02a098d54dc0e8e775b86f630ad9910d69a0e3206e23115f3ccc8d734236c7f  ./k-dim-knapsack-bench-725-263-5.opb.cnf
d08dc33fb7c54344cd74788312d22c69b2d015a305d8a69659158029fa9732ff  ./k-dim-knapsack-bench-178-174-19.opb.cnf
d10baf6196e2ce6234b423d65e658c46de64aca27dfc4d52de8c51274f85a72a  ./k-dim-knapsack-bench-364-110-20.opb.cnf
d11b9fef0308dc8b23ad834c7b3b2a8ec8109dd98ab4c0dcf8abd02c5691c8ef  ./k-dim-knapsack-bench-365-187-4.opb.cnf
d13c4192113b8ab37ee51be59e95ddfd63db12a22bfdca1b908befd0c163cb00  ./k-dim-knapsack-bench-639-109-11.opb.cnf
d1419eb3b7a4b502a6684f2c1ecfc684474257555efa67003cc203a20c4f9b00  ./k-dim-knapsack-bench-477-95-16.opb.cnf
d193a16f45c6459a9934dfd77c4303998e6aa51e8b97ba787209e780b4ba5d89  ./k-dim-knapsack-bench-311-109-6.opb.cnf
d2271f98f67b7ce4f05881372a220555fb7e826db320051792733d0aac9154ea  ./k-dim-knapsack-bench-918-238-10.opb.cnf
d286c5b3ebc3d0740b4816201c2c7e2367541445da12f93f82fab96ea4307ec7  ./k-dim-knapsack-bench-816-179-18.opb.cnf
d2a8ee1e9529d636c700150fd35174351004ae9709a583d15126a702e5ee41c5  ./k-dim-knapsack-bench-909-178-1.opb.cnf
d30d08468ebe241f98e6b6e3f3098e469a9c72b91b9e42f03dd9e96ace8570da  ./k-dim-knapsack-bench-388-264-8.opb.cnf
d35aa122bf4ac7a096c7ba40e5930425c18688629ef7c4c389dc29e94208d0a5  ./k-dim-knapsack-bench-505-227-6.opb.cnf
d3c397430bd8b5731eeca72a52381447af8aac69542cef5e441b0d8161a33ec7  ./k-dim-knapsack-bench-111-22-5.opb.cnf
d45b5d818137f7f13e52c274b46e4484a082d19357696631aabe22f0f56ac756  ./k-dim-knapsack-bench-650-131-5.opb.cnf
d4b42f1b56d42bc9fb2908f6b44cc68799b825cca3c98d71090ce97ccbd18256  ./k-dim-knapsack-bench-318-87-14.opb.cnf
d4be8941770c7dba630eb4d0229d6aa6974120444351bdffb65b71b54efc7837  ./k-dim-knapsack-bench-164-200-3.opb.cnf
d4e295ce41ea1cc0897dce1dd18edfb7fad10fecc1b64e0d18d3156da1ea1fed  ./k-dim-knapsack-bench-680-282-5.opb.cnf
d4f6d2ae3443a1d0e0665269191afc3771d35a340d2cde3e4dff9a39b93394f0  ./k-dim-knapsack-bench-204-184-18.opb.cnf
d57f189ec75f781e1c2c8356a044d41e94793c93da7ae1d9f002501ba3b359de  ./k-dim-knapsack-bench-961-107-19.opb.cnf
d5854542fdb134be6a43ab2f6fe1ce3b28917b06c2c2a66e708bd2092dd783ce  ./k-dim-knapsack-bench-591-165-17.opb.cnf
d5c710791b76e2ae9c54bfdad95587de5a7262de7ad51d0889c9caafabb1087d  ./k-dim-knapsack-bench-604-237-10.opb.cnf
d63bb49dd8ee39761dfc66542d819ba1186b78fd3324e9b18d94d0ff6c25fc07  ./k-dim-knapsack-bench-335-73-2.opb.cnf
d64d3d5e9c7b0eb3c02e23209b2cf5843df725c9cc97aeb112839ff35a47dd16  ./k-dim-knapsack-bench-633-58-13.opb.cnf
d6940ffe0ae61260c2036a5b8546a62725b99c77a8e320c4197f54671b69813b  ./k-dim-knapsack-bench-110-258-14.opb.cnf
d6a47b9d23a4ec4968290296f4323e7f083626d0dc5c6d0f8144ccd82d350f39  ./k-dim-knapsack-bench-491-235-18.opb.cnf
d6c5f1eb1c8b604f79ae89c352d92881ed25b9f4bf6c26ba83528e4d616f54d9  ./k-dim-knapsack-bench-547-259-4.opb.cnf
d6d447a1e27779ca991049442fffc5b5a46a4d5b406672d595b14c6618716cdc  ./k-dim-knapsack-bench-450-91-15.opb.cnf
d6e2548387963aa1c58f0a05a071454a369dd209f2d61ac55ee7d91766529c21  ./k-dim-knapsack-bench-87-148-19.opb.cnf
d71072afcf9ead6b3ca74f9c090679b08fbd7fcbb41e03f341993f050f0a1279  ./k-dim-knapsack-bench-430-150-5.opb.cnf
d7441d9d3f071f742d3a9ed193e07638d7b0478c8b9f609994255136eff521d8  ./k-dim-knapsack-bench-343-179-9.opb.cnf
d780c673f2c63de18230edcf2906856fbcc6a6d73fa9a4ff3cc957a95e4bf3ea  ./k-dim-knapsack-bench-549-84-14.opb.cnf
d8c0dfb48150ee25f6576bd306bc4674af353cd9b109213427f1883d5eedc2d9  ./k-dim-knapsack-bench-472-218-14.opb.cnf
d8f26ab1c1f380994f7c49521a91318a26a15fa419194b8e0894c43ccee5d5ae  ./k-dim-knapsack-bench-456-300-9.opb.cnf
d9990ce90202d1d96c34eabd916388163ee3f43783c796b0d55a3e0c922025bf  ./k-dim-knapsack-bench-611-243-10.opb.cnf
d9a4974578298be312a33b8c9fce35b0114c08c3e9ce37eab4c11411f3ca88c1  ./k-dim-knapsack-bench-548-101-8.opb.cnf
d9bc1353b3315b0221694a6845452e826f17d3eea62615173dfe2a3add98c309  ./k-dim-knapsack-bench-987-88-15.opb.cnf
d9bc4ae58bc69574b75059336263a37286138302d2b24e344d12dd994be41b3f  ./k-dim-knapsack-bench-801-55-6.opb.cnf
d9bf3fee0df1988ba5aeff8c8a92cee85480547bcf1dce8a6ab83930a5787f61  ./k-dim-knapsack-bench-291-277-9.opb.cnf
d9c8da2721e890aec6e28c2f70396c059c0d0d761c37239ad7979cffb0080b9c  ./k-dim-knapsack-bench-181-200-12.opb.cnf
da0678eaf7b93cea4d52cfa23c2554ceb89f0915b35a218644d381887caa08fd  ./k-dim-knapsack-bench-23-206-5.opb.cnf
da4ed9f12dc34c4bf299335497d29ffdc544a87a531629535ac8942836164900  ./k-dim-knapsack-bench-729-157-16.opb.cnf
dac115ffb5ce6e9dec94b410e95b6e8bf9e1c68a8f7c86d8aaaf564e3b9e77f1  ./k-dim-knapsack-bench-878-98-1.opb.cnf
dac600e024be903fa288387dc98e397bb3339a904ec831144943f98d6ddd65ec  ./k-dim-knapsack-bench-337-252-3.opb.cnf
dae0b4de46d7c690136eb6b1619c742e40d66a785491f08ecf3571b086ecab93  ./k-dim-knapsack-bench-698-79-6.opb.cnf
db19aa04212b48c3e83db98ac6b8a332ad83e8b57c19ad7748f424e2d94144c5  ./k-dim-knapsack-bench-866-16-3.opb.cnf
db5e7f2c9a55249a59a106a1c214a74a9bfaef9ff823c6e062533f0881205a8c  ./k-dim-knapsack-bench-820-210-19.opb.cnf
db77bc1113fe95eafa04da6f4d1e6f187fef8b2ee5a8000634790c72c8388e17  ./k-dim-knapsack-bench-2-190-8.opb.cnf
dba24995767d5950b71075f04eedfa0ff23de9e16f50ba5e6c4fa9798ebba366  ./k-dim-knapsack-bench-573-132-1.opb.cnf
dbac8a8d5e9de74ed1b037c6b2cfc638036cbce093dad0d0cc6a069278f90525  ./k-dim-knapsack-bench-462-236-15.opb.cnf
dbadf285358436e9044496ba6472061aafc46ad2c6886844c53859f27360840a  ./k-dim-knapsack-bench-976-201-6.opb.cnf
dbb8bd455a8e0a4f71c31e14f046305640ec0194e77678ee6e93a1aff266661c  ./k-dim-knapsack-bench-673-207-6.opb.cnf
dbd4d05f113aeb966e7921d312911781a34016913187ee4fddb9373a4bd8966c  ./k-dim-knapsack-bench-730-289-12.opb.cnf
dbd8512010e9f71a9d4b1c82a76b395155c6efc28691147e27493e7432a2c650  ./k-dim-knapsack-bench-131-65-11.opb.cnf
dbeeed75916b7536596d017b2143433dd8454100f393217a424efc7a41b95e02  ./k-dim-knapsack-bench-396-61-7.opb.cnf
dc8e59f7fa8037b55fff218c66c52a44600920447d302316c687152e17abdd6a  ./k-dim-knapsack-bench-404-208-12.opb.cnf
dca88997f368a04210555a16141f6fdc6e962b8e4e75849d4881f3a28f8281dc  ./k-dim-knapsack-bench-778-243-16.opb.cnf
dcdf23502ea5536ced82cf75cc08de29b9f3bacbe51a6498151486d84a752c09  ./k-dim-knapsack-bench-869-238-4.opb.cnf
dd3bd094c60cb853ea7a993350b82b3093e322d1ae5714ac9e1d0da9f6963c71  ./k-dim-knapsack-bench-637-256-12.opb.cnf
dd78d89e47a814b14f0dddfbafe583f1b55d6bf3506490ff9057cc0d4f0357eb  ./k-dim-knapsack-bench-475-105-7.opb.cnf
dd9e721287f60cf5d0cf738a3614b66be28c75b17656d750227010ed96f696f4  ./k-dim-knapsack-bench-198-250-20.opb.cnf
ddfc73c21a83132204a620b094e883e5738b54b690524c926c04d75d1b79782b  ./k-dim-knapsack-bench-121-150-17.opb.cnf
de118ac153bd0757512cac8e010fe81a00c5db6b6394df528f097547b9b27428  ./k-dim-knapsack-bench-618-51-8.opb.cnf
de61df9494a15b82fca43b7dfa70656da0e8e60b39052eccfee5f06855fbf1ea  ./k-dim-knapsack-bench-540-225-8.opb.cnf
dea18bc340863dd14e445c38defba6111f78a9b583570876bf6db7a84d37a55e  ./k-dim-knapsack-bench-431-180-20.opb.cnf
deabb003303dde9a17f979b77652862bea6862d848b723be62e2d671d86fbf25  ./k-dim-knapsack-bench-399-17-4.opb.cnf
deb340f15b4b54af258f92de675f73fc5364cec506bb3a1334b868b614905fca  ./k-dim-knapsack-bench-942-203-8.opb.cnf
dee551ccef1fba1a5ebf03005a112c8b45450776b7ab2d05807aa221a01b4588  ./k-dim-knapsack-bench-348-218-14.opb.cnf
df0e76506bf0a914e2857c660be84dbb6a664d8b1d6802f7d910de9a5ed45f49  ./k-dim-knapsack-bench-8-291-8.opb.cnf
dfcf50fc7d748df23d030c01fdd142de16a49cdce3231539cc782b824dae1dee  ./k-dim-knapsack-bench-58-237-15.opb.cnf
dff6bf15b29d9c30bc5a1df7b10b429b2bc67e1634fbff343e4998dd21d59445  ./k-dim-knapsack-bench-420-143-17.opb.cnf
e0741da6fde73c8f0ac8f4e630d5d7ea21cf307074afc87e1059b0c8106bf61e  ./k-dim-knapsack-bench-436-282-8.opb.cnf
e0c9d680b7725d7893abaf07cb285e510d8dff219bdb3df4b6c81537d298fe80  ./k-dim-knapsack-bench-917-31-3.opb.cnf
e12ab154e68905dcd5e3e37e2ca55ea7af631eb926ffa1b1b11c79174c74c970  ./k-dim-knapsack-bench-1-104-4.opb.cnf
e1557a15ac0c51f930dacabc8a2168fda31ad9b39a567e83ffe7be00ff626f7b  ./k-dim-knapsack-bench-998-195-3.opb.cnf
e17f0779e398f5aeb22a32b048c152a4f425ce60367e439b23a43f1cbd3dfb80  ./k-dim-knapsack-bench-744-67-1.opb.cnf
e20c9679c7ad406cf5e6a51553c4ef47ddd81d6c750202294eb4142d040e0209  ./k-dim-knapsack-bench-602-159-4.opb.cnf
e2128521c5ef6d7fe579d7ef5648346eaf35218f63cb38249a1c39bd41ef17ab  ./k-dim-knapsack-bench-948-76-15.opb.cnf
e2547314e0ad03da7e8fc5d9f677c322acd9e3840ad3e6fe28f982771c5df1dd  ./k-dim-knapsack-bench-216-225-19.opb.cnf
e273ab04240629decbabe5a08effac3eee973774797272028c6f261b02ff1329  ./k-dim-knapsack-bench-187-225-16.opb.cnf
e3bcc91cccaa3142d5247d4af85ac2e4cfc401c6417afe96e73fe5c861fa5da0  ./k-dim-knapsack-bench-279-29-1.opb.cnf
e3c3744b132ed2a2248eac96de08c7e2b81c60bb95ca1919ec36e10a2dae5b10  ./k-dim-knapsack-bench-686-84-3.opb.cnf
e3d407ec72b3d23fa4fc715fc88222a9bd0b6c8852c54a41c81ce556d5d53ec5  ./k-dim-knapsack-bench-240-295-5.opb.cnf
e438906d40d89cccde14a21a4361de7a1889ae0c31abfba64dfe10dcfe5ac0ba  ./k-dim-knapsack-bench-557-263-11.opb.cnf
e463b6e75ff46559da26623b3b304002a2a6e927a98d0e13a9f4a908e48c45d7  ./k-dim-knapsack-bench-977-208-9.opb.cnf
e4e1cf544855a895c832f5f2cd5e13cb0cb7782346ffb3b55e44f4e7480e4d23  ./k-dim-knapsack-bench-914-176-20.opb.cnf
e51bff42a6b42052c3e7e6fd6b2cb2f7142516f0af0c87610d23d537bdd26087  ./k-dim-knapsack-bench-362-264-13.opb.cnf
e51f4d5b97cc023bdc67ce852c24b96b77fed0a7856083be7bc25109d1b3f966  ./k-dim-knapsack-bench-811-225-7.opb.cnf
e587ac7f14cf3a922387f36421e50ad9aa06771cc76b3ac9ec2ca2b86fe9c205  ./k-dim-knapsack-bench-952-82-9.opb.cnf
e639a599de1111ccef471ae267ba99aa50e158529a094a783d55e6b9293071f9  ./k-dim-knapsack-bench-814-191-5.opb.cnf
e6584511b37310439293af3856b788a440899d7c3deadf14336a7842617a2c60  ./k-dim-knapsack-bench-488-136-4.opb.cnf
e6d6f28c231ccd2010cdc8689c76ad0d2950d6da573cabfb0dbc1ed549476ab6  ./k-dim-knapsack-bench-338-150-18.opb.cnf
e77ce4ed4b699df248cbaf1c2b9f745cb5af050cce7f71b231137b90ef7bb869  ./k-dim-knapsack-bench-685-41-2.opb.cnf
e77f75d7f604813406a3841d24c7715bf23e349239f8280849450aecb9e0daaa  ./k-dim-knapsack-bench-529-199-12.opb.cnf
e78771dee2e3857fefeeb588f4685bf82bc42333f6fba942b39b096b1b3a73f8  ./k-dim-knapsack-bench-569-281-20.opb.cnf
e7c24e869bd9625c81395c1b1a3fc1b28fa019bb440c2951ebdb2604a95b7cdb  ./k-dim-knapsack-bench-21-249-11.opb.cnf
e80f745bced98888236b8a082308234a25f1590862f92e637e1a953ebc8932ad  ./k-dim-knapsack-bench-577-175-6.opb.cnf
e85b53024e8c3a5373b28b882e39023dfd9b0cc2e99f6713d8da22a2f571858b  ./k-dim-knapsack-bench-167-151-15.opb.cnf
e862fdaf59f4e51ceb1ceca0dff97c1a3b0c4c6a76e0a95c950f33a55ddff897  ./k-dim-knapsack-bench-139-270-9.opb.cnf
e86de3bc4cc1bee130cc347d6cde237f784b2439df8ad396fadceefba78db78d  ./k-dim-knapsack-bench-179-32-12.opb.cnf
e875843499a10eae9d3e0dd74ea53f442554b7429dce1f3b1ff15a21cf1a0f6c  ./k-dim-knapsack-bench-40-264-2.opb.cnf
e8a7de0a54006e6883cd8f6e5d4222b2fe3cfb9b6a65099eb4bbeba68c0506ba  ./k-dim-knapsack-bench-201-81-7.opb.cnf
e8caf53e663e3acd4b329b72f9b17b999ca4675092ce5d21c436a7ac61c8ca6c  ./k-dim-knapsack-bench-453-287-20.opb.cnf
e8ceb2801bf43d9b2057a84ad0e6a25474d58ac6636507151d35182de4ace615  ./k-dim-knapsack-bench-838-222-9.opb.cnf
e9248d554600deef3dc3e56c5b97b81ddb08d4ab431784c4517bead251780912  ./k-dim-knapsack-bench-251-203-15.opb.cnf
e9427f8cf9eb6d98ba5bc1230966c8658b35a2032483af731a89f3ba4e61c06e  ./k-dim-knapsack-bench-740-105-19.opb.cnf
e98bd107eccd27942fe12c167aad1db47c96fadcdeebbee174dcb7b2a6e9f2a4  ./k-dim-knapsack-bench-231-76-4.opb.cnf
e9a00ae2b44edd2c5c193998f9540fb662ce585fafff8ed2ddb7e8177803ecf7  ./k-dim-knapsack-bench-316-130-11.opb.cnf
e9a8a01f501344283c1fbfcba30e3d4b760d671a4970861d9767ea88ec2120bf  ./k-dim-knapsack-bench-260-36-15.opb.cnf
e9f9705ea340a20b491f7a3cfbd0cfd004c2acedbe87ffcf1bb354b57f70496e  ./k-dim-knapsack-bench-383-126-12.opb.cnf
ea40226211bd1365f1fc44c2e3dfdfaed382dd1220b5059cb5d28ed219fbccd8  ./k-dim-knapsack-bench-405-75-14.opb.cnf
ea53fda6317fab69e9c021c22ad824b81a0ca5e3b4767ba0aae56e3b16d0bade  ./k-dim-knapsack-bench-911-87-14.opb.cnf
ea5f6c61f328c12e66ed2a640cd251b46fa3f02c3c6bc3ad03b10414d5ac33b4  ./k-dim-knapsack-bench-24-129-5.opb.cnf
ea68372d3aedafa98057e94f6155d346b65466c0252281a515cbeb9f7e091c6d  ./k-dim-knapsack-bench-419-299-10.opb.cnf
ea77b4c35f37f73d90fd02c82a52ed6fa3096b5f66c3deec413dc69781c2ee9d  ./k-dim-knapsack-bench-840-172-16.opb.cnf
eb682db07bde2b79fd3364c169671b6a67d62f9660030dfe2b0ef4e26bfb2add  ./k-dim-knapsack-bench-487-281-5.opb.cnf
eb762f9c952cbecb6eeeccc53c63d1495828991a59d38e037a7fea58437ccfcb  ./k-dim-knapsack-bench-700-152-16.opb.cnf
ebe9a6333dcd7c686d448470c5087f54d836d4311aad0da76baff0bb73e41921  ./k-dim-knapsack-bench-340-149-14.opb.cnf
ebf1abe38eb0e6cd9e004b36f8da5398f952a0ab156137353cd8d31fafbadf43  ./k-dim-knapsack-bench-783-182-1.opb.cnf
ec4e26b3825a6a574b3d5d3245b995fa160cf90cc6dd1cfa76e228788faa3e12  ./k-dim-knapsack-bench-341-13-3.opb.cnf
ec5ff7a7304309de18a8cbf6ee8fba15e08afcf6de30523d8fcd51024b535787  ./k-dim-knapsack-bench-224-56-6.opb.cnf
ece1cf9a3d39a03ce7396f7c57607395ae453cef4e277d867aa7a4c0e7bda0f6  ./k-dim-knapsack-bench-707-29-10.opb.cnf
ed42c585267d7479b6ecbfd28d76665a6f33a4024056dcd1d42355737ec17c9f  ./k-dim-knapsack-bench-760-86-19.opb.cnf
ed92191af5d245323b6327b14f6c53f76d906b7058e4c30406c4291ccc21b49a  ./k-dim-knapsack-bench-423-139-3.opb.cnf
edaf7c7963901cade47edcb4e636f30610257104e7d8d47dfaa9983feca9b47a  ./k-dim-knapsack-bench-827-87-9.opb.cnf
ee43109a7f022ed282f77bc8f7ada2c048f032053ae5fbb6cd5683f569756c78  ./k-dim-knapsack-bench-49-59-19.opb.cnf
eef382f093d6bf12b4fe9238cd2edbfdb3db62dc3da6d8d7788c57a0d4bd3b4b  ./k-dim-knapsack-bench-612-82-5.opb.cnf
ef555a1fb17fd890c3b0a4025c7ee1e7c7acfcad8ae142cd23add42739ff5681  ./k-dim-knapsack-bench-323-65-19.opb.cnf
ef8745bbaea85554e293b9d20fd8e867a477c847412d58127a31d967e4f562b5  ./k-dim-knapsack-bench-988-62-18.opb.cnf
f0031ca427b146e9274c374950bfac87f54642bf1abea1c16ed58eb2fbbdb43b  ./k-dim-knapsack-bench-922-23-2.opb.cnf
f01123518f38b76eb101a4d8a48ce7cee1698d1c5047d7e175a58312153a3e9a  ./k-dim-knapsack-bench-140-64-5.opb.cnf
f02a90a98e75ac1752ad02ede42b183f0136b4c007667d759c952066e393ffbd  ./k-dim-knapsack-bench-732-26-20.opb.cnf
f0599bca5f6f999f513db8b0061de89aa612add4000a9ce7c2b59859691f4f65  ./k-dim-knapsack-bench-117-249-8.opb.cnf
f070a26473b36718cc1738348471e9b960c36db8697d65929dc25f3be84d2fce  ./k-dim-knapsack-bench-819-266-11.opb.cnf
f0aad0bf08b43280bbe939fe5d8f1787ec8062b322f23d85edb1cbabec8976a5  ./k-dim-knapsack-bench-619-268-17.opb.cnf
f12e4b51cb5757a443d464df04d334cc96801bbbe383eb51de9156af87bfb4e4  ./k-dim-knapsack-bench-414-211-7.opb.cnf
f15326af1cd68452697f6fa4421e5958df81b1fde1704c7cc45407f5675b22e3  ./k-dim-knapsack-bench-901-235-7.opb.cnf
f1642dedf3504f7035f73641f97cfd5444d47ea20cd6096037d0bbd1f07668cc  ./k-dim-knapsack-bench-12-278-19.opb.cnf
f1822ce2c499e8f8f59e5d8ee3701ee3f85c7d8aacd6f87ee7b858f9dbab04a7  ./k-dim-knapsack-bench-583-149-8.opb.cnf
f20bc287fd084b006967fd76482f62b19210895932982dc5c1a4087a83f02767  ./k-dim-knapsack-bench-551-48-15.opb.cnf
f2169dc3bb018fc053f96293e256d77c5239df6a4da2c5ab483279101b585aa4  ./k-dim-knapsack-bench-384-109-11.opb.cnf
f3040ecfc96c6ba75fd27b3e7168f0f9d46757cbca82c5fe06f5bc914bae44e4  ./k-dim-knapsack-bench-702-273-8.opb.cnf
f306195bc53bf223f046ed0f1e978f615fe4be28b1d1aede6b4d4b55583b7514  ./k-dim-knapsack-bench-785-238-10.opb.cnf
f324d9961ba3bbca1f8ee2e712bade72d5cd04c3f2ce6b2ad105b6f2f56d9219  ./k-dim-knapsack-bench-3-290-20.opb.cnf
f3799ee8bf8d05387eccbcb68182e147b137c33588dd19e1852ef6fb8a48f4a0  ./k-dim-knapsack-bench-302-127-18.opb.cnf
f40fe61829acb3124c8c80ae6523da9ab488a2048a0c9b754d74e24cf1a4e5b5  ./k-dim-knapsack-bench-902-69-5.opb.cnf
f47eafb959844eb1b2ddcbb5ecd1dba4177d9a2e69868bb1e3bdc4a7c618d831  ./k-dim-knapsack-bench-156-288-5.opb.cnf
f4b8fc50f12e024b15ac908ff14af95d887f7a239b6cdc1eb16b21b6a2f35ce4  ./k-dim-knapsack-bench-808-154-10.opb.cnf
f4c7af748b6a490714fbf6be27b33c6ec0db85fd80bf1d2b8936b105957b1a3d  ./k-dim-knapsack-bench-125-249-15.opb.cnf
f5397f3c77bb82247391cd1caa9e8e17fde179f6b49487077a53883078dd3b57  ./k-dim-knapsack-bench-653-240-8.opb.cnf
f56a7ec887aad3e490b8d4501a21a9abe2d87bff8c505e29a51a3e695a132a27  ./k-dim-knapsack-bench-511-159-15.opb.cnf
f57061416b57f6c4a4d3cf7b89d6c3bfe56c9004a5978abeba21a26ac93e364b  ./k-dim-knapsack-bench-259-99-1.opb.cnf
f5b701d9258a039d489111a74eac5b96aba645b065c8f70e42a6fb32c6fdecfb  ./k-dim-knapsack-bench-233-131-11.opb.cnf
f5cd05408c3047c8b0425bb97988d62ed23a908b8a86e63d4a967f808451fb69  ./k-dim-knapsack-bench-667-43-20.opb.cnf
f62b4b077c5d01fd3a88ac004764c816687f16a02edbc778a11939326810b246  ./k-dim-knapsack-bench-228-190-18.opb.cnf
f65ba7818918c9288cdc9ca5523bb6cd998079f01a89d7aac0839c84bf7cd638  ./k-dim-knapsack-bench-127-212-15.opb.cnf
f6835522e7cb54df2da0c87993e8f36a00a0f3bf7b044bb31bb403f7dc33e178  ./k-dim-knapsack-bench-509-179-2.opb.cnf
f6b65de6d6ea83a359df7ff674588d1f38e8b642733d5b01b35ccf765faec98c  ./k-dim-knapsack-bench-649-293-19.opb.cnf
f7141958d87f63cb64de55160cd6ffe5e176e11c416ef02d03ba5bb38be83d1d  ./k-dim-knapsack-bench-68-297-1.opb.cnf
f72af8b172014f7b523a6a23f24495128d21ce7596226fe0ef591be087831598  ./k-dim-knapsack-bench-4-250-3.opb.cnf
f78d454bef577b4d14f9818710a9d23895caed6e69958b6be344f134f593ad95  ./k-dim-knapsack-bench-933-104-1.opb.cnf
f7dad360e002c4fb7f9ef50742be55a450599bbbc7b557122be3c15403ea66d0  ./k-dim-knapsack-bench-368-272-20.opb.cnf
f80f0acfb6f4b90fa9f1de7f0cb49c7501734420bf483f6dee03377b38cbc2db  ./k-dim-knapsack-bench-664-210-20.opb.cnf
f85e57cb7dd03176d7bfaa644421fde67605a546252a1659b7caed854bb3abfd  ./k-dim-knapsack-bench-746-13-1.opb.cnf
f88e36caaeb7f7ec8dfca7339339c0e285cf8dc5f18a388cfb51140586c5bad7  ./k-dim-knapsack-bench-391-285-7.opb.cnf
f8d9e6e3e36df5dd17c13ee26284954ea61d8aef4aa4d705743300a29abcfaa0  ./k-dim-knapsack-bench-676-296-4.opb.cnf
f8df8aecca8ebf5832dcac50965a034879255ea997e1b67e25b49c4efbcbb92a  ./k-dim-knapsack-bench-262-156-14.opb.cnf
f911bbcffd073cb06d7dc0888c204e197d0dba638b6b092d484b92953b00afeb  ./k-dim-knapsack-bench-313-171-15.opb.cnf
f9b0e2d0c7e3c0cd1e3767c931079cd6910d9d2a8870fe41049e2c71e6a08a90  ./k-dim-knapsack-bench-555-269-2.opb.cnf
faafde15f15b89d786fcf30612baf0537adf3ecfbd6c64533a3a0b1183aa92ee  ./k-dim-knapsack-bench-254-268-6.opb.cnf
fb2af60a50f9b77114aa6b0963219709f8cdce545f24f34d1959bfd2dc19150e  ./k-dim-knapsack-bench-437-224-14.opb.cnf
fb5293f8a7e68644bac2f54936efc13519cb26562a950502c7f8ae04670846a4  ./k-dim-knapsack-bench-22-26-10.opb.cnf
fb6228f3bb173a99d5b3027dad455dcc2c9f7cebdd287b67135aea56820fefc1  ./k-dim-knapsack-bench-615-280-10.opb.cnf
fbdd7ca1b5ae78c40c84765f66f967e277c98042840c9ffc2e94cf6be72c735a  ./k-dim-knapsack-bench-463-288-7.opb.cnf
fc919c1070fba753dc917aa5708e92069bcbd97af90f75e12b19a96c8b73e68f  ./k-dim-knapsack-bench-280-96-18.opb.cnf
fc9b62db04e46a111caa740824c64d5f6ab3f6f2777a075fb77cc366c69e1bee  ./k-dim-knapsack-bench-944-268-12.opb.cnf
fcaa9c34f3dbd28e8e3f71086472ce863a8355d7669add0cc2e868d3c4ffc307  ./k-dim-knapsack-bench-940-211-4.opb.cnf
fd01425abd18396b1bde685c06e8f013e19e4407466a46c6d8fae09857f9a3df  ./k-dim-knapsack-bench-804-199-8.opb.cnf
fd1036e12f5843450712d93694a1f3b4c41a3f3b925c19d72bb5666f6c914231  ./k-dim-knapsack-bench-30-249-14.opb.cnf
fd1039cae8138c590140c19492eb7e15969fe6bdbe4e31c15ea2271df90113f2  ./k-dim-knapsack-bench-320-67-6.opb.cnf
fd7ead5488b5e6f558b1524cb8b0f3d9ffd8d583834c4064d17e5e88f3f82504  ./k-dim-knapsack-bench-286-133-3.opb.cnf
fd89590fcaa9f9d67de1e34c390cb1c54ce3b0a44069f64eb5092a27fe879d6b  ./k-dim-knapsack-bench-993-95-2.opb.cnf
fdbd707cac6f6ff8c21afaa6206f28927766f3d4ba89235a35de1914e71c8abc  ./k-dim-knapsack-bench-10-213-2.opb.cnf
fdff280e3305009c5ea93a24c20d83944895e059c3685e599fb68ba8a432dae5  ./k-dim-knapsack-bench-894-273-8.opb.cnf
fe7869e48318dae96259820e12ffe0ec3553594f1664607ed686e821566084e4  ./k-dim-knapsack-bench-289-19-13.opb.cnf
ff0448f74a40dd011dfb12efc5f10d77a46461332760a035eae1e88c12d384f3  ./k-dim-knapsack-bench-641-86-8.opb.cnf
ff18de8b61e9d133f1863c9f9fb8f704e57ce1e79218bab89ef442ccaa84facd  ./k-dim-knapsack-bench-884-158-1.opb.cnf
ff429d8d5670224946db1817cfd2e07995b0b64a1284edeaf99aaa8146c0aef5  ./k-dim-knapsack-bench-938-103-6.opb.cnf
ff5b5d8afcd657f2b7e31799e7b7cc06698831f37c35fc9622a492df7cb922ab  ./k-dim-knapsack-bench-213-131-1.opb.cnf
ff70827e1aaa9d16ae4bc7d447fee27fa1353adab050d04fa5c3a74b58373887  ./k-dim-knapsack-bench-185-37-19.opb.cnf
ff74eb7561c91fa25cafc47b3695d1d9e26565aec5d0f04f99a3a2c12ac1ce1d  ./k-dim-knapsack-bench-429-30-1.opb.cnf
ffc51addf4a842123f8723acc2cf60cead8211719b240cf35650b0045f1aecb8  ./k-dim-knapsack-bench-826-198-1.opb.cnf
ffdf4bd569fbb873ea4b63232390f8c9924cd20f47c9ef643023dd6939f4589c  ./k-dim-knapsack-bench-55-169-8.opb.cnf
ffee3cebc3b4f01ad887da56deac623629454ea6934d2a8b700a2a6e38be9737  ./k-dim-knapsack-bench-189-61-10.opb.cnf
