(Kronenburg, Peper)

Time measurement: 

Formalization-1.1: Total 194 min (x 2 = 388 min = 6 h 28 min)
(Time in minutes)

  U1: 1
  U2: 1
  U3: 18
  U4: 6
  U5: 10
  U6: 10
  U7: 5
  U8: 7
  U9: 7
 U10: 7
 U11: 0
 U12: 15
 U13: 0
 U14: 5
 U15: 0
 U16: 5
 U17: 5
 U18: 3
 U19: 5 

 FM1: 5
 FM2: 0
 FM3: 1
 FM4: 1
 FM5: 1
 FM6: 10
 FM7: 15
 FM8: 0
 FM9: 0
FM10: 0
FM11: 0

NF1a: 30
NF1b: 10
 NF2: 3
 NF3: 0
 NF4: 5
 NF5: 3
 NF6: 0
 NF7: 0
 NF8: 0
 NF9: 0