SAT Competitions
CPU Time Application Crafted Random Gold Silver Bronze Gold Silver Bronze Gold Silver Bronze SAT+UNSAT glucose glueminisat lingeling 3S ppfolio // ppfolio seq 3S ppfolio // ppfolio seq SAT contrasat hack cirminisat hack mphasesat64 ppfolio // ppfolio seq 3S sparrow2011 sattime2011 eagleup UNSAT glueminisat glucose qutersat clasp 3S glucose march_rw...
Stats
Alexa Rank:
Popular in Country:
Country Alexa Rank:
language:
Response Time: 0.15833
SSL: Disable
Status: up
Code To Txt Ratio
Word Count 1598
Links
ratio 29.876295424282
Technologies Used by satcompetition.org
Dns Records of satcompetition.org
A Record: 217.160.0.112AAAA Record: 2001:8d8:100f:f000::2cf
CNAME Record:
NS Record: ns1033.ui-dns.com ns1027.ui-dns.org ns1048.ui-dns.biz ns1052.ui-dns.de
SOA Record: hostmaster.1und1.com
MX Record: mx00.ionos.de mx01.ionos.de
SRV Record:
TXT Record:
DNSKEY Record:
CAA Record:
Whois Detail of satcompetition.org
Domain Name: satcompetition.orgRegistry Domain ID: d105664420-lror
Registrar WHOIS Server: whois.ionos.com
Registrar URL: http://ionos.com
Updated Date: 2021-03-03T04:30:25.000Z
Creation Date: 2005-02-01T16:22:37.000Z
Registrar Registration Expiration Date: 2023-02-01T16:22:37.000Z
Registrar: IONOS SE
Registrar IANA ID: 83
Registrar Abuse Contact Email: [email protected]
Registrar Abuse Contact Phone: +1.8774612631
Reseller:
Domain Status: clientTransferProhibited https://www.icann.org/epp#clientTransferProhibited
Domain Status: serverTransferProhibited https://www.icann.org/epp#serverTransferProhibited
Registry Registrant ID: REDACTED FOR PRIVACY
Registrant Name: REDACTED FOR PRIVACY
Registrant Organization: Satisfiability Applications and Theory (SAT)
Registrant Street: REDACTED FOR PRIVACY
Registrant City: REDACTED FOR PRIVACY
Registrant State/Province:
Registrant Postal Code: REDACTED FOR PRIVACY
Registrant Country: DE
Registrant Phone: REDACTED FOR PRIVACY
Registrant Phone Ext:
Registrant Fax: REDACTED FOR PRIVACY
Registrant Fax Ext:
Registrant Email: [email protected]
Registry Admin ID: REDACTED FOR PRIVACY
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: REDACTED FOR PRIVACY
Admin Fax: REDACTED FOR PRIVACY
Admin Fax Ext: REDACTED FOR PRIVACY
Admin Email: [email protected]
Registry Tech ID: REDACTED FOR PRIVACY
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: REDACTED FOR PRIVACY
Tech Fax: REDACTED FOR PRIVACY
Tech Fax Ext: REDACTED FOR PRIVACY
Tech Email: [email protected]
Nameserver: ns1048.ui-dns.biz
Nameserver: ns1052.ui-dns.de
Nameserver: ns1033.ui-dns.com
Nameserver: ns1027.ui-dns.org
DNSSEC: Unsigned
URL of the ICANN WHOIS Data Problem Reporting System: http://wdprs.internic.net/
>>> Last update of WHOIS database: 2022-07-23T02:26:02Z <<<
For more information on Whois status codes, please visit https://icann.org/epp