zenon-prover.org
visitez le site internetZenon-prover est le #2,046,209 site en France. "The Zenon automatic theorem prover."
2,046,209
Classement en France
45,222,779
Classement mondial
| Domaine | http://www.zenon-prover.org |
| Visites quotidiennes | 7 |
| Pages vues au quotidien | 40 |
| Valeur estimée | 265 € * |
| Revenu par visiteur | 1.61 € |
| Liens entrants | 6 |
| Phrases clés |
|---|
| - |
| Classement par pays |
|---|
Trafic
| Historique des statistiques pour une moyenne de 3 mois | ||
|---|---|---|
| Classement mondial | 45222779 | -3133939
 |
| Visiteurs mensuels | 210 | 6.93%
|
| Classement des visiteurs mensuels | 47,701,516 | -3305715
|
| Pages vues par mois | 1,200 | -1.12%
 |
| Classement des pages vues par mois | 32,001,289 |
+358414
|
| Pages vues par visiteur | 5.80 | - |
Contexte
| Titres pour www.zenon-prover.org | |
|---|---|
Serveur web
| Informations du centre de données | |
|---|---|
|
Institut National de Recherche en Informatique et AS775 Institut National de Recherche en Informatique Le Chesnay Ile-De-France France 48.8222, 2.1221 |
|
| Le temps de chargement du serveur Web est de 0.33 secondes. | |
| Les noms de ses serveurs sont c.dns.gandi.net (217.70.182.20), a.dns.gandi.net (173.246.97.2), b.dns.gandi.net (217.70.184.40). Son adresse IP est 128.93.132.74 | |
| IP: | 128.93.132.74 |
| Type de serveur: | OpenBSD httpd |
| Codage de caractères: | UTF-8 |
| PING www.zenon-prover.org (128.93.132.74) La taille de paquet est de 48 octets. | |
|---|---|
| 48 octets pour 128.93.132.74: seq_num=1 TTL=53 | 56.1 ms |
| 48 octets pour 128.93.132.74: seq_num=2 TTL=53 | 56.9 ms |
| 48 octets pour 128.93.132.74: seq_num=3 TTL=53 | 55.4 ms |
| --- www.zenon-prover.org résultats de ping --- | |
| 4 requêtes satisfaites, 4 paquets reçus, 0 perdu (0% de perte) | |
| Un ping moyen pour le serveur est de 42.1 ms, et le temps de chargement des pages est de 0.33 secondes. | |
| Configuration du serveur Web | |
|---|---|
| Taille du contenu: | 2123 |
| Type de contenu: | text/html |
| Date: | Fri, 21 Nov 2014 07:24:14 GMT |
| Dernière modification: | Mon, 27 Oct 2014 15:11:38 GMT |
| Serveur web: | OpenBSD httpd |
| P3P: | - |
| Définir les cookies: | - |
| Varier: | - |
| ETag: | - |
| Contenu-MD5: | - |
| Pins des clés publiques: | - |
Les données sont estimées*
Données modifiées: 14.01.2015 11:23:54