Result for 39F223E5C58FCB0DEBFCF303AFF64AECF9CC87D5

Query result

Key	Value
FileSize	342724
MD5	ABBA8A2F486E6CD5F656DC2C5179709E
PackageDescription	SAT solver with proof and core support Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. . PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	picosat
PackageSection	science
PackageVersion	954-1
SHA-1	39F223E5C58FCB0DEBFCF303AFF64AECF9CC87D5
SHA-256	6D47A490E7A6C9EB5FEC6C9AFEEFBE1D511ED778D98D8EFE32A9FA4B7EBE64C5
hashlookup:children-total	12
hashlookup:trust	50

Network graph view

Children (Total: 12)

The searched file hash includes 12 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.gz
FileSize	834
MD5	277D48536096508E2ECB270BAEFAFCDF
SHA-1	788AA0BBB827920A5C9E847F8681C2634365B064
SHA-256	FF5A8703980842ECC34A53CA723DE28C0687A5551389C23B7D3C07BA2C79A18C
SSDEEP	24:XjUW4UDh8oqedcrOCacWuLSSWeA0x8tLsIiddSnG/:XjUNKhbqedXCacWESSWeN82IodG2
TLSH	T184018639B76B099E6CD3190AD1632CAC4FE6883347231856479844D4A2D3CA250DCE29

Key	Value
FileName	./usr/bin/picosat
FileSize	96472
MD5	A7CEA9233CD1EDDEEE8178F934C227EE
SHA-1	0C99323540614647FFF4B04BE068693BEC7D7234
SHA-256	349641E8E51D6F03818C3EFD7333F6BC0FB26466CED285AA77C4D247AA284813
SSDEEP	1536:EJQlvGlAnwEEfEvtVihGGMlwZesr4yspULYOp23m+H0IVNC0Nuq+jZXzKZ0Qb:NGlAn+cuhGGUw5cysq893lUIBuZ+m
TLSH	T1BA935B87F6A364BDC2E7C474176AE172EA30B40452303A7F74A4A3343E66F256F59B60

Key	Value
FileName	./usr/share/man/man1/picomus.1.gz
FileSize	821
MD5	7AEB69EAB0C7478896263EF6BECCE2B6
SHA-1	DCCD3FE1798653C0686269334378FE51F93A3C4E
SHA-256	8F1863471BF9B006F36845658CEDD2085033197523EFFE518991802889CA55F2
SSDEEP	24:Xhng1lQQSFmTdAs6Ko9s6pcDVskdh7F08SGcwgg:XhnABil55pcDVs+7F08SGcwt
TLSH	T19A01520436670496A591142724397C03F80B894CBC975EE70F0736A3A85BA50922B8AB

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	84016
MD5	B28732C7D3A234FD62642A9037605DCC
SHA-1	0979BE5571A421CF9678841AC8D58B2E7AAA2AC9
SHA-256	82CCC1786484A991EA03F3F17BFD908B7DED093C75B8C640CF9F63808B19E3D1
SSDEEP	1536:DUfGY2cmt91MICslL8XuFqNWFwdiz2S+kO8quKX34x2mFJPW9PPJy:8GY2cOMsB8Xu2dEPjPKXoMPh
TLSH	T14C836B47F6A2647EC2E3C474575BE173EA30B40492207F7F6054A3393EA2F682E19B65

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	104680
MD5	B07A90FEA23EF908F5861E6BEEFCDC16
SHA-1	C1D02A098C8B709359D73B9C705ABFD82B458D51
SHA-256	2821835DE70359D3434090C0AE6915B3C8B6E92B1B243D93CA4E437C612E033F
SSDEEP	1536:mPcvW3wfhn+X9G/zvU84QTecKGrI/K74qje7+BDy22OifTl9cRZ20iETun3mUcvn:xCwfhnxU8LDb4qjBEETEmr
TLSH	T1C7A35A4BFA6650BDC2A7C4741B6AA173D930F848533039BF709493383E9AF192E59B74

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	113108
MD5	E2F2359846F8AABEE7C621A14D55450C
SHA-1	E50CB241B466F60AFEA82860C0A3658364E9A348
SHA-256	7F655816C37C6A5943C30EE22AEA9A8666422CD8CE134000C345E4145AFAA16E
SSDEEP	1536:MRU/K/oNx/fcWrv/Kyrq4l7+Bky2gifsJv9jffiETJn3v0cDLFpGhdCAyLzaKCeO:+obTprq4Y2ETR9bGHNup
TLSH	T15FB3D607F953406FC196CB7456FAA222E739BC8487333A676195B33E6FB2F148D50A24

