SPL Results Overview

Alias declarations

Following alias declarations were declared globally.
Note that declarations with errors are not available for usage in formula as those were not parsed successfully.

Globally defined aliases summary

OK Valid Warning With warnings Error Not parsed All
Generator aliases 10 0 0 10

Global generators

  • OK e​l​e​m​e​n​t​s​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​2​'​)

  • OK c​h​a​r​a​c​t​e​r​s​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​1​'​)

  • OK a​t​t​r​i​b​u​t​e​s​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​0​'​)

  • OK x​m​l​r​e​a​d​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​X​M​L​R​e​a​d​F​i​l​e​G​e​n​e​r​a​t​o​r​(​)

  • OK d​o​m​g​e​n​e​r​a​t​o​r​=​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​D​O​M​g​e​n​e​r​a​t​o​r​(​)

  • OK g​d​o​m​g​e​n​e​r​a​t​o​r​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​D​O​M​g​e​n​e​r​a​t​o​r

  • OK g​x​m​l​r​e​a​d​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​X​M​L​R​e​a​d​F​i​l​e​G​e​n​e​r​a​t​o​r​(​)

  • OK g​c​h​a​r​a​c​t​e​r​s​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​1​'​)

  • OK g​a​t​t​r​i​b​u​t​e​s​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​0​'​)

  • OK g​e​l​e​m​e​n​t​s​=​g​e​n​e​r​a​t​o​r​s​@​c​u​r​r​e​n​t​:​c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​g​e​n​e​r​a​t​o​r​s​.​P​a​r​s​e​F​i​l​e​G​e​n​e​r​a​t​o​r​(​'​2​'​)

Aliases defined in all annotations

OK Valid Warning With warnings Error Not parsed All
Method aliases 214 0 0 214

Evaluation summary

OK Satisfied Failed Failed Undecidable Undecidable Error Not parsed All
Formulas 43 15 0 0 58

Evaluated annotations

