Starexec.org
Domain Summary
What is the traffic rank for Starexec.org?
• Starexec.org ranks #5,399,575 globally on HypeStat.
What percent of global Internet users visit Starexec.org?
• 1.0E-6% of global Internet users visit Starexec.org
How many people visit Starexec.org each day?
• Starexec.org receives approximately 51 visitors and 122 page impressions per day.
Which countries does Starexec.org receive most of its visitors from?
• Starexec.org is mostly visited by people located in United States,Japan.
How much Starexec.org can earn?
• Starexec.org should earn about $0.56/day from advertising revenue.
What is Starexec.org estimated value?
• Estimated value of Starexec.org is $582.68.
What IP addresses does Starexec.org resolve to?
• Starexec.org resolves to the IP addresses 128.255.83.25.
Where are Starexec.org servers located in?
• Starexec.org has servers located in West Liberty, Iowa, 52776, United States.
starexec.org Profile

About:
Starexec.org is a web-based service designed for the evaluation and development of logic solvers. It provides a platform where researchers can upload their solver and benchmark configurations, execute them in a controlled environment, and analyze the results. The platform is particularly useful for competitions in automated reasoning, offering robust features for job execution, management, and result visualization. Users benefit from its ability to handle a variety of solver types and benchmark formats, and its community-driven approach helps drive innovation and collaboration in the field of formal methods and automated deduction.
*This text is generated by artificial intelligence and may not be accurate. Edit Site Info
What technologies does starexec.org use?
These are the technologies used at starexec.org. starexec.org has a total of 1 technologies installed in 1 different categories.starexec.org Traffic Analysis
Starexec.org is ranked #5,399,575 in the world. This website is viewed by an estimated 51 visitors daily, generating a total of 122 pageviews. This equates to about 1.5K monthly visitors. Starexec.org traffic has decreased by 88.33% compared to last month.Daily Visitors51
97.92%
Monthly Visits1.5K
88.33%
Pages per Visit2.37
57.14%
Visit duration00:59
83.78%
Bounce Rate39.86%
Is this your site?Verify your site's metrics.
- Daily Unique Visitors:
- 51
- Monthly Visits:
- 1,545
- Pages per Visit:
- 2.37
- Daily Pageviews:
- 122
- Avg. visit duration:
- 00:59
- Bounce rate:
- 39.86%
- Global Reach:
- 1.0E-6%
- Monthly Visits (SEMrush):
- 7
- Monthly Unique Visitors (SEMrush):
- 1
- Monthly Visits (SimilarWeb):
- 1,575
- HypeRank:
- 5,399,575
- SEMrush Rank:
- 21,464,838
- SimilarWeb Rank:
- 8,013,733
Traffic sources
- Direct:
- 0%
- Referral:
- 100.00%
- Search:
- 0%
- Social:
- 0%
- Paid:
- 0%
Desktop vs Mobile
- Desktop:
- 100.00%
- Mobile:
- 0%
Total Visits Last 3 Months
1.3K
JUN
13.2K
JUL
1.5K
AUG
Visitors by country
- Country
- Users%
- United States 94.86%
- Japan 5.14%
Backlinks Report ▼
Starexec.org has a total of 111 backlinks from 70 referring domains and most of them comes from United States.- Total Backlinks:
- 111
- Follow Links:
- n/a
- Nofollow Links:
- n/a
- Referring Domains:
- 70
- Referring IPs:
- 67
- Authority Domain Score:
- 5
Backlinks by country
- Country
- Domains
- United States 12
- Japan 2
- Singapore 1
- Germany 1
- Romania 1
Backlinks by TLDs
- TLD Distribution
- Domains
- .com
- 50
- .dev
- 4
- .org
- 3
- .edu
- 3
- .gov
- 0
Last update was 291 days ago
This can take up to 60 seconds. Please wait...
This can take up to 60 seconds. Please wait...
*HypeStat.com is not promoting or affiliated with starexec.org in any way. Only publicly available statistics data are displayed.
▼
SEMrush is a complete on line advertising and marketing platform that gives a extensive variety of gear and functions to help companies and entrepreneurs in enhancing their on line visibility and optimizing their virtual advertising and marketing strategies.- Domain:
- starexec.org
- Rank:
(Rank based on keywords, cost and organic traffic) - 21,464,838
- Organic Keywords:
(Number of keywords in top 20 Google SERP) - 4
- Organic Traffic:
(Number of visitors coming from top 20 search results) - 0
- Organic Cost:
((How much need to spend if get same number of visitors from Google Adwords) - $0.00
Revenue report ▼
Google.com would generate approximately $0.6 per day if the source of income were advertisements, which equates to an estimated monthly revenue of $16.8 and annual gross revenue of approximately $204.4. Based on these figures, the site's net worth is estimated at around $582.7.How much would starexec.org make?
- Daily Revenue:
- $0.56
- Monthly Revenue:
- $16.80
- Yearly Revenue:
- $204.40
Daily earning by country
- CountryPageviewsEarning
- United States 116$0.56
- Japan 6$0.00
Loss of money due to Adblock?
- Daily Revenue Loss:
- $0.10
- Monthly Revenue Loss:
- $3.02
- Yearly Revenue Loss:
- $36.75
- Daily Pageviews Blocked:
- 21
- Monthly Pageviews Blocked:
- 631
- Yearly Pageviews Blocked:
- 7,672
Daily revenue loss by country
- CountryBlockedLost Money
- United States 21$0.10
- Japan 0$0.00
How much is starexec.org worth?
- Website Value:
- $582.7
Ad Experience Report ▼
Summary of the ad experience rating of a website for a specific platform.Mobile summary
- Root domain:
- starexec.org
- Ad filtering:
(Chrome is not filtering ads on your site.) - Off
- Status:
(The status of the site that is reviewed for the Better Ads Standards.) - Not reviewed
Desktop summary
- Root domain:
- starexec.org
- Ad filtering:
(Chrome is not filtering ads on your site.) - Off
- Status:
(The status of the site that is reviewed for the Better Ads Standards.) - Not reviewed
Abusive Experience Report ▼
Summary of the abusive experience rating of a website.- Root domain:
- starexec.org
- Enforcement:
(Chrome is not preventing your site from opening new windows or tabs.) - Off
- Status:
(The status of the site reviewed for the abusive experiences.) - Not reviewed
Where is starexec.org hosted? ▼
Starexec.org may be hosted in multiple data centers distributed in different locations around the world. This is probably just one of them.- Server IP:
- 128.255.83.25
- ASN:
- AS3676
- ISP:
- University of Iowa
- Server Location:
- West Liberty
Iowa, IA
52776
United States, US
Other sites hosted on 128.255.83.25
There are no other sites hosted on this IPHow fast does starexec.org load? ▼
The average loading time of starexec.org is 46 ms. The Desktop speed index is 97 and mobile speed index is 93.- Average Load Time:
- 46 ms
Page Speed (Google PageSpeed Insights) - Desktop
Field Data
Over the last 30 days, the field data shows that this page has a speed compared to other pages in the Chrome User Experience Report.We are showing the 90th percentile of FCP and the 95th percentile of FID.
Cumulative Layout Shift (CLS)0
Time To First Byte (TTFB)0
First Contentful Paint (FCP)0
First Input Delay (FID)0
Interaction To Next Paint (INP)0
Largest Contentful Paint (LCP)0
Origin Data
All pages served from this origin have an speed compared to other pages in the Chrome User Experience Report. over the last 30 days.To view suggestions tailored to each page, analyze individual page URLs.
Cumulative Layout Shift (CLS)0
Time To First Byte (TTFB)0
First Contentful Paint (FCP)0
First Input Delay (FID)0
Interaction To Next Paint (INP)0
Largest Contentful Paint (LCP)0
Lab Data
Largest Contentful Paint 0.5 s
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
First Meaningful Paint
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
Max Potential First Input Delay 20 ms
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
Total Blocking Time 0 ms
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
Speed Index 1.7 s
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
First Contentful Paint 0.5 s
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
Lazy load third-party resources with facades
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Minimize third-party usage
Third-party code can significantly impact load performance. Limit the number of redundant third-party providers and try to load third-party code after your page has primarily finished loading. Learn how to minimize third-party impact
Third-party code can significantly impact load performance. Limit the number of redundant third-party providers and try to load third-party code after your page has primarily finished loading. Learn how to minimize third-party impact
Time to Interactive 0.5 s
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
Page Speed (Google PageSpeed Insights) - Mobile
Field Data
Over the last 30 days, the field data shows that this page has a speed compared to other pages in the Chrome User Experience Report.We are showing the 90th percentile of FCP and the 95th percentile of FID.
Cumulative Layout Shift (CLS)0
Time To First Byte (TTFB)0
First Contentful Paint (FCP)0
First Input Delay (FID)0
Interactive To Next Paint (INP)0
Largest Contentful Paint (LCP)0
Origin Data
All pages served from this origin have an speed compared to other pages in the Chrome User Experience Report. over the last 30 days.To view suggestions tailored to each page, analyze individual page URLs.
Cumulative Layout Shift (CLS)0
Time To First Byte (TTFB)0
First Contentful Paint (FCP)0
First Input Delay (FID)0
Interactive To Next Paint (INP)0
Largest Contentful Paint (LCP)0
Lab Data
Speed Index 4.6 s
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
Speed Index shows how quickly the contents of a page are visibly populated. Learn more about the Speed Index metric
First Contentful Paint 2.3 s
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
First Contentful Paint marks the time at which the first text or image is painted. Learn more about the First Contentful Paint metric
Max Potential First Input Delay 20 ms
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
The maximum potential First Input Delay that your users could experience is the duration of the longest task. Learn more about the Maximum Potential First Input Delay metric
Time to Interactive 2.3 s
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
Time to Interactive is the amount of time it takes for the page to become fully interactive. Learn more about the Time to Interactive metric
Minimize third-party usage
Third-party code can significantly impact load performance. Limit the number of redundant third-party providers and try to load third-party code after your page has primarily finished loading. Learn how to minimize third-party impact
Third-party code can significantly impact load performance. Limit the number of redundant third-party providers and try to load third-party code after your page has primarily finished loading. Learn how to minimize third-party impact
Largest Contentful Paint 2.3 s
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
Largest Contentful Paint marks the time at which the largest text or image is painted. Learn more about the Largest Contentful Paint metric
First Meaningful Paint
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
First Meaningful Paint measures when the primary content of a page is visible. Learn more about the First Meaningful Paint metric
Lazy load third-party resources with facades
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Some third-party embeds can be lazy loaded. Consider replacing them with a facade until they are required. Learn how to defer third-parties with a facade
Total Blocking Time 0 ms
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
Sum of all time periods between FCP and Time to Interactive, when task length exceeded 50ms, expressed in milliseconds. Learn more about the Total Blocking Time metric
Does starexec.org use compression? ▼
Website compression is the process of reducing the size of website files, such as HTML, CSS, JavaScript, and image files, to improve website performance and load times. Compressing website files can significantly reduce the amount of data that needs to be transferred from the server to the user's browser, resulting in faster page load times and improved user experience. Files on starexec.org are reduced by 7%.
starexec.org use gzip compression.
Original size: 163 B
Compressed size: 151 B
File reduced by: 12 B (7%)
Compressed size: 151 B
File reduced by: 12 B (7%)
Google Safe Browsing ▼
Google Safe Browsing is a service provided by Google that helps protect users from visiting websites that may contain malicious or harmful content, such as malware, phishing attempts, or deceptive software.SSL Checker - SSL Certificate Verify ▼
An SSL (Secure Sockets Layer) certificate is a digital certificate that establishes a secure encrypted connection between a web server and a user's web browser. It provides authentication and encryption, ensuring that data transmitted between the server and the browser remains private and protected. starexec.org supports HTTPS. starexec.org supports HTTPS
Verifying SSL Support. Please wait...
Common Name: www.starexec.org
Organization: University of Iowa
Location: Iowa, US
Issuer: InCommon RSA Server CA 2
Valid from: Jun 20 00:00:00 2024 GMT
Valid until: Jun 20 23:59:59 2025 GMT
Authority: CA:FALSE
Keysize: 2048 Bits
Organization: University of Iowa
Location: Iowa, US
Issuer: InCommon RSA Server CA 2
Valid from: Jun 20 00:00:00 2024 GMT
Valid until: Jun 20 23:59:59 2025 GMT
Authority: CA:FALSE
Keysize: 2048 Bits
Common Name: InCommon RSA Server CA 2
Organization: Internet2
Location: US
Issuer: USERTrust RSA Certification Authority
Valid from: Nov 16 00:00:00 2022 GMT
Valid until: Nov 15 23:59:59 2032 GMT
Authority: CA:TRUE
Keysize: 3072 Bits
Organization: Internet2
Location: US
Issuer: USERTrust RSA Certification Authority
Valid from: Nov 16 00:00:00 2022 GMT
Valid until: Nov 15 23:59:59 2032 GMT
Authority: CA:TRUE
Keysize: 3072 Bits
Common Name: USERTrust RSA Certification Authority
Organization: The USERTRUST Network
Location: Jersey City, New Jersey, US
Issuer: AAA Certificate Services
Valid from: Mar 12 00:00:00 2019 GMT
Valid until: Dec 31 23:59:59 2028 GMT
Authority: CA:TRUE
Keysize: 4096 Bits
Organization: The USERTRUST Network
Location: Jersey City, New Jersey, US
Issuer: AAA Certificate Services
Valid from: Mar 12 00:00:00 2019 GMT
Valid until: Dec 31 23:59:59 2028 GMT
Authority: CA:TRUE
Keysize: 4096 Bits
Common Name: AAA Certificate Services
Organization: Comodo CA Limited
Location: Salford, Greater Manchester, GB
Issuer: AAA Certificate Services
Valid from: Jan 1 00:00:00 2004 GMT
Valid until: Dec 31 23:59:59 2028 GMT
Authority: CA:TRUE
Keysize: 2048 Bits
Organization: Comodo CA Limited
Location: Salford, Greater Manchester, GB
Issuer: AAA Certificate Services
Valid from: Jan 1 00:00:00 2004 GMT
Valid until: Dec 31 23:59:59 2028 GMT
Authority: CA:TRUE
Keysize: 2048 Bits
Verify HTTP/2 Support ▼
HTTP/2 (Hypertext Transfer Protocol version 2) is a major revision of the HTTP protocol, which is the foundation of data communication on the World Wide Web. It was developed as an improvement over the previous HTTP/1.1 version to enhance web performance and efficiency. starexec.org does not support HTTP/2
Verifying HTTP/2.0 Support. Please wait...
Http Header ▼
HTTP headers are extra portions of records despatched among a consumer (which include an internet browser) and a server at some stage in an HTTP request or response. They offer instructions, metadata, or manipulate parameters for the conversation among the consumer and server.Date: Sun, 15 Sep 2024 17:59:05 GMT
Server: Apache
Last-Modified: Mon, 10 Jun 2024 14:59:02 GMT
ETag: "a3-61a8a63cfba2a-gzip"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 151
Content-Type: text/html
DNS Lookup ▼
DNS entries (Domain Name System) are a critical component of the Internet infrastructure. They act as directories that translate human-readable domain names (such as example.com) to machine-readable IP addresses. DNS records are stored on DNS servers and help forward internet traffic efficiently.Type | Ip | Target/Txt | TTL |
SOA | 86400 | ||
Mname | dns1.starexec.org | ||
Rname | root.divms.uiowa.edu | ||
Serial Number | 2023073100 | ||
Refresh | 10800 | ||
Retry | 3600 | ||
Expire | 604800 | ||
Minimum TTL | 3600 | ||
A | 128.255.83.25 | 86355 | |
NS | 3554 | ||
NS | 3554 |
Whois Lookup ▼
Domain WHOIS is a public database that provides information about domain names, including registered owners, contact information, domain registrars, registration and expiration dates, name servers, and other relevant information. Domain registration for this website began on March 6, 2010 and will expire on March 6, 2027 if not renewed. This website is now assigned through the registrar TUCOWS, INC.. The WHOIS data for this website's domain was last updated on May 4, 2023.- Domain Created:
- 2010-03-06
- Domain Expires:
- 2027-03-06
- Domain Updated:
- 2023-05-04
- Domain Age:
- 15 years 3 months 29 days
- Domain Registrar:
- TUCOWS, INC.
- Domain Owner:
- REDACTED FOR PRIVACY
- WhoIs:
Domain Name: STAREXEC.ORG Registry Domain ID: D158529713-LROR Registrar WHOIS Server: whois.tucows.com Registrar URL: http://tucowsdomains.com Updated Date: 2023-05-04T19:41:50 Creation Date: 2010-03-06T12:59:21 Registrar Registration Expiration Date: 2027-03-06T12:59:21 Registrar: TUCOWS, INC. Registrar IANA ID: 69 Reseller: DomainsNext.com Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registry Registrant ID: Registrant Name: REDACTED FOR PRIVACY Registrant Organization: REDACTED FOR PRIVACY Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: IA Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: US Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: Registrant Email: https://tieredaccess.com/contact/522738dd-7822-475b-a65f-949e788dfbf7 Registry Admin ID: Admin Name: REDACTED FOR PRIVACY Admin Organization: REDACTED FOR PRIVACY Admin Street: REDACTED FOR PRIVACY Admin City: REDACTED FOR PRIVACY Admin State/Province: REDACTED FOR PRIVACY Admin Postal Code: REDACTED FOR PRIVACY Admin Country: REDACTED FOR PRIVACY Admin Phone: REDACTED FOR PRIVACY Admin Phone Ext: Admin Fax: REDACTED FOR PRIVACY Admin Fax Ext: Admin Email: REDACTED FOR PRIVACY Registry Tech ID: Tech Name: REDACTED FOR PRIVACY Tech Organization: REDACTED FOR PRIVACY Tech Street: REDACTED FOR PRIVACY Tech City: REDACTED FOR PRIVACY Tech State/Province: REDACTED FOR PRIVACY Tech Postal Code: REDACTED FOR PRIVACY Tech Country: REDACTED FOR PRIVACY Tech Phone: REDACTED FOR PRIVACY Tech Phone Ext: Tech Fax: REDACTED FOR PRIVACY Tech Fax Ext: Tech Email: REDACTED FOR PRIVACY Name Server: dns1.divms.uiowa.edu Name Server: dns2.divms.uiowa.edu DNSSEC: unsigned Registrar Abuse Contact Email:Registrar Abuse Contact Phone: +1.4165350123 URL of the ICANN WHOIS Data Problem Reporting System: https://icann.org/wicf >>> Last update of WHOIS database: 2024-09-15T17:59:48Z