Key	Value
FileName	./usr/share/man/man1/picosat.1.gz
FileSize	1109
MD5	4441230E4B5CBB6D54CE5271595F2FEA
SHA-1	F1D6CC4EE513C45015C511B57C75D1CCA3EE7CC8
SHA-256	CBF9E8F977CEF317669027A02FEDC3DCD7300254F2D32F75E66EDFF61E46AFDB
SSDEEP	24:XeEvQLb2qvQUiHbUu6pq4rTNirDSR47tdNW3zf2BjZwLrnNjqm3Y:Xesqv1sbn4rTYr+Kd22BjqLrN+sY
TLSH	T11F11E9441C5CA35DF723F4941282A27067EFF993B5F5A013B2F202D583080D9ACE25D6

Key	Value
FileName	./usr/include/picosat/picosat.h
FileSize	27846
MD5	FD23F59291DC75952BAD782257DDB59D
SHA-1	77763850DE0CC3F1315626E3A35D7974403896E6
SHA-256	E7561F1E6656B2C652B1C290EF07B3F418E8AF308930817A5B3DCCD08ADE64D1
SSDEEP	384:36WVHtAoqy0FU8P6CDcGm9s78T/4wyj0jUibmUtP904GQGkwVCA+:qIJV02Wck20FomUtP904GQcVC3
TLSH	T157C27213AD452F3B4793E67047ED61E5D338D118726268E5B8BF128CAF89851423FEE4

Key	Value
FileName	./usr/bin/picomus
FileSize	88280
MD5	E0216F29EB33CA359FC390D9682E6157
SHA-1	E71CD06FD4C51C3848A69C93056D95B1E29B8E6F
SHA-256	2308143E1F40C2372A11F2E9132E04424E8DD5094CBCC742A87B55CDD0A43B72
SSDEEP	1536:T4EdE6wVVdG3ywyI+s77ylGULYOp23meCrtrc2XqTqoLZwPre:ALdGCwZHylh893FChrabG
TLSH	T1D1836B87F69364BDC2A7C4705B2AE173EA30B41456213A7FB494E3383E66F241F19B25

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	92224
MD5	4284EAB81DE6FD183FE921A942DEC8D7
SHA-1	47D49BB55AAB07BE4846D178DECEF165D6B70F98
SHA-256	2A427EE5AFD5ED5DF96DE813A2EF751F01B259222CC23D933B0648DFC6264F12
SSDEEP	1536:kkqrWZ2kXTQ74KO1O5Eir6/KCSqWa/TcuuyGSifXNhhrCefEfLQ7Nk2ovprZpcqW:kkqihQ74Ko364SqbOrv8jQ5tovRDczq
TLSH	T104935A4BFA6250BDC2E3C4791A5BE673C670BC44933039BB709493393E96B691E05B78

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	100428
MD5	261434C242695B96E8779BB5F545D32F
SHA-1	8D189E4BC29F695BC4D54536AA0A1852FB867887
SHA-256	8D833E3303BBB39BEB4B931E8385A9DA8AB0B1B9E03598AD1385D6CD46D2D021
SSDEEP	1536:eqEseVHvGmXwS/sLcyN4ULYOp23mjrnsb5jtzX6o10s5U+rL92X:MZvGwwZYyNX893YjsWi0RQJ
TLSH	T1E7A3D843B653546FC2928F3006EAA121F639BC4457337E7762A5733E6FB2F249E14624

Key	Value
FileName	./usr/share/doc/picosat/copyright
FileSize	2263
MD5	7E50CFFB73F8059D45746CD9E4BD4033
SHA-1	124824533233EFFD0BED6F37C4E0A6AF9B29E429
SHA-256	BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549
SSDEEP	48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9
TLSH	T1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4