006f9e298f16eaf278b4259abf6a5bfef0891645b6fe3444b7aac5c4b151bd0a  ./auction-bench-154-145-6-0.17.opb.cnf
00a3c6924d9deef3077c8deabb15d45bd47c2a28fa46e216a687625db2e756df  ./auction-bench-255-45-4-0.18.opb.cnf
014ccca9e9ee0acd7534fbeabc4db9106ba3f7b0bae8cef1f678e4b41a509727  ./auction-bench-529-65-8-0.78.opb.cnf
015bd0a54c390fc01728c46960dd575d7cfeb83eab4f6d8336809d0a6de1513b  ./auction-bench-498-58-4-0.5.opb.cnf
016f201b4e773846420f11efc57187f8a5e3aaa6c0b6c04f972115a9ce5f73e0  ./auction-bench-718-108-8-0.68.opb.cnf
018312452bf3482f52a40516a0c3c63b15d780e80fb336804ce985ded82d9ee8  ./auction-bench-827-149-15-0.79.opb.cnf
0201452890b161b057a10be9cd82c116ed924599cf3ebe297b9a7d38dc787c49  ./auction-bench-69-23-2-0.9.opb.cnf
023f7d64ecd49df395d89a13e2ddaa244b0c8379c23d7c8ce179d334cc65d9d4  ./auction-bench-955-153-20-0.55.opb.cnf
02a7f83289fb55f56cb2ce5c9622fa7158edf307e38c65c79444a64e757d815a  ./auction-bench-669-34-1-0.4.opb.cnf
02cc794ef9f74796d8f6fc60fda2e62af5b6a84ba4ac58fa4e5418ff7812b414  ./auction-bench-976-70-4-0.8.opb.cnf
0303b4bdf8b58d836940c1db9e9e71f5ed5c0c8b3e83b29d13250932d91f5c30  ./auction-bench-792-61-2-0.33.opb.cnf
03b4b1b3e3e03bd7662481471a7ccb35385f3ccae42704d5dc270c960c1fd9fa  ./auction-bench-695-107-14-0.77.opb.cnf
03dfce66bc34d3e0b2b8bca69721e9c7f41e8b9ec8464ec09b9c4e209bef91c6  ./auction-bench-724-136-16-0.85.opb.cnf
046ab3dc1a5f60490d905cf7c73ddb89e9a45ad5f83a4456c4c9b38c6e2a3cc7  ./auction-bench-458-100-14-0.82.opb.cnf
04d251d7773f476b53dfc74ec31f857506dd9b754bbfb43c09e88fcfe3f3b1d3  ./auction-bench-701-101-17-0.41.opb.cnf
05a664a555f6b255c0501ff4ec4a567c4828910de34b47db0e7135de15e5980c  ./auction-bench-480-156-19-0.35.opb.cnf
05df5ad1c6d365cc739cd338b55df235077dba00cc68f9f98667f17ee522aadf  ./auction-bench-576-164-18-0.5.opb.cnf
05fa789aa3a13ba6fb6ad5e7724f392c320f15ce885a770dce6acab6afbb025d  ./auction-bench-452-176-19-0.38.opb.cnf
068c68fe6991710515063c6aa111974a8d771c777ec00a8dc2c780ba5b153388  ./auction-bench-617-80-11-0.81.opb.cnf
06eb0ee8968b0820cc9ae759fdc97c1aff9bdbb73501fc8bb3552f6da75ed704  ./auction-bench-245-128-15-0.67.opb.cnf
07162de3e2d7953a50d9410b0ff27db9d69548ddb1be580501b638ffb9b669a2  ./auction-bench-195-98-8-0.59.opb.cnf
0757fe828970ea9ae1ab404c56b15b01ad36bc2bc1c4cc6a18579e91a50ffaa0  ./auction-bench-605-132-17-0.56.opb.cnf
075d48f4d981469663f132ea148cb79260ec114bf7bd678f4d8b24454b490049  ./auction-bench-564-66-5-0.74.opb.cnf
075e0f7e2d138a309beae721f5ea67cd2b0c014504671c3c356f654410477a92  ./auction-bench-60-144-15-0.62.opb.cnf
077e398afa51a3e562eac08b0344cba310b2fa831ce19a122a5feda3862cfec2  ./auction-bench-655-77-12-0.78.opb.cnf
078a32b002591ef7255833519e3c9abb1bea0e9d8a0e5210b4a83acef6604c92  ./auction-bench-890-112-15-0.8.opb.cnf
07fa1ab2553a1058c3ec8341bbfe4fe5d831c98b1554c2b70c9e9e5d445bcdaa  ./auction-bench-194-184-11-0.26.opb.cnf
084d695803c035972a0b0c997fcb6f3cb3f0537618cf6a0843c5e0e15374b046  ./auction-bench-548-79-5-0.2.opb.cnf
0851da7511e8dd1717ed4e2c8983a5f9e1c826ffdfa6a5b55304e7341ccb8df5  ./auction-bench-392-48-2-0.47.opb.cnf
0855c74dcb1a32380fc1a1703c44abf97c2bdf79622e4620d669c929d38957ca  ./auction-bench-909-157-13-0.42.opb.cnf
0909dda55e2d5f46a01d91c198cc432a7ef46a17f3a1c654f0ccdb38fe23c584  ./auction-bench-756-184-18-0.38.opb.cnf
092256cd2ad27f0c567a8e6a466011db042fcd60e3b7248c6b4d5923361177f1  ./auction-bench-714-77-9-0.89.opb.cnf
09345cf3f125a4682ed514b552ac69efef5b68900ba7bdfdf0578d43c9f5f194  ./auction-bench-594-63-4-0.67.opb.cnf
0959dece62d36347598e6beab7ee487751e82114e9596aef593273338c089c04  ./auction-bench-301-156-18-0.69.opb.cnf
099bd918ea7fe19d475576259d7a4408302d442920ea27308c0166ecf81053a0  ./auction-bench-235-120-9-0.85.opb.cnf
09a3584197dac13d821e0a308b2cb99e414e6cd425e43c1cbd741e3cc2ab326f  ./auction-bench-64-130-18-0.19.opb.cnf
0a34e2254444bc43120a4d981bdd742bd777c676c1d5476428aef601acd3a868  ./auction-bench-220-130-14-0.21.opb.cnf
0a4b46ddd73f1da66b548c11d8f4c7ad94537425ccbfd4b6c9d2d95323fd7c10  ./auction-bench-663-179-18-0.78.opb.cnf
0a71fb1d8179c7c9138803a21a61fb1458938b6db1cb7c33388f10872b087383  ./auction-bench-369-141-6-0.37.opb.cnf
0a8392cfad5ad58aac0d5563124fff7d9206f83467199525018ee5f583b70162  ./auction-bench-898-95-6-0.22.opb.cnf
0ab3929951da8d715a5841b88f57f068145af50b878a18939cedd33fddf27034  ./auction-bench-875-60-3-0.23.opb.cnf
0ac72a345e59980a1a09549fa31ec290f29b28a54103dce81e82f8180124165c  ./auction-bench-894-45-3-0.73.opb.cnf
0aefb3a582f212c684c72556b3e90fa783be6665d654c30628deb9f4222a8c7a  ./auction-bench-148-91-17-0.88.opb.cnf
0b4da3c6be4996aabf3cb93aa61ffeb038d6df537dc9999bac7a14a2d7bf5b41  ./auction-bench-887-42-3-0.66.opb.cnf
0b546036c81400c483dfdc62f3c4879b2d2ad140e84dad63ef1d33e7a0142eee  ./auction-bench-23-103-9-0.25.opb.cnf
0b635db0460d1f870d667dfcdf0844652c76fd804b41cf6d38d187700f9a3eda  ./auction-bench-404-41-2-0.74.opb.cnf
0b84e3d23300c6d8f3eb9865dcfe03b06187420ae017ee3e593a5d839c695838  ./auction-bench-435-212-15-0.52.opb.cnf
0bb3adf301cc41b9056a55baf9a1de77ae4fb4bb36b6d44464c61804b02f5f27  ./auction-bench-82-81-6-0.63.opb.cnf
0bbbe9696e4be63e8aa07c1b68dae55e9bb81f4d10f7d0c6614bbc8f1dd8b7d4  ./auction-bench-378-50-3-0.65.opb.cnf
0bd54a8af1d50a91e25f01909652cf945ba67be0c5c39047b115246173727f30  ./auction-bench-555-98-15-0.87.opb.cnf
0bd7cc9f7fe3849e3fbe427c2bc20d59823c515a164eb4acfd566727082f7cc5  ./auction-bench-878-148-7-0.13.opb.cnf
0bf97276f49f4cbeb874abc6997587c9d261f48dd970d778928d51ba9ae27c25  ./auction-bench-895-175-19-0.39.opb.cnf
0c4614b0b67a53f23b7763e33562ff40ef318a6933f6da182cc111cc09b63755  ./auction-bench-873-37-2-0.13.opb.cnf
0c64271255d81d6885f9df350e227cfc5e71a42dc1800a260984651bb88d1d68  ./auction-bench-639-173-11-0.24.opb.cnf
0c697653f5bce1007b272690d3b18165cdfe495a9648aa1e4acb9f3b2fe315b7  ./auction-bench-368-92-6-0.39.opb.cnf
0c7a06e16f55af4f37e3b5ce69ec67d565a1bd055a22c87ce53f691be47abb84  ./auction-bench-567-74-6-0.37.opb.cnf
0d52e074a5a92fbe0e54065a8e0425db536af2f37d25631245042104a1c83edc  ./auction-bench-767-55-6-0.79.opb.cnf
0dd54db29b6f6924f300b08a055430f592db1f3de46ad6f564f50b7cadcaa5a6  ./auction-bench-190-113-10-0.23.opb.cnf
0e7e080ee13c48cdeb60399a33349354d66f598b59d968fd4a6a8a7b3ec1158a  ./auction-bench-222-18-2-0.72.opb.cnf
0f1c6bb1c829cb4e13340f21c2a6e9aeb2bcbe8ff58107082861fc8d4dede750  ./auction-bench-978-113-16-0.26.opb.cnf
0f667576980bea218f9a67a90ca7a25d4a74d2283173d34b5b635e3481c177ee  ./auction-bench-745-219-18-0.21.opb.cnf
0fc671b3564cb4b61f60d0187f3f71da63e43f87487bcd0bb16696057c9962f4  ./auction-bench-677-103-16-0.75.opb.cnf
1013129bbd5d7cc62454e5a43d0bd635b72b9318c2d39628a0aacd1267bf0ddd  ./auction-bench-312-70-6-0.6.opb.cnf
10e397670585d0505b3ca1877710b37579c4bfb324fb7ba5ec4f723b61eb2b72  ./auction-bench-84-84-6-0.35.opb.cnf
10fc0bfc545776ee34350c375bc3239d70ff89e9c29323bf147d9ac8f25a6cec  ./auction-bench-383-63-4-0.63.opb.cnf
11018a798fd4ece87c9815d9c8b58287128e8cf6c77e96c6009c054f3a142572  ./auction-bench-939-156-12-0.53.opb.cnf
11219cd159f13542e341a45963331f8af26f49c3cbfce923d2ab8ff53b57d513  ./auction-bench-664-6-1-0.76.opb.cnf
11462fb2f4b3a0a98e8d2e37bf4301ff8197a780bee6a6edda9ee45cff3a616a  ./auction-bench-690-56-13-0.5.opb.cnf
11b86c43d8e7249c62a24883561c13f38c0436b96619a34638f21fb167f13c9f  ./auction-bench-377-146-15-0.13.opb.cnf
11beeca97ca91888ddffea898e2d8aca24776bbd4d9c05d5a19cc699df9a5ac8  ./auction-bench-39-178-15-0.46.opb.cnf
11d2c831e02504e9b87b8d7e78837e76364d8bc57455084518f87663261bcfd3  ./auction-bench-758-225-17-0.27.opb.cnf
11efe5a3e74f38e69df54e0d4448d577a71f0b535f7799592366aebc2b6e4867  ./auction-bench-54-199-13-0.12.opb.cnf
12300760d2b6a33ec8b8f885e566db97a2a9c78964cce64c7c863dce841de2ba  ./auction-bench-589-79-12-0.49.opb.cnf
124df33bbbec731b2fda340b15f075dd82e4757a2705655fd6d24e6466458bcd  ./auction-bench-586-74-3-0.51.opb.cnf
125d0914e65eeda0d2d5c73ad06cb8cfac8f8f754c37769e29bc72a54e240a0e  ./auction-bench-139-126-15-0.69.opb.cnf
12870997eda2ccae69e3ecfcacd024efd116fcb333729143aa53ec8f66cbce05  ./auction-bench-587-98-20-0.39.opb.cnf
12c43794176bd072d824c1d01fed614e3385ff6809325f6bc955fe0eb278409d  ./auction-bench-962-178-19-0.45.opb.cnf
133acf8ce4b457779b9140c471936672cc95615faaf5d79bbc47287d59ae3308  ./auction-bench-101-204-17-0.45.opb.cnf
1374f2fe94d1de4f97ccd315210b5b675512029df899502a2ebbf9022db836d9  ./auction-bench-146-150-14-0.39.opb.cnf
1386375d5fc1a207a7678cbe74420375379705fdde3cbb8a01a40dfec5755b30  ./auction-bench-559-129-15-0.14.opb.cnf
1388888146f7065552fa5a1b84967c3d078351ab5ae9d93ba8215954e0501315  ./auction-bench-858-141-12-0.63.opb.cnf
1392b21920c3495c32fb746bd83f3f626eb4a60ad56fca931396960fc933e573  ./auction-bench-338-83-3-0.48.opb.cnf
13f5cec2d8ad4890ac64f48ff47ebc027d28d0aa6860392c4632889a69b1b3ae  ./auction-bench-419-221-18-0.11.opb.cnf
1400dfe96043cc766849aece9aa8d3ce409bafe40cb9926e254cdda8e7a41f42  ./auction-bench-228-67-13-0.86.opb.cnf
140c0715a46961607aa08617984df2c79c51136d333ebee12dcb85b2abed33c2  ./auction-bench-964-200-19-0.29.opb.cnf
145f8df8d4f0c3270d8ff98f8a0fd7ce39f41d73a2172a43ed4c315321e0cdc8  ./auction-bench-219-146-15-0.47.opb.cnf
1492152582b048805447b7e99983c761e096e5a68c25a2828679ed9ead24db7b  ./auction-bench-143-82-9-0.85.opb.cnf
14d956eb9a210faf3fe6bb883ce9aba4a11d39fcdcb91fa50d8cdf32e67de7ec  ./auction-bench-814-127-15-0.77.opb.cnf
14fbf442ffc109dda29c1d403a4a438c3d02f32a9ba3c0693b9c38def5b1c2e7  ./auction-bench-742-138-19-0.68.opb.cnf
14ff1395180c9f1c35d70b0d26496f42ee38a7b49226d86b43c692afa1af3b87  ./auction-bench-109-57-5-0.82.opb.cnf
15277e9e69bb9804b9b2cc7a2867e7192b56b8e40b439f2a879c0af48868a93c  ./auction-bench-49-52-4-0.79.opb.cnf
156cd9d2aef3b69b2306eb3b705665e5e4ae11a24a52a85c90392baf738ffd0f  ./auction-bench-563-177-13-0.24.opb.cnf
16055406941c8cfb1fe8ac025eb6320b1c9e921ed2c7087fb129aa5a285a955b  ./auction-bench-8-28-3-0.76.opb.cnf
1637becbcbe76cb11a9c1820dc4ba8f402d20cd10266e00f28a7d6b1730ae814  ./auction-bench-629-121-20-0.79.opb.cnf
169388645c2905a7a65f5cea7d4fe78df9b56eddddf13bf3c5b5587016e3527d  ./auction-bench-679-36-4-0.49.opb.cnf
16fbd41b4cc66db545600167d86d4dbd1a72924078d5bdbaec7902cbfac98046  ./auction-bench-672-50-3-0.5.opb.cnf
1759c0e5a073ee32373d930cacbb6ad41098f174c771000fc2bb2d21daa68630  ./auction-bench-847-20-3-0.87.opb.cnf
17dd73a6d949f699ee91fd271201ea8f4a4d804552f9553dc0978bc68127234b  ./auction-bench-926-139-10-0.47.opb.cnf
18ca724471638df88f826b93fa9da0ca821162ca120469cbd7f42441396c32f5  ./auction-bench-173-80-8-0.8.opb.cnf
194a9e65e232b3a8ffbacc6fe1ed90e31596a4609d5210cd74d22513ca1e5d66  ./auction-bench-341-85-8-0.62.opb.cnf
194b61d16c11ade830b2dc56f9d08204b3c71fd95a9d40085a8a8d9f7e5b0cc9  ./auction-bench-928-32-10-0.86.opb.cnf
19f6617acf011a331b8afc50ab0b7af8fd0f72e7c40f8fbe07e279c20861aa50  ./auction-bench-627-73-4-0.68.opb.cnf
1a36771aed81da5a276b4246233efa8e4739c36f054309bd37dae35fe191446d  ./auction-bench-995-90-9-0.16.opb.cnf
1a3bcc0f51a5a64c1e53186997fd930a24a830408e42b1117749720d3a8957a8  ./auction-bench-86-111-12-0.51.opb.cnf
1a69d1329109f9819955fea5d6a23226d206bd0cd6b32fb3c7add74f217e97e7  ./auction-bench-162-88-11-0.71.opb.cnf
1a9fc9073ba6ac27218bbe8d75df8a52ee345029d2271440ea2cfbe189955273  ./auction-bench-934-87-8-0.8.opb.cnf
1b0ae3e066d7866cd8e946819a0d9a4531ddcc9e1398e3705b10dba1acf582ea  ./auction-bench-813-168-16-0.27.opb.cnf
1b10ab7a8972ede23d6008367ee50a2689464565d39300d085a6c8da6aad357d  ./auction-bench-122-49-2-0.68.opb.cnf
1b7274cfb92740c012733a6661629cf3657a8966fc6569c501df7afd0dfeef24  ./auction-bench-992-119-15-0.78.opb.cnf
1b90d171b918ebea43c4af9298618b185b7971299dc29a5a55595109a7960504  ./auction-bench-298-208-14-0.15.opb.cnf
1bd8324bbcd5c852fda13f5648297d43374f0d66eb3055e3f7de0263e5b35bdb  ./auction-bench-859-127-17-0.28.opb.cnf
1bfa3d94078bc803049f5782693967993e19c7391c4d4bd47b67723db476a518  ./auction-bench-678-89-10-0.74.opb.cnf
1c176eecdad1b7f238d317e5d635a0420452e5f07649e36513c73dd778bf594a  ./auction-bench-651-84-15-0.57.opb.cnf
1c6a35384a25f95a8f0be9bd359a70259fda3abb7771ddad0c1a9d5f56ed3cfd  ./auction-bench-819-105-11-0.36.opb.cnf
1c74e1f7bc0cc80e72d9c51a2831bb7fa9bb7c9cdf9aef14331611822aa03251  ./auction-bench-474-109-16-0.18.opb.cnf
1d0d5281f9ca24614df2c094757fe8fc1dc0faad3216d39f6e4d40da87a073e7  ./auction-bench-581-173-18-0.14.opb.cnf
1d12107f0416246018961ae2e42ad4c67bd140a8452977cea7a1d7e39d574318  ./auction-bench-169-120-10-0.44.opb.cnf
1d7cc031c481fad7f2568f0be9b04c8cdad5a23ee3d138f1a411a320ada3eda3  ./auction-bench-599-116-4-0.54.opb.cnf
1e2d04d9f9472f5b38d0f14da8b7ce900175eb19fa318900e3b9a8c6df4dc5fc  ./auction-bench-906-48-5-0.57.opb.cnf
1ea2a16f782ac33add80367886b17178b1dad511d0473e3066956be8b1c4bf1f  ./auction-bench-812-74-4-0.32.opb.cnf
1eca10a12964f1f6c437e589c6edc74c8cac6669c8721038ab24f470299a1531  ./auction-bench-630-121-6-0.21.opb.cnf
1f11d3f4ff135d66febcd5aefd93d13ea51ecb632628eeae8ac34c8d19a774e2  ./auction-bench-891-115-11-0.65.opb.cnf
1f237843d2f5dada75952ff0d59382799f58fab63e744b381ef372bdf690a9eb  ./auction-bench-134-73-5-0.72.opb.cnf
1ffa5c697c755f39736ac76cd5d968a4d49a8456b62f32b20b7dc6a203fcbb20  ./auction-bench-44-139-13-0.46.opb.cnf
201cbe733c17581bae7c117c615f6396f281c6087d0b67e0e12df99ccde6e2cd  ./auction-bench-579-37-1-0.16.opb.cnf
201cf9a1671b68963fc177934211334d003b7b16ba1ad12585aff17928e2a66f  ./auction-bench-780-17-3-0.39.opb.cnf
2062c5ae4439e3e1cde4cd5b5be74ea2de12aa1706690b086b74c7eb013580d5  ./auction-bench-523-69-7-0.3.opb.cnf
20d625fd992a8759e1215569100cc2c4c0afa5b95aa984aa8a91782bcfc0f764  ./auction-bench-620-66-6-0.89.opb.cnf
20f69a3d8b7fc1257a5fc373b18c4a46b30adbddf00da2bafab21aee24518294  ./auction-bench-93-109-11-0.69.opb.cnf
2137db9ad29da1fe6223a35712b5f7b1db3e246c9aaa179383537cabdad6c0f5  ./auction-bench-38-151-20-0.76.opb.cnf
21ad5e9271e1c8d07bb33e7c787228bb274c5a85e3e4603d1ecc9047fde107ce  ./auction-bench-108-208-18-0.24.opb.cnf
21dbc1539b043397cb0e68e71264c42506299b25fc510c266dbe5f86d9029138  ./auction-bench-930-150-12-0.38.opb.cnf
223692ca10bef190f4df8290d4fd758cc9552ab62e86396aee5b77cc9467a87e  ./auction-bench-196-120-5-0.28.opb.cnf
2297ac313e8765ad6780677954b8ba184a0e510aa20458920042e730334d53b4  ./auction-bench-779-107-11-0.72.opb.cnf
22e1897dd8a69b72d5f48566cc26e37861d8c2468368308ad6ad4bd518fb91ff  ./auction-bench-868-70-4-0.57.opb.cnf
2367239454c13660f1d3dbcea91748fe002ca321aa2cc7668a0e13eb9eb7286e  ./auction-bench-395-63-9-0.9.opb.cnf
237c41e48e96d1beb2c6e0eddaf768c3da3f7ea4d6bea1fb25408bc24603aa8e  ./auction-bench-969-96-8-0.27.opb.cnf
23b9b2c547e4b5de4b9481bc6f08a97915f34e5455adc0200097ccbe969461d0  ./auction-bench-246-63-6-0.75.opb.cnf
23e6478b6c535110cb1abd64718340744e2b0a30260d18c65038dbb99f2d9abc  ./auction-bench-472-47-4-0.5.opb.cnf
23fd7edaaeb660ce699de43ad0bcad8ffa2add9c330c48ec38ce143e9ea9a94a  ./auction-bench-17-123-11-0.53.opb.cnf
2426037f1fa9035ae8110a2e2293e58f8792224b509af6831bc1614ff9551cd6  ./auction-bench-408-22-1-0.46.opb.cnf
24295489b5beef040f99e698add3d00adca82a5d89bbc2146ed3ae353372b34a  ./auction-bench-492-62-3-0.73.opb.cnf
24be63cb39821dff4005b0ed35d32a3cacd019bd4c6bf0d9ca6a84608d7ecbd2  ./auction-bench-406-73-18-0.36.opb.cnf
24e35e7fa7744d344c780072c9bc533a52fe182112b856a97c39ed4212a93e53  ./auction-bench-568-159-15-0.17.opb.cnf
252dc78b53bd2dde792fb4c78131a71360bb86d436aaed1543b630032eef2e45  ./auction-bench-158-105-11-0.86.opb.cnf
256777cb247911ade6eef8dd7e1d59269db5d6cfc798d83806b52fbf348d81cb  ./auction-bench-140-77-8-0.75.opb.cnf
25ab18a72c0f33ec312776faeae9daa67fc7b4f87a2d4739f3bc01b44e5d8876  ./auction-bench-804-58-3-0.2.opb.cnf
2635202232b7726651b8cec04b05b1ea1560d768c7b06902d78616a672266dd8  ./auction-bench-730-99-6-0.73.opb.cnf
2648b24bd876a2c451cb7f833d44d59e17036df287e1d369cb1aee978e3ae18e  ./auction-bench-30-122-10-0.39.opb.cnf
266951154ef34cbf40112b68fee0052dd1dbc71404b59bda6d0d4a59ee63ff13  ./auction-bench-266-103-11-0.61.opb.cnf
267e5aa1ec5b82601f31b614364dcf41a4f1d76821b54ad84e121c64cf84b031  ./auction-bench-106-79-5-0.29.opb.cnf
2703b2f25f036159c9a6ac07394e6898bc79213ee3ea0154299dc5264badbf43  ./auction-bench-274-35-1-0.32.opb.cnf
2713c33fb2886c013cdd4158fc79899ee40ef537a46d7ce691b091e6402a0add  ./auction-bench-543-66-2-0.25.opb.cnf
27c706864b988005b3059717f0fa75c1aa220c67a7f886bc986bcd5e397084e5  ./auction-bench-1000-117-13-0.58.opb.cnf
286482ea1ece081e429b7e9521ffaa4b576f0b48dcc5426a8827524095e2e5b9  ./auction-bench-283-27-2-0.46.opb.cnf
289cc51f76dddf2312ccad8509a8d58acd7bc61ba9f064b1a10501bd51233786  ./auction-bench-433-152-12-0.27.opb.cnf
28ae8fc6fefb45c607fa5886093834d66f356c5a57dbdebeb40e1398b3e8655d  ./auction-bench-965-220-18-0.13.opb.cnf
28cde0e36d7ce4f7590461a44042eae3abc86c462c7468dc17c03a810bc6731d  ./auction-bench-941-20-2-0.59.opb.cnf
29b29feb899a7e1a75fd9f32be3f5432666fb9c5567a6e370c6e086816322d77  ./auction-bench-584-173-11-0.25.opb.cnf
29cf298e797449bfa3d761633763bf5feb7c1adb19b682c48e5dc7f002e90ee6  ./auction-bench-400-51-2-0.31.opb.cnf
29e6f206ba84685393194308cc77c8f3c7dfe52545e7a89b2e178dfb6ecf4e1a  ./auction-bench-844-34-3-0.76.opb.cnf
2a35e0a338dcfe75f32fe4e4056e3ef17b100f11be84d55c96b15e2ba1ff0229  ./auction-bench-943-178-20-0.4.opb.cnf
2aa8f7223f3a19b0e4854ab025b603457db42e9e6680aefc55ef5b53fdefcc52  ./auction-bench-61-102-6-0.38.opb.cnf
2aadab3d851d3f949f245e3fd306a0b8dd06057199c82cb87e86010acabb68ba  ./auction-bench-493-55-14-0.26.opb.cnf
2ab771f786c50a979454a51148fd00579af27ab1c1b3cdcb45f0f726d95885ff  ./auction-bench-764-139-18-0.42.opb.cnf
2ae1e9ec4bfb95cf68b838d7f36b8b2f86471a05855c618b27c5625dc2d1aa40  ./auction-bench-975-36-16-0.44.opb.cnf
2b7c5fe93770444e48a5acd41f7adbf72669db0184eca937d7aa8c9090607a78  ./auction-bench-117-135-17-0.55.opb.cnf
2b943874add5e2f8084789b3118ec40f70a465375b972d9663089e5c013c7c68  ./auction-bench-18-29-8-0.56.opb.cnf
2b9c4313c584508c3916394aa837a584fcf7229c433f9782d557e0e4e19868b4  ./auction-bench-525-74-8-0.72.opb.cnf
2c4670db266938a4db5dfacf5a21ac8d32dca4f821e36773a2f36b04ae60239a  ./auction-bench-517-72-5-0.31.opb.cnf
2c61cbc0cc46b4b3b601b764b44045ff0b4ddd0b18356a8b5b08df7c5274780e  ./auction-bench-657-152-11-0.24.opb.cnf
2c7ca8ad9d59086b9e16bf0e8b2365499e5e19e7f531be68bec3faa4cce986b6  ./auction-bench-911-117-9-0.31.opb.cnf
2cb9ba662b389154c13324533e6c9065cf660175dafe638954eb9e35a970ccf7  ./auction-bench-762-116-16-0.21.opb.cnf
2d142f87b1ea6267f0db028764f22ff7073b7dfa3ac9571474608e66c2e4a83d  ./auction-bench-486-119-11-0.2.opb.cnf
2d20d6a179b1430b434792cac88595f52d79e978e4d6fef5956d6dc15519ab30  ./auction-bench-540-91-4-0.42.opb.cnf
2d43c3d9df057e53906596687338bc520e957d482df5124d8c210b77d3411ab4  ./auction-bench-999-95-7-0.79.opb.cnf
2d5637879689cbed14db78b9f8c504fdfec62cd4b7762f7ef56e13ac16b767c7  ./auction-bench-65-77-6-0.75.opb.cnf
2d6e85eea3dc00f704ddc6923d687f64413ec2531a0992509227074364bfdde6  ./auction-bench-635-66-13-0.75.opb.cnf
2dc561ddfecbaf98bb87b37276639bf486b4631da19963068813e57c3167f67e  ./auction-bench-983-103-10-0.54.opb.cnf
2de0f6dab36ce35bb5adc9c8f2a88ab1c8f3636e58435bfda6db429022b58cee  ./auction-bench-835-16-2-0.54.opb.cnf
2de9fd8d5ace5197e256b6b095f675f74e4e3e7abb79c819d0d65c13e1d944a6  ./auction-bench-399-130-15-0.69.opb.cnf
2decd5271e3af0f00a7ea572fb8d319f23bdfa846e4eb4de2d5fdf2caad9f346  ./auction-bench-370-124-12-0.31.opb.cnf
2e259ebea8d5fa171e3646282744a6612b8a4acd40522cf2f030a8d5f64aec78  ./auction-bench-414-89-20-0.6.opb.cnf
2e3de676e726c70422b86c51852081b5b13715f1142f05001e23230152a7b9a2  ./auction-bench-843-120-18-0.76.opb.cnf
2e493a954e5611dced4177888567c94917d9609fb62f0858a43263eb8e294b5e  ./auction-bench-241-51-10-0.44.opb.cnf
2e7a5873b3436474918220701e2c8a0d861752f0daa18701ef33189ca206b465  ./auction-bench-247-252-20-0.26.opb.cnf
2e7da46dd34e2522d85d80cf574e4800ef7908efef3e142b9c7f82e97dbf9261  ./auction-bench-124-107-13-0.34.opb.cnf
2e87506a061f7422dca73764b79978a7b1ecd01a5fae98d8dff3efa749cf097d  ./auction-bench-242-53-6-0.78.opb.cnf
2f361acb21212be05d0fe14e0602ab53bb8cf13ef4d4d370273952f9be1975ef  ./auction-bench-916-164-19-0.38.opb.cnf
2f4d4280cd5c023b54a56d045d633f162e94164dc46f2d50f4da0b5a807b9cab  ./auction-bench-862-231-14-0.18.opb.cnf
2f8e3ab0f8273f74d963b9a4ef9287aa6fd2aea115333d56230340b59b45ffd9  ./auction-bench-773-69-4-0.21.opb.cnf
2fafb0c86a40e16ddb55ac0eed382c413587a827a0536c680226d9a9d2d784c7  ./auction-bench-153-163-15-0.4.opb.cnf
2ffc713146afa42f5d0fd0b37764405b3a919755c2330bec39f5d02159b6defa  ./auction-bench-63-243-18-0.22.opb.cnf
303cd3ffc918cabbd3d3972f4e5d176185353ab64196c167598d5b6576817d9c  ./auction-bench-653-158-15-0.46.opb.cnf
30aa9f01b9d81ac94c75a14ddf68b76aaf6c69b8859f243d0d8fa96d04552243  ./auction-bench-273-59-11-0.83.opb.cnf
30b214d5482046f76996d7c8895094d4726c25211fcb61b877473eaecb458207  ./auction-bench-145-58-6-0.58.opb.cnf
314ac5e5d28f029accdd4426310b789ba5c04a3bcde71e61ea7da6ee8300916e  ./auction-bench-854-123-13-0.2.opb.cnf
318b88b88aaba77337e4deeded7fece1cafc932d84ab12be4cec793607de753c  ./auction-bench-912-167-8-0.17.opb.cnf
319f9018880a4558a39e504e6c71b2930f9efee8f9e5a2aa6f282ff7f25912ee  ./auction-bench-57-226-18-0.12.opb.cnf
3220e723766342a35161150481f900db4800c1c16b69adc05a7ef351264b7aa5  ./auction-bench-650-35-12-0.65.opb.cnf
32c5e6229c2432a836757fd8f07e72fb7a544f3cd9b5ca38b81b25197f35374a  ./auction-bench-746-33-1-0.62.opb.cnf
33477d8b9171822cc7cb087db48cca7af3391f2f82d5abadaaedc6aa73d4b7a2  ./auction-bench-128-71-10-0.41.opb.cnf
33696168638f54ad628da5c66be01500313fa11d101f2a407419ee6abd8aacd4  ./auction-bench-267-171-14-0.44.opb.cnf
33ee61f36e75db34ff422bb5a46abff117901f28f3219bea152f30903d777a15  ./auction-bench-790-41-1-0.8.opb.cnf
33fda89de72efb5642dc81e891b1f691e9142120fcf8818456279377c02fd0bc  ./auction-bench-188-179-16-0.58.opb.cnf
340f4145f1bbcfd7090946b2c0f8b9267e456111d033eef8f843bec4a39986b1  ./auction-bench-706-129-14-0.15.opb.cnf
3430dc10345751394b679fa4d49f29b5d3188c64590822c766938a1653ff0315  ./auction-bench-380-121-17-0.15.opb.cnf
34589b0b200231308ccab9d34dbf00ca32be808a37924b1fd4ff096593313d79  ./auction-bench-778-132-11-0.25.opb.cnf
346bd80038a719d2598f2e474b96fd8e74f6a89307d0ea71c9332992e93e2ecb  ./auction-bench-725-43-7-0.62.opb.cnf
3481066ac3743824ac2df19f9346b03e2168e9c9404364e08889e8e595790dab  ./auction-bench-739-27-1-0.86.opb.cnf
349e15a3dcd61757e51d9b46fe6edb4ed70b5ecdd158a32fbbe4275264968f13  ./auction-bench-996-183-10-0.43.opb.cnf
3504c3aafcf2d3e325dbb8475f33e025f6afd9cab1f7d9f10fdd74026e9cd676  ./auction-bench-249-83-7-0.27.opb.cnf
356fb3f20dfe39840489c4717335cd54cace3190e24d6b8c844cbd5b512792a9  ./auction-bench-963-79-18-0.4.opb.cnf
3593dfee520720d19e08a124b3634c387d62b26d1c50b3c073367dd64915205a  ./auction-bench-552-59-6-0.89.opb.cnf
36f0202a3820fe26c5c933f3c2e5ddc99c0901a6fc1c30c4c6994d4dc54e0a2f  ./auction-bench-461-78-9-0.81.opb.cnf
373a235885ba0a63c187cb7438110d5f7d33dc715dbdd1152d3ef3757570c3c7  ./auction-bench-231-62-5-0.53.opb.cnf
374dd7f272302c6311c943be2e43bf877ee53b72e90edc057e6dee4389e8bc3e  ./auction-bench-320-46-2-0.45.opb.cnf
37556ff7107d3bad175aa36366371fc8f9b78c3040adfeeee146b8a4bad20ce2  ./auction-bench-871-78-5-0.84.opb.cnf
3769a1e447ab5117ba04069044c099d383f2f56aa2e69a58f0a98b4fc39dbea3  ./auction-bench-882-89-8-0.45.opb.cnf
376fe3c93fb036321127b87e7763c0766c96fe449563b8071789f3f584d99a2b  ./auction-bench-662-125-8-0.27.opb.cnf
37f719237069ebe06316f5741c7beb111ed48d33504b579859bdd2b41e863f5a  ./auction-bench-925-27-3-0.77.opb.cnf
38b747c93129bcefc658d436f884af15ae64bc89a98363e245d64b8421680553  ./auction-bench-600-91-10-0.21.opb.cnf
38dc08614bc2fc8fb57641a5bc38d2cd0c3f7290b0120dd063091752f8378960  ./auction-bench-938-158-16-0.43.opb.cnf
392c07d4f0ffb6e3507b9ef417068b475686aa87d02aa5e28730b903f79bad2f  ./auction-bench-322-72-7-0.83.opb.cnf
397102ba68dce1b2a77bd4e75ba4455986ec2a15d9c93cc0809d12764ba2439c  ./auction-bench-647-46-2-0.72.opb.cnf
39c1a146774fee7c21f4b887407ab9ade96143b33b51f46ed34e73c6f51f2d52  ./auction-bench-357-131-13-0.62.opb.cnf
39c3406048909e450405192c487873caa696ede25d3ddcf68f5078f35ea81c78  ./auction-bench-33-76-18-0.13.opb.cnf
39e2685c6d71663c6de6605be4c76ce500164d8e8b982d9d601d9d12aecc08e2  ./auction-bench-544-139-10-0.21.opb.cnf
39e30b1cd749208c0bba453c2c6fb166d43ab48b697022c96f030063a1f6e232  ./auction-bench-618-162-15-0.17.opb.cnf
3a0d834979818ab65a0bd6312d682382452ba94bc8ca9bfd5602d158d931f09e  ./auction-bench-915-66-3-0.61.opb.cnf
3a449bc4cb1dad1964880f23e87fa3f86112e88bb14f8d92bd5023b387ceffbf  ./auction-bench-578-74-15-0.53.opb.cnf
3a7e3648aed9c533b05f2fb74606096d8afe56f9efd5f424cb3b3ce844f5224b  ./auction-bench-278-19-4-0.84.opb.cnf
3a9df60d86fdb236e7ccfc04163242da9fefef8f8053113539e7fa5cf0cb9d46  ./auction-bench-707-125-20-0.2.opb.cnf
3b076d2773afea7accc226340a09915065f608b2275cbe53753965eff8bcac60  ./auction-bench-303-77-3-0.28.opb.cnf
3b766879f5d3e60491f98a0b73b0b77b5485e05fbc5cf5497e89932b55acda20  ./auction-bench-524-63-5-0.69.opb.cnf
3bb62ded43073cd4cebeb86e5a334e75b6f4080c349e8dfbfc8a74c9d507a16a  ./auction-bench-149-128-19-0.11.opb.cnf
3bd7f5590f90e38ceab58f6874830df8eb71724447da4b4c387cbc79e861cdbf  ./auction-bench-531-36-8-0.81.opb.cnf
3bd83b3148e64eaf652eaa058525ad3d819edbea3d7211b7e602abe57b74df30  ./auction-bench-105-134-15-0.23.opb.cnf
3bea4098d79d18a88125e798625bfb645b33b9b64b6b897107a8b39f10c2503e  ./auction-bench-411-89-8-0.75.opb.cnf
3c622cdfb47ef70bd6314233856071f0f854e91ebeee693856ed50c678449ffe  ./auction-bench-416-49-4-0.82.opb.cnf
3cb79de0f3ca56f225194f2f7a5bc033694151d5582449695b05106a46198216  ./auction-bench-428-189-20-0.52.opb.cnf
3dd7524e9892a65341c49637917f1e3a84a3b0e1e014cb1da1ad3321d91c50ec  ./auction-bench-438-148-11-0.13.opb.cnf
3df232c2ad001cd64cedad59b1ce699a94c09307c5d402bb81cc8a2ae693721a  ./auction-bench-350-173-9-0.13.opb.cnf
3e0e12e0188ad345c3d31882a1f24fc34290d1dbb5a2dabe662e4a0e22320e03  ./auction-bench-224-108-11-0.81.opb.cnf
3e16b50cafe659e8c5e83b948d0870b2ea5cc36a23f5a39adc82d890c6e201bf  ./auction-bench-393-58-3-0.55.opb.cnf
3e4dc0c844604e28efa70df89d4cd488bf05fd9d3868300090fedd398fc30f13  ./auction-bench-225-95-9-0.58.opb.cnf
3ea95d8abc21810ee8bf421c6bdcc788c6c13fdc8f4cb751d2299b73c727462c  ./auction-bench-205-150-10-0.78.opb.cnf
3ede16f96e9778c444559ff4673e5a5800e018ee62aef134891d95269686e899  ./auction-bench-585-31-1-0.2.opb.cnf
3fd7796a7409d0ec4c3fb2f13ba257aaa21c790694e632c328a39ef69235e4b3  ./auction-bench-256-62-8-0.42.opb.cnf
405684f9f6f1a322795b81d97c6a54d3542dc81e77abc7858bbe6e809604000c  ./auction-bench-892-117-7-0.2.opb.cnf
406150a8111ec7de4038274f81d6ef37470a4925a51e02c5036b3276f39bc910  ./auction-bench-729-56-11-0.34.opb.cnf
40984e82b80ebfea8d209f1ddcd60c55c47d10c94de03e4ec47aede9e0bf5667  ./auction-bench-558-131-18-0.65.opb.cnf
40a0fc1af21c9c8ada386386eb2ab5926a0b99a7e34221c7e29ceabe4c97238d  ./auction-bench-935-124-12-0.63.opb.cnf
40ad97e39e82112a6943e3b06438d3de4b58c0961533e7dbed71f71cb7c16022  ./auction-bench-177-70-6-0.3.opb.cnf
40f3e1ffab1a8450813daad0c53d98fcf57a3a5a2d255090d539b9ba3c95e727  ./auction-bench-771-153-15-0.58.opb.cnf
4125ee2527f6e05f1bae9d8a10cedd720485711903af346db3b3d313bde6c528  ./auction-bench-36-106-9-0.45.opb.cnf
416998c8e66c44a9371b45b798f2683e8b830062b79816c6a340ca1c0376d918  ./auction-bench-759-126-19-0.59.opb.cnf
41dd598bcf1835c722acf3f89b97f7e029cee1a7c6cf093c08de730a778deb38  ./auction-bench-176-155-17-0.33.opb.cnf
41fcf4873a13395e5ca0b6681978ebca2a2643d8def249b74cc35d9bdcaaeccf  ./auction-bench-444-172-12-0.24.opb.cnf
4209a5009eee25eae6ee80c44d55ac1a1bab1f655f075d4dc7efdf18d4d1552a  ./auction-bench-361-118-6-0.36.opb.cnf
42a1239cfc9e7c7ac41298d488b8adb3e26687204155c535820e1dab3deb471c  ./auction-bench-789-137-19-0.69.opb.cnf
42dc9229749c19ab875bb61e3088cdfd0f1e59271fb7cf84f0a3d2c03e819d75  ./auction-bench-665-170-15-0.4.opb.cnf
42f3840bf7bb8970286ab2f12eb69bda864dfa0a3b26c651f117e9aac4448870  ./auction-bench-477-64-10-0.63.opb.cnf
43013c1d31d5d93ef3c7cb8e03f03d37db3c095647f4b1a84c176b1a454fac4a  ./auction-bench-583-56-8-0.82.opb.cnf
4305f5b8619f0c7e9dede5e5fc8bbd0a13baf582c0a87bdc6681ea94e05a9d49  ./auction-bench-606-27-1-0.33.opb.cnf
431de4feb81e02c2c23e0468650575ac45366afa8502c0a9afd97ad591cef32b  ./auction-bench-870-116-10-0.29.opb.cnf
434239979a9ac371df19382f37a8732b806b538db3d2ff413460efe7624c517f  ./auction-bench-259-111-16-0.43.opb.cnf
4342d5d8d02308a62f3bc903e8196e8f450d236e0358384ce8ea641ab794ba46  ./auction-bench-410-40-1-0.21.opb.cnf
4389420903ca960e3de3eff42bf6eaf71901b33f5083337d591c64a454331292  ./auction-bench-71-112-8-0.31.opb.cnf
43ccdd74a6b2a17a08e0b306542f4c2ab104f64afaa7467db9de79ead75c7d12  ./auction-bench-700-99-14-0.56.opb.cnf
44d30a159069a135402b3c29c81b8074696aeded491b33c3e74d77b01eb38ef3  ./auction-bench-487-91-14-0.83.opb.cnf
44e5233cf2fac4725d26b7f5aa89d3e8153e9b025fc8477ae43afc301b456fc0  ./auction-bench-384-84-5-0.68.opb.cnf
453d46e574a1fba6362674980190318491a30bd44008d1188784a65d3ad922fb  ./auction-bench-144-93-7-0.62.opb.cnf
45ef8a281940581931b730319c22c5b6d267b5d52c4e66a72b7b12bd3fde3229  ./auction-bench-769-75-4-0.42.opb.cnf
461877d9966a2092cdc3731f48fd83fa626c989aec278a970fdb98202220dacf  ./auction-bench-711-43-1-0.74.opb.cnf
463eb0a9b5ffaa0a9708ec644919ecd69c8908ba8f707fb2b0ae2af0f3e11636  ./auction-bench-667-134-11-0.57.opb.cnf
4671dbca0fa95a449537109beb85efe06406dcfbdf063b9d4ba57fb46edb2c82  ./auction-bench-515-82-5-0.29.opb.cnf
4683a3152bb9117ade1c060bb4094f1721ee10308bd8d46cbee5f40fd291cb53  ./auction-bench-211-121-15-0.52.opb.cnf
46b772a480bc4281c9f47ad0511a75826d1c9965196d7387c2a37b55121e9e1c  ./auction-bench-317-56-3-0.76.opb.cnf
472d835b8a415dba7b3cea814d7d2605f65a819a309dd8be3b0127a40bfdfa0c  ./auction-bench-994-125-7-0.24.opb.cnf
4730bf387d7ba2725ff256e51597ef49cfd192a949c1666bd67b56032a03ff8e  ./auction-bench-619-153-17-0.68.opb.cnf
478c1443e077610fe869418582a95a732eb658521812f023c95553711f7388ae  ./auction-bench-386-112-8-0.53.opb.cnf
47b1e0309874cce249f9311a28346df3149431cb97eaa77a9c6d7f9cb22c456c  ./auction-bench-889-74-5-0.77.opb.cnf
47ef38381c600c5de4dabcdca3952db30e6acd483da840e9625881fd3bee7e73  ./auction-bench-127-54-3-0.73.opb.cnf
47fdac919995c543c9ca4e3bf11a32039a87e96cb8a46951147a2cf88596b6d9  ./auction-bench-932-179-11-0.3.opb.cnf
482de1a3a1aed3988d66299e7140787f35f753c05063d8aa43cfab91e90a9f18  ./auction-bench-687-109-7-0.74.opb.cnf
489b32aaf6530a7ff5cc2cd9e6d54786f6ecc816852db7baea1eb6b21894d43c  ./auction-bench-702-124-11-0.28.opb.cnf
48c8d1edb2a37bac75bec1bb928ffd889fe82920ddf103b11d9bd440fba91e6d  ./auction-bench-59-53-10-0.72.opb.cnf
48f45baa39bd288becf2a295d72cfedba7a81753c75d786129b113e90842de07  ./auction-bench-132-79-8-0.43.opb.cnf
48fbc4f7b200f24220d8d2342f6b1451caf56606f2d7c47dbf13e178d9406104  ./auction-bench-852-90-6-0.4.opb.cnf
48fe2859a58cf33944e1acc31607ec9ff145750c800fec1303149a6ad5e30cb3  ./auction-bench-738-46-2-0.55.opb.cnf
4925e1d9fb70033466e630a983bacc5ed66443ae9ab34287aa98da932d461ad3  ./auction-bench-991-143-10-0.21.opb.cnf
493ea3bea32a990f881d44e802f2aadc3e088ee94c39bceb85f498924ce75394  ./auction-bench-332-150-20-0.3.opb.cnf
499394ee30647c38c34bb70748be1c94395a403ab723ec605a45a301e2a867ba  ./auction-bench-528-152-16-0.35.opb.cnf
4a3ecde4296a29807aebb08c48f74ab9537fdc8d74194ec1d295964f24ae8b41  ./auction-bench-740-115-11-0.57.opb.cnf
4a4030e89efa214aafa1bb1d8d526f0bb5627c3336b30e0cf39a2b2539241e83  ./auction-bench-654-100-6-0.64.opb.cnf
4ab04a8b5db8a7c4bc4bb3d3e3d26e24e251ea7809e5f65092a2a526f4bcdfa8  ./auction-bench-66-86-11-0.75.opb.cnf
4ac539b063410ea36af2ad113437bd1d341b4f721a3b2ce95c9cbc81f0629329  ./auction-bench-430-56-5-0.82.opb.cnf
4b1feff0799d41dd33be0a81d20fbf8c65631d1104b50eca7d6ed7325d6c77cb  ./auction-bench-674-129-19-0.82.opb.cnf
4b4a120bce4d8300cd620ae47159d0b523e427ef2d3c6cb59b95452bd2ab8bf8  ./auction-bench-864-170-8-0.1.opb.cnf
4b55ca1f679ccd1cfbf11d50b6ebccd1d248f2396559f028c237be8f98020283  ./auction-bench-553-11-1-0.66.opb.cnf
4ba72ca33d3a146ca60d67f42affe40e25ed8cf91c656fbbe10cb79e3fc227f8  ./auction-bench-747-114-10-0.67.opb.cnf
4d33c1a585f6dff2ff2cbd3b7baf56f60ca4e3ec1ae6d037126517570fc09923  ./auction-bench-382-179-18-0.23.opb.cnf
4d5b6a2193a7e376e862222b7a65466b3809e60608aab2dce8234c2a87a9100f  ./auction-bench-321-97-6-0.39.opb.cnf
4dc229488531221ddf5673a5c45b942afe1afd5871c6e47a6305afb0e268bece  ./auction-bench-453-14-3-0.62.opb.cnf
4decc7668437d86e1a66b218aac8a354e27be1a66eea12d99bf4ecf6c73ed742  ./auction-bench-47-75-4-0.2.opb.cnf
4df41f219a9538f9e11ffa571683982ab92f84ea684d5abd06af2a29c4cfbbc4  ./auction-bench-431-84-7-0.25.opb.cnf
4e0c64db97990aecb79d8eafd49fe3cdb36184224b451f100759e3c9ca5a65bb  ./auction-bench-536-51-3-0.76.opb.cnf
4e1f698a874ae59331a6797422f298d8ee3902a681ffc518ef51c553dec32466  ./auction-bench-807-101-12-0.7.opb.cnf
4e5dd7f4643d7932f7397d69a49f46be28bc95be62ed21a9922739b8b96c5c0c  ./auction-bench-752-128-19-0.31.opb.cnf
4ea37d082242af49d21621da4fca8b2c34cf140b9a2bac0fc6ce3f8d4873031e  ./auction-bench-840-67-12-0.72.opb.cnf
4eb691c88f5ab24c95ec07fb6150723e0df5f9d9210b9811eae20a574d8251cf  ./auction-bench-853-179-9-0.12.opb.cnf
4ec9a2566548e7466187d14725a8820a1e71ba1063510bab82b4e5016dcdbd16  ./auction-bench-688-49-3-0.42.opb.cnf
4f01fb438556be03cc5875fcb40ded702d9f4a3d50b8d986b5eb7bddf57397bd  ./auction-bench-76-123-6-0.16.opb.cnf
4f4fb44ef76875d497db84d874bff5867bdf762718ac886f28b104239de76f23  ./auction-bench-150-25-3-0.83.opb.cnf
4f5183576a6e9e5f9a1f2963fa4dbec879cd89a9e3b98c786df302cc9b21adfb  ./auction-bench-305-163-20-0.66.opb.cnf
5007b9423b5e9fecc19d86cb9dd5e19c510531233ae850e959a356fdea6acfa1  ./auction-bench-12-70-10-0.46.opb.cnf
502b1b5578b73e3b8904d1e8c8c4235a581e623a7c9af0bb80249c78df1cee27  ./auction-bench-441-110-8-0.55.opb.cnf
50aa4ec48eb7386bddb8d234236868a14c067522f39872281e8d6aae43c35a98  ./auction-bench-659-35-14-0.39.opb.cnf
5101db5cb08fa20b583d29bb269c84ae51697fb9fd611a46f0ce66d03c11c09e  ./auction-bench-223-93-11-0.14.opb.cnf
52234829b863b367cd16801d4ee24c18357653a8c156e03eea2fcc8577f8367e  ./auction-bench-418-191-17-0.38.opb.cnf
52415990a07c2e46576d95c6e275bd73edf02d5f1485c03b901e981646cec528  ./auction-bench-262-72-9-0.55.opb.cnf
5256241dfa8bd40f54d875778a765c6a664a1fb7364e6fbd880f4236fb06a758  ./auction-bench-258-173-17-0.18.opb.cnf
53024cd1ae658e4a28ad54b5364f7abd6fc39cb73643e2b46b3c94145ef46d5c  ./auction-bench-597-70-10-0.68.opb.cnf
5335ff94841ef210f8b6b147772341a00a85c5f7ea233541217b2894b0d8b0bf  ./auction-bench-475-70-6-0.68.opb.cnf
535a27265274d02f80c6220effcff308cd6dd548816e4b473af7fbf27aa03889  ./auction-bench-720-102-6-0.21.opb.cnf
535ec9b9cf15a00f497faae60db214c5108e7ea940a557ee493903ecefd82bea  ./auction-bench-471-84-13-0.41.opb.cnf
53a8ae789d79908e7c7ca29737375245b892678947d9ed58f7c049f4c28bfedd  ./auction-bench-644-110-18-0.72.opb.cnf
53b7ac8da23b2b204e551881482f351f2523f45ff532d0e7ec2feee6a564b32c  ./auction-bench-100-24-6-0.64.opb.cnf
53d8779f784250dd7988a6e95be517115c0c88436958b7cf03699ccac9db6b96  ./auction-bench-554-173-12-0.15.opb.cnf
53df88ff137b85ceb6a6198254d2e22bbf3c568472a517313f34b9e0e65d4d02  ./auction-bench-841-73-7-0.78.opb.cnf
53e7966bcb1a10084c8469e59619f54423c15f9662849f77afd940e6b2aa10b2  ./auction-bench-236-187-16-0.41.opb.cnf
544196068af703c30f842ca59f35f06f03672dc2822390fc41f389f493e81707  ./auction-bench-993-86-5-0.45.opb.cnf
5446ef703f0ea9654b1ac7f052edd8188a6404e3699f60e187f98f18254c418c  ./auction-bench-693-113-13-0.6.opb.cnf
552bf221b470779cc8e956d881da2b8848c44dcbf56f0b78e54251e348e474bf  ./auction-bench-62-131-13-0.24.opb.cnf
55515ab1ffca586ce8270187b168fca5b09246ffd8f1f5f778d1ff4dd5bbf229  ./auction-bench-250-70-8-0.84.opb.cnf
5565b206d957b7cc23cde0a622b3708cd5a957926ba54f8abf8682504602ed4f  ./auction-bench-797-59-3-0.8.opb.cnf
558732e7213b8af997d0dc0a96b0035a7b48ffbdd8b95ca2c2e4ec0d4c3cf238  ./auction-bench-355-210-15-0.26.opb.cnf
55cf640a9ca3114c342bda9e68c113e0ba476d0bbcc92d9149d265f1062ed266  ./auction-bench-681-82-6-0.58.opb.cnf
5629135d0b35d5826589b2b6ee43bb4177455022ee1d8b64a138522aa1bcd7c6  ./auction-bench-24-71-5-0.79.opb.cnf
5663ac79b8b2b1832e3034fda6501a552677fb0d4694a44b400a2886a6246455  ./auction-bench-522-115-7-0.31.opb.cnf
567606bd351ec248c78c8124a876bdf6addc361aa38f2ceab51fe1935e9a0a2c  ./auction-bench-427-47-2-0.77.opb.cnf
56be608343a3e45f593ca2f04cdbce831163db0658c57fd06f6b4bb48631853d  ./auction-bench-292-201-20-0.33.opb.cnf
56c4dc3f1868e9b0dd2d26d5cbd295efe19c13b1bbdf0715fd2f6126899ccc7b  ./auction-bench-53-10-1-0.21.opb.cnf
56d22115477dd2e43f425bd8e6527c5e1e4d487e8f7a0711f4392fb04e09804a  ./auction-bench-877-65-16-0.82.opb.cnf
56edee25439ba198c9d69c404019d2e5f05525f63fc45a76eea0eae2663ba4db  ./auction-bench-562-30-1-0.66.opb.cnf
56f731bd6177999d033ac4d4d26b681713659c312bd2391a6ead0a2926ec2ed5  ./auction-bench-806-71-6-0.79.opb.cnf
57520cbba66a52f60969c07ade94546f40050037433f06e906bc51d93553db0e  ./auction-bench-85-64-9-0.67.opb.cnf
577048fd73e9be47436ea5faa9d2c8c7112051adabd2c04705c4e0edf627be7f  ./auction-bench-638-31-2-0.3.opb.cnf
57998090f1216ba2cbaabd9aa9d5088c134a43689363ce53b39d5d8b5bdec527  ./auction-bench-302-23-2-0.56.opb.cnf
579de97ec1bf51bbc0c80899c1c2c646408f1e9b76422ae9264afc598c6d93ee  ./auction-bench-596-15-1-0.49.opb.cnf
57e5ed00f40f5f2c4c3dbc808493a3ae1cc4ee3f56bf96d473c8d2b0dd4dab41  ./auction-bench-89-88-5-0.24.opb.cnf
581b07af749519ac3a5554f8cdbbe0d0f851434bf955af5f9dd996f3c8290d8f  ./auction-bench-104-226-19-0.2.opb.cnf
5823df0dc0734b6f5071241ecf5effabaadcfa435fc27559624e3cdf9db94631  ./auction-bench-768-98-19-0.89.opb.cnf
5826d26e8b1761981a0f338776c946c2647e875a4265496dd6f8f982ba54010d  ./auction-bench-107-115-5-0.17.opb.cnf
5885c1cc113bc7492714033f41e92733f6d483df4a7c0b04074ce06133b729d7  ./auction-bench-668-84-15-0.27.opb.cnf
58b1e6e813141ee7b2e8ec43d3a5dabb06681cfb7077591f40dafb37120d86ce  ./auction-bench-652-141-11-0.58.opb.cnf
58d3d90e06d5eaf1d31a6a95622f71d1b5a22511acb68de80628e5c834f733b5  ./auction-bench-990-94-11-0.76.opb.cnf
590d6b47b437ff46bc2b75ea09adaca40f1fbad8d6967639150fe91c43643a2e  ./auction-bench-985-74-9-0.67.opb.cnf
592930f9f375e31aad826be8dcf9bf02f77719f99765b9b723ad84c526e9419a  ./auction-bench-535-69-5-0.36.opb.cnf
592973402c32be460392181a41156a3577b699c6bfd3fb6f1b52e8d1b93de1d8  ./auction-bench-656-56-2-0.48.opb.cnf
5a5e9c619aab0717c2bde913350e7cb287b2bfeb2c596241a0f79664e6dec76d  ./auction-bench-440-108-11-0.49.opb.cnf
5a903ade806a71fad38c9285bd72b44af07e4baa2e00f6a1963985149b1e39ae  ./auction-bench-365-49-5-0.87.opb.cnf
5aa62244b0b7a1978712cf060559face5665ab94aed82f6d53ea540f370679b2  ./auction-bench-633-159-12-0.2.opb.cnf
5aad588f0eb8144db9c3a3a83fe7f25b9859d374c1bae833b3037484cec791ed  ./auction-bench-182-191-17-0.13.opb.cnf
5adbbaaa889a7612992268d042ac7c6a5e9b734b757f057c8c3271dbf8e23b58  ./auction-bench-774-119-13-0.35.opb.cnf
5bfd61c96a749cf7cc7d99c30fe80db2fc38b04dbc52a8704d7b077cc306893b  ./auction-bench-499-106-16-0.61.opb.cnf
5c5f85cf8bb495e8ceec95517fd11a4f4df724e7583790618185faf6cfa9012d  ./auction-bench-192-135-9-0.42.opb.cnf
5c991a9a1883bab0b7eec02f34f557c27cf54f408d632d0123afdfd412cb4f03  ./auction-bench-114-223-19-0.19.opb.cnf
5caa317831ce6278a97576d22509e8b36bbece1d5c6dfdd342088865cf2780b8  ./auction-bench-542-50-6-0.85.opb.cnf
5cafbdcc8d04bd97c5f1184e929ae5388fc80178c15a9ca0da4538b84b77793b  ./auction-bench-508-119-10-0.63.opb.cnf
5cbe50ca5baa8b18d2e0cd73d6acf48ab6d76718871ad02714166577996ea448  ./auction-bench-753-25-2-0.61.opb.cnf
5ce33a2d1049dd346562cb139ce64e5e661a562969c3e5e648742b80193e4dc9  ./auction-bench-288-113-9-0.36.opb.cnf
5cf380fd67da3b6e5ef15a6e518fd4cb588ed2f1fcc1dcfbf41e5f8b8e6e2069  ./auction-bench-397-68-6-0.6.opb.cnf
5d35f0245c0364f9339cc0b4ea2ba3b6f8cad8f5ce875dc9ce05ef0268f4a407  ./auction-bench-155-160-12-0.32.opb.cnf
5dba0a3cae07db10d4d3d3f8b97f0b18c4a440b53812d6c8da678069312b1765  ./auction-bench-590-88-6-0.54.opb.cnf
5e0b872f6ccb15bfe44c4243cac9f894a363b5c5c04fda0158c67a101dfbd809  ./auction-bench-131-203-12-0.12.opb.cnf
5e243ff488ad97caaef8418e59dbbf579951def7240ce8c2640f3bbdc1462e2a  ./auction-bench-260-129-18-0.87.opb.cnf
5e4207b8a76c0853f5ad79a740ecb5538ca3004971d2a1317fd05c3266b9cfbd  ./auction-bench-13-56-4-0.15.opb.cnf
5e45a49284d62a2e6f7403a9bdf2909be24927725a74492452bc760f4deb40d9  ./auction-bench-346-198-18-0.3.opb.cnf
5e558897c4e798f550a4c090fd08e6d5664eed0a08d390385465b67a42aa245e  ./auction-bench-636-30-9-0.72.opb.cnf
5e7ae2e66d2d10e2b553ec7bb4ff5dd0d274fdd18f4311e532786cdb82d2e437  ./auction-bench-919-92-15-0.87.opb.cnf
5e8f5d1091fcab8226efc23c84c6ce245295730e4218957be164c86594298161  ./auction-bench-379-110-14-0.21.opb.cnf
5e9d6f5e8555f05060d7e60112ae084ba28a42e0a9d704a745dc48733b6bfbaa  ./auction-bench-254-126-13-0.52.opb.cnf
5ec7fd55be176c7b497c6d7013e4728af1ad609f0882629d475e5bf55d92405b  ./auction-bench-116-134-16-0.31.opb.cnf
5f03b9279cf40262c73f2247d073ac1a095cf3240db7802ed057fabf51e9a8f7  ./auction-bench-415-61-5-0.34.opb.cnf
5f0b4867a8d014f150a886fb450520c35460f2c014a6ee8b98bff3695917a88c  ./auction-bench-776-54-7-0.61.opb.cnf
5f6935ee7037d926c5a6e94785d12c85281da52f5567619c6a0a09c23c97c651  ./auction-bench-209-85-17-0.8.opb.cnf
5fab47f0047424ccee971ac4d4052f3c58a0b525ccef5a877291c49f172495b0  ./auction-bench-1-49-3-0.88.opb.cnf
5fcd818eb18d9ffecfda39b9798b0aef96b4cd83d02bf85f973e185b7d067dec  ./auction-bench-699-40-3-0.73.opb.cnf
5ffb5e172b48024318c619ab7d5dfa184be4cd81df0f039987dc186e0bbdcbb4  ./auction-bench-574-206-14-0.25.opb.cnf
605b348805e510d94e53f3a3d316063d7096cd728dba61a822f73c33358136f8  ./auction-bench-880-56-7-0.49.opb.cnf
606d57da33390e0ea4daf18472600b25035ca4c37ec3ce200ddd63ac5a841ba0  ./auction-bench-295-67-5-0.82.opb.cnf
60a7013ae4a44fbd4517cec7c5943fb264ed7fb2e13707982be6af8cdfa9519a  ./auction-bench-982-99-8-0.53.opb.cnf
60dce31d6e639ccc1b60e070ab8e4f0d6ec658e552d8b0fd634039a213727b5b  ./auction-bench-297-103-7-0.24.opb.cnf
60f34096dc73ae5e988d5ef333cae27ee3dc42b04d8e3c747d5c2e8d36f96e96  ./auction-bench-125-135-14-0.1.opb.cnf
612fa85852193a3c65ff0f3712d434b530375b4e4bbb629bdf536f9eede672b6  ./auction-bench-126-74-9-0.79.opb.cnf
61bf3166e3e7e4acf270259af25bf821e943bf70d1ad40d05240c7f08d1fc922  ./auction-bench-423-43-17-0.44.opb.cnf
6255694fbbe8d255bc20dc4615dd5cdb2fb1e22820c714932f08a790f42674c8  ./auction-bench-110-118-10-0.22.opb.cnf
625fb99a691276ba2b8415d1740177571f74e1d83b511bd0783898b407a964ea  ./auction-bench-329-54-5-0.89.opb.cnf
627e1a3bc7f04f47374982e013b44b2036cf6432cb885b920f64e7da917bc374  ./auction-bench-179-33-1-0.76.opb.cnf
62a4c6495dc9a1bc4b5b6bd3316eb59fbc8194ccfe8caa6b07d68dc8ee185040  ./auction-bench-837-41-2-0.52.opb.cnf
62a510afbafaeae7c323b878cc794c2b3b4a88f2701f5daf0c9052273cda947c  ./auction-bench-772-136-11-0.5.opb.cnf
62b7da9c5ea8889178d1d2632990aaa20013af5e4b7cc7feb9fb74f975c19006  ./auction-bench-234-113-11-0.31.opb.cnf
62baaf679ed264d021de2d9352d938dc7f3e6229d235fac73a650697acb01b66  ./auction-bench-565-42-1-0.34.opb.cnf
634694a39c8f7c9c5d11c2068c2be1dccab04f172c6f3122097b488a5590545c  ./auction-bench-123-53-3-0.27.opb.cnf
6349cccd6da15858b3e958c620097d2f3624f440892f26a821fe6176bdfb93a4  ./auction-bench-782-62-6-0.11.opb.cnf
636d018aca5e3b1544a5aa7ab49efe9751c119c7ea7cb54881064f47844c7ad6  ./auction-bench-787-64-3-0.17.opb.cnf
6382cc7578d7d7b553725ddba68abfb42fd59c954caae74ea583addb6cf25b9d  ./auction-bench-924-24-3-0.36.opb.cnf
638fafd8d63f61403a1bf36994ae44f11ce342f8373c3c01ffeea23ed1da4e29  ./auction-bench-284-94-5-0.33.opb.cnf
63b6d4fa1df861d3e623278212bf33010e30e77f434db0618b5eab93824e3e00  ./auction-bench-412-139-7-0.15.opb.cnf
63ed14908abdadf41e05b84b151fbc0da587a2340478358144d4be15f1cee54b  ./auction-bench-87-144-17-0.26.opb.cnf
63fe780d76e2c5aff9dc4d6acf380119b87fb8317c77aa3ab61aceae8e60d60d  ./auction-bench-712-118-12-0.49.opb.cnf
64458eee1294744705a60525472a779523919332f4ab1e8b768b90b50ed72754  ./auction-bench-781-20-2-0.33.opb.cnf
64d0e173abbbcefd0661df458018d725c90f96ed05427cfff72d5425c6f96e74  ./auction-bench-285-108-8-0.42.opb.cnf
64fbb6ee130967aa68b30753fde93496fcc0a0737c0e24a4b307e64294241022  ./auction-bench-265-77-8-0.77.opb.cnf
653a89bd35ce55dd1b4a42ad8f2df23062ac3ccb8a223b7c8886d1a91c2c9d03  ./auction-bench-137-186-14-0.11.opb.cnf
65572d7811b56ee1df13b376124c95833615f91d1710d1038ef899b699fca1ba  ./auction-bench-675-71-5-0.32.opb.cnf
655dc69b387fbb2169f20bcdfd25909097c26a85cd2e9bb2bf8ef6f06d4e7cd3  ./auction-bench-385-148-11-0.39.opb.cnf
6594683988ccb4575016fec9fe599704b97540dd68c9d464fb3c37b8e683a473  ./auction-bench-381-106-9-0.7.opb.cnf
65bc8c0f280e45e38a3307d027bcb7561d6bdb07669672031c5f761abe65c839  ./auction-bench-244-60-6-0.25.opb.cnf
65ea54d072685deddfcd1be994a8f464b1d7b539df6bf390c461075144fb5def  ./auction-bench-51-54-3-0.51.opb.cnf
66ac06a0ce42c4840e8c3e1d8d7d9565608a540e0240d5e32d60e5d57bc58081  ./auction-bench-514-127-8-0.15.opb.cnf
67374fab8979c3472bfad77101e5a989b04fe27278fd90fbf6d8b6fa2f07cceb  ./auction-bench-741-136-15-0.72.opb.cnf
67474ba732a6bbd9dbdb0e5fb4e9bfabb96491913ff7ae7999deca7a01cafd1a  ./auction-bench-809-87-4-0.18.opb.cnf
678c86f1e90ad4479566417cc617916c0313a159655a8c1fa04e4bf29c3bb043  ./auction-bench-526-169-15-0.12.opb.cnf
67a589e8cbb4908cf9acc5e6cc362089391f68200bfd090b50a5b0922f5af1e8  ./auction-bench-401-22-2-0.73.opb.cnf
67a6dc42f6398b5ec9cb63fac87b69a579da65e316c7ad602d9e804eadf94b96  ./auction-bench-751-94-19-0.76.opb.cnf
683767f8700a2e3b279b61430c0a6d0f097a8163d54bd829b49aefb0301c437a  ./auction-bench-120-112-5-0.1.opb.cnf
68b524cfbff0fd707c943d7b3268ef65615110af9adce549485b6009bf9d70a2  ./auction-bench-470-25-1-0.2.opb.cnf
68bebafe8585d40dae85f8125e093e55784b72925294eb06949252c297e88e2f  ./auction-bench-280-76-7-0.72.opb.cnf
68f573859c5164d14581c5333d047cc7976fe62ab8ad37c6084c2ce06f30d1e8  ./auction-bench-796-142-6-0.11.opb.cnf
693ecda023d8a8cd2e8da1208fb0aa66437b7daed4156607868dbe34a1afd2ea  ./auction-bench-111-188-16-0.4.opb.cnf
69e4836a148d825d051eef09cd317c033309803846cdf89ed37ee488a3ace87f  ./auction-bench-947-55-3-0.82.opb.cnf
6a7566f2ecfb1a16bbb3425ca0bf81bc206905c6f349bc482acadff9b0d28db4  ./auction-bench-95-131-10-0.88.opb.cnf
6a81ba7e9e27f37edfaf63a42ed8e99c593e1e374be4258ac8c1542d0537b5a9  ./auction-bench-481-206-19-0.2.opb.cnf
6ae907ec1d165a5894a9524cd8ade9b9bd7f0a4bdd15f847b5befbcc5bc7696a  ./auction-bench-551-64-2-0.11.opb.cnf
6b667664b0da6b3afe0d56f6ae03f6509fe6150bb28c9c35ecdf98c6a73b3828  ./auction-bench-200-55-2-0.2.opb.cnf
6b6ccd9fe24123c9a39073d172a4901c10054b14f5be2f970e64f62b45f353af  ./auction-bench-910-79-3-0.15.opb.cnf
6b8e0ce252cb176b491f52326126638fa1fff322bbf7c455e72da9a7497d58e9  ./auction-bench-215-93-9-0.76.opb.cnf
6b9710e91bb5468123ec13f8a15b88c9974fa11d2e86b9eb062c139e9112c9d8  ./auction-bench-937-188-12-0.2.opb.cnf
6c5acf53d9a3c4d3052cbc9461d99b6fa49a036d3893f222c2d53f86e7a57362  ./auction-bench-319-77-15-0.67.opb.cnf
6ce194a3bad636887da37b54a0949ee580d9aa68b0b7520e95f4e422c56198b5  ./auction-bench-45-46-1-0.53.opb.cnf
6d8f16b37de7729d88b8dc7602a10352c35c7f7361461fb38d25beb8bd449163  ./auction-bench-713-55-4-0.61.opb.cnf
6da1eebfb0c18b685aa833ac72749cd296108278f7b7eea589c8b4963223a392  ./auction-bench-570-12-1-0.36.opb.cnf
6e0f4c058d8645ea20454a0ccc738f7b7bb3b569d8425e92f4f129f54fed1183  ./auction-bench-468-224-15-0.24.opb.cnf
6e26a2c2766779ffb38293bffbdb46e1f11ab7f2dde233f7ed6b5c8374e2c763  ./auction-bench-646-167-9-0.11.opb.cnf
6e317a960b65992ba5620305df83a4c7417f04b26efee121ed8e0bcce99b0507  ./auction-bench-808-76-15-0.81.opb.cnf
6e48b8aec8c40500f7861b9776b67a801f921919519cdb88583007cfcdf4e557  ./auction-bench-91-126-8-0.16.opb.cnf
6f07cacf334d052664e2ee67e41012bdf82b3a66c9f5828fa46c3e24b817d5e5  ./auction-bench-170-92-13-0.5.opb.cnf
6f15f60ac7c40ba43b27195d880ab6b552d4bb5fb139a0a6b151e67e4af928a9  ./auction-bench-29-105-8-0.67.opb.cnf
6f5206773d83544a868aa382cc4fc80feaa29710950d1b84f1ff1ec43c60b262  ./auction-bench-577-47-9-0.65.opb.cnf
6fcc555ae33a0b32ca164a1495d51d11a9a7e2368b2360affdc818443ee61e8f  ./auction-bench-984-178-14-0.29.opb.cnf
6fe522f0cc8617b13d4c6f7d3374d6a4d36a00fcc62e3bc298293351e29cc13b  ./auction-bench-855-201-15-0.26.opb.cnf
6ff3380707cdbb690be96295c7289f55331a61f78eaa3bb442549ab6bee9ac5f  ./auction-bench-763-61-3-0.84.opb.cnf
70f784852fef3a97d1bdf1a4c3bc6c9a61966d0e96993c7072aaebcb10ef9809  ./auction-bench-510-90-7-0.53.opb.cnf
7143ea3b5b122c9402063a17ac8e64390778e80cdacc54aca2e1b0a8863f9422  ./auction-bench-130-168-19-0.66.opb.cnf
717a3d6d32d372a4f1e5ae02d8544c9e7c4d5f3de84a71c127bd7aed5ec1fad5  ./auction-bench-612-152-20-0.72.opb.cnf
71bb3405cbb0c9dd05e59132951e3c01cd17532445f7f42adb19e4f0ccbb3b11  ./auction-bench-793-10-1-0.27.opb.cnf
71bc2eb4ac6f3c87052343ff5d08aa091e26a8f333c4315d945d3c053137446d  ./auction-bench-334-196-19-0.46.opb.cnf
71e6c0ba4e3db3975617dcadc33b3386faa683474e8c3a9758334f8969b12c5b  ./auction-bench-217-102-13-0.43.opb.cnf
71f2b74ca86b8500d8bd999f98f1f127dafeb43249b0879d4750222a18da552f  ./auction-bench-147-13-1-0.29.opb.cnf
721c3136a26019fa43085176982039dec591fa92ad2f9885b0ccf6845eabde4b  ./auction-bench-178-135-12-0.65.opb.cnf
725d261b4c9c69397b45c191fabf3ffad1680dda2b053f47311d14b62a1d9c27  ./auction-bench-466-70-4-0.84.opb.cnf
72b27f493eba4886e8c6ff0447b05aadfd9a9086b836af49cea16f5fcd0a13e8  ./auction-bench-913-60-7-0.6.opb.cnf
72e36e1d81e95978f486836ffdca1a09a488039b2964850f5b96f93739e3dc64  ./auction-bench-67-27-1-0.17.opb.cnf
73d24cb5e931661d4a8e4877e12779b8cdb650f50df57810ed86847e3c4e7ae1  ./auction-bench-40-57-7-0.87.opb.cnf
73fd5187f2333ffa7c515ad820ca66aa2034c3f45ac9ae7778458854c9d6a94f  ./auction-bench-455-46-14-0.22.opb.cnf
741cf01401b967b01492195dc9595c42fd9ffeb00a2121b8907cf49581a31d4f  ./auction-bench-958-63-2-0.19.opb.cnf
74313787ad72b1de8393408124a3d0249a63f29948c4283000bf08e4641c66a9  ./auction-bench-362-37-5-0.77.opb.cnf
7477f1c3189fcb2071f449a473c481b583c23de40917c54784e3295e545f7c14  ./auction-bench-643-136-17-0.17.opb.cnf
747f3032b5971d32ba70c137c784003b7da0a6b33c91ccd250d294a08fc85692  ./auction-bench-366-149-13-0.66.opb.cnf
74a6437d78cf1099368619458c0204c3913ada48fa82dca599df7b1b0b681cd0  ./auction-bench-800-193-12-0.14.opb.cnf
74a809adeaf0f063ca70c19f1c0984d3a07b8c2037668a9b665c102f534e324d  ./auction-bench-25-229-20-0.22.opb.cnf
74fcc153fa146f1322fbbbbdabbd4224c56e8ebbe1e2626678f95503db6819e8  ./auction-bench-997-33-4-0.15.opb.cnf
753f6846aacd179d8a055f27425fae0f69749b9c42d248880c2a0bf4419da515  ./auction-bench-138-46-5-0.89.opb.cnf
75a455a37dfe423f514e287373c0a796d90145a1ef0930b6eb3d20f3a855e528  ./auction-bench-684-33-2-0.79.opb.cnf
75dd530c9da2c7c1d5e0372bc3fbd06dabaaaa3cffe5feeaa6f1b5eebeaee828  ./auction-bench-857-96-17-0.49.opb.cnf
7676c7163a7397bb8c9c9dc313862437f513708b6c7f5649ca5c011d0b30b58f  ./auction-bench-865-43-3-0.86.opb.cnf
769f94dafb4c85e36e42e50cc7b5ff331381d26653c27cd2bf20236df7f9a233  ./auction-bench-314-151-7-0.15.opb.cnf
76b3bee90a9bea144e7342db3ffc096384adc2d9469c646c5ba8a2e352f5a093  ./auction-bench-294-102-5-0.39.opb.cnf
76cb0aaf43be167c33ce2b438f45c538a04b67f9d7ef9187ff1c10a030acc4c4  ./auction-bench-32-61-5-0.76.opb.cnf
7727caf6f6040a78d921e3dcf0dc8e8ae19725539f9955b2f766d39784713cc8  ./auction-bench-422-144-17-0.76.opb.cnf
77979a48b732aa1af68a04a16e7237f45535d06b408516fc4cd7254859f6e8b6  ./auction-bench-79-126-15-0.85.opb.cnf
77a159e305645e6f01ca73e91cf295615887485f7dbfde711e1e77370efaab57  ./auction-bench-446-46-1-0.36.opb.cnf
78b2c13e0b5ce731180025e67dd9b1f42c91e9c32d0c96d86dc737247a365661  ./auction-bench-731-80-14-0.18.opb.cnf
78be18335de03086ab10a80f6be1c7e8d397738313c8ff0d56b235547b99abb9  ./auction-bench-914-164-11-0.15.opb.cnf
78c02571793f3ff6b9cf31e123c4ebf25be8755bb0dd04e76147aa11e546ed5c  ./auction-bench-330-102-11-0.8.opb.cnf
790e57d9ec9054a9cc06d63e2012c6b6b12bd863dae16d8e6d102dc380cdc284  ./auction-bench-869-140-8-0.34.opb.cnf
792becb053b6b6fc9ac00efcdf063f34b9b0bdb83775a731d3c92d6b4a83ea85  ./auction-bench-497-194-13-0.19.opb.cnf
79a07fedb94c95e8bb25e18d55c58c57836a855a0533462fda6e39fe4c85bab9  ./auction-bench-307-143-14-0.13.opb.cnf
79d1b03e27e35f1798209d212f7d07770b013cfa319ef85164f27514d41c83b1  ./auction-bench-511-71-2-0.38.opb.cnf
79fec3cf1bca75fd6a175288af5fad5333fc10322ee2685d74f62c3c8dec0f0c  ./auction-bench-539-104-7-0.48.opb.cnf
7a22ea97eec24833e374a89b5ff7e6ece8fe775bff385c45154b546f3b489cac  ./auction-bench-848-81-4-0.19.opb.cnf
7a4a63bbc0d4ced2bf29c4834976abf62c792678d9347421aeaf45b3a8ed8c90  ./auction-bench-831-115-16-0.65.opb.cnf
7a7983b2b1ce68377878e7c1474594c20d83714063f6ccc9b8f3d4c3e2f5588f  ./auction-bench-11-180-13-0.23.opb.cnf
7ab5e04063eb9ed3adc5eb64cca68829866bf2c334e967ad8865c6b44d0618e5  ./auction-bench-545-135-5-0.15.opb.cnf
7abf9e95ace7bc4cddd85ef9405a4475dbc293fd301f1aff2f0d27c2ae6ee6d7  ./auction-bench-749-52-5-0.84.opb.cnf
7b2da9069929a8e80101e24a33be4c6bc328c23bed3821d98ec6ecaf06249a45  ./auction-bench-174-60-7-0.71.opb.cnf
7bdf1541f1014d3f5047f3188713be1002747239304a3fe516d799a5984a0132  ./auction-bench-575-59-5-0.69.opb.cnf
7cc813db530cb2d6db8bad77844f797aa355669863d0e84976288d5f4ec3e4b5  ./auction-bench-705-89-5-0.44.opb.cnf
7ce7ea5d424ae3bdd8542354266994f513e12ee9778921ffa4e9dd2b574a2a0c  ./auction-bench-625-101-8-0.34.opb.cnf
7ceb89132e910a5a6004bbb2c3a512bc314fc23b80b1e9cb3f8ce32f05b7e9dd  ./auction-bench-316-121-8-0.56.opb.cnf
7d8a9ded55f65e6d6036a888be7461038d21d63ebe2e487fc69227a662c304d7  ./auction-bench-199-246-18-0.12.opb.cnf
7d99c6905cacbd01d5f948403b5a18e4d708e7a951e9ffed90a4a52bacbd9d8b  ./auction-bench-598-37-3-0.3.opb.cnf
7daa2b4f6479cf1b803ad4dd3ffe0d290b9ba0b473eabbdf7cc5cb774c10d6ed  ./auction-bench-571-102-8-0.6.opb.cnf
7dd162c3a8c3de44e31c41b60c9a1165edef79518b341a4575cbacd240f92fd8  ./auction-bench-811-172-17-0.83.opb.cnf
7ded93d895ea6aeba1b8d25ca27fa3f6483e81aa2113b994f91d6928bb630e74  ./auction-bench-682-71-7-0.85.opb.cnf
7e2b40d23df2aab4f0e6d52d4e2800a6545ed9080f4509af1eb3c016ba4c0f15  ./auction-bench-210-83-20-0.82.opb.cnf
7e2e4cfc61b4b88b330b5fb490e840dc384854372b23c17c4f08d6b722f769ee  ./auction-bench-613-70-7-0.75.opb.cnf
7e553525e4c4d3756d2e33333813329d197c5712e90894d1ab24c7aec90a6fd5  ./auction-bench-347-173-13-0.15.opb.cnf
7ef8c2b0e176a6610b4168199ae58829e88a6c6629df19821bc12fff3575d8f5  ./auction-bench-175-222-13-0.75.opb.cnf
7f34e8b06850799f01200069cc196a91956ede95596087f8d707126936c9adc5  ./auction-bench-624-111-9-0.17.opb.cnf
7f52241b221000626d66734906f2aa909ada39ea84fe2c460b076bae4974cfe3  ./auction-bench-293-72-8-0.76.opb.cnf
7f80f9d3eb98c018707f494ae0706495fe71de9f6186496ff976071ca45db7df  ./auction-bench-621-203-19-0.13.opb.cnf
7f997992801d676401bdc21787a837289d372617d6b1bb408606863b83b3ca1f  ./auction-bench-193-183-19-0.17.opb.cnf
7fb6ec8d51cbeee7b71e28ef60e893ae7829e64b7bc6944c440b4f91185519ce  ./auction-bench-78-157-8-0.1.opb.cnf
8064af5c7fc16f5f5a9b139318a28199230b17ec115f4e48c5d807459321742b  ./auction-bench-888-114-13-0.65.opb.cnf
80d49715e053749d4f4edd505266024367a22aa487dbd9deb889ac60b76f6f38  ./auction-bench-595-86-11-0.13.opb.cnf
8138735e8863807665aff8817aec15db2627441b553f999f2be260dc472830ca  ./auction-bench-582-155-8-0.26.opb.cnf
8139b3fbb2fc6fb30c1e4cfa957e65466971756d632c794f150e5d325658d9f2  ./auction-bench-34-82-6-0.75.opb.cnf
814fc9392988431c0b75e68c55345421c6347fde833ead99c7f4c40d1d277527  ./auction-bench-856-128-6-0.23.opb.cnf
82095d2b70d16b70a22e8fac6ffcb6c505230e77e0cf0757d95f8982ebb4490d  ./auction-bench-240-82-4-0.3.opb.cnf
820e2171b5f58c72aeaee8e1c73e89ea012942e09b99d506ecbaa280ea900d89  ./auction-bench-184-142-7-0.18.opb.cnf
823e194fb762a631550ff9c1b864500e9aacda4a70d262bd36047a7a88877dfc  ./auction-bench-388-143-14-0.15.opb.cnf
826b4912f0915977877adbc7ceb2fef9cbc00980e3dccea9086c0a489df9379a  ./auction-bench-920-165-19-0.14.opb.cnf
82da2658161dd3cb2ac1c423e4bc2807820ad9e7f6e73ed9a30ab487f22c34cd  ./auction-bench-142-115-17-0.86.opb.cnf
82fbfe2b313b3e6b2bbc9556c0bc305129cb82b015ac499784ebcf55c1e1f1d9  ./auction-bench-248-230-17-0.31.opb.cnf
832ad477fc48e94469e659947e374f755cc010b3bf2a31890918eceb81569016  ./auction-bench-979-80-9-0.69.opb.cnf
8396966c09df33c805c32cca5d6f23ad1602911e30d0c8af60140a80e2cd00ce  ./auction-bench-876-66-3-0.25.opb.cnf
83a3e2a82b8a6e544a73de8bdca15a6f1527a96f0603d6219859b4b76b17cc12  ./auction-bench-367-49-5-0.4.opb.cnf
83c3d222d026f55ac47a98a6bcfcb6adf6d189d719a84f1043be9a836c04fb3d  ./auction-bench-513-29-2-0.53.opb.cnf
84de59705bbaf32ad28cd8ef249305b438cec2213b89e7ac94f9d325a517ba7e  ./auction-bench-703-73-17-0.83.opb.cnf
853fe295ed0ed96ae6c63cd3ba706a1e9fa2ab9f281576c93e6251a96f6b1f09  ./auction-bench-556-90-6-0.49.opb.cnf
85556428822a34f10b556699bb8a30bb0c1372c980752ad76e6b783f981ee193  ./auction-bench-159-116-8-0.7.opb.cnf
857a03f633d3c3b2ac2b92264ec9b51dbc45296604df648df58e87bd94f9e0ec  ./auction-bench-324-127-14-0.34.opb.cnf
85def662963a4b54c8580b48ab9d087f9df418fdd3d7b786af0ed5a4284e8218  ./auction-bench-360-116-10-0.16.opb.cnf
86710fad3f1a80194c65aa39849eceff0c4350728049ace7279d66202a333cde  ./auction-bench-495-40-13-0.61.opb.cnf
86755307baf0458a9e62434081515e69c9b70aa52d31e4c60a3329c118412c6b  ./auction-bench-318-201-19-0.25.opb.cnf
86a82e668490d44e8be7a54d276c2a66492eade5abb1503bfd58d8ea4138957e  ./auction-bench-160-166-10-0.12.opb.cnf
86f0e5e041fde44e8cae38d5455982d0e7a1ebc385586b209e7c44e3121bd4bd  ./auction-bench-960-93-14-0.49.opb.cnf
876fb2ea57f7814953e5f1adec17069a181270fb5f91a68b7a22f646c48fdd94  ./auction-bench-530-108-9-0.32.opb.cnf
87afde9eefb8571849d58c1ec4292e18b56db78399691fd00f0a2957df1d0d8e  ./auction-bench-92-89-6-0.41.opb.cnf
87c546b3e558b6b61f543fb21212957e56084fa0f115527276c7ed82edb749e4  ./auction-bench-359-98-8-0.45.opb.cnf
88191a406d733108085e4ceb064c64faf6b7b2fa646713dac537300fcbbd9b9c  ./auction-bench-520-34-1-0.88.opb.cnf
885cdeb91e4a568681bf3a7dd6d980a870116e3ee71253192bd60d936db77ec0  ./auction-bench-842-37-17-0.21.opb.cnf
88e16ee8077bb6ae5124f776d405f9d4a9971ab6feb7ebe7be483be4ca10259b  ./auction-bench-4-127-16-0.74.opb.cnf
891f240a433cd31453c6de764afaf333704a7ab9f1fb6ce57f2be4edab755ddc  ./auction-bench-356-74-12-0.44.opb.cnf
8a270ae530ad487d54f7f3c79a6030946715ba3db55c85e9213349f535aa28e5  ./auction-bench-417-60-3-0.54.opb.cnf
8a8def2a23bdf8546bf8160ca69bae9b0a327d2b51a5ebd96820330e3575216e  ./auction-bench-421-130-11-0.44.opb.cnf
8aa7b72e54b39660d653da39b86bdeeec0ad6634de42da0fcd788fad746b233a  ./auction-bench-884-131-9-0.36.opb.cnf
8ab1fa070525411e534aaff01334de913aa4d6ca76a24a0218f0646d13396cc2  ./auction-bench-573-176-8-0.15.opb.cnf
8aefa9b3b3c33f23bd856ffd2e894d9d3c6c790d3355c0f9ddb281c8b11eccfd  ./auction-bench-402-33-1-0.77.opb.cnf
8b658ec64baa5560e991d90a0daf76a133089bdea60b076f8d6a8d5d4aab341b  ./auction-bench-905-40-13-0.69.opb.cnf
8b67a53a43a91345ca6fd7571ebb7d2893bd3de3567ac3f57f4f623403ce6b40  ./auction-bench-974-44-2-0.28.opb.cnf
8b8e52ceab2b9c6466395389db6eade8c2a9253e2a3cb016041c1e61791ef8b0  ./auction-bench-661-153-18-0.26.opb.cnf
8be7634526ff80589f2d00d0aa51c45884b94e6dd8e32c51f6cd6fb5abfb89c6  ./auction-bench-58-92-9-0.76.opb.cnf
8c1f13bed9934baae63147c7a7ac68bd930196d7e019c056a9062d918d3afe70  ./auction-bench-141-28-1-0.5.opb.cnf
8c4f5860622d6e54d8abdbab041ea5a1fe454b10fd0cefa2c57abf509745b6af  ./auction-bench-52-147-11-0.29.opb.cnf
8c66eb65cc8004ea32c3026ec9ab39e40696c9f5292c69c5ad7958234f8dad6b  ./auction-bench-133-161-18-0.16.opb.cnf
8c6c1158ecc0be8333d35efcb95e675486e9a7cec565b87fb2fe81163efb7561  ./auction-bench-165-153-14-0.11.opb.cnf
8c7e9842df7bf63eb381921342de15b81ee9dd513e529f40d0e95464c9eddd12  ./auction-bench-358-134-16-0.89.opb.cnf
8cc8a71b25120fdccba2d1c3605a37b0c87833e6cf7faf74278b716c21c602e6  ./auction-bench-31-11-1-0.65.opb.cnf
8ce9d32cce3b1e215ac2295ee207ce28ace69672ad8ce6514ce2d12fce12a0db  ./auction-bench-457-119-9-0.51.opb.cnf
8d0320a40be36a2c142dc638bf78aa1ce02c0be09cfbec404da9d2454609cb9b  ./auction-bench-936-108-20-0.89.opb.cnf
8d0924783292c87bf8338b2a3290e08249ec48560d1ef5e14a2cf4d429b7a0c8  ./auction-bench-645-66-2-0.25.opb.cnf
8d33e4e3770d5294ccbd2255416153552d8a1dc4d8e590ed4dd3648953c5ca2f  ./auction-bench-72-91-9-0.79.opb.cnf
8d6e00c178f134722edd28838fa4a70f85f86ff01232603d5629ec40f95d77bc  ./auction-bench-363-161-13-0.37.opb.cnf
8d86e56b277158a72ec88d5193e60a1a1e54d30b702bffed4e89b16fd5d90e16  ./auction-bench-761-77-15-0.54.opb.cnf
8d8a8f042794933aec173809f90a48fae128d7b2645ae2452809f6170a7a53e4  ./auction-bench-823-55-7-0.6.opb.cnf
8d8c93529879099d4d186cadf444feae249631c54fd819e13077cf02fb98d404  ./auction-bench-394-95-10-0.65.opb.cnf
8d9d866b903bb26b863127ebf365de1f84499c0c7d1fc6099fe1d5525226c755  ./auction-bench-344-154-11-0.34.opb.cnf
8dfabfe17c5b62132e1e52fbe8deeea64b3d5464882143af92f112e3fbcf09b8  ./auction-bench-181-18-1-0.86.opb.cnf
8e102cc05fc99daf4b2831b323d41e5d40e2bf7b0b874b15b55b3b257ba0609c  ./auction-bench-164-24-1-0.35.opb.cnf
8e20a8ee3229944ff8e5199fb7e1b8532fa0a0826581720814c4720bb69aab17  ./auction-bench-507-66-5-0.88.opb.cnf
8ec3d91543b90b95da323447133b879263d90cd0714c34e25f172ba2a369efab  ./auction-bench-615-132-14-0.16.opb.cnf
8ed590280325d38f050212118163f1a2fa4b7bd5fc84fb03d07e2f0abadad36e  ./auction-bench-942-125-15-0.7.opb.cnf
8ed60c078e95c4f89325a74f13d0df4416513fed467555ad9395fa438752e162  ./auction-bench-826-157-12-0.16.opb.cnf
8eee9bb6b173706e8cceccbf4743677f31ecc710e67ccc062ef8a56c7483ee35  ./auction-bench-503-23-2-0.25.opb.cnf
8ef4fd9bed135bb419ac4389b04db59b2a3d4ad83d3cec8bec61074cfb05067d  ./auction-bench-282-81-10-0.87.opb.cnf
8efd687dc37eb6a0eefb0ea494b9873c7a92d9a2a9e90b6b713db2c008f6d128  ./auction-bench-603-63-6-0.71.opb.cnf
8f177ef30df5fa6bca4471f9a4b3ff70d57ab683523644d61f4d313765fe1100  ./auction-bench-822-115-9-0.37.opb.cnf
90a5fd1abd2596af1bdcb87b304007dbafbe39263a4c66d7d5b0a126b62b299f  ./auction-bench-896-70-13-0.57.opb.cnf
91206955bafcd0f5d3398ceced79f4137c46768053ce51752cc8eb3b2b54b9a3  ./auction-bench-376-82-2-0.31.opb.cnf
91b94ff073448ea1b14cb88a9e53e4af2d38f90e68f8d6cf53110fc5a104cec8  ./auction-bench-21-11-1-0.45.opb.cnf
920baa93f705f8cbd73b4c88fd9fca4ae90b3d8f3bd64ec4251ac0d8b47853a2  ./auction-bench-238-63-6-0.74.opb.cnf
92286147d0e10021c33d5ff913a8c73a874d95ab0e9460bfbd8b554b4f816a98  ./auction-bench-902-13-1-0.77.opb.cnf
92fae8a39681fe3458bb0f481c1e63d65a1f5b009840a60aaae7de3422f665e6  ./auction-bench-734-200-20-0.77.opb.cnf
9359b2f498875735a3c2dcb20779724e90810f5f252b632bff6740abb5b9e811  ./auction-bench-171-120-8-0.17.opb.cnf
9457855aa6777ae69d5aa17dc17a5f8c69527a1b46e3b5b45dd525aa8047c5c9  ./auction-bench-716-163-15-0.56.opb.cnf
94601f33614198ac7d65047d8911f68eab50e018a4924f5b576c8d9d31fb0a81  ./auction-bench-754-79-4-0.28.opb.cnf
9498be15ba9b32b740903462ed6aad67623f4d9225cb43c3a27bbab35a52a6d2  ./auction-bench-957-88-7-0.89.opb.cnf
94fe875e9b4c922c6e2a528494d2fdff8d6dd79ac8d29a91275949af438192e7  ./auction-bench-931-190-14-0.45.opb.cnf
9527ef7e92fc79a2ad8d6eaaf44e42471dc5ce309a1e5a662fd5232d799baef5  ./auction-bench-642-29-1-0.42.opb.cnf
96030cc772fdbb33b49d27230b756ac67ef9f5850cf98b307c381658e914a9ca  ./auction-bench-300-51-4-0.76.opb.cnf
9628f7229994561f66f1150a77aedbf0a4aa251c3a586b41fc131e1fc3c00869  ./auction-bench-534-23-3-0.89.opb.cnf
96c30543ebaf2bd2061ea350312332597375fa14cad1dd07bab536d6f28c775d  ./auction-bench-97-74-8-0.77.opb.cnf
97fe4a8848e4c9d3f86c6c96000501818f180d64443a5f0f750ba9e404ec9cf7  ./auction-bench-185-37-3-0.5.opb.cnf
98514203e131544178eec0e1e374362694ba828913bf15731b5450e85d490814  ./auction-bench-336-59-4-0.5.opb.cnf
98b148f02ab43c15a1953e0a533bceaa4bf9577ea99b657278f614e4ce300239  ./auction-bench-634-9-1-0.59.opb.cnf
990a23681328b3caf48466961a377669f3aa271458c45adc9a68e18b9bf5d09d  ./auction-bench-547-76-6-0.54.opb.cnf
9919c93a8ed1dba693ae54bf0ceee76407bc984729e9201debee73a11b40e0a3  ./auction-bench-951-19-3-0.47.opb.cnf
99ca56fa0bf5dd7d3d646cd5def23c01b3a84a3752c43b1a2ff83bd84a63ea62  ./auction-bench-940-89-4-0.4.opb.cnf
9aa3a345126e962b019fb7a9ac8f3df30531cd030c8f095c52a7ade742c20a66  ./auction-bench-41-178-17-0.4.opb.cnf
9ad6e24bc219aa55da752e382575ee9163dab3bfaae61a2fd712da3fdb53d791  ./auction-bench-760-157-16-0.25.opb.cnf
9af74d6547e58d6d24dcf00218b7c5909e73ce4a7d129f181fc0ca1745778f45  ./auction-bench-580-146-8-0.5.opb.cnf
9b14f3d7699b513e1f2c4d70f54c72316bff981fe83f2809e57030eb13056d65  ./auction-bench-473-43-4-0.85.opb.cnf
9b7b0a0df96e854624b85390feeb57f8e3795068ca215db349116fff44455789  ./auction-bench-671-94-9-0.26.opb.cnf
9bbf6a5e1acb5627566b10c4c10fa404ea2bf2d737f445b327e7658d8b39ac57  ./auction-bench-879-243-18-0.31.opb.cnf
9c0036fa0ed73be610c47d03f05457549bfe8504edb446cc49d16cd3ce2824b2  ./auction-bench-213-53-2-0.15.opb.cnf
9c035ca7fa14ecb3b07f70c20f115094859042393449f9e96027c33a342bf291  ./auction-bench-56-70-7-0.47.opb.cnf
9c1a3c166ae56ef3ba7df601500d67ecd040a8dfe0c61995fb898cbaf82ff005  ./auction-bench-981-108-8-0.57.opb.cnf
9c756bf13a8aca9fb688bca2c7726948719466a2f3c64253394089f898902e60  ./auction-bench-692-135-12-0.48.opb.cnf
9cc77f9bedbf9bdfa2f70c2e5ab1264c1bd158040beb5f64f4eefef3ea04eef9  ./auction-bench-35-159-13-0.41.opb.cnf
9dfbda12686d82fe9d33214ccbb44b052a7468240036caf07a6529e2c74d1541  ./auction-bench-765-203-19-0.17.opb.cnf
9e7e3f48347f4326c3eb49535b38a619454ff70a0735abce018b338633227676  ./auction-bench-348-98-18-0.1.opb.cnf
9ec192b623a2e7439a32715fe61ba844e25b7825b09d0df2e88a5081815b7f20  ./auction-bench-186-112-13-0.72.opb.cnf
9f6646e449d18c12e66c676d9d844f8bb60d4f0a445033ce74198fa62aefb246  ./auction-bench-371-26-2-0.21.opb.cnf
9fa0c250d91bbaa689af5cc9caa651bd3b8873f0954f33f7011d957890b787d7  ./auction-bench-75-16-2-0.79.opb.cnf
a06ec3fedea8fe15987dc8522beb04e8b09cb875428bff86e4dabb1f7cad2bba  ./auction-bench-98-118-8-0.35.opb.cnf
a09353de088a4faacf7ff335f22ce3603ffd38677e3c51084b075cad2e204c23  ./auction-bench-349-146-8-0.83.opb.cnf
a0fbd6b627f6f0e48c80177a09d8c41cd1e95d17b4809ee24570f050976d5568  ./auction-bench-451-188-17-0.44.opb.cnf
a1881d71d5e71e30fad1dc618febdf36af2a3ba02dd5a294b34092e822cf5465  ./auction-bench-99-100-13-0.6.opb.cnf
a1f8dde4c31fdbacf15dfc77be7db4114131d0a7a7a4095dba690b20d18b9c60  ./auction-bench-5-73-3-0.53.opb.cnf
a228b55c9e87cc31a560b593344877756bc620c71bf494fabfdb83b8a104972e  ./auction-bench-304-155-9-0.14.opb.cnf
a2567866967593bfb66e9d90f6a1c85704fa004232b06feb1a20c46d5eec6fb4  ./auction-bench-696-76-9-0.85.opb.cnf
a2c65f54d1e19cf79f1209e05bef17f4ac9e2f7dc56f992fac14aaa5a42ad27e  ./auction-bench-660-137-12-0.43.opb.cnf
a3225d317d33f6587a31e3e2eb0be56a40ed47026e788001ee260b3c930762ba  ./auction-bench-743-17-1-0.64.opb.cnf
a33c9fea7e60967f6c5e21b5f9da56701e694548001c65a7d4de7c311ab7282b  ./auction-bench-977-93-10-0.83.opb.cnf
a379747ecaf6b2d2530b540107c3c1a8d36230ab48d0f8521cc6f2a95caa6f40  ./auction-bench-710-91-7-0.52.opb.cnf
a38244b5c1ad8c2d75bc038a02f8c91e79977c88b2a7e6a88345231e1c2134de  ./auction-bench-628-50-17-0.57.opb.cnf
a38c338b0f70edfc037b956cdc18d2913152e247024d3adf9c1a1e5c236b8f4c  ./auction-bench-136-166-16-0.45.opb.cnf
a42838f63334f02a90d24dd23d6dc0c3db45a25148ac78085e4604cd6a637035  ./auction-bench-899-91-10-0.84.opb.cnf
a46a8a253a9e8d712e16fb468e4d1de7d7a00e7d50bcf0593af1ecb99c815ab3  ./auction-bench-264-114-12-0.55.opb.cnf
a4b2d5bf0258e904934dd416841243d7c975a70595f5a3c3bde361c8aec62594  ./auction-bench-820-80-17-0.18.opb.cnf
a4c748d446365d84e485f21eeba8a9c022d20ad487a4e681b431f41d99591810  ./auction-bench-737-63-3-0.66.opb.cnf
a543e101850636bc55d9b79b2819e7e8ec0df66bb37af5e5c75ce28bcddd2fc7  ./auction-bench-197-40-2-0.28.opb.cnf
a565b24a5de5b803c1cd01874e36099fb6692a66d3225fc9fd8f35483fe829d8  ./auction-bench-491-51-4-0.75.opb.cnf
a5a097fc242580c588ac4cea156c0b4dff8ef2e6dfdedb136e57aaf1b6f5c7eb  ./auction-bench-372-81-7-0.54.opb.cnf
a65db85c00c52153ae287de8b8d58bd8ef129d5cf023b27fe864b281fb263815  ./auction-bench-227-112-10-0.34.opb.cnf
a676dfee554e54dde8fbc3901808bf601f622b8d463385e200e4ddc5e5c4b950  ./auction-bench-694-133-16-0.7.opb.cnf
a67ef643a2422b5cebd1f224de96e9a068a341ce8273555cd2b3a13b7dd60d7e  ./auction-bench-187-115-10-0.54.opb.cnf
a6c131bc379ea4456a0ec0d9a4bf29e12f35be72b06c4bf71138396f2f189214  ./auction-bench-770-41-2-0.54.opb.cnf
a70197d527137248bf45989d0b08f489d688cf6c1d7604e5345c7c81d3bc5f2b  ./auction-bench-70-96-5-0.55.opb.cnf
a76b26a16365e612c193ee1deafc5636a8a000155c40d98475d3fc429b5f4993  ./auction-bench-198-80-17-0.33.opb.cnf
a78ef3b3d78b6a590e5629aa65e83f181d1705d4df805a1dff76c45cf536f959  ./auction-bench-207-118-11-0.33.opb.cnf
a7b117e6855b222705e8f2a7c86fe9dd8f7a066261addfaedc411a65435a91fd  ./auction-bench-541-87-5-0.47.opb.cnf
a7d4e83cbb1ccad90da02371c5c7fa5a26321f10cc15329a5206bb5cac98dbec  ./auction-bench-506-144-11-0.37.opb.cnf
a832513c47c4a40294b3ff80ad4162a1970dd7344cbe284eb4c1d5f375ba9438  ./auction-bench-921-150-11-0.35.opb.cnf
a8dad50a4e8c70702bf4d278c69babe9e8d3080ff6b3c0a502e7b1f71163ab4a  ./auction-bench-437-14-3-0.71.opb.cnf
a8e7eef3f094947d3bce7bb9aac9d22652d59cf207014102c0c3d09c7f5157de  ./auction-bench-893-97-13-0.24.opb.cnf
a959415f080ea6bc2b05596063e27b5ee89e93aadc4caca1d0c5b0eb9a5b3481  ./auction-bench-954-93-18-0.63.opb.cnf
a981f320c3ea530de700f944257e0e496431169f054b186df9d4d57288e83f04  ./auction-bench-189-72-4-0.64.opb.cnf
a9ab7f074e302cbefbecef341ee18a1e6b2751bbb02dce7b413dde6aaddaa587  ./auction-bench-845-106-14-0.77.opb.cnf
aa04bc9240a674be5015b8d478bbeaa08efb801aec8b8af8da60aa0108562ab3  ./auction-bench-988-198-14-0.72.opb.cnf
aa179aa57c3419c9e2865fea2eef54663c061d068d7f4ddf9617143e6b6a7e55  ./auction-bench-460-142-11-0.52.opb.cnf
aa2201c8b5fc9b7d03f790230fb7cc5589042a687d3d500e4f13061ca45c580c  ./auction-bench-611-60-3-0.28.opb.cnf
aa23bbfd1aac5f13499ee761035f1cc9939271c387abcb156a4484c869317e00  ./auction-bench-276-55-2-0.41.opb.cnf
aa300f92b60a32946f1e5922b3ab33e218970e33183ce75e65623f0607473918  ./auction-bench-484-29-3-0.79.opb.cnf
aa6fd4883b520eff3002c0f2c1e96d8431b864c914f43380362eabee1c3ba026  ./auction-bench-863-102-13-0.13.opb.cnf
aa790a646755bf3a1692e527912dfeefe2668840d41a16ab327bf435eacf29aa  ./auction-bench-469-81-15-0.14.opb.cnf
aa8f41d85a2eb8f681321174f3d8d4b8dea0071de43d0cc75ff94239f3bb7b65  ./auction-bench-83-49-2-0.9.opb.cnf
aac7139b421e6630fded47379e289480e3d1c0cf6e98b06fcd0151c1c3c44279  ./auction-bench-204-9-1-0.25.opb.cnf
aaca72658d488f15aefd0c36ee8a7f68eb5486c7aeeee747f5ec1ab6eefa5feb  ./auction-bench-736-135-15-0.12.opb.cnf
ab279737b4b8b0d5400eec5dcd037ff4048974218a27ef959a59ec09b61f09e3  ./auction-bench-327-59-3-0.51.opb.cnf
ab4f6f56ac32f70a094a9dad676085bff6f3609cae39b870701992ca7f18339d  ./auction-bench-733-105-14-0.15.opb.cnf
abb309e06209c2bf4e723d9388b44d22e8661b8f47f29a13a3a186281277f15b  ./auction-bench-972-79-14-0.41.opb.cnf
abcaa95e88e1881fc2f68170d9c760a0973ce53edcc5cef295cfb6887df1b822  ./auction-bench-817-133-18-0.68.opb.cnf
abd09607745411e24c9fd5b2197983cb8834bcb2dd7e56c97d91456ef8582ff1  ./auction-bench-494-63-5-0.48.opb.cnf
ac0be0f70c07dda8f5c338b67c6a22c91181989476c26f75dbc8e91c4b7369e9  ./auction-bench-233-44-5-0.86.opb.cnf
ac66b9d1ab39e284955c0cf2f71234473a5315db4a9381ea8401b816f8a1c605  ./auction-bench-279-32-1-0.89.opb.cnf
ac6f4187c8500352cc3d21ec50384359fc806cc1c7f1e8671cd98fd0b5142104  ./auction-bench-549-210-19-0.17.opb.cnf
ac76e07c214228d2c9c1a922a24119c54c45e83af4f6b2b46eb4ab0874981f75  ./auction-bench-829-66-4-0.62.opb.cnf
ac804d254731dc5c598c7c78ec17c6d8f0891750a56ce6ee496d89551b19796e  ./auction-bench-229-115-11-0.34.opb.cnf
acd1c3fbe2d6d6e2a7e72724ff527e59454fbbe59260b3eedaf454090cdd7b28  ./auction-bench-538-51-4-0.38.opb.cnf
acf75c2b9e1f148a7162ffee9c1652d6f42e00a46c3f5bbb8f0d74e3419f29e1  ./auction-bench-14-120-16-0.81.opb.cnf
ad3ce7efaec7a214e4e617bade6ef55c983711a26c362b917e5c1b59fa409a58  ./auction-bench-37-80-14-0.82.opb.cnf
ae1c61378895129cae4d7c0c4e252ddaf9b33e66bff41c1e04f22b7ba25bf8b8  ./auction-bench-68-29-2-0.49.opb.cnf
ae304836905f45678e9dcb97fda7f9452911d1d7fcfba9e6e863806db0848f85  ./auction-bench-268-193-17-0.42.opb.cnf
ae4ddf0eac18bf431be11c23e8839ca4098094d876f75ccbc6a8b4045dc989b8  ./auction-bench-798-107-6-0.44.opb.cnf
ae742d092199972b47c03a7c846c5ce33846e25764313c576473371b67d069f1  ./auction-bench-750-224-15-0.11.opb.cnf
ae7b85614d57dc7a0d991b412d34edaaf367c51db62da730e236c260a12d03d7  ./auction-bench-208-71-7-0.66.opb.cnf
aeb41c3550960e8bb32d72a88bef4c391d38957f23f72249046db7b32b2065f9  ./auction-bench-966-138-17-0.66.opb.cnf
aeb9a181016044254367d42ad85dab2fdddb0e1d7407211d0a0c1b609e0e0a00  ./auction-bench-239-51-19-0.38.opb.cnf
aec4e40fda8468de9b97fb0f564e76c1ef74824c5b0e2c44546f80beea6e30fc  ./auction-bench-353-70-8-0.74.opb.cnf
aed2dfa00c94729744ba8583b6baca1db4837bd96248d13250ad6eb2132ec5e2  ./auction-bench-512-43-1-0.58.opb.cnf
af0c9becf10a4eec0a56c73a4901d68f4fa42af649f8442729ffb6b3bdeb2767  ./auction-bench-832-49-7-0.2.opb.cnf
af206ed3268215e1a314bdee6e5ee3e62aa2841efe22b6d042fafa7410732ea6  ./auction-bench-343-12-1-0.54.opb.cnf
af3a1c384e9248fb822a7186bb83ae56ea6824f94ca9736dc7f7f1feb0268703  ./auction-bench-275-165-17-0.32.opb.cnf
af3d8391d29eed76cf74d69ef09907b82e576558657f019ac80f36de4905176a  ./auction-bench-448-31-1-0.52.opb.cnf
af9f58328d88e0fdd5b39521fc9874eef29357c570adb72960e95ee131010814  ./auction-bench-989-86-8-0.63.opb.cnf
afb5424addd18cc61baf44c1e0a472ca73c4bc23cb877b08cf1e14821ae98e8b  ./auction-bench-103-150-14-0.36.opb.cnf
b02c6feac9a33b61ec837acaebea0299f1917b1bcf59363daf27d33aa817f9eb  ./auction-bench-490-93-11-0.21.opb.cnf
b063f93e09b3fd37ce2d39a10805b7b2f3dba44c602584133085d0b8b0524b59  ./auction-bench-987-5-1-0.84.opb.cnf
b0cb5b344420fc7c5785c4d39e558c4121574f0bc7344280c0868082fca9215f  ./auction-bench-73-114-10-0.49.opb.cnf
b11b70c28ae14e895189679b1d3d184adedde36cec520aace9b26ec864f94ad0  ./auction-bench-237-168-10-0.42.opb.cnf
b155f13fbe227c752ed9ec658524d0a52dd6fa5e2b7b4811cbc13ac7f817e434  ./auction-bench-637-129-11-0.67.opb.cnf
b168a3fdf7c0f049dfdb5a7dd4e6fd45fe228693415a08fce45ffdef72938918  ./auction-bench-479-65-4-0.76.opb.cnf
b18359da240d94ddffe9b0979fb4307314286aea0222a8ce012155d41e3a55c5  ./auction-bench-560-74-7-0.74.opb.cnf
b1a00b21e1c3e12a819457fe63004e39c646ff87fa43e65ddf5ae758256c64c8  ./auction-bench-218-22-3-0.73.opb.cnf
b1d8b398b87509f73c8f3ec25d552a071e34a9d1011cc88faeefd9fa1a6bd559  ./auction-bench-918-49-4-0.65.opb.cnf
b221065570d33900e71a91d8889f70d10bb6ececca19934b327b95545546889b  ./auction-bench-805-221-20-0.13.opb.cnf
b28c93505f952d8dc27c8dea855e3f9604fde4ad90ece05b9ab99f9abe2f1254  ./auction-bench-866-51-3-0.4.opb.cnf
b29a2dc40c09d8465accccb240434013f85c3ec133faa45995ad3bf30c1b933f  ./auction-bench-166-181-19-0.12.opb.cnf
b3556e61822b8ac46e237162c678a38d2b06b32174884d6f10f6ec76483ac365  ./auction-bench-251-75-7-0.77.opb.cnf
b430d5037e3c3c705e036557865bcaed1d672682d4ce2eea357bed581c51d24a  ./auction-bench-306-14-2-0.68.opb.cnf
b45b2b39986066e068f378a1468d6e54f74bbbb72a2949d7b849a70d5b2c65e6  ./auction-bench-704-92-6-0.46.opb.cnf
b4757cb9197ccc7029ffa90f23f3a530219b4010ee671301d952a68745b70e84  ./auction-bench-795-193-11-0.23.opb.cnf
b4dba0df988a1504c99e475509b67ddae3290b2b39702af704d62a77053789c2  ./auction-bench-390-17-1-0.46.opb.cnf
b4e4f9129e44f9b333f5343d42534da6c6d8beb9ee53a6a9c3ba81c31dc42b5f  ./auction-bench-945-108-12-0.5.opb.cnf
b54bd024350ef8b52392b444df893254461afab95423a5bd68f003fdc4fbe530  ./auction-bench-929-81-13-0.36.opb.cnf
b5515c017e0e4db07f8466970db05d34f5ddc9e45a19108819c4c8ff55648b33  ./auction-bench-42-72-13-0.64.opb.cnf
b56f838c6b575723aad3de6e9797278201c3019f0ed9cf1557e7b9f02f45b4de  ./auction-bench-3-151-15-0.61.opb.cnf
b5d6561820f1aa621f2ccf266c2636b458af92e4d98f7b888c5afc11347c5acf  ./auction-bench-786-118-16-0.79.opb.cnf
b5e3a57adbe72f28d9bd363a8f89af0fc8d00e14f49b6a9fc6b5a9cdd0fb8cf7  ./auction-bench-331-50-3-0.77.opb.cnf
b6592a0c0e47f503307c07c9c70bfbc0d051aaf6952c434ca0b1318c5c3bebad  ./auction-bench-15-121-10-0.59.opb.cnf
b67612f2cd16f1ce31ae6dd0db586a48efc0bb17fe676289080c5219704734bc  ./auction-bench-607-99-6-0.68.opb.cnf
b695f8c1551ae925a6d55aa32b9ef3b5d5980050313b1a4a7b11e1747ff88030  ./auction-bench-253-48-2-0.4.opb.cnf
b6cd8b54a002d4418c98fdbaeb5548ddbde6a167bfbec6a59f599ba55a584579  ./auction-bench-432-222-14-0.17.opb.cnf
b6db1678748f6a7b7346f08fcba0c996ae85097086df9725e2ae768416f07063  ./auction-bench-206-70-6-0.81.opb.cnf
b70e654d51f980e62d083d4352907f7783911f5e3bf8ef76b191ba45f645b5a0  ./auction-bench-434-113-6-0.18.opb.cnf
b7222774256d132541110135b10693a93363b4e8597d3a5cd62380e0c58f9ba1  ./auction-bench-588-156-18-0.38.opb.cnf
b74844d4dd5911ac99ed0c9d62e205fb665b7b9ce46dc01381abcc8658ec55c3  ./auction-bench-766-81-6-0.41.opb.cnf
b795df568da60d1dc5893e16b1efee33a92c5d004f98b6d8899073f3722a074e  ./auction-bench-48-88-10-0.6.opb.cnf
b7d38e2d255a2cac94e6734342267aee0ac7667350854cd5eddf5b9858744f72  ./auction-bench-202-98-7-0.61.opb.cnf
b831a3548ec9edfbdbac309a56b9d7874dc829659eefa542c2c2ac474a695f2d  ./auction-bench-335-91-18-0.14.opb.cnf
b8bada3c4af1ac06592da4b20eb35f93ca386d9cf10e90f912a3fedf665a445e  ./auction-bench-518-86-6-0.64.opb.cnf
b8d9c26de0d421efed689f986726709fcada3bc121547b11fbcf4cf0700203a7  ./auction-bench-183-88-14-0.2.opb.cnf
b90a3b9b89e7b67c87af0106db18a546e53e50c5075fb013177cee725f9cc127  ./auction-bench-119-127-18-0.75.opb.cnf
b96534c9d8bc345d19df8256ecbd6eae49125847017f9a61c19f79b35cfd93ce  ./auction-bench-96-48-5-0.8.opb.cnf
b9a4c37e893d5171e1c0b58102f8fbfc531cb12a9a3289703b70a1c4f837aa6f  ./auction-bench-923-56-12-0.9.opb.cnf
ba0648487c9bad9cfede01cc3d4455bfbb0710d646d2c5c47e6048e327fa4422  ./auction-bench-715-42-1-0.89.opb.cnf
ba0b8c940849cb90d3e98dc20bd49eab02dc1cbde9496762f1659637670ee528  ./auction-bench-364-123-16-0.8.opb.cnf
ba5afbed9fcef4011e96f51834b12b5bab5dc6b5da2255576f0a28858541927b  ./auction-bench-851-134-15-0.24.opb.cnf
ba6ddcf0674d471f57332c4862bc188ab47198167b758596fb8e0e9440840903  ./auction-bench-325-88-6-0.4.opb.cnf
ba9ce9b3a8f51d4f192ee50967e61771e2142cf48cad3ca5dffd4e2bc95d0fbb  ./auction-bench-818-57-3-0.36.opb.cnf
bab7f0fe6fd01ef33672a45b445a582259ce190341de3fefae974fcfe8154396  ./auction-bench-970-60-5-0.53.opb.cnf
badd231cb1ccbeffda0f2bfa5f0421656dcb8d598bf7f82226514fcbd5713324  ./auction-bench-201-107-4-0.87.opb.cnf
bae2f903ea5e185ce4454f807bf1dd824dd5aa9f9755d9ed4355730169e7b59c  ./auction-bench-986-130-10-0.5.opb.cnf
baef423e333a212a0825d73e847be709b07cc6ea0b4e969bec7e222286ba595a  ./auction-bench-436-39-2-0.84.opb.cnf
bb4963fac8f493c5fdf4e495a02ef0fc2c7bacea12e3ff0e7e39fd192d16d94e  ./auction-bench-323-40-3-0.88.opb.cnf
bb5b2de68eee447e0669fcd68cfabc1d6259bde4df2d5df887b56b7cdf1ecbcf  ./auction-bench-828-79-9-0.14.opb.cnf
bb6328c91ff28d403f07df1796ba0048aac432695cb1abfd7aa166098ee27ffb  ./auction-bench-403-99-7-0.8.opb.cnf
bbac4d141c1a1d905c0f7f106dc76345e89ff8e4f560632cb716d91dbae58bcf  ./auction-bench-676-27-3-0.89.opb.cnf
bcc5da68a94f55ddd36b2902c8c64d1acf3293841674eaa98bd582d28e42759d  ./auction-bench-74-118-13-0.58.opb.cnf
bccea419fd8a17725921e8d9a32e01e88dafeba278136fe52b9e4c6d6622431b  ./auction-bench-691-127-16-0.75.opb.cnf
bcd7b201ae4adb6620f5c578623a0f9119f8cd5624b1bb6211d0a596ad07b7d5  ./auction-bench-252-130-9-0.41.opb.cnf
bcdd0aa9c6b0a48afbb4855519ea81cd33117905bce5cc848636d5364f4ffe2c  ./auction-bench-839-49-3-0.79.opb.cnf
bd46140820cf96244cbc601970fd80b35e6c13e2804b99362a7fa8c9232d22f7  ./auction-bench-81-62-3-0.55.opb.cnf
bd49f14ca1d000c8b0f72bb421b8eb5360d1107b6afabc639f49aea4a1dd749a  ./auction-bench-698-68-6-0.8.opb.cnf
bdc530535edd4746418d41237d9c8767d29a8f66e9f57e2e9833bf2a227bc79a  ./auction-bench-697-51-3-0.29.opb.cnf
be5d998fde0fbcaf7d508fc831834fe68e0ecba2e0b8cb83fb4e812330ee927b  ./auction-bench-447-67-2-0.25.opb.cnf
be9efe45eb7dd2372bf7e618f5a3defe9979c887a4b9b8be63dd588957010ba0  ./auction-bench-2-85-8-0.5.opb.cnf
bec386c8b446ff8a558e4daaa8e39d0a3c2c0a8db10e2a10997f5b8499b4dda9  ./auction-bench-689-61-12-0.56.opb.cnf
bee3413759edabf4186a0ee3b06de3ec76e6ac8cf1ca06204fbd026b9d43e637  ./auction-bench-118-13-1-0.62.opb.cnf
bee95bd1a3387ac81174f40ef88f2093528c1b3d4d2784beff02e56f217774d0  ./auction-bench-801-45-1-0.34.opb.cnf
bf60a03f681c7ab3d17d910ed8b3a97c2d495691795f6825e8b214b4d01d0dc2  ./auction-bench-648-93-4-0.55.opb.cnf
c020e3d07a845a056b03c4cc79682f5620da5f2e50a89a544d42ca290f9afb4f  ./auction-bench-269-106-11-0.67.opb.cnf
c08d869df47b76ed856dcfba4047c65584415a8c71cb88c9e93d058a69cbdaf0  ./auction-bench-533-188-13-0.24.opb.cnf
c0acc475c6dc529cdbb66c702478669b03810840d868dc5564c3650af9ac81f2  ./auction-bench-112-193-19-0.24.opb.cnf
c129ca2593a07c1660667b119cbfa1095166668348a0af9930af2c8f59824e58  ./auction-bench-532-85-6-0.21.opb.cnf
c1725910b5f57a057afa76b665ff31d7f3aef8ef6107caf85f564b02083a71b0  ./auction-bench-339-73-11-0.83.opb.cnf
c18d36a9a584ddebe3550d6dcd94559ee7e157b6edbc33f7dd74955a23e4d197  ./auction-bench-459-66-3-0.24.opb.cnf
c1cd5f7e148236e6fa4e5c9f1c096c4a8fc559c32c3fab49acca36f0666cc741  ./auction-bench-43-116-16-0.49.opb.cnf
c1f50009d73f018f3482671000809332e8b78726cfd1aef956822c24cbc6c29a  ./auction-bench-980-34-1-0.59.opb.cnf
c22647bcb45d25fb4bc1310c8fdfebeca7362422ed5d247956f3f5cfa876d0b2  ./auction-bench-799-189-20-0.75.opb.cnf
c258ac3691a6314ed4df6c28178ea2f88c0bd1f8e787857cc96f95ec8fdca41e  ./auction-bench-917-90-8-0.56.opb.cnf
c282d99c99d7673d79a43c732e662abf22b5ec1020aac2d38f61e8fc1c3dcd70  ./auction-bench-670-32-9-0.79.opb.cnf
c2a3515ca87c81f36ab4884796773815ff0b5c3a3459451aa6fdadedf354cb65  ./auction-bench-19-113-17-0.78.opb.cnf
c2f7e9a4f0a94ffb9454b02ba5d0683b828b086b67760bd8a756cbf8c036f9b9  ./auction-bench-824-6-1-0.13.opb.cnf
c312f744d8bcb134fef8df22b49e4a7ce9aa2748771d26b0329c862bf9f2a8fc  ./auction-bench-775-131-8-0.74.opb.cnf
c31401178b4a5f24fffefd338bd6c47935b1ea900371474c7077bfd1d8760d54  ./auction-bench-482-83-9-0.85.opb.cnf
c31ceb711972b29c90ac5349982d806e7ce64e707663f2b4b68ed4000af9a3aa  ./auction-bench-719-91-6-0.14.opb.cnf
c341e795097176bd6d9962779192df208440a2a5867e27b54c0f47afb3aaae21  ./auction-bench-825-153-14-0.39.opb.cnf
c34c2082491004452f7abc44c9e230795f26117fdbcbfbef0f636d22225b129c  ./auction-bench-291-70-4-0.55.opb.cnf
c384cbab94ff0148856e44cfdd1a919b7fed68746d121ce68a8ad5470cd7a311  ./auction-bench-214-46-4-0.59.opb.cnf
c38567f240fc19c2a0ca6ff110a2a40b14e75235f9c345fc2c50a4d53ad59318  ./auction-bench-788-58-4-0.47.opb.cnf
c4604af93f1a760af25a2828125e6ad2600c09dd1761fbf3af7e6e2d73b891b5  ./auction-bench-281-74-4-0.43.opb.cnf
c46601f1f41cc7920cc071ca9277e890a4b79e33cff38b7515624f5b502368fe  ./auction-bench-102-74-6-0.89.opb.cnf
c4739853228cd9b486892b968ac16098f21bc309dcb0ce8ba7afca8a590b01c8  ./auction-bench-172-78-7-0.66.opb.cnf
c4797bb345aea3814e924db4373914d4155b6c57ba9205a3291d1167014f9462  ./auction-bench-755-90-7-0.54.opb.cnf
c47c3e5869e38c8c5e0d253fc552b88410f26b63364189e15f71043fa91c6eb8  ./auction-bench-203-47-3-0.47.opb.cnf
c644287cd64effeacc28bc25491e849dd76d7aa9740fc96b56f476c4d41ff991  ./auction-bench-836-45-5-0.72.opb.cnf
c64961823c3d1163a872aa1dfecb3ace08a2a7b66500a4cfcf71c686ee3cea7c  ./auction-bench-345-98-14-0.45.opb.cnf
c6891180a0bbdff8a350ad28fd5c31cf9f73966e93770b10d99ad5aca4ed16be  ./auction-bench-161-62-2-0.19.opb.cnf
c68d92c6cb190fc97da839c04f03036b4d04126b6e82a62ade0ec65635abd4c1  ./auction-bench-504-184-15-0.21.opb.cnf
c69cc0b5e2167caeb4a3dd00636520ef1efd92d150faf0701fde133b97db2033  ./auction-bench-686-88-13-0.77.opb.cnf
c74ff8d6a5abc7b2bad73ae01d055fde6f6fce7586d0423f86055d23ddd1d114  ./auction-bench-626-55-19-0.49.opb.cnf
c762c16ac8375064f69e538895c9c95a3149f320f8d80571a01fcd25ce35dd95  ./auction-bench-537-65-10-0.32.opb.cnf
c80d2ff1107f8e472ac43d2ed62a33afbbf27198ff27c2e7b78eba0165aa59b8  ./auction-bench-420-188-14-0.24.opb.cnf
c80e5da511f3a0ba4fa07b31d558f370c749498e9d558559d88665f0e7bf3051  ./auction-bench-135-107-14-0.62.opb.cnf
c80fcd2d0c3f73b64b9e9c5ae1acb21d02bb9796627849835d14c6486d993650  ./auction-bench-881-42-1-0.5.opb.cnf
c82b987f90303b83582d14563dae2b1716792e593c069e3bee4021794796bfdb  ./auction-bench-722-150-18-0.47.opb.cnf
c83b7e63354f4530be8ee53f79db6b003ded1723a66e17f137ba93d11b724eb8  ./auction-bench-509-36-5-0.24.opb.cnf
c9037e92d41d5110e8aed9fda43f007ed38b276beacf756e51bad74129a980b9  ./auction-bench-454-113-11-0.67.opb.cnf
c939852ed47c765b21a6b6693101379665ab461dda7226c34623cf003cd1f2a3  ./auction-bench-157-183-14-0.19.opb.cnf
c9601c76b9b3715dab0964279191f0a54b05e7ca5f374d82ead74412bf17aa96  ./auction-bench-352-115-11-0.57.opb.cnf
c9cc9192ff39901f81100b3fd57c265d80cbbbd593c85cf2e84aaa80aca0a292  ./auction-bench-673-85-10-0.89.opb.cnf
c9dc62d340f0c0b77407571c01df29cb94043e98e759d78fa827c9e129eb941f  ./auction-bench-151-174-13-0.24.opb.cnf
ca4571cd4493778d98edeb7eb43f16dcb7cc2eeb813f743d331cecfc1c665e30  ./auction-bench-959-59-4-0.71.opb.cnf
ca723308e11b8ac96958dfb33994fc46bcf3a3917e71d0e919cd5854d2a93567  ./auction-bench-952-82-9-0.87.opb.cnf
cb06e7879c83082152b599d233a95f6e74e841099b01385fdc84db229a5de876  ./auction-bench-409-75-14-0.42.opb.cnf
cb804f26ce88cc66cda021df8530fe84eb327fd1cee185034b11e9a24b8edd6c  ./auction-bench-632-14-1-0.41.opb.cnf
cbad84512266cb0ade07bb353b047586ce9c87fd6a8d08e81b529c1b9236ade7  ./auction-bench-998-68-8-0.24.opb.cnf
cbbc0f79b77598aec54aabc25d3ac5cc91d4c68a2168584114ab7add6581c377  ./auction-bench-922-118-15-0.68.opb.cnf
cbbe7b71e445a4743efd56347ef8487bd2bb2df5fea0e78b4277a0436f674455  ./auction-bench-27-108-15-0.2.opb.cnf
cd2bb3f6b42b2e2dee5bcc9a4b8f2427c90c2775f19c59074c62b5702469bcc3  ./auction-bench-830-126-10-0.85.opb.cnf
cd41a4bbed94a0ad260d63dad77ce9ae5ccd145bedc548b389d781891825c620  ./auction-bench-263-123-16-0.21.opb.cnf
cdbf4406cf7e5127146a1882141be0f0458a68cc24263d5ef3e4f831b2bb7b77  ./auction-bench-442-101-9-0.37.opb.cnf
cdcfc19b06f533a0ac38d3c48b5ec41ea8c4f9fb9eed6d589f57f910be3040b1  ./auction-bench-445-92-10-0.72.opb.cnf
ce1654c36995fb69194558ae55999cebb9066fa26b7caa398728faa78e68b927  ./auction-bench-557-73-3-0.31.opb.cnf
ce297e512ece75358713b64d14a18f87bb2fc8fd06b04cb3c171b6897523ed9d  ./auction-bench-604-50-5-0.41.opb.cnf
ce5849c27ea1bc4d064bc810d0187841b9c4e352cf780f724674c2543eb1b1ad  ./auction-bench-261-51-2-0.67.opb.cnf
ce8651fcb8bd30352590ea071df1e15eeff99cecd4922fd3c3fe76fb9659143e  ./auction-bench-309-239-20-0.14.opb.cnf
cea1667e74204b1be7030375b31f93c2863a82bd83a9d2ad6ab771dc6154bb17  ./auction-bench-561-54-6-0.87.opb.cnf
cee54c91c4a3ac5ae2a86bc5569051be2837fc1df343d4105d1553443381492f  ./auction-bench-351-70-12-0.21.opb.cnf
cf1ad139d4d66b98630b698ef3a0039e60620005ab44b6365057b5b116eeef2a  ./auction-bench-908-126-9-0.16.opb.cnf
cf5f00a72fc36bf5f931c05e1349c638b3a7f285f9019b9a80de41e206cd3523  ./auction-bench-708-106-4-0.15.opb.cnf
cf87e84885a3f82ac8634df2684d5cb44e4e244830c7ee75b42c2d5d5537c7f3  ./auction-bench-784-76-4-0.36.opb.cnf
cfb4ee9b1a234255d1343d70a5601aab70137895b27061e1bfa1e4dd304c700e  ./auction-bench-846-37-1-0.83.opb.cnf
cfeb0727279a1f519ac5a8e35bd85453a967cdbbfdede9121b3d2224f83d1cb7  ./auction-bench-94-191-14-0.2.opb.cnf
d041e5382842f22db650a96dabe048cf95fc172210e415dd4d8d76f8ebd659be  ./auction-bench-903-32-1-0.43.opb.cnf
d0969d5c1c27bd17690ad5e735d51d2da370f810e7357c1a7581586c2a91db69  ./auction-bench-156-190-19-0.4.opb.cnf
d18469cac107789feeda4a7993c43ef62f0e3f0b1b91ae29d03c894a066d2f79  ./auction-bench-496-139-12-0.23.opb.cnf
d219b1759ff1ef3bce481402142940ae56eca27faf45d62f9197d00dfd486222  ./auction-bench-80-86-9-0.82.opb.cnf
d2cf868088c6433a7d98e60143ed055c5a822795797aa2b743d2351ee5b1fc45  ./auction-bench-610-13-1-0.35.opb.cnf
d2dc2cd9eeec5097213c7923de2c164223ca7d1ade8145c0da525823669a5d03  ./auction-bench-501-18-2-0.66.opb.cnf
d3715e9124c0eb71ceec20d091af8c0bec42a705c38ffb056c25c6c5bb7f1e49  ./auction-bench-883-9-1-0.16.opb.cnf
d3e542ef1f7475bb5657a04762033b794977175a8fcb0c24a17720965442984b  ./auction-bench-816-86-14-0.41.opb.cnf
d40040c57b1366eff5251e37847a7722d112ef6736e1ee5d889bb864ef2777b7  ./auction-bench-946-29-1-0.4.opb.cnf
d4326600a5513880c94ddcc0b9b7fb8a17e8e5278c991cb41adca97a017a62dc  ./auction-bench-115-103-9-0.47.opb.cnf
d46d3d923f394d7879c317d230db97f25b7eb2252e93b30db1dc098f8ad3176c  ./auction-bench-405-184-11-0.32.opb.cnf
d495f84ab4a148bbcfcc0f0545053871f2d93d4a2169e8a068e79b223432d5bd  ./auction-bench-886-140-16-0.65.opb.cnf
d4ad61ef247a03f6ad18e4e7ca2358b232995fd561aa0325ece0e2bbb4e218af  ./auction-bench-462-118-20-0.38.opb.cnf
d4b7d17334d3ffebf1c03feedafca02a7a4e68219892d4ff20b1d2dca19afe68  ./auction-bench-901-144-19-0.57.opb.cnf
d574fd8853cba6227d2e56b60367da3175834e71568941577f06da25164cd403  ./auction-bench-299-93-4-0.37.opb.cnf
d5ad6803d011e2e29a6f7ba9ce8a9bd245e2589aa920f7faeceb6360cdc88840  ./auction-bench-271-203-20-0.55.opb.cnf
d5df51d6c149135973adf993534648bfb5526db03b02da1748e1340796559c40  ./auction-bench-10-106-10-0.61.opb.cnf
d5e2498a1df7c2830e8f9458f01ce36a830948d4c9ac8fe0af42c67534730c74  ./auction-bench-55-83-4-0.26.opb.cnf
d60bf45d6b601a11537ab5a3510640969834421dfc3f93f09e4b38c6802b15ef  ./auction-bench-373-163-15-0.51.opb.cnf
d65ff60b4ca012d2a0274c35d2c47eacf101cc0e2d70bde7c920134c38843aea  ./auction-bench-850-76-10-0.89.opb.cnf
d686c47383511dec669f6515196dec6fadc136f67ed913c5fa617b4ce5ff4727  ./auction-bench-221-34-2-0.51.opb.cnf
d6b8ceccae9f2f92ea739637f0199428b0cc149424a55bb513f4c871dd25ab9b  ./auction-bench-290-39-1-0.27.opb.cnf
d6c6d4f2358ae0a44aad47f3731c0c9989c08eef56308569d8e9fafd8fa05169  ./auction-bench-728-77-4-0.45.opb.cnf
d6ca777ca33cc5b198833813aed0179b7a30f1acffc3a558937b661bba2ed05a  ./auction-bench-500-73-7-0.78.opb.cnf
d70836d1051529716c6086b05ce5eda31965e8c8d574846f59ebeac9f58a5b31  ./auction-bench-640-31-2-0.4.opb.cnf
d76b47633bac5bb4a3677f532d8dd615cf382331e0dcafa024c2ed9534578908  ./auction-bench-944-61-3-0.5.opb.cnf
d799c8331dd581427b851a09da6396f55f7a8a7b79b416761be9c853ede781fe  ./auction-bench-815-160-13-0.24.opb.cnf
d7ac7c16b23c80a7fc3ba5b25be0caeb1cefabb420924a96c122008f523474e9  ./auction-bench-429-126-12-0.27.opb.cnf
d7d15affae15b31b0536bee7217d7e398531fba7afe4102f9111bc201ecf8081  ./auction-bench-464-63-4-0.22.opb.cnf
d966cd05ad03187e6c4cab418b1453de97eeaeb419ab8e46bcd02cde6045c47f  ./auction-bench-834-71-14-0.9.opb.cnf
d971a4b612b1a9520b080f145aa2bf244a7c66e25313bf389b548af47da0af6a  ./auction-bench-872-232-20-0.24.opb.cnf
d9723ec15a0f32badc620f007a6e44ac0aea0e87a39f46ae601e9fffb3ac71c8  ./auction-bench-270-52-3-0.19.opb.cnf
d97f4124e27eba2568b5d942d265d883434ee4c802881a2fb28e43a20580e548  ./auction-bench-502-84-15-0.53.opb.cnf
d9c60558ac994c0b4670d4fca53c2609765c9da29353d366d71b1c48b70e4e25  ./auction-bench-572-5-1-0.51.opb.cnf
d9fc13ab435e15e021a474920462e2be4ae9935d28d9e8c86ef94677204acbcc  ./auction-bench-592-72-3-0.18.opb.cnf
dadf5b217651f18ae93da0632ea3a81d89ff54d6deb5d92572bf4528ca236214  ./auction-bench-426-56-3-0.81.opb.cnf
db415c4a6e4487d0dbdedc556de4ecb292835a9c1899a77535c8853faed2b532  ./auction-bench-313-96-4-0.47.opb.cnf
db6f48fe374d448d5a17cb9a80cd81baab7f5da2a8109e293549438327861d01  ./auction-bench-810-90-7-0.63.opb.cnf
dbb4d1400ff5e8bdf168839e7af94772e104065e17d5c6b2f78dfe32399ded13  ./auction-bench-566-49-9-0.65.opb.cnf
dc3e4b6e8c881703df99715fc9669cc8e024c745fddf7382efc13fb2e8f8f8ae  ./auction-bench-16-128-18-0.52.opb.cnf
dc4d9b684a192e03e5ea3c19b391d853deb6891fdc608699921047703628ef35  ./auction-bench-342-31-3-0.84.opb.cnf
dc60e17c67694cfd325372f28b2d257e0206202cce19a2edb09eab1530f8e20a  ./auction-bench-505-119-11-0.89.opb.cnf
dc66e65aa1351999c85d168899810300f281b6fc738d6112122e8e16bdec6ecc  ./auction-bench-550-95-5-0.19.opb.cnf
dcac3b23e044273f227452b75e08e028de1ae738b4473754ca637f99e0650bf5  ./auction-bench-243-80-8-0.82.opb.cnf
dd88aab9787f5c3655b061e380a52341a38c536c6d4a463a66d583b7453a38a3  ./auction-bench-310-78-13-0.53.opb.cnf
ddb3eaf9a142eed9bdb07e5e49a1456f6af031b6d87724e0386fd9518ced867a  ./auction-bench-180-140-19-0.33.opb.cnf
ddeff24ece06beda4eb949cf3825d9988a5adbba4d4fc156e2f9e70979430a6e  ./auction-bench-904-36-2-0.49.opb.cnf
de3e94c8af4fc26f83c7d2e477d25fe0976725a26155b917df4a37b25f49ced6  ./auction-bench-449-98-12-0.69.opb.cnf
de8cc22255f57eef613a683d9b29509a14fe4ab88831ba0b44d610b5036fd935  ./auction-bench-168-143-8-0.36.opb.cnf
ded2124bec01852eca401b895022053d2a2549193eccda59a4d7d9c346ac3cd4  ./auction-bench-340-48-5-0.33.opb.cnf
defc267313452d928e566e79ee119c48331ecd72acf814b831023bf6aa17943e  ./auction-bench-616-173-8-0.11.opb.cnf
df6407aa2a64df2e39a7672c6eb68d7661b16ded930eb072008eb7835af74237  ./auction-bench-757-72-4-0.74.opb.cnf
dfe0c67a963f0d17846b41f1390fd9dcdbca31145af7a49cdc3c527394219a8d  ./auction-bench-191-103-5-0.1.opb.cnf
e05367e820f5033a3a0a43a28d95f01484ac277509cf3cb1192dcf39663177a9  ./auction-bench-721-92-7-0.41.opb.cnf
e05ae827608bfca6850cbe1ca36ad1567591b345fae7535b251e0baaf84d6a78  ./auction-bench-443-58-10-0.89.opb.cnf
e05dd0ac1fe093d07470155062c9fcf6149b313ce43b14d6a90960546d8004e3  ./auction-bench-519-108-19-0.84.opb.cnf
e0e896b4060a7b64da97e173c477c500a6cf5a54883eb993691f4d97a06144c6  ./auction-bench-50-5-1-0.21.opb.cnf
e1227453b0342b18f82ffd008fdf4b2ae135b4526800e74a368968b12a1f644d  ./auction-bench-152-97-9-0.7.opb.cnf
e124d296517c85cd6e2d8433e7b4048df5aadcfb7d6c010ae1d7cb49abef6901  ./auction-bench-680-98-7-0.12.opb.cnf
e16a7aa7983191833feffcef593c5ea4897a5309e69a77b6e053c4691daa7c7d  ./auction-bench-226-181-17-0.18.opb.cnf
e193d0381e890c6278685b02e898c8192bb4278c046a5a0ed1252a8c47f54218  ./auction-bench-641-54-8-0.54.opb.cnf
e1ea4a139e046029efe974e5504845fd7b132cd0e36cb7747d01c924926f7cc8  ./auction-bench-413-208-18-0.2.opb.cnf
e2408abb9337486a463114264684e9a7fe0a16780fac81d26d302d9f59e9fde5  ./auction-bench-387-47-7-0.67.opb.cnf
e27ef5a56083c89397ac8e8ccec94f2affdfe0068640a1088d7ece278ed199bf  ./auction-bench-439-66-8-0.11.opb.cnf
e28739663644dafd6cc980df80ef056c82bc7a10cfb27df835f62c8f731c7d0b  ./auction-bench-685-91-5-0.44.opb.cnf
e2b79a01b5598837e12bdda35dd1f30ba0d201575e0a673c3a65015926f08e41  ./auction-bench-726-49-2-0.88.opb.cnf
e2c2bf62fdaca19c1015d9d1cb320f3fb737274ac62feebb417ec45f68233e7d  ./auction-bench-212-124-10-0.35.opb.cnf
e2df27297de369e088acb156e779e8e4a40a6b225e3615a6660ff1a10d2884c4  ./auction-bench-849-93-11-0.76.opb.cnf
e34dc969457f4d584fbf4ed21ca755f6bc26361d465201ab888f63e768ecbf54  ./auction-bench-476-179-16-0.35.opb.cnf
e38e6ce24a0f3ad0af305b951dcac707156744bce8c0148e11be7f39e24e77b7  ./auction-bench-407-233-18-0.25.opb.cnf
e3dcea2666ffa56982e46fd8ac38a6a3fcf49cddfb2278933f93d068e6ae182a  ./auction-bench-20-202-19-0.24.opb.cnf
e3fabf58ac373d6cf7792f06b1d0821a39808dc7542ec01ac1c455f933b180d8  ./auction-bench-821-81-20-0.38.opb.cnf
e4264cb05589eac285663d0d867460ef32f20575752fc803cdb85773d5beff45  ./auction-bench-326-113-9-0.55.opb.cnf
e4888696bd77fe240e901a98f4573cd46432e908055719b3eeda06d1b37b1d37  ./auction-bench-424-79-5-0.45.opb.cnf
e4a757e2570a37c7a74a274602a5ddc19e5f0b789af05756e695ad7576397b2e  ./auction-bench-121-76-3-0.37.opb.cnf
e52318e47362da74ea69001a6d734f73cf619169aa5c364615c9e44cb37e749d  ./auction-bench-277-113-5-0.17.opb.cnf
e59e8ce87a713293903593c978208e6046df3af0107ff999005ad34367d2db3e  ./auction-bench-794-167-12-0.23.opb.cnf
e619f688e52d8c2e4045931ee49cef52b2929d852315e19cc2ecd88dbb59021f  ./auction-bench-867-247-19-0.19.opb.cnf
e72a0d1f34ea66a637b493ded4f3df8e398d5e74faaae720aed66cc05a66d4c4  ./auction-bench-717-90-10-0.21.opb.cnf
e7e1423b76093310b81b8933ce4f4e874708f99468ab725589b5cfae7718670b  ./auction-bench-614-57-3-0.46.opb.cnf
e8119592cde9321902e4d7ba23ab58284e8a000b60baef9ff5f4ad72346334e5  ./auction-bench-216-38-3-0.55.opb.cnf
e97c963a96a640c234b9dd179e4a143bcf4bb645ba94b4590c72b144d05a4762  ./auction-bench-953-139-11-0.41.opb.cnf
e987f076f8429f1855c58dccdd0a36eb5a1f3de6345d82c8e8a9c35dcdc1d632  ./auction-bench-949-124-17-0.53.opb.cnf
e98a171420aa3f21c8ba9498240bece5bfc5c48b09a331174a4c8df4c2081d1a  ./auction-bench-521-86-12-0.42.opb.cnf
e9da9595082cc0ed7351ecb9aacadfb93ce50e72b000a582437050d39997ddb8  ./auction-bench-485-83-16-0.9.opb.cnf
e9e4d02eb7a615fc2af659fbcb9d52e6c5de6f1a60628e7b39ec8fd97e1c20a0  ./auction-bench-744-87-12-0.2.opb.cnf
ea120f19ee6d19e96934560e5ccbfd484a2f8c2f34a712b1762fb8da519a459e  ./auction-bench-287-70-13-0.33.opb.cnf
ea146b05202f1cd7fbc91606b9310ff2d380eab96f09fa6f1e2b74c535512a90  ./auction-bench-257-104-7-0.58.opb.cnf
ea16d5f1cdb9874339d847834f9766926a7bbe0934c0268af4b8b85b4e13642d  ./auction-bench-9-74-5-0.53.opb.cnf
ea5e7c7e49996502db2f00b20cd0eff67df1581d042e3a4348f7183858f13730  ./auction-bench-7-112-6-0.46.opb.cnf
ea6e5955663d2c723f3688571ad2269fbb78e359c366c6b1b626954c48671cc7  ./auction-bench-897-27-4-0.62.opb.cnf
eab3fe6b7b6a88de096b173fa0499a8948f117daeca1539342822e6c09019c5c  ./auction-bench-602-88-10-0.37.opb.cnf
eadba4f78fd60e3ac9bcd70514b6b105cfbb294d1ea76b1c217d889384aab107  ./auction-bench-489-54-15-0.74.opb.cnf
eb11f55a1aaedfd8dd110da4b407dfa4bb6a18804e2e58f9f2fe82226cf4fa12  ./auction-bench-593-98-20-0.9.opb.cnf
eb2fc24464eb566ed6bcf2e66105f2fe97c77396ea1a2ddffccdda6b34335e00  ./auction-bench-546-141-15-0.18.opb.cnf
eb3641c6f8f58fcebcd7c3dd8f2fa0beb352946ef696ef6522e397c0efae1a44  ./auction-bench-803-74-3-0.35.opb.cnf
eb555cc2afd7bf23838971a14eb69595b6f813fba4fffb824ec26486600b1d9b  ./auction-bench-311-103-11-0.82.opb.cnf
eb8b6cb675dae6e94e23ef39445e651b6f81cbea6b03de5bd493b35cbee14835  ./auction-bench-608-112-12-0.71.opb.cnf
eb8f0f38eee3266a82a1c17567d4b35eede4229c54d1cf1275ccdca74def26a7  ./auction-bench-777-67-7-0.61.opb.cnf
ebc5be1b4a9f5996ead88fb45f1fff1256597c99a564c725743942800bfea725  ./auction-bench-272-51-10-0.42.opb.cnf
ebc5c9248773a1a8715fd074ca34e764845f5458bd9786751b8e1a2419ea4a29  ./auction-bench-956-152-8-0.3.opb.cnf
ebd9a7bc84c2146a7caf41197e43e84d36a2905ec5bbfaf582618327ca069666  ./auction-bench-591-56-5-0.76.opb.cnf
ec1ad7aaccf6b00dbd63ac9657d81e0064975bf833d4742241b7e62f1daf6c0e  ./auction-bench-296-5-1-0.17.opb.cnf
ec666f38fc0eb3800cea9ca74b6d5e69e56c00d697846a3605640b38f8c04a86  ./auction-bench-129-71-4-0.55.opb.cnf
ec67e2d08ba7a0172523138e0e040cd29c7188e45f4b400f4039adf28301534e  ./auction-bench-354-50-2-0.79.opb.cnf
eca9efb65aa0f5a7e89f3a35f38d00f91ab872a3db2a40a1ea97d46266782d72  ./auction-bench-463-16-1-0.76.opb.cnf
ecfdeb883df4210a064158b5e7d53a433005ee1477298b1a0a0c5451b9822c39  ./auction-bench-658-132-11-0.81.opb.cnf
ed948c1641683833cd0bc2d56584815d1ca2987b0e98da8259b2cfca4f349704  ./auction-bench-396-24-2-0.57.opb.cnf
edbd3259d008ce8bd5a91cc3e2dfcc1e39f8dd124482a3553847e2e48e33d1aa  ./auction-bench-488-44-3-0.74.opb.cnf
eddec13840c50a4157684f16394a2f739edb3505a320cbac68931e199d6aa018  ./auction-bench-90-82-10-0.5.opb.cnf
ee48f426ad76b82dec02904422456d8a6e3171cc003adacb92704c503b671d20  ./auction-bench-933-49-3-0.4.opb.cnf
eeb25b8a5f3fddbf4ffad3166f906c9469f29daae0e1783eb96c4914ac5ffd02  ./auction-bench-609-69-3-0.56.opb.cnf
eef2299171ef0fcd2d60a805e3ead4bc0362d4a012695a73bedc0a820a06940d  ./auction-bench-328-164-20-0.72.opb.cnf
ef7af5acbd65c92baba7fae6314f973e5400dd1ec801c2acdf36be4319e80214  ./auction-bench-833-11-3-0.72.opb.cnf
efaedef674eb33e76e2b25c42e9fe789722678b7d54b942137391c2ac516aa85  ./auction-bench-391-93-4-0.47.opb.cnf
efbaaeaf5442eb86e8abfdaabfcc9328d8be2c883caa5a81185dea7153d6a156  ./auction-bench-230-64-17-0.42.opb.cnf
efbf46f28d9b292e48b2cee3a39502901bf4e532bb42556492b85aee31d9f79c  ./auction-bench-791-192-13-0.15.opb.cnf
efed6e75aaa089fd77301e963707674ba4a214329c240b2d7283c67a81510f41  ./auction-bench-425-93-9-0.72.opb.cnf
efedaa6aaf0ffdc651e87e8e7f58da6d96b002a3a4714e6cd06a82eb5ea1ad46  ./auction-bench-163-63-7-0.57.opb.cnf
f065a05941f0d4c4725f7a5e753f41f1a21fa67fbc0ca11fdd054e5a5cdb31ab  ./auction-bench-683-61-4-0.32.opb.cnf
f0db8d94e64dc75d6b00eb8d86b5097638c7205ec0d45af4618b7be8ead57b75  ./auction-bench-723-145-17-0.85.opb.cnf
f0f333ec8db4ea4c0ac48c5098a2d210ffdf02f0c5177a47f38c4311c50079a8  ./auction-bench-927-82-7-0.35.opb.cnf
f0faa39639523429190d00c192ec595365530ae414346746798e438c15cf23fb  ./auction-bench-77-65-10-0.81.opb.cnf
f15d2903a9d36d5bd23de511541c005f2b90686cc4898b53ccde22fa770c852e  ./auction-bench-232-36-9-0.72.opb.cnf
f164219e7c33a76e5e9d73e00e43e70548541372d9e25ba826744ece8179f213  ./auction-bench-26-76-6-0.46.opb.cnf
f1ed983550de37888d57d65a316da7d1544dd11d43c426bb42737c3c88a4fa5d  ./auction-bench-28-91-8-0.2.opb.cnf
f244c03889d6e842207564553e892fffa2492ca14e43320845bf3b4fbe204e92  ./auction-bench-748-123-9-0.32.opb.cnf
f2676fa5e15cf37cb1f194f539bcac000fd4ad9d497e9bc6cc8380071bda5448  ./auction-bench-802-50-7-0.37.opb.cnf
f306d61fb31081d65cba074398511424accdca5459f262b92193cb2fbf2ae5ea  ./auction-bench-631-225-18-0.26.opb.cnf
f3076fb7a3597e19f1448a8a9f846f73e4a9ad197afd183022dd455e65b5d42c  ./auction-bench-46-125-6-0.45.opb.cnf
f310b83ec82ebcec544c73d2f56c1bf92484cbe9c671586bc9f1f17d55cffc33  ./auction-bench-885-26-7-0.31.opb.cnf
f3317e4d7a368cc98d0f244adae5656540641449f575d036215efb9b8b8119f9  ./auction-bench-516-14-1-0.11.opb.cnf
f36a6f2909de62e6d657abb4b86a8eaf3bea7613612a90b546319f73eee6c1e3  ./auction-bench-666-64-10-0.86.opb.cnf
f36bf1f5aac54557d5c1b4269a0ffa92eaea2ec88989e7f719bf783cb013c591  ./auction-bench-950-65-3-0.54.opb.cnf
f42fb07c70df3776a250fcae8ac6adb02b1eea23689c110f98eeda25b95431f4  ./auction-bench-333-9-3-0.81.opb.cnf
f44ddccb437d6d337df3a658f67e27fa7386ab0c28923b70d72b3a4e86698b0c  ./auction-bench-315-58-3-0.3.opb.cnf
f46632373ed8c4176b6b92d0b2bca4688e10599d07e95c36fb807221fc2a664a  ./auction-bench-861-56-4-0.29.opb.cnf
f4cbbc2547966ec6a70620953521f4937f6abedcbf0ea1b111962e032ba178d3  ./auction-bench-907-74-4-0.22.opb.cnf
f5d5b6902d4cd8c5a05214870271f6868e9d2d241aad879c6ef149d3a9fbd79a  ./auction-bench-785-103-20-0.38.opb.cnf
f60a40c39e1abd2dc13a306cb19a553699da997bb99d32792eeba98fe58cdb0a  ./auction-bench-709-118-13-0.59.opb.cnf
f66f096d82bddf8a2e0b711935241fcaf64250d3ff3de857681cdd7c05f073e6  ./auction-bench-961-49-2-0.15.opb.cnf
f67b1bee3f8d5afc0cc6b6beb1f0252c8b71d14f53be2c09f5889d0fceb2a694  ./auction-bench-948-160-15-0.59.opb.cnf
f6ef819cf4f5126d2344f53e7959d302a40288a4d5b90a3d10be0cc5c172fd4c  ./auction-bench-732-175-14-0.44.opb.cnf
f76b6f497d6c4b1ad6911aaed4a67a18ccf982b8b77851cae4c7e39157f2ac1a  ./auction-bench-478-192-17-0.3.opb.cnf
f774d5ec38163e81fc575eb96d5a9de09c2b46816d83afd22940ecdbed47c090  ./auction-bench-289-107-10-0.17.opb.cnf
f79f937a4d4b3913d7883d3df03597b4c75d067da6c108148ca8449c357a87c5  ./auction-bench-527-127-4-0.12.opb.cnf
f7e67dcedfd8bb3f70cdb1ad95e822e11195efa6d19f71c86105a7aebc911682  ./auction-bench-450-75-4-0.16.opb.cnf
f81eed52a6b53b98a3c73efd6fa113c7eb8de9d1bb231deaff9962bf07c85486  ./auction-bench-838-89-6-0.64.opb.cnf
f821b5987a759490e5ee8d61a660277d2d9de1ffc461dbc8bb07d3f0580798a3  ./auction-bench-622-125-14-0.38.opb.cnf
f8226e490a3c9a86edcc28bf57e87a3209816e5d675b81ea268867bb738ddb6a  ./auction-bench-900-94-6-0.58.opb.cnf
f833bd6897e78e002bfce621413662e7361e0aed1c3d87b8af5deb05ad654c69  ./auction-bench-374-130-10-0.66.opb.cnf
f84c26f4b7d271209cb24d9918b20e804a52424727e944d7a96f33fd06264a6e  ./auction-bench-286-168-15-0.44.opb.cnf
f88c42c304115956b9b6d955b50b573a4f92173ee4705a239bd61b36586897ee  ./auction-bench-569-175-18-0.34.opb.cnf
f8cb4cb9b7cd54adead908d29329a12db7872f7eddd394809a1594260c21be93  ./auction-bench-735-66-4-0.59.opb.cnf
f91caa303b0d182223bd354f9f00bd8a622d65133a9f9175149f3d9a5379de72  ./auction-bench-649-109-9-0.4.opb.cnf
f9bf024ab34a351f2ef57f9b11e3952e9e5628de20b9b14aace14400671f9f28  ./auction-bench-860-71-10-0.85.opb.cnf
fa24da5d28880cdd46ea7c2b509ad45dea037b906899aee625befbb2e414ce8d  ./auction-bench-167-56-4-0.55.opb.cnf
faa13d0071c59819a8c451ee98846f00d712a064021e75e5b7c00b59d906ca6e  ./auction-bench-389-119-16-0.76.opb.cnf
fade296b396b1e23463cab4f0d304bc80b89ece0a2e3ae2315833973d428bd83  ./auction-bench-337-146-6-0.15.opb.cnf
faf89c4c18e980452954f8adf1e5889a4fdc1135b5bd4df4f7ef158e290ec5b3  ./auction-bench-483-44-3-0.52.opb.cnf
fb063afda7f7014fabb75660daa6c98c7aa095c58b2d5109f42c0716a4cbdc2b  ./auction-bench-968-131-7-0.41.opb.cnf
fb27591bb0f2bef0889dffac5a15755e1b943912a5a6bf68e318b3e9636064df  ./auction-bench-727-95-18-0.8.opb.cnf
fb9854b8a9ffbb34fef9ab8eaee9d39fa9f91a681b5a23f8bf8f44ec125f989c  ./auction-bench-22-80-4-0.11.opb.cnf
fb987105145b63672978093152584e4c31b02015e50ab53ce469596d6cbe1f69  ./auction-bench-971-121-14-0.44.opb.cnf
fc439bf1105723a64fa4cea4e5ad41eb9594451a40b9868cc0c047f1440fad08  ./auction-bench-6-73-7-0.68.opb.cnf
fc5c48c88e62cef4ec8031b9131ff2b478266d8ccb891d0c44f7babb18ff74c6  ./auction-bench-113-190-17-0.17.opb.cnf
fcead2eb578db8b2c46a2600efa1a4ebf72c2b5899de448884ccc64da31c3bf5  ./auction-bench-973-10-1-0.6.opb.cnf
fd240f377f4f337c2a0b4005ecf9d4e1b28c47ae6ee3fe6065014c3a99d56510  ./auction-bench-456-221-14-0.12.opb.cnf
fd367e7448b6015580ae26c2bcabdd4642b48efbfcae50a62f854276331cc97a  ./auction-bench-783-62-9-0.84.opb.cnf
fd4249ac09b8c05148ab8fc979a903ee394e9f105592a8905070b05484196725  ./auction-bench-398-157-12-0.14.opb.cnf
fe2b4fba0bd7c95a12a8542377c64cac6fd5fd35e7831887cf07ead1cca996fc  ./auction-bench-623-137-11-0.39.opb.cnf
fe482df439afcc6ef8acb1068ba850aa05e61c81fc52809780f7f1a3421f4ef7  ./auction-bench-874-37-2-0.24.opb.cnf
fe522092f3dcbe2f65a04b0dc1298ca9f25cbaa6e9073ffc0b91db78e6eaecbd  ./auction-bench-375-22-3-0.22.opb.cnf
fe8cd4636b54b3a6acee54aaf2fb36c8930fac93b12597b46657c23c5ec35c76  ./auction-bench-465-177-16-0.62.opb.cnf
ff0bdbf7db16a22d68c6a195e80fe859c19a6be29775326a9754615ee300ace4  ./auction-bench-601-67-12-0.88.opb.cnf
ff1114eeb703af0b9a2342857f2ca0fdf4b10709f25d36653aa9a42e2d7a330f  ./auction-bench-967-125-9-0.43.opb.cnf
ff6b41511414202343debdf4c665773d140fde4ef0b6c40d902dbae0861f6c27  ./auction-bench-88-131-15-0.66.opb.cnf
ff73f9889e58192302f272ec525e4b78a5c9d30e385d78c45c5426a545652d84  ./auction-bench-308-81-6-0.29.opb.cnf
ff7d38773ed54564786a620ddeec6f8dd24bf010c4c1a1fe19b1aa327a91580d  ./auction-bench-467-51-2-0.53.opb.cnf
