--Classement en France
24 869 908Classement Mondial
| Pages visionnées mensuellement | < 300 | |
| Total de Visitas Mensais | < 300 | |
| Valeur par visiteur | -- | |
| Valeur estimée | 392,7 € | |
| Liens externes | 168 | |
| Nombre de pages | 270 |
Dernière mise à jour: 20-04-2018 . Données estimées, lire la décharge.
Contenu
www.Minisat.se
Sujets: Minisat, Minisat+, Satelite, Papers, et Authors.
- Pages populaires
- minisat.se Translating Pseudo-Boolean Constraints into SAT
- minisat.se Applying Logic Synthesis for Speeding Up SAT
- minisat.se Effective Preprocessing in SAT through Variable and Clause Elimination
- minisat.se MiniSat Page
- Lies vers
- eecs.berkeley.edu ABC: A System for Sequential Synthesis and Verification
- satlive.org SAT Live!
- mathsat.fbk.eu The MathSAT 5 SMT Solver
- satisfiability.org The International Conferences on Theory and Applications of
| Localisation du serveur | |
| Hetzner Online Ag Bayern Nuernberg Allemagne 49.45, 11.07 | |
Hetzner Online Ag (Bayern, Nuernberg) est l'emplacement du serveur lighttpd/1. Ses 2 serveurs DNS sont ns2.loopia.se, et ns1.loopia.se. Le numéro IP du serveur de Minisat.se est 213.133.110.145.
IP: 213.133.110.145
Serveur Web: lighttpd/1
Encodage: utf-8
| PING www. (213.133.110.145) 56(84) bytes of data. | |
| 64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_req=1 ttl=52 | 120 ms |
| 64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_req=2 ttl=52 | 119 ms |
| 64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_req=3 ttl=52 | 119 ms |
| --- www. ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2002ms | |
| rtt min/avg/max/mdev = 119.690/119.935/120.233/0.224 ms | |
| rtt min/avg/max/mdev = 119.690/119.935/120.233/0.224 ms |
Un ping au serveur est chronométré à 120 ms.
| Organisation du Serveur | |
| Date: | -- |
|---|---|
| Content-Type: | text/html |
| Content-Length: | 5321 |
| Server: | lighttpd/1.4.6 |