Result for 9AC3BF5F844DCA194F667528F63F682E7F27B8D9

Query result

Key	Value
FileSize	122050
MD5	458999DADA3E5920A7541C4FB1CE8539
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	9AC3BF5F844DCA194F667528F63F682E7F27B8D9
SHA-256	9F6C5E313522A3FCA97E5E2F76C99E6FA047A578939EACC83A74940C04E33753
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/bin/picosat.trace
FileSize	108768
MD5	9CBFE577EF1A2FF847CE10151B0E9B79
SHA-1	2375C6D4CA1D2CD0C1352A417ACA18547759CE80
SHA-256	B26454541B0610DE3D4C74B4F57DD309413715E6CE1D5D155B141769B1DA1D7A
SSDEEP	1536:9Zi5uffxy0T20e0ivPZmEiIR+WIR9AAdt6XXlxgTCmmuk00SlxPmw/lHs9KXOK0N:zX1r1i5mIS56X1mCGnlx+w/lMtKrkj
TLSH	T1B9B36C07B25248BDC2A7C578976AE563AA30F8044220387FB5D566387E6BF411FDBB31

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/lib/libpicosat.so.1.0.0
FileSize	88112
MD5	97CCDEAA6AFEE1AD7E4667DE70B6D274
SHA-1	0BB758A1BDFD1FE4797A9DAFE7F7499B56F0790E
SHA-256	A10A9EC53A1842A74B61B8C5926B5501B294645BA87546AAC6C4C0593C8DC118
SSDEEP	1536:+yrA0C+GfZxnXP3TJUiWxyyjqFZnu79PWN1v7bXUWeARhS9CuddPbHfW46hoOS6D:bpmrJmyk+ti9yvCf9CiWbhouDc
TLSH	T166835B0BB2A684BDC1A7D474436BE2739631B80143317D7FB4A466343EA3E841F99B79

Key	Value
FileName	./usr/bin/picosat
FileSize	100560
MD5	0C7EE1E1E0BFE6570CBECE5C8130281C
SHA-1	8869E828B413F26989731040C5E8A053EDC46ED0
SHA-256	55FB8E891B3EE43F5CD25BDB44C1B3611D65B9638072F86F02102895C7002C8E
SSDEEP	1536:Er08TBaxa9vHCZnhhIKkAYYOpki+gmHOFQuR+z7L9YT4pOymlWzLcgleUxGXwgW4:bkBa2shXO5+gkrs4Y0pzzLJT5gOP
TLSH	T1F0A36D0BB29258BDC267C474876BF262A631F8444231387F7595A7383E67E502FDAB31

Key	Value
FileName	./usr/bin/picomus
FileSize	92360
MD5	69743B772484845820546F6B77D30F38
SHA-1	70ADF5FA5D8B62A46879CE9C63D73A27BD479DFF
SHA-256	4EFBE5A732A3B51A1D0B579BC5D253579F0B0577F0FF832F8603BB3E605A4642
SSDEEP	1536:DJT08z5is07zCknohbSkAx1OZQi+LnHVRuR+z7L9YT4pOymqWZWnrteExwLEnBIP:DOuisOvo8Ol+LHfs4Y0psZWhTrnBC
TLSH	T165936C0BB35658BDC167D4748727B2B2A631B8440321387B75D5AA383EB7E901FDAB31

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	117026
MD5	5A951A07BF714BAE023E5581F5B1D5DB
SHA-1	B1F2B1DBD35F3287518D84558E471380B9902250
SHA-256	B41BB4F7E82C4F7F3C59FEA90BB2857D3B48E34557D02A6503E766E23F12E2A9
SSDEEP	3072:J+1ZXnIS7plrj7nlv3uHm7XOwOvhJogC:J+1FIS7pdjlWOY3oJ
TLSH	T16FB3E7077652046FC1A6CF3452F9B522F638BC848B233977B295763E6F76F005E92A24

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/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/lib/libpicosat.a
FileSize	102986
MD5	A4DBAF5D3A86D9D944D20C4B1F1C2A83
SHA-1	BBBDFD38C322F9094B62A08DAE12CA503118AB8A
SHA-256	4A12910066A32F6D28E506C59AB0DDD81DEEDCDDDE5DE6EF403F6783EA2BEE3E
SSDEEP	1536:FxACQnahhb6A/NOXei+KQHJzuR+z7LlYTspOymqWp0fncB/xoqqO0g5PYEx:7oabOF+KitsEYwpQp0UnaHg5wEx
TLSH	T1D2A3D507B292047FC196CA3442F6B121F639BC848B233A77B695773E5E73F405E96A24

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	96320
MD5	F04335F632F82D364DEB64DE6FA33893
SHA-1	909520775C82DDD87B2DC3C8286658A059E0AFE6
SHA-256	CC7753284E5742DCB9EE3DECC74AA123CD7DDDB1812649652AD6CF2E02856FB9
SSDEEP	1536:pIgEXE0dCOHzVnwsPTKViVQ7tTJWivRqDVZmWXwNah1fVdVB/zHO77K5WEz:Wjvd3WFViUNJWEpCTJdAK5W
TLSH	T1C5935B0BB2A244BDC2E3C4785357D6738634B80593313D7FA0A596383FABE451B96B39

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/share/doc/picosat/copyright
FileSize	2263
MD5	7E50CFFB73F8059D45746CD9E4BD4033
SHA-1	124824533233EFFD0BED6F37C4E0A6AF9B29E429
SHA-256	BD53402EFD8747F10A5929DD0513D29ED50C58F0268C3BD118959D82F39D2549
SSDEEP	48:mKjeA8hp0J7ZvED7QH0s5ANU3ouF7+mZciXEg6n7Z9:mKjZ8his/QHFogjCGT6l9
TLSH	T1CD41D90D724083BB198127D1799668DDF33B73DB71AF45C4A44ED389A21687852FB8A4