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.88
Profiled on
Token
078e06

Cache

59 Total calls
341.75 ms Total time
63 Total reads
15 Total writes
0 Total deletes
40 Total hits
23 Total misses
63.49 % Hits/reads

Pools

cache.app 8

Adapter

Symfony\Component\Cache\Adapter\RedisTagAwareAdapter

Metrics

8 Calls
161.89 ms Time
8 Reads
5 Writes
0 Deletes
3 Hits
5 Misses
37.5 % Hits/reads

Calls

# Time Call Hit
1 4.34 ms getItem() 
[
  "75c1ce9592deedc9af0e710c36a9bccbe1679da991b3850f27af7f48d5cbcb08" => true
]
2 0.29 ms getItem() 
[
  "a434b25cedd19213c59adbe925fa8421aeec89291878116b1f0fc1eefe9f04f5" => true
]
3 29.54 ms get() 
[
  "related_magazines_electronicsdiscuss.tchncs.de__magazine_en" => "string"
]
4 70.54 ms get() 
[
  "active_users_5_en" => "string"
]
5 6.08 ms get() 
[
  "related_categories_electronicsdiscuss.tchncs.de__related_en" => "string"
]
6 27.51 ms get() 
[
  "related_posts_electronicsdiscuss.tchncs.de___magazine_en" => "string"
]
7 23.48 ms get() 
[
  "related_entries_electronicsdiscuss.tchncs.de___magazine_en" => "string"
]
8 0.11 ms get() 
[
  "support_us_block_en" => "string"
]

doctrine.second_level_cache_pool 41

Adapter

Symfony\Component\Cache\Adapter\RedisTagAwareAdapter

Metrics

41 Calls
179.72 ms Time
50 Reads
5 Writes
0 Deletes
37 Hits
13 Misses
74 % Hits/reads

Calls

# Time Call Hit
1 2.81 ms getItem() 
[
  "DC2_REGION_app_entity_magazine_10a4e9f1ca31c68ff37229028dc6a65ec2a2fcce" => true
]
2 0.09 ms getItem() 
[
  "DC2_REGION_timestamp_cache_region_App_Entity_Magazine" => false
]
3 0.13 ms getItems() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_5" => true
]
4 55.09 ms getItem() 
[
  "DC2_REGION_app_entity_settings_9402e4c8661bde3d314e51b4f72c04cb058fd98a" => true
]
5 3.94 ms getItem() 
[
  "DC2_REGION_timestamp_cache_region_App_Entity_Settings" => false
]
6 0.36 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
]
7 1.49 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_4846" => true
]
8 23.29 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_12924" => false
]
9 7.37 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_12924" => false
]
10 1.16 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_12924" => true
]
11 7.13 ms getItem() 
[
  "DC2_REGION_app_entity_domain_app.entity.domain_7" => true
]
12 5.86 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_34779" => false
]
13 1.36 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_34779" => false
]
14 0.38 ms save() 
[
  "DC2_REGION_app_entity_user_app.entity.user_34779" => true
]
15 5.71 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_72" => false
]
16 6.15 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_72" => false
]
17 0.24 ms save() 
[
  "DC2_REGION_app_entity_user_app.entity.user_72" => true
]
18 0.49 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_20368" => true
]
19 0.59 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_7482" => true
]
20 2.10 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_42785" => false
]
21 4.21 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_42785" => false
]
22 1.21 ms save() 
[
  "DC2_REGION_app_entity_user_app.entity.user_42785" => true
]
23 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_14194" => false
]
24 0.65 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_14194" => false
]
25 0.25 ms save() 
[
  "DC2_REGION_app_entity_image_app.entity.image_14194" => true
]
26 6.70 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_8914" => true
]
27 3.88 ms getItem() 
[
  "DC2_REGION_app_entity_user_app.entity.user_1" => true
]
28 22.83 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_8418" => true
]
29 0.10 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_5532" => true
]
30 0.08 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_3113" => true
]
31 0.08 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_7583" => true
]
32 5.19 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_6940" => true
]
33 0.12 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_19375" => true
]
34 0.67 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_17963" => true
]
35 0.09 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_16906" => true
]
36 3.24 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_11186" => true
]
37 1.32 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_46689" => true
]
38 0.93 ms getItem() 
[
  "DC2_REGION_app_entity_image_app.entity.image_48634" => true
]
39 2.02 ms getItem() 
[
  "DC2_REGION_app_entity_magazine_db8d53e5d0954766dad3ffe0522040baad26469d" => true
]
40 0.07 ms getItem() 
[
  "DC2_REGION_timestamp_cache_region_App_Entity_Magazine" => false
]
41 0.28 ms getItems() 
[
  "DC2_REGION_app_entity_magazine_app.entity.magazine_1" => true
]

cache.doctrine.orm.default.query 10

Adapter

Symfony\Component\Cache\Adapter\ArrayAdapter

Metrics

10 Calls
0.13 ms Time
5 Reads
5 Writes
0 Deletes
0 Hits
5 Misses
0 % Hits/reads

Calls

# Time Call Hit
1 0.00 ms getItem() 
[
  "bd6294bb8e5a1b44fc162871a8b0b371" => false
]
2 0.02 ms save() 
[
  "bd6294bb8e5a1b44fc162871a8b0b371" => true
]
3 0.01 ms getItem() 
[
  "b0798bee68e04ab7145a25915a6e0238" => false
]
4 0.03 ms save() 
[
  "b0798bee68e04ab7145a25915a6e0238" => true
]
5 0.01 ms getItem() 
[
  "0541c502e723cee92683a6be187b1466" => false
]
6 0.02 ms save() 
[
  "0541c502e723cee92683a6be187b1466" => true
]
7 0.00 ms getItem() 
[
  "b43f2c5a54f5c9fb5fa8a84c6286339f" => false
]
8 0.03 ms save() 
[
  "b43f2c5a54f5c9fb5fa8a84c6286339f" => true
]
9 0.00 ms getItem() 
[
  "75151cd8887c7e1cb080a52a5bda2a88" => false
]
10 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