GET https://kbin.spritesserver.nl/index.php/m/electronics@discuss.tchncs.de/t/1954/Great-Introduction-to-Formal-Verification-Formal-Verification-An-Essential-Toolki…

Response
200 OK
IP
216.73.216.51
Profiled on
Token
8d4e77

Cache

70 Total calls
489.53 ms Total time
67 Total reads
23 Total writes
0 Total deletes
34 Total hits
33 Total misses
50.75 % Hits/reads

Pools

cache.app 11

Adapter

Symfony\Component\Cache\Adapter\RedisTagAwareAdapter

Metrics

11 Calls
442.90 ms Time
10 Reads
7 Writes
0 Deletes
3 Hits
7 Misses
30 % Hits/reads

Calls

# Time Call Hit
1 10.68 ms getItem() 
[
  "75c1ce9592deedc9af0e710c36a9bccbe1679da991b3850f27af7f48d5cbcb08" => true
]
2 50.59 ms get() 
[
  "entries_cross_1954__en" => "string"
]
3 0.14 ms getItem() 
[
  "pagination_count_9f6e2a2b73a7bdd03e33200a68463544956abe41191426cecb714265ae7ab0d0" => false
]
4 0.20 ms save() 
[
  "pagination_count_9f6e2a2b73a7bdd03e33200a68463544956abe41191426cecb714265ae7ab0d0" => true
]
5 1.29 ms getItem() 
[
  "a434b25cedd19213c59adbe925fa8421aeec89291878116b1f0fc1eefe9f04f5" => true
]
6 17.67 ms get() 
[
  "related_magazines_electronicsdiscuss.tchncs.de__magazine_en" => "string"
]
7 337.11 ms get() 
[
  "active_users_5_en" => "string"
]
8 1.98 ms get() 
[
  "related_categories_electronicsdiscuss.tchncs.de__related_en" => "string"
]
9 3.05 ms get() 
[
  "related_posts_electronicsdiscuss.tchncs.de___magazine_en" => "string"
]
10 20.08 ms get() 
[
  "related_entries_electronicsdiscuss.tchncs.de___magazine_en" => "string"
]
11 0.10 ms get() 
[
  "support_us_block_en" => "string"
]

doctrine.second_level_cache_pool 42

Adapter

Symfony\Component\Cache\Adapter\RedisTagAwareAdapter

Metrics

42 Calls
46.29 ms Time
48 Reads
8 Writes
0 Deletes
30 Hits
18 Misses
62.5 % Hits/reads

Calls

# Time Call Hit
1 0.16 ms getItem() 
[
  "DC2_REGION_app_entity_settings_9402e4c8661bde3d314e51b4f72c04cb058fd98a" => true
]
2 4.14 ms getItem() 
[
  "DC2_REGION_timestamp_cache_region_App_Entity_Settings" => false
]
3 3.14 ms getItems() 
[
  "DC2_REGION_app_entity_settings_app.entity.settings_2" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_3" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_4" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_5" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_6" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_7" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_8" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_9" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_10" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_11" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_12" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_13" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_14" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_15" => true
  "DC2_REGION_app_entity_settings_app.entity.settings_1" => true
]
4 0.19 ms getItem() 
[
  "DC2_REGION_app_entity_magazine_10a4e9f1ca31c68ff37229028dc6a65ec2a2fcce" => true
]
5 0.07 ms getItem() 
[
  "DC2_REGION_timestamp_cache_region_App_Entity_Magazine" => false
]
6 0.08 ms getItems() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_5" => false
]
7 0.80 ms hasItem() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_5" => false
]
8 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_5" => false
]
9 0.30 ms save() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_5" => true
]
10 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_magazine_10a4e9f1ca31c68ff37229028dc6a65ec2a2fcce" => true
]
11 0.10 ms save() 
[
  "DC2_REGION_app_entity_magazine_10a4e9f1ca31c68ff37229028dc6a65ec2a2fcce" => true
]
12 3.64 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_4846" => true
]
13 4.24 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_12924" => false
]
14 2.20 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_12924" => false
]
15 0.41 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_12924" => true
]
16 1.93 ms getItem() 
[
  "DC2_REGION_app_entity_domain_app.entity.domain_7" => true
]
17 17.41 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_8914" => true
]
18 0.21 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_1" => true
]
19 0.16 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_3113" => true
]
20 0.10 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_17963" => false
]
21 0.11 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_17963" => false
]
22 0.29 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_17963" => true
]
23 0.10 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_16906" => true
]
24 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_11186" => false
]
25 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_11186" => false
]
26 0.24 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_11186" => true
]
27 0.11 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_46689" => true
]
28 0.10 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_6940" => true
]
29 3.66 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_8418" => false
]
30 0.13 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_8418" => false
]
31 0.26 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_8418" => true
]
32 0.11 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_5532" => false
]
33 0.10 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_5532" => false
]
34 0.25 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_5532" => true
]
35 0.11 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_48634" => true
]
36 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_7583" => true
]
37 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_19375" => false
]
38 0.08 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_19375" => false
]
39 0.60 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_19375" => true
]
40 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_magazine_db8d53e5d0954766dad3ffe0522040baad26469d" => true
]
41 0.06 ms getItem() 
[
  "DC2_REGION_timestamp_cache_region_App_Entity_Magazine" => false
]
42 0.10 ms getItems() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_1" => true
]

