| Desktop | 82/100 | ✔ |
| Mobile | 70/100 | ❗ |
| Field | Data | Result |
|---|---|---|
| Page Size | 16 KB | ✔ |
| Compression | 5 KB (-71%) | ✔ |
| Text/Html Ratio | 4721 / 15904 (bytes) = 29.68% | ✔ |
| Load Time | 1.92 second | ✘ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 29 | ✔ |
| Doc Type | HTML 4.01 Transitional | ✔ |
| Encoding | UTF-8 | ✔ |
| Declared Language | Unknown | ✘ |
| Preferred Domain | Yes | ✔ |
| Robots.txt | No | ✘ |
| Url Rewrite | Yes | ✘ |
| Underscores in url | No | ✔ | Images Without ALT | 12 / 13 | ✘ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | No | ✔ |
| Iframe | No | ✔ |
| Custom 404 page | No | ✘ |
| Email Privacy | Yes | ✔ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| keymaera x | 9 | ✔ | ✔ | ✘ |
| proof | 7 | ✘ | ✔ | ✘ |
| hybrid | 6 | ✔ | ✔ | ✘ |
| core | 6 | ✘ | ✔ | ✘ |
| systems | 4 | ✔ | ✔ | ✘ |
| tactics | 4 | ✘ | ✔ | ✘ |
| cyber-physical | 4 | ✘ | ✘ | ✘ |
| axiomatic | 3 | ✔ | ✔ | ✘ |
| theorem | 3 | ✔ | ✔ | ✘ |
| search | 3 | ✘ | ✔ | ✘ |
| studies | 3 | ✘ | ✘ | ✘ |
| interface | 3 | ✘ | ✘ | ✘ |
| user | 3 | ✘ | ✘ | ✘ |
| correctness | 2 | ✘ | ✘ | ✘ |
| properties | 2 | ✘ | ✘ | ✘ |
|
With 1.92 seconds in page load, 16 KB of page size and all other reports below, the modelplex.net has a SEO score of 57 out of 100 |
| Title | KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems |
| Description | KeYmaera X is an aXiomatic Tactical Theorem Prover for Hybrid Systems with a minimal prover core and a flexible tactics language for automatic proof search. |
| Keyword | KeYmaera X, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, hybrid games verification tool, uniform substitution, sequent calculus, automated theorem proving, decision procedures, computer algebra, verification of parametric hybrid systems, quantifier elimination, first-order real arithmetic, deduction, hybrid programs, differential invariants, differential variants, chimaera, chimera |
| Age | 0 Years, 6 Days |
| Created | 5th-Jan-2021 |
| Updated | 5th-Jan-2021 |
| Expiry | 5th-Jan-2022 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| modelplex.net | A | 86379 | ip:80.237.130.99 |
| modelplex.net | NS | 259200 | target:ns1.hans.hosteurope.de |
| modelplex.net | NS | 259200 | target:ns2.hans.hosteurope.de |
| modelplex.net | SOA | 2560 | mname:ns1.hans.hosteurope.dername:hostmaster.modelplex.netserial:2021010519refresh:16384retry:2048expire:1048576minimum-ttl:2560 |
| modelplex.net | MX | 86400 | pri:50target:mx0.modelplex.net |
| modelplex.net | AAAA | 86378 | ipv6:2a01:488:42:1000:50ed:8263:8b:5ac6 |
|
Domain Name: MODELPLEX.NET Registry Domain ID: 2582828903_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.meshdigital.com Registrar URL: http://www.domainbox.com Updated Date: 2021-01-05T18:55:06Z Creation Date: 2021-01-05T18:55:06Z Registrar Registration Expiration Date: 2022-01-05T18:55:06Z Registrar: MESH DIGITAL LIMITED Registrar IANA ID: 1390 Registrar Abuse Contact Email: support@domainbox.com Registrar Abuse Contact Phone: +1.8779770099 Reseller: Host Europe GmbH Domain Status: ok https://icann.org/epp#ok Registry Registrant ID: REDACTED FOR PRIVACY Registrant Name: REDACTED FOR PRIVACY Registrant Organization: Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: unknown Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: DE Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: REDACTED FOR PRIVACY Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: REDACTED FOR PRIVACY Registrant Email: https://webform.meshdigital.com Admin Email: https://webform.meshdigital.com Tech Email: https://webform.meshdigital.com Name Server: ns1.hans.hosteurope.de Name Server: ns2.hans.hosteurope.de DNSSEC: unsigned URL of the ICANN WHOIS Data Problem Reporting System: http://wdprs.internic.net/ >>> Last update of WHOIS database: 2021-01-11T19:50:55Z |
| Server IP | 80.237.130.99 |
| Server Location | Germany |
| Service Provider | Host Europe GmbH |
| Domains (TLD) | Status |
|---|---|
| modelplex.com | Already Registered |
| modelplex.org | Already Registered |
| modelplex.biz | Already Registered |
| modelplex.io | Already Registered |
| modelplex.info | Available |
| Domains (TLD) | Status |
|---|---|
| nodelplex.net | Available |
| hodelplex.net | Available |
| jodelplex.net | Available |
| kodelplex.net | Available |
| lodelplex.net | Available |
| Zonemeditation.com |
| Stormingthecapitol.com |
| Restauromobilimilano.com |
| Flavour45.com |
| Usalife99.com |
| Waxmeltguru.com |
| Otmoptions.xyz |
| Wpwdw.com |
| Yachtrentalsbahamas.com |
| 8no4.com |