Result for B92BDB443FD0B06C522C6A0AF9F7BEC06F13057E

Query result

Key	Value
FileSize	147014
MD5	465D58E492A9EA3242625DA273FBA86A
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	960-1
SHA-1	B92BDB443FD0B06C522C6A0AF9F7BEC06F13057E
SHA-256	51E7B9420E1D9913812A7D4230F19EE60B013CE985586769154B87DCC928A1E8
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	733
MD5	BF76F882BBD9261029151609E0D0BCE9
SHA-1	35D78DEAA3CCB5A70D642B4248F19C6FD6192679
SHA-256	2FED3CC5CDA7B98731E72049A59DF849C171BAD6D9B5D556CFB7C288CF886F94
SSDEEP	12:XJjivItoyLGMHA4lPtKLUkMMrEMQAnCV83Sh7akIQD4qGhg9MNH81EGZiwnEdF3u:XJj3eiE4lPtK4kMgp4e3Sh7XZDnGhgim
TLSH	T17701997208F3C1DD52160FB54D75A4E1F9912E8A405635DDDDF512A44C50E810CA665C

Key	Value
FileName	./usr/bin/picosat
FileSize	99768
MD5	1CB4DF147A1489CD078D6949927F5BDF
SHA-1	2844168F34457BF4A3407A896888E33B5ACBEA2B
SHA-256	1A40F72BB6E0F6A17CD580DC830C518BAE05C2C3098D7CBB927CFA0E6EFDC724
SSDEEP	1536:UkFZKvyjRsO4YSKJn2aS/groGJV7n66rrB9kxMCrXrbI5B:UbydJt5BS/gVJtn66/kxm
TLSH	T196A37D95E783CCF2E2E317B6256DA73786306601602BF0F7E76E7BADB5B06026504325

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	99374
MD5	FFA3738A45B1F92B03A04F8288DBC03E
SHA-1	D1A124ADC1D150D26949E5A736BC45C0D6591D05
SHA-256	3C5A354929267F41D3C3F415F274D4FC87DF7FFB7EA8C74016586AE7A8C4534E
SSDEEP	1536:GIkxfAh31PBQr3yCx2CoCfb51RcCh11ZoHdeb26H3jbI5BSW0:nkE38ryCx7oIyYQdeb2S
TLSH	T114A36D57E78A88F2D2A30E7419DAA733B130D705A027F5A3D7BF6A5EE471712A50032D

Key	Value
FileName	./usr/lib/libpicosat.a
FileSize	89362
MD5	9E48F825B1D8A6FA34548A72AFDEA149
SHA-1	5001C815C6B2917757AE1614B94E188D7A9DD605
SHA-256	5E0C58B650FE25D6A0A4E1BA979A610D242E3698678235149F7EC5B221CCD1F3
SSDEEP	1536:Jm11+jc2RSYURJB2iS/groSN5FA+y30e/KlcrU8jbI5BzpoaF:A1EJDsPhS/gpNXTy30WKUwfF
TLSH	T173935C979786CCF2E6E30E701DD9E77366309601901BF8B3C67E7A5EE4B17025A0432A

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	28293
MD5	F684208BC50D016E0393EA2D4E7696F6
SHA-1	7792DCC7ED455D76A7341D6D1FA720D82773FDED
SHA-256	965F8A8043328D3C3A973F8DA14FFC6AF0423A6609931D261BFB97B9A4F98C6B
SSDEEP	384:B6WVHtqpqy0FU8P6CAym9s78T/4wyjjjQB0b6OtP909GqGI6wHZE+:AIGV02Xo20wE6OtP909GqznHZj
TLSH	T192D27113AD452F3B4783E67047DD61E5D338D118726268E5B8BF528CAF8A891423FEE4

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	91464
MD5	14B6CD9D0476F28DFE0B706C70D5C6C9
SHA-1	33D6EF46AEEBDE02916CB777A5062F3EF1A24416
SHA-256	391C46DA2B607140BF78DE7F0132D94F6C765E20C4E15756C88CCD81B0AD2D23
SSDEEP	1536:sYJ638MaC94hYZTDXgRDuIWLRmdKxZxuTSJ2T2bJucdkmS47rSeiE90nnpY7NV:sYJlM34qTrgRCf3/xuTcC2b1d7bvV
TLSH	T19B934A43F787C8F1E2D34974569AE73B84246602C41BE4A3F76C7B1EB871A467E143A2

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	107968
MD5	EA4D0D4B3C2951EC8A83B263F107CECE
SHA-1	D6D36BC2406C130DCC4AE2380DDCFED12AB02477
SHA-256	0519E79545F37C4B80D965242B336FE5F13E689782CF09F6AB112919A73E0F33
SSDEEP	1536:XUAGx+h31PBQpMylx2l1ouY51RcCnxIHxFVh23rNsy2gbI5B:e+38Sylxs1XFvVhYrM
TLSH	T19FB38C95E787CCF1D66307B6226DA73784206601B037F0E3E7AB6BEDB571712A604326

Key	Value
FileName	./usr/bin/picomus
FileSize	91572
MD5	14BD97BD819473299669EB92B7962EA6
SHA-1	2B0756D2675E7983C3DADA42DCE53A60F4C95E50
SHA-256	3EBE599B319DFB1DCE7D43230522ADC793EBBACD571D01E01B2F3852512B3E56
SSDEEP	1536:WOpnCl+yIjsqsJYi8Jr26S/grorx1josFec44orAbI5B:5oIciLRhS/gcx1osFex/
TLSH	T11B939E81BB82D8F1E9E313B22658AB778520A721405FF0F3E76D7B9DB571642A604327

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-trace.so.1.0.0
FileSize	99664
MD5	181A9F97DC8D9FB113FBF6BE2F47BC2D
SHA-1	2AE115D8A66A394B5BF249E50A2C3F890A81AD09
SHA-256	E4429CA83429B24D133FF3AE05CDC258E26DF514D7D7B777E87471A092E71338
SSDEEP	1536:09ZRrG3pl8Pkma/ZDktbbCl+zhVcy5UjnoVqXjSmk4AhhrDiG9+LJSiNO:09Zo3plBmylIba+z5AntXjxk48cLl
TLSH	T107A36B46E38794F1E7E24A74134AD77780346303942AD4A3EB6C6F1DB976A06BE143B3

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