Syntcomp.org

Search Preview

The Reactive Synthesis Competition | www.syntcomp.org

www.syntcomp.org/

Most Used Html Elements

  • <a> : 47
  • <li> : 33
  • <link> : 31
  • <script> : 15
  • <div> : 15
  • <meta> : 11
  • <h3> : 11
  • <aside> : 7
  • <span> : 5
  • <p> : 5
  • <ul> : 4
  • <input> : 3
  • <img> : 3
  • <style> : 3
  • <strong> : 2
  • <form> : 2
  • <footer> : 2
  • <h1> : 2
  • <abbr> : 2
  • <header> : 2

Most Used Html Classes

  • "widget" : 7
  • "widget-title" : 6
  • "page_item" : 6
  • "post-date" : 5
  • "jetpack-image-contai..." : 3
  • "widget_image" : 3
  • "alignleft" : 3
  • "page" : 2

Where is www.syntcomp.org hosted?

Country:
Austria
City:
Graz
Registrar:
Public Interest Registry
Latitude:
47.12
Longitude:
15.59
IP address:
129.27.142.24
IP Binary address:
10000001000110111000111000011000
IP Octal address:
20106707030
IP Hexadecimal address:
811b8e18

Context analysis of syntcomp.org

Number of letters on this page:
1 710
Number of words on this page:
361
Number of sentences on this page:
19
Average words per sentences on this page:
19
Number of syllables on this page:
566
Number of Strong texts:
2

Domain name architecture

Domain name length:
12
Hyphens:
Domain doesn't contain hyphens!
Domain name with Hindi letters:
स ग़ ञ ट च ओ म प . ओ र ग
Domain name with Hebrew letters:
שׂ י נ ת ק(c) (ο) מ פּ . (ο) ר ג
Domain name with Cyrillic letters:
с y н т ц о м п . о р г
Domain name with Arabic letters:
ص ي ن ت (c) (o) م (p) . (o) ر غ
Domain name with Greek letters:
σ y ν τ χ ο μ π . ο ρ γ
Domain name with Chinese letters:
艾丝 吾艾 艾娜 提 西 哦 艾马 屁 . 哦 艾儿 吉
Domain without Consonants:
syntcmp.rg
Domain without Vowels:
yo.o
Alphabet positions:
s19 y25 n14 t20 c3 o15 m13 p16 . o15 r18 g7
Domain name pattern:
V: Vowel, C: Consonant, N: Number
C C C C C V C C . V C C

<HEAD> DATA INFORMATION

Encoding:
UTF-8
viewport:
width=device-width
generator:
WordPress 4.7.5
twitter:card:
summary

External links in syntcomp.org

  • http://i-cav.org
  • http://cs.uni-saarland.de
  • http://arise.or.at/
  • http://www.sygus.org
  • https://wordpress.org/
  • http://www.freepik.com/free-vector/circuit-background-in-blue-tones_772930.htm

Internal links in syntcomp.org

  • http://www.syntcomp.org/
  • #content
  • http://www.syntcomp.org/news/
  • http://www.syntcomp.org/schedule/
  • http://www.syntcomp.org/rules/
  • http://www.syntcomp.org/submission/
  • http://www.syntcomp.org/faq/
  • http://www.syntcomp.org/organization/
  • http://www.syntcomp.org/syntcomp-2017-results/
  • http://www.syntcomp.org/tlsf-v1-1/
  • http://www.syntcomp.org/syntcomp-2016-results/
  • http://www.syntcomp.org/syntcomp-2015-results/
  • http://www.syntcomp.org/synthesis-competition-2014-results/
  • http://www.syntcomp.org/syntcomp-2017-new-benchmarks/
  • http://www.syntcomp.org/syntcomp-2017-call-for-benchmarks-and-solvers/
  • http://www.syntcomp.org/syntcomp-2016-updated-schedule/
  • http://www.syntcomp.org/2017/07/
  • http://www.syntcomp.org/2017/05/
  • http://www.syntcomp.org/2017/02/
  • http://www.syntcomp.org/2016/07/
  • http://www.syntcomp.org/2016/05/
  • http://www.syntcomp.org/2016/04/
  • http://www.syntcomp.org/2016/01/
  • http://www.syntcomp.org/2015/07/
  • http://www.syntcomp.org/2015/05/
  • http://www.syntcomp.org/2015/02/
  • http://www.syntcomp.org/2014/11/
  • http://www.syntcomp.org/2014/06/
  • http://www.syntcomp.org/2014/05/
  • http://www.syntcomp.org/2014/02/
  • http://www.syntcomp.org/2013/11/
  • http://www.syntcomp.org/2013/08/
  • http://www.syntcomp.org/2013/07/
  • http://www.syntcomp.org/wp-login.php
  • http://www.syntcomp.org/feed/
  • http://www.syntcomp.org/comments/feed/
  • /#respond

Possible email addresses for syntcomp.org

  • info@syntcomp.org
  • email@syntcomp.org
  • support@syntcomp.org
  • contact@syntcomp.org
  • admin@syntcomp.org
  • postmaster@syntcomp.org
  • hostmaster@syntcomp.org
  • domain@syntcomp.org
  • abuse@syntcomp.org

Possible Domain Typos

