Domain > minkeyrink.com

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2018-07-03	52.85.233.244 (ClassC)
2019-03-23	13.33.140.249 (ClassC)
2019-03-23	13.33.140.35 (ClassC)
2019-03-25	52.85.115.60 (ClassC)
2019-04-25	54.230.163.7 (ClassC)
2019-04-25	54.230.163.20 (ClassC)
2019-05-25	52.84.134.104 (ClassC)
2019-07-14	143.204.15.54 (ClassC)
2019-08-01	99.84.151.17 (ClassC)
2019-08-01	99.84.151.65 (ClassC)
2020-08-27	143.204.150.28 (ClassC)
2020-08-27	143.204.150.38 (ClassC)
2020-08-27	143.204.150.97 (ClassC)
2020-08-31	13.224.38.18 (ClassC)
2020-08-31	13.224.38.25 (ClassC)
2020-08-31	13.224.38.48 (ClassC)
2020-09-10	13.225.207.128 (ClassC)
2020-09-10	13.225.207.120 (ClassC)
2022-04-26	13.32.66.37 (ClassC)
2022-10-11	99.84.208.59 (ClassC)
2024-08-11	204.246.191.28 (ClassC)
2024-12-14	3.163.189.77 (ClassC)
2025-03-02	3.163.189.26 (ClassC)
2025-04-15	204.246.191.115 (ClassC)
2025-06-09	204.246.191.39 (ClassC)
2025-09-09	3.175.34.13 (ClassC)
2025-09-13	204.246.191.34 (ClassC)

HTTP/1.1 200 OKContent-Type: text/htmlContent-Length: 2637Connection: keep-aliveDate: Tue, 05 Mar 2024 14:17:19 GMTLast-Modified: Wed, 24 Aug 2022 14:17:28 GMTETag: 17aceeeb475a10921da7ac2ad098fa72Acc

!DOCTYPE html PUBLIC -//W3C//DTD XHTML 1.0 Strict//EN http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd>html xmlnshttp://www.w3.org/1999/xhtml xml:langen langen-au>head>title>Minkeyrink: Tools ./title>meta http-equivContent-Type contenttext/html; charsetutf-8/>link relstylesheet typetext/css hreftennyson.css/>/head>body>div idbody>  div idheader>	ul classinline>		li>a hrefindex.html>Home/a> / /li>		!-- li>a hrefrewriting.html>Rewriting/a> / /li> -->	/ul>/div>div idsidebar>/div>div idtext>h1> Minkeyrink /h1>p> This is the website for my hobby project, Minkeyrink, tools which reasons about software./p>p> Currently, the only tool that I publically release is the open-source a hrefhttps://github.com/stp/stp>STP/a> solver. For many types of software verification problems, STP is the fastest available solver./p>p>Ive been working on bit-vector and array solvers since 2008. I was awarded my PhD in 2012 for a a hrefthansen_dissertation.pdf>dissertation/a> describing contributions to bit-vector and array solving. /p>p> Since 2009, Ive entered solvers in the annual SMTCOMP in the quantifier-free bit-vector solver division. Finishing with some kind of first place in 	a hrefhttps://smt-comp.github.io/2022/results/qf-bitvec-single-query>2022 with STP/a>, 	a hrefhttps://smt-comp.github.io/2021/results/qf-bitvec-incremental>2021 with STP/a>, 	a hrefhttps://smt-comp.github.io/2018/results/QF_BV.html>2018 with Minkeyrink Solver/a>, 	a hrefhttps://smt-comp.github.io/2017/results/QF_BV.html>2017 with Minkeyrink Solver/a> and 	a hrefhttps://homepage.cs.uiowa.edu/~astump/papers/jar11-smtcomp.pdf>2010 with simplifyingSTP./a>/p> p>Typically quantifier-free, array and bit-vector solvers are used to efficiently solve problems generated by software verification tools. But their use is more general because lots of problems can be expressed as these via the a hrefhttp://smtlib.cs.uiowa.edu/>SMTLIB2/a> format./p>p>The solvers I develop all reduce bit-vector and array problems to boolean satisfiability(SAT) problems,  then pass them onto a SA

View on OTX | View on ThreatMiner

Data with thanks to AlienVault OTX, VirusTotal, Malwr and others. [Sitemap]

Domain > minkeyrink.com

Is this malicious?

DNS Resolutions

Port 80

Port 443