cache.doctrine.orm.default.query 17

Adapter

Symfony\Component\Cache\Adapter\ArrayAdapter

Metrics

17 Calls
0.33 ms Time
9 Reads
8 Writes
0 Deletes
1 Hits
8 Misses
11.11 % Hits/reads

Calls

# Time Call Hit
1 0.01 ms getItem() 
[
  "5b05464c1c0923d7b0b75694f69939db" => false
]
2 0.03 ms save() 
[
  "5b05464c1c0923d7b0b75694f69939db" => true
]
3 0.09 ms getItem() 
[
  "5b05464c1c0923d7b0b75694f69939db" => true
]
4 0.01 ms getItem() 
[
  "bd11f7cea3ed7f91a4e42c60da829ee9" => false
]
5 0.04 ms save() 
[
  "bd11f7cea3ed7f91a4e42c60da829ee9" => true
]
6 0.01 ms getItem() 
[
  "f6317bef70d9a74b4987ae34eb321f09" => false
]
7 0.02 ms save() 
[
  "f6317bef70d9a74b4987ae34eb321f09" => true
]
8 0.01 ms getItem() 
[
  "bd6294bb8e5a1b44fc162871a8b0b371" => false
]
9 0.03 ms save() 
[
  "bd6294bb8e5a1b44fc162871a8b0b371" => true
]
10 0.00 ms getItem() 
[
  "b0798bee68e04ab7145a25915a6e0238" => false
]
11 0.03 ms save() 
[
  "b0798bee68e04ab7145a25915a6e0238" => true
]
12 0.00 ms getItem() 
[
  "0541c502e723cee92683a6be187b1466" => false
]
13 0.02 ms save() 
[
  "0541c502e723cee92683a6be187b1466" => true
]
14 0.00 ms getItem() 
[
  "b43f2c5a54f5c9fb5fa8a84c6286339f" => false
]
15 0.02 ms save() 
[
  "b43f2c5a54f5c9fb5fa8a84c6286339f" => true
]
16 0.00 ms getItem() 
[
  "75151cd8887c7e1cb080a52a5bda2a88" => false
]
17 0.02 ms save() 
[
  "75151cd8887c7e1cb080a52a5bda2a88" => true
]

Pools without calls 13

Cache pools that received no calls
cache.annotations
cache.doctrine.orm.default.result
cache.messenger.restart_workers_signal
cache.property_info
cache.rate_limiter
cache.security_expression_language
cache.security_is_granted_attribute_expression_language
cache.security_token_verifier
cache.serializer
cache.system
cache.validator
cache.validator_expression_language
cache.webpack_encore