Result for F47D7C220C804956EE7FB2BA107EC80409F1267B

Query result

Key	Value
FileSize	115524
MD5	5469003740D1527228E43D909BDCC079
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	Michael Tautschnig <mt@debian.org>
PackageName	picosat
PackageSection	science
PackageVersion	960-1+b2
SHA-1	F47D7C220C804956EE7FB2BA107EC80409F1267B
SHA-256	F4143B17C5C357634B0AF46160A5E7BEA3D75DA1C93C44B5B62BAB969AD601E4
hashlookup:children-total	14
hashlookup:trust	50

Network graph view

Children (Total: 14)

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

Key	Value
FileName	./usr/bin/picosat.trace
FileSize	133328
MD5	452834E75FEC2B02BCB81CF0013F031F
SHA-1	7C37FDA9A5F39B900DAA97E1F717EBB72A20F3B7
SHA-256	B4A54178F0C0B57AF8EE6139E606A35019D3430F17E8684DF5F34A4293EE8155
SSDEEP	1536:shrySmCvlU7PEOtPUAnw9Pmb0NKwPWz8dNWoZkMF9KN1ojaUYyDdc:4W0v2ll8OinONATWscyJ
TLSH	T14FD35C12364DEB47FB50383B42CEAD9173A1354513B495E6D545032FFBFAF2ACA2A814

Key	Value
FileName	./usr/bin/picosat
FileSize	133312
MD5	38A7C78FDD8B3AF275C86B54F4929D83
SHA-1	1BEDDB7297B392A29B759F788FF8FD7B067329EE
SHA-256	EF8445B2BA1F5BF58E59E8822270A2480A0F0B37AEAB03776478D16085CA2B7C
SSDEEP	1536:gr1nP6s3FG4bZXZaAcuS/wJEN4tfyj8moo79GtO6AyHEUquhHjd41Q9kxTJ:CBceZ+nGtcyyuZ+Z1
TLSH	T1F7D34C12320DEB47FB502C3B46DEB991B7A135490361A9E6E651032FFBFEB25C92E504

Key	Value
FileName	./usr/share/doc/picosat/changelog.gz
FileSize	1824
MD5	4AF6238995D6C3390C4DE4729D5A2804
SHA-1	A35BAC81E666D0C5139903AA2439B633DA6374D2
SHA-256	3FB9F18ADF4EC426FC2B2AF6B2A231E5381A2726340F6A7A0979CEC8717C1161
SSDEEP	48:XhljypRDrQjEBfH7FMZCqxEQOYDHPkmRfEjXUWNG:xljyUofH7FM9p7xsot
TLSH	T1FB312BBCC9026938D8442931180E309F5FDEA3F6DE7521F2B38C8D00800F24296759AD

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.ppc64el.gz
FileSize	217
MD5	9C3297F1F30D675F06F46C3089B34DE5
SHA-1	AA5963C96B35DE90A00C0F552BB01F7FC7CBBEC0
SHA-256	FDB32B997ED9A8F50210C56A9A557FF98BA10C09C3FB3EC7194EF861EBE81CF0
SSDEEP	6:Xt3R0wLhB9da3lt7pl7l4FYiVPhg3sKYl:XJSotoVWFvg3o
TLSH	T1EFD023EBC2783B18E390CAFA8CE80A06443B16810C07F03983482037094F0820C3BD10

Key	Value
FileName	./usr/lib/libpicosat-trace.a
FileSize	130690
MD5	A034E1A5966E651D8B6ADC200860A4BE
SHA-1	64B750251F8908F1FCDFA8DA8D7E942B558A8B11
SHA-256	CF7A52220F85D09B619D8607C64C2ED8DC5C44362339CC46062EF9EEC5343157
SSDEEP	1536:lbsJt1b/AAwDur56uKnPfpvapRZhpcKyce3MT/KRXN:RqkAzN3osfgk2R9
TLSH	T1ACD329076D91AA8BE791AC3741C7AAA3B3A2B00803D25BD5C1D8433BFAF77159F17854

Key	Value
FileName	./usr/share/doc/picosat/changelog.Debian.gz
FileSize	969
MD5	5F86AAA0626045ADFC13C3BB6A3AA6E1
SHA-1	679207B4AB07B64A904C5E37FFA9D8A681ED47F6
SHA-256	DF20C012AB2891A953AF1100524B36C0CFBBA57E5583C6F2B787A2FEF375EDC8
SSDEEP	24:X84zqQtQiFizxArNunqvpmcmd4e9HiVVNk+8Y9xp/:XgiprIuIc1e9EVlJZ
TLSH	T1A211C891F4336E47C2B025FC783E6B4580BE219C251D1F30CD96A384C69AFA9D5DF54A

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/bin/picomus
FileSize	133280
MD5	B3149926B8C998F9FD3945E09CA509F0
SHA-1	91BB734D7400EDD89BCEEA6BC365DC4466FDFA09
SHA-256	05EC8D627A67C55E8050447BA653D2501108EE3D120E35EB62FF20A323A5DAD7
SSDEEP	1536:O7752INr0ZXZVKOoKSdi2t8KECRCr8Z6AygEUduUumbWfH94:YhNEMAP8xyDXd4
TLSH	T1A8D34C11320CEB4BFB50283B46CEAAC1B7917559036599E6D641032BFBFDB29DA2F805

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	122298
MD5	6848E9ADA3EBF7113801E5F2AC6D80B1
SHA-1	0F50B70952CFAABF0BFCF1AC8FFDDD6A3D87BE7A
SHA-256	8478555328536B0A171D8F9AF8FB4EE1229BF8E9BDEA8EF4898A8AFBFF551D87
SSDEEP	1536:eXZ2Ai/7Hdz8NnZhdwb2FP6Aa0RUbj5LS4WlKeRQY+kx3G:0sxYFTaNjN4G
TLSH	T1AAC319076E05AA6BE7509C3741EBAE627352740803825BF6D5C0833BFFD3B199F16968

Key	Value
FileName	./usr/lib/libpicosat-trace.so.1.0.0
FileSize	133144
MD5	AB206FC8F1A43BEAA7B8454085DFB4E3
SHA-1	8085BEB72B7609C8FBCF1198A43661B234103BF4
SHA-256	ACCDF232D962F843FB196E6F90A68A084BCCE02478E84F93506160D686F61F8A
SSDEEP	1536:6KjHMtDPxa7CGoKnPBSbrj9h65bRVGZYuq3Fmra2ZLjznKW:0yOZwGvAWYuMGzKW
TLSH	T1CDD34C12360CEB4BFB903C3742CDAA9173D2754513A999E6D541031BFBE6F2ACA2F814

Key	Value
FileName	./usr/lib/libpicosat.so.1.0.0
FileSize	133128
MD5	E2567F9995B71193C052C9FB8321044B
SHA-1	0494F5B8499852C250B4550590A93E6D48CFA706
SHA-256	08045A6EE2371C04174063755873B0B35D9E93D3DFD36B33772F6E57C596EFD7
SSDEEP	1536:B/mfeG3YY95dALPBKuMW6BijUtUaooK8OcC2/Xe:BQJBE2e
TLSH	T189D33B12320CDF4BFB502C3B56CDAA917392794903A69DE6D541031BFFEDB29C92B849

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