CDSAT: conflict-driven theory combination

Filter by date:   From To
Note: these filters only apply to the usage statistics (number of views and amount of data downloaded).

Total views: 37 (updated daily)
Disk space used: 8.00 GB
Media belongs to collection: Big proof

Viewing history (views per day)     << 1 wk | 1 mon | 3 mon | 1 yr | all >>     Precision:  day | week | month
Download historical data

Statistics by clip

Each clip represents a different encoding of the media item - different formats, quality settings or optimisations for downloading or streaming. The 'Archive' clips (if present) are for internal use, and are not directly viewable.

Clip Views ↓ Format Quality Stream/download Disk space
Clip 2525691 20 MP3 High Download 139.51 MB
Clip 2525688 13 MPEG-4 Video 360p Download 1.07 GB
Clip 2525686 1 Archive audio High Download 131.62 MB
Clip 2525687 1 H264 Archive video High Download 5.87 GB
Clip 2525689 1 WebM 360p Download 543.25 MB
Clip 2525690 1 iPod Video High Download 274.97 MB


Viewing figures by format, quality and client

Format Quality
  High 360p Total
MP3 20 - 20
MPEG-4 Video - 13 13
H264 Archive video 1 - 1
Archive audio 1 - 1
WebM - 1 1
iPod Video 1 - 1
Totals 23 14 37
Client
Web browsers 37
iTunes 0
Location
Within the University 4
Elsewhere 33
Protocol
HTTP 37
RTSP 0

Viewing figures by country

Country
United States 12
France 8
United Kingdom 5
Europe 4
Brazil 2
China 2
Canada 1
Russian Federation 1
Unknown 2
Download viewing figures by country

This product includes GeoLite data created by MaxMind, available from http://www.maxmind.com.
Specifically these viewing figures by country were created using the GeoLite City database, available from http://dev.maxmind.com/geoip/geolite.