CVC4

From WikiApiary, monitoring CVC4 and over 25,500 other wikis


warning icon Data from CVC4 can no longer be collected. It is marked defunct.
This may be due to one (or more) of the following reasons:

This wiki site is either defunct (dead), private, the API was disabled, the generator used does not support an API (MW < 1.8.x), or does no longer use MediaWiki.
CVC4, a wiki website powered by MediaWiki

Overview

Logo of CVC4
Name:
CVC4
Description:
This wiki site has no description, please add a description.
Founded on:
This wiki site does not have a founded date, add founded date.
20,083 wiki site added to WikiApiary.
Tags (topics):
This wiki site has no subject or topic tags, please add tags.
Farm:
This wiki site is not hosted by a known wiki farm.
If you are aware of a farm it is hosted by, please add its farm.

Network

CVC4/Libraries

HTTP server
IP address 216.165.22.203
Reverse lookup cs.nyu.edu
Netblock organization

The "_geo" type of this property is invalid

General

MediaWiki version: Generator:MediaWiki 1.15.5-7 (1.15.5-7)
Time zone: UTC
Time offset: 0 (minutes)
Sitename: CVC4
Rights: The ACSys Group
PHP server API:
PHP version: (.)
Language: English (English)
Database type:
Database version:
Wiki ID:
Max upload size:
Server:
Article path:
Interwiki URL:
Settings: Write API True

Usage

General statistics

{{#get_db_data:db=apiary|from=statistics|where=website_id=148406|limit=1|order by=capture_date desc|data=capture_date=capture_date,users=users,activeusers=activeusers,admins=admins,articles=articles,edits=edits,images=images,jobs=jobs,pages=pages,views=views}} No data ever collected by WikiApiary for this wiki website.

Extensions

CVC4 uses the following 8 extensions (by version number, date and time, Git hash):

Notifications

CVC4 has 0 notification(s). So far no notification on WikiApiary has been requested for this wiki website.

Add a notification

Settings

Collection URLs

Identifiers

ID

148406

Bot segment

26

Day segment

6

Hour segment

14

Operators

Audited:
This wiki site was last audited on 2023/04/19 04:58:42 PM
Flags:
Active:
Yes


+defunct — this wiki website has been marked as defunct.

Collecting

+general +extensions

+statistics (via API)



Check every:
240 minutes

{{#get_db_data:db=apiary|from=statistics|where=website_id=148406 |limit=1|order by=capture_date desc|data=capture_date=capture_date,users=users,activeusers=activeusers,admins=admins,articles=articles,edits=edits,images=images,jobs=jobs,pages=pages,views=views}} {{#get_db_data:db=apiary|from=statistics|where=website_id=148406 AND capture_date < '2026-11-06'|limit=1|order by=capture_date desc|data=capture_date2=capture_date,users2=users,activeusers2=activeusers,admins2=admins,articles2=articles,edits2=edits,images2=images,jobs2=jobs,pages2=pages,views2=views}}

Edit index

not available

Pages change

not available

Users change

0

Admin ratio

0

{{#get_db_data:db=apiary|from=apiary_website_logs|where=website_id=148406|limit=10|order by=log_date desc|data=date=log_date,type=log_type,severity=log_severity,message=log_message,bot=log_bot,url=log_url}}

Logs for CVC4

{{#clear_external_data:}}