![](http://www.img-urlm.com/i/minisat.se.jpg)
85 467Rankad i Sverige
--Rankad I Världen
Månatliga sidor granskade | < 300 | |
Besökare per månad | < 300 | |
Värde per besökare | -- | |
Uppskattat värde | 3 862,61 kr | |
Externa länkar | 168 | |
Antal sidor | 120 |
Senast Uppdaterad: 05.04.2018 . Uppskattade data, läs villkoren.
Innehåll
www.Minisat.se
ämnen: Minisat, Minisat+, Satelite, Papers, och Authors.
- Populära sidor
- minisat.se Translating Pseudo-Boolean Constraints into SAT
- minisat.se Applying Logic Synthesis for Speeding Up SAT
- minisat.se MiniSat Page
- minisat.se MiniSat - SAT Algorithms and Applications
- Länkar in
- een.se Niklas Een -- Single Image Stereograms (SIRDS)
- een.se Niklas Een -- Single Image Stereograms (SIRDS)
- Länkar ut
- chalmers.se Chalmers: Data- och informationsteknik
- eecs.berkeley.edu ABC: A System for Sequential Synthesis and Verification
- satlive.org SAT Live!
- satisfiability.org The International Conferences on Theory and Applications of
Server plats | |
Hetzner Online Ag Bayern Nuernberg Tyskland 49.45, 11.07 |
Den har 2 DNS-journaler, ns2.loopia.se, och ns1.loopia.se. Dess IP-nummer är 213.133.110.145. Det underhålls av Hetzner Online Ag (Bayern, Nuernberg,) som använder lighttpd/1 webbserver.
IP: 213.133.110.145
Web Server: lighttpd/1
Kodning: 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_seq=1 ttl=51 | 173 ms |
64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_seq=2 ttl=51 | 127 ms |
64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_seq=3 ttl=51 | 127 ms |
--- www. ping statistics --- | |
3 packets transmitted, 3 received, 0% packet loss, time 1999ms | |
rtt min/avg/max/mdev = 127.104/142.497/173.118/21.656 ms | |
rtt min/avg/max/mdev = 127.104/142.497/173.118/21.656 ms |
En tid på 173 ms, har registrerats vid ett ping-test.
Server Setup | |
Date: | -- |
---|---|
Content-Type: | text/html |
Content-Length: | 5321 |
Server: | lighttpd/1.4.6 |