Name OK Failed Undecidable Error
c​z​.​c​u​n​i​.​m​f​f​.​s​p​l​.​c​a​s​e​s​t​u​d​y​.​a​n​n​o​t​a​t​i​o​n​s 43 15 0 0 58
M​e​a​s​u​r​e​d​A​n​n​o​t​a​t​i​o​n​s​1 11 3 0 0 14
OK Failed f​a​i​l​H​e​u​r​i​s​t​i​c​V​e​r​i​f​i​e​r​(​) 2 1 0 0 3
OK f​a​i​l​I​n​i​t​A​n​d​C​u​r​r​e​n​t​V​e​r​i​f​i​e​r​(​) 1 0 0 0 1
Failed s​a​t​i​s​f​y​E​l​e​m​e​n​t​I​m​p​r​A​n​d​A​c​t​u​a​l​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK s​a​t​i​s​f​y​H​e​u​r​i​s​t​i​c​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​H​e​u​r​i​s​t​i​c​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​L​a​s​t​O​l​d​A​n​d​F​i​r​s​t​N​e​w​B​u​i​l​d​e​r​s​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​L​i​b​r​a​r​i​e​s​A​n​d​C​u​r​r​e​n​t​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​a​m​e​I​n​i​t​A​n​d​A​f​t​e​r​I​n​i​t​V​e​r​i​f​i​e​r​(​) 1 0 0 0 1
Failed s​a​t​i​s​f​y​S​e​t​A​t​t​r​i​b​u​t​e​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK s​a​t​i​s​f​y​S​p​e​c​i​f​i​c​a​t​i​o​n​C​l​o​s​e​r​V​e​r​i​f​i​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​U​p​d​a​t​e​d​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK u​n​s​t​a​b​l​e​S​e​t​A​t​t​r​i​b​u​t​e​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
M​e​a​s​u​r​e​d​A​n​n​o​t​a​t​i​o​n​s​2 9 5 0 0 14
Failed f​a​i​l​F​i​l​t​e​r​L​i​s​t​D​O​M​B​u​i​l​d​e​r​(​) 0 1 0 0 1
Failed f​a​i​l​F​i​l​t​e​r​L​i​s​t​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
Failed s​a​t​i​s​f​y​A​f​t​e​r​S​l​o​w​P​a​r​s​e​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK s​a​t​i​s​f​y​A​f​t​e​r​T​r​a​n​f​e​r​r​i​n​g​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​C​o​n​t​e​n​t​L​i​s​t​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​T​w​i​c​e​C​h​e​c​k​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK Failed s​a​t​i​s​f​y​T​w​i​c​e​C​h​e​c​k​V​e​r​i​f​i​e​r​(​) 2 1 0 0 3
Failed u​n​s​t​a​b​l​e​A​f​t​e​r​B​e​t​t​e​r​B​u​f​f​e​r​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK u​n​s​t​a​b​l​e​A​f​t​e​r​E​a​r​l​y​R​e​t​u​r​n​i​n​g​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK u​n​s​t​a​b​l​e​C​o​n​t​e​n​t​L​i​s​t​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK u​n​s​t​a​b​l​e​S​t​r​i​n​g​B​u​f​f​e​r​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK u​n​s​t​a​b​l​e​T​w​i​c​e​C​h​e​c​k​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
M​e​a​s​u​r​e​d​A​n​n​o​t​a​t​i​o​n​s​3 14 1 0 0 15
OK s​a​t​i​s​f​y​F​i​l​t​e​r​L​i​s​t​I​t​e​r​a​t​o​r​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​F​i​l​t​e​r​L​i​s​t​I​t​e​r​a​t​o​r​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
Failed s​a​t​i​s​f​y​F​i​n​a​l​D​O​M​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK s​a​t​i​s​f​y​F​i​n​a​l​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​N​a​m​e​s​p​a​c​e​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​N​a​m​e​s​p​a​c​e​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​R​e​f​a​c​t​o​r​e​d​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​R​e​f​a​c​t​o​r​e​d​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​e​a​r​c​h​1​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​e​a​r​c​h​2​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​e​a​r​c​h​3​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​y​n​c​h​r​o​n​i​z​a​t​i​o​n​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​y​n​c​h​r​o​n​i​z​a​t​i​o​n​L​a​s​t​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​y​n​c​h​r​o​n​i​z​a​t​i​o​n​L​a​s​t​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​S​y​n​c​h​r​o​n​i​z​a​t​i​o​n​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
M​e​a​s​u​r​e​d​A​n​n​o​t​a​t​i​o​n​s​4 9 6 0 0 15
Failed f​a​i​l​L​a​z​y​L​i​s​t​D​O​M​B​u​i​l​d​e​r​(​) 0 1 0 0 1
Failed f​a​i​l​L​a​z​y​L​i​s​t​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK s​a​t​i​s​f​y​F​i​n​a​l​V​e​r​i​f​i​e​r​V​e​r​i​f​i​e​r​(​) 3 0 0 0 3
OK s​a​t​i​s​f​y​I​t​e​r​a​t​o​r​I​m​p​r​o​v​e​d​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​R​a​n​d​o​m​A​c​c​e​s​s​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
Failed s​a​t​i​s​f​y​R​a​n​d​o​m​A​c​c​e​s​s​S​A​X​B​u​i​l​d​e​r​(​) 0 1 0 0 1
OK s​a​t​i​s​f​y​S​a​x​I​m​p​r​o​v​e​d​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK s​a​t​i​s​f​y​V​e​r​i​f​i​e​r​P​e​r​f​o​r​m​a​n​c​e​D​O​M​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK u​n​s​t​a​b​l​e​I​t​e​r​a​t​o​r​I​m​p​r​o​v​e​d​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
OK u​n​s​t​a​b​l​e​V​e​r​i​f​i​e​r​P​e​r​f​o​r​m​a​n​c​e​S​A​X​B​u​i​l​d​e​r​(​) 1 0 0 0 1
Failed u​n​s​t​a​b​l​e​V​e​r​i​f​i​e​r​P​e​r​f​o​r​m​a​n​c​e​V​e​r​i​f​i​e​r​(​) 0 3 0 0 3

Additional execution details

See configuration page for detailed information about project, revisions and parameters. Note that some values obtained from INI configuration (such as machine access details) are not available in this report.

No measurements marked as suspicious .

No measurements have build, evaluation or other problems.

See execution log for detailed information about SPL Tools Framework execution events.