Backlink stats www.qbflib.org

• Linkpop:	294
• Domainpop:	66
• IP-Pop:	48
• ClassC-Pop:	46

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

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	9
2	http://cs.stanford.edu \| Details ► http://cs.stanford.edu/~niemetz/tools.html	171.64.64.64	2	9
3	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xx	1	9
4	http://www.cs.toronto.edu \| Details ► http://www.cs.toronto.edu/~alexia/cirqit/	128.100.3.30	1	9
5	xxxx://xxx.xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	8

6	http://www.ai-gakkai.or.jp \| Details ► http://www.ai-gakkai.or.jp/resource/my-bookmark/my-bookmark_vol28-no2/	150.60.217.88	1	8
7	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	8
8	http://www.cs.utoronto.ca \| Details ► http://www.cs.utoronto.ca/~alexia/cirqit/	128.100.3.30	1	8
9	xxxx://xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	11	7
10	http://www.cril.univ-artois.fr \| Details ► http://www.cril.univ-artois.fr/~letombe/divers.html	193.49.115.72	6	7
11	xxxx://xxx.xxx.xxxx-xxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xx	2	7
12	http://www.inesc-id.pt \| Details ► http://www.inesc-id.pt/researcher-mikolas-janota-wins-the-non-cnf-track-the-qbfeval17/	146.193.32.4	1	7
13	xxxx://xxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	7
14	http://www.avacs.org \| Details ► http://www.avacs.org/benchmarks/	134.106.3.241	8	6
15	xxxx://xxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xx	7	6
16	http://ira.informatik.uni-freiburg.de \| Details ► http://ira.informatik.uni-freiburg.de/src/projects_view.php?projectID=67	132.230.150.100	6	6
17	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	6	6
18	http://mat.univie.ac.at \| Details ► http://mat.univie.ac.at/%7Eneum/FMathL.html	131.130.61.2	4	6
19	xxxx://xxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	3	6
20	http://www.swmath.org \| Details ► http://www.swmath.org/software/22901	141.66.193.30	2	6
21	xxxx://xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	2	6
22	http://cs.swan.ac.uk \| Details ► http://cs.swan.ac.uk/~csoliver/ok-sat-library/internet_html/doc/doxygen_html/d2/d6b/OKlib_2Satisfiability_2Quantification_2plans_2general_8hpp.html	137.44.2.59	2	6
23	xxxx://xxx.xxxxx-xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.x	1	6
24	http://smtlib.cs.uiowa.edu \| Details ► http://smtlib.cs.uiowa.edu/related.shtml	128.255.96.14	1	6
25	xxxx://xxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	6
26	http://www.cprover.org \| Details ► http://www.cprover.org/qbv/stats.html	108.157.214.126	1	6
27	xxxx://xxxxxxx.xxxx-xxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xxx	59	5
28	http://sat2017.gitlab.io \| Details ► http://sat2017.gitlab.io/	35.185.44.232	16	5
29	xxxx://xxxx.xxxxxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.x	12	5
30	http://www.msoos.org \| Details ► http://www.msoos.org/2020/07/cryptominisat-5-8-0-released/	51.15.123.169	10	5
31	xxxx://xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	7	5
32	http://lists.seas.upenn.edu \| Details ► http://lists.seas.upenn.edu/pipermail/types-announce/2018/007429.html	158.130.69.24	4	5
33	xxxx://xxx.xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xx	4	5
34	http://www.pragmaticsofsat.org \| Details ► http://www.pragmaticsofsat.org/2012/	62.210.16.62	3	5
35	xxxx://xxx.xxxxxxxxxx.xxx-xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	3	5
36	http://www.florianlonsing.com \| Details ► http://www.florianlonsing.com/	185.51.8.52	2	5
37	xxxx://xxxxxxx.xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	1	5
38	http://sat2019.tecnico.ulisboa.pt \| Details ► http://sat2019.tecnico.ulisboa.pt/competitions.html	193.136.128.24	1	5
39	xxxx://xxxxxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	5
40	http://www.aarinc.org \| Details ► http://www.aarinc.org/Newsletters/137-2022-03.html	185.199.111.153	1	5
41	xxxx://xxxxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xx	1	5
42	http://mailman.zih.tu-dresden.de \| Details ► http://mailman.zih.tu-dresden.de/groups/public/dl/2015/003580.html	141.76.16.62	13	4
43	xxxx://xxxxxxxxxxx.xxxxx-xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.x	10	4
44	http://satlive.org \| Details ► http://satlive.org/2015/12/22/qbfeval2016.html	62.210.16.62	7	4
45	xxxx://xxxxx.xxx-xxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.x	5	4
46	http://lonsing.github.io \| Details ► http://lonsing.github.io/depqbf/	185.199.108.153	4	4
47	xxxx://xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	3	4
48	http://tweetyproject.org \| Details ► http://tweetyproject.org/api/1.22/org/tweetyproject/logics/qbf/parser/QCirParser.html	89.110.129.55	2	4
49	xxxx://xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	4
50	http://fitoptivis.eu \| Details ► http://fitoptivis.eu/dump2.php	147.229.177.157	2	4