Backlink stats combination.cs.uiowa.edu

• Linkpop:	101
• Domainpop:	36
• IP-Pop:	30
• ClassC-Pop:	28

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	2	11
2	http://tu-dresden.de \| Details ► http://tu-dresden.de/ing/informatik/thi/lat/die-professur/franz-baader	141.76.39.140	1	10
3	xxxx://xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	30	9
4	http://www.win.tue.nl \| Details ► http://www.win.tue.nl/~wieger/bddsolve/bddsolve.html	131.155.11.25	2	9
5	xxxx://xxx.xxx-xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	1	8

6	http://www.informatik.uni-bremen.de \| Details ► http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm	134.102.224.17	1	8
7	xxxx://xxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	3	7
8	http://www.cs.upc.edu \| Details ► http://www.cs.upc.edu/%7Ealbert/nonlinear.html	147.83.20.36	3	7
9	xxxx://xx-xxxxxxxxxx.xxxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	2	7
10	http://www.tcs.hut.fi \| Details ► http://www.tcs.hut.fi/Software/lp2diff/	130.233.195.153	2	7
11	xxxx://xxxxx.xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	7
12	http://www.tptp.org \| Details ► http://www.tptp.org/CASC/21/Entrants.html	192.31.89.18	6	6
13	xxxx://xxxxxxxx.xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	3	6
14	http://why.lri.fr \| Details ► http://why.lri.fr/	129.175.15.21	3	6
15	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	3	6
16	http://swmath.org \| Details ► http://swmath.org/software/4175	141.66.193.30	2	6
17	xxxx://xxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	2	6
18	http://www.sosy-lab.org \| Details ► http://www.sosy-lab.org/people/beyer/CSIsat/	141.84.215.23	1	6
19	xxxx://xxxxxx.xxxx-xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	6
20	http://raweb.inria.fr \| Details ► http://raweb.inria.fr/rapportsactivite/RA2003/cassis/uid107.html	128.93.162.134	1	6
21	xxxx://xxxx.xxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	4	5
22	http://www.sigsem.org \| Details ► http://www.sigsem.org/wiki/index.php?title=Inference_Engines	129.125.2.210	3	5
23	xxxx://xxxxx.xxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	2	5
24	http://www.glc.us.es \| Details ► http://www.glc.us.es/~jalonso/vestigium/premios-hvc-de-verificacion-a-la-comunidad-smt-satisfiability-modulo-theories/	150.214.140.130	2	5
25	xxxx://xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xx	1	5
26	http://www.qbflib.org \| Details ► http://www.qbflib.org/links.php	62.149.142.204	1	5
27	xxxx://xxxx.xxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	5
28	http://tptp.org \| Details ► http://tptp.org/CASC/21/Entrants.html	192.31.89.18	6	4
29	xxxx://xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	2	4
30	http://hets.eu \| Details ► http://hets.eu/	141.44.24.52	2	4
31	xxxx://xxxxxxx.xxx.xx-xxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	1	4
32	http://conferences.mpi-inf.mpg.de \| Details ► http://conferences.mpi-inf.mpg.de/frocos2011/	139.19.206.169	1	4
33	xxxx://xxxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	4
34	http://moskal.me \| Details ► http://moskal.me/smt/en.html	66.96.149.19	1	3
35	xxxx://xxx.xxxx-xxx-xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xx	1	2
36	http://huge-man-linux.net \| Details ► http://huge-man-linux.net/man1/cvc3.html	87.98.255.87	1	1