www.yntcomp.org, www.sqyntcomp.org, www.qyntcomp.org, www.swyntcomp.org, www.wyntcomp.org, www.seyntcomp.org, www.eyntcomp.org, www.szyntcomp.org, www.zyntcomp.org, www.sxyntcomp.org, www.xyntcomp.org, www.scyntcomp.org, www.cyntcomp.org, www.sntcomp.org, www.sytntcomp.org, www.stntcomp.org, www.sygntcomp.org, www.sgntcomp.org, www.syhntcomp.org, www.shntcomp.org, www.syjntcomp.org, www.sjntcomp.org, www.syuntcomp.org, www.suntcomp.org, www.sytcomp.org, www.synbtcomp.org, www.sybtcomp.org, www.syngtcomp.org, www.sygtcomp.org, www.synhtcomp.org, www.syhtcomp.org, www.synjtcomp.org, www.syjtcomp.org, www.synmtcomp.org, www.symtcomp.org, www.syn tcomp.org, www.sy tcomp.org, www.syncomp.org, www.syntrcomp.org, www.synrcomp.org, www.syntfcomp.org, www.synfcomp.org, www.syntgcomp.org, www.syngcomp.org, www.synthcomp.org, www.synhcomp.org, www.syntycomp.org, www.synycomp.org, www.synt5comp.org, www.syn5comp.org, www.synt6comp.org, www.syn6comp.org, www.syntomp.org, www.syntcxomp.org, www.syntxomp.org, www.syntcsomp.org, www.syntsomp.org, www.syntcdomp.org, www.syntdomp.org, www.syntcfomp.org, www.syntfomp.org, www.syntcvomp.org, www.syntvomp.org, www.syntc omp.org, www.synt omp.org, www.syntcmp.org, www.syntcoimp.org, www.syntcimp.org, www.syntcokmp.org, www.syntckmp.org, www.syntcolmp.org, www.syntclmp.org, www.syntcopmp.org, www.syntcpmp.org, www.syntco9mp.org, www.syntc9mp.org, www.syntco0mp.org, www.syntc0mp.org, www.syntcop.org, www.syntcomnp.org, www.syntconp.org, www.syntcomhp.org, www.syntcohp.org, www.syntcomjp.org, www.syntcojp.org, www.syntcomkp.org, www.syntcokp.org, www.syntcomlp.org, www.syntcolp.org, www.syntcom p.org, www.syntco p.org, www.syntcom.org, www.syntcompo.org, www.syntcomo.org, www.syntcompl.org, www.syntcoml.org, www.syntcomp0.org, www.syntcom0.org, www.syntcomp-.org, www.syntcom-.org, www.syntcomp_.org, www.syntcom_.org,

More Sites

Jake Pomper
Number of used Technologies: 5
Number of used Javascript files: 5
Server Location: United States / - 198.49.23.144
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, Javascript, Lightbox, Php (Hypertext Preprocessor)
lesirisboutique.com
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache
Server Location: United Kingdom / - 176.74.183.190
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Php (Hypertext Preprocessor)
mountainvalleyseedco.com
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: nginx/1.12.1
Server Location: United States / Houston - 192.254.249.75
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Php (Hypertext Preprocessor)
Home - St. Louis Auto Detail
You are particular about the car you drive. You should be particular about the care it receives. Without realizing it, your vehicle is exposed to the elements and pollutants on a daily basis. This causes deterioration over time which decreases the value and beauty of your investment. Our goal at St. Louis Auto Detail is to preserve your vehicle and
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Microsoft-IIS/7.5
Server Location: United States / San Francisco - 216.121.29.37
List of used Technologies: Google Analytics, CSS (Cascading Style Sheets), Html (HyperText Markup Language), Javascript, CloudFront
Fotografia
HandlerFotografia: fotografia ślubna tworzona światłem, myślą i pasją. Proponujemy fotografię ślubną plenerową i reportażową.
Number of used Technologies: 1
Number of used Javascript files: 1
Server Software: Apache
Server Location: Poland / - 46.41.144.47
List of used Technologies: Stat4U, Javascript, Swf Object
APP BAG ENTERTAINMENT
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: openresty/1.11.2.4
Server Location: United States / Jacksonville - 206.188.193.27
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Javascript
aynurayaz.com
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Apache/2.2.15 (CentOS)
Server Location: Turkey / - 195.142.1.93
List of used Technologies: Google Analytics, CSS (Cascading Style Sheets), Google Font API, Html (HyperText Markup Language), Javascript, Php (Hypertext Preprocessor), SVG (Scalable Vector Graphics)
Meine Homepage - Home
Meine Homepage
Number of used Technologies: 1
Number of used Javascript files: 1
Server Software: Apache
Server Location: Germany / - 217.160.223.151
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Javascript
Sunflower Canyon Studio
Connie B's Sunflower Canyon Studio metal sculpture and music site
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache/2
Server Location: United States / Burlington - 66.96.149.20
List of used Technologies: Html (HyperText Markup Language)
Alejandro Soto
A planetary scientist and aerospace engineer involved in the exploration of the solar and extrasolar systems.
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: nginx
Server Location: United States / Irvine - 207.38.86.212
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, SVG (Scalable Vector Graphics)