timo@timo-ThinkPad-T570:~/SPLC$ java -jar test.jar -pbp -fb -pta -ptamin -ptamax -logLevel s -------------------------------------------------- Case Study: tgc simple with strategy: Product by Product Testgoals for product-variant checked: 1/12 Testgoals for product-variant checked: 5/12 Testgoals for product-variant checked: 7/12 Testgoals for product-variant checked: 10/12 Testgoals for product-variant checked: 11/12 Testgoals for product-variant checked: 12/12 Testgoals for product-variant checked: 1/12 Testgoals for product-variant checked: 5/12 Testgoals for product-variant checked: 7/12 Testgoals for product-variant checked: 10/12 Testgoals for product-variant checked: 11/12 Testgoals for product-variant checked: 12/12 ******************************* RESULTS ******************************* Created TestSuite with approach: Product by Product Using reuse-strategy Testgoals: 24 Produktvariants: 2 Testcases: 12 Failed Testgoals: 0 Estimated Time: 0.386582758 seconds -------------------------------------------------- Case Study: tgc simple with strategy: Family-based Checked testgoals: 0/12 Checked testgoals: 5/12 Checked testgoals: 6/12 Checked testgoals: 7/12 Checked testgoals: 11/12 Checked testgoals: 12/12 ******************************* RESULTS ******************************* Created TestSuite with approach: Family-based Using reuse-strategy Testgoals: 12 Testcases: 10 Failed Testgoals: 0 Estimated Time: 0.314659913 seconds -------------------------------------------------- Case Study: tgc simple with strategy: Parametric constraints Testgoals checked: 1 / 12 Testgoals checked: 2 / 12 Testgoals checked: 3 / 12 Testgoals checked: 4 / 12 Testgoals checked: 9 / 12 Testgoals checked: 11 / 12 Testgoals checked: 12 / 12 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints With Reuse strategy Testgoals: 12 Testcases: 11 Failed Testgoals: 0 Estimated Time: 0.289453512 seconds -------------------------------------------------- Case Study: tgc simple with strategy: Parametric constraints with Minimum Maximum Delay Testgoals checked: 1 / 12 Testgoals checked: 2 / 12 Testgoals checked: 3 / 12 Testgoals checked: 4 / 12 Testgoals checked: 5 / 12 Testgoals checked: 6 / 12 Testgoals checked: 7 / 12 Testgoals checked: 8 / 12 Testgoals checked: 9 / 12 Testgoals checked: 10 / 12 Testgoals checked: 11 / 12 Testgoals checked: 12 / 12 Testgoals checked: 1 / 12 Testgoals checked: 2 / 12 Testgoals checked: 3 / 12 Testgoals checked: 4 / 12 Testgoals checked: 5 / 12 Testgoals checked: 6 / 12 Testgoals checked: 7 / 12 Testgoals checked: 8 / 12 Testgoals checked: 9 / 12 Testgoals checked: 10 / 12 Testgoals checked: 11 / 12 Testgoals checked: 12 / 12 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints for Sampling [maximize, minimize] With Reuse strategy Testgoals: 24 Testcases: 17 Failed Testgoals: 0 Estimated Time: 0.929974761 seconds Testgoals for min: 12 Testcases for min: 12 Estimated Time for min: 0.49566678 seconds Testgoals for max: 12 Testcases for max: 5 Estimated Time for max: 0.43042399 seconds infinite Paths as Testgoals: 7 Testcases with infinite Paths: 7 -------------------------------------------------- Case Study: tgc extended with strategy: Product by Product Testgoals for product-variant checked: 1/24 Testgoals for product-variant checked: 4/24 Testgoals for product-variant checked: 5/24 Testgoals for product-variant checked: 7/24 Testgoals for product-variant checked: 8/24 Testgoals for product-variant checked: 9/24 Testgoals for product-variant checked: 10/24 Testgoals for product-variant checked: 13/24 Testgoals for product-variant checked: 15/24 Testgoals for product-variant checked: 16/24 Testgoals for product-variant checked: 17/24 Testgoals for product-variant checked: 22/24 Testgoals for product-variant checked: 23/24 Testgoals for product-variant checked: 24/24 Testgoals for product-variant checked: 1/17 Testgoals for product-variant checked: 5/17 Testgoals for product-variant checked: 6/17 Testgoals for product-variant checked: 7/17 Testgoals for product-variant checked: 10/17 Testgoals for product-variant checked: 11/17 Testgoals for product-variant checked: 12/17 Testgoals for product-variant checked: 13/17 Testgoals for product-variant checked: 14/17 Testgoals for product-variant checked: 15/17 Testgoals for product-variant checked: 16/17 Testgoals for product-variant checked: 17/17 Testgoals for product-variant checked: 1/22 Testgoals for product-variant checked: 5/22 Testgoals for product-variant checked: 6/22 Testgoals for product-variant checked: 7/22 Testgoals for product-variant checked: 8/22 Testgoals for product-variant checked: 11/22 Testgoals for product-variant checked: 13/22 Testgoals for product-variant checked: 14/22 Testgoals for product-variant checked: 15/22 Testgoals for product-variant checked: 20/22 Testgoals for product-variant checked: 21/22 Testgoals for product-variant checked: 22/22 Testgoals for product-variant checked: 1/19 Testgoals for product-variant checked: 4/19 Testgoals for product-variant checked: 5/19 Testgoals for product-variant checked: 7/19 Testgoals for product-variant checked: 8/19 Testgoals for product-variant checked: 9/19 Testgoals for product-variant checked: 12/19 Testgoals for product-variant checked: 13/19 Testgoals for product-variant checked: 14/19 Testgoals for product-variant checked: 15/19 Testgoals for product-variant checked: 16/19 Testgoals for product-variant checked: 17/19 Testgoals for product-variant checked: 18/19 Testgoals for product-variant checked: 19/19 Testgoals for product-variant checked: 1/24 Testgoals for product-variant checked: 4/24 Testgoals for product-variant checked: 5/24 Testgoals for product-variant checked: 7/24 Testgoals for product-variant checked: 8/24 Testgoals for product-variant checked: 9/24 Testgoals for product-variant checked: 10/24 Testgoals for product-variant checked: 13/24 Testgoals for product-variant checked: 15/24 Testgoals for product-variant checked: 16/24 Testgoals for product-variant checked: 17/24 Testgoals for product-variant checked: 22/24 Testgoals for product-variant checked: 23/24 Testgoals for product-variant checked: 24/24 Testgoals for product-variant checked: 1/22 Testgoals for product-variant checked: 5/22 Testgoals for product-variant checked: 6/22 Testgoals for product-variant checked: 7/22 Testgoals for product-variant checked: 8/22 Testgoals for product-variant checked: 11/22 Testgoals for product-variant checked: 13/22 Testgoals for product-variant checked: 14/22 Testgoals for product-variant checked: 15/22 Testgoals for product-variant checked: 20/22 Testgoals for product-variant checked: 21/22 Testgoals for product-variant checked: 22/22 ******************************* RESULTS ******************************* Created TestSuite with approach: Product by Product Using reuse-strategy Testgoals: 128 Produktvariants: 6 Testcases: 78 Failed Testgoals: 0 Estimated Time: 1.1803633 seconds -------------------------------------------------- Case Study: tgc extended with strategy: Family-based Checked testgoals: 0/29 Checked testgoals: 1/29 Checked testgoals: 2/29 Checked testgoals: 7/29 Checked testgoals: 8/29 Checked testgoals: 9/29 Checked testgoals: 10/29 Checked testgoals: 11/29 Checked testgoals: 12/29 Checked testgoals: 13/29 Checked testgoals: 14/29 Checked testgoals: 15/29 Checked testgoals: 16/29 Checked testgoals: 17/29 Checked testgoals: 18/29 Checked testgoals: 19/29 Checked testgoals: 21/29 Checked testgoals: 22/29 Checked testgoals: 23/29 Checked testgoals: 24/29 Checked testgoals: 25/29 Checked testgoals: 26/29 Checked testgoals: 27/29 Checked testgoals: 28/29 Checked testgoals: 29/29 ******************************* RESULTS ******************************* Created TestSuite with approach: Family-based Using reuse-strategy Testgoals: 29 Testcases: 30 Failed Testgoals: 0 Estimated Time: 1.495846868 seconds -------------------------------------------------- Case Study: tgc extended with strategy: Parametric constraints Testgoals checked: 1 / 29 Testgoals checked: 2 / 29 Testgoals checked: 3 / 29 Testgoals checked: 4 / 29 Testgoals checked: 5 / 29 Testgoals checked: 6 / 29 Testgoals checked: 7 / 29 Testgoals checked: 9 / 29 Testgoals checked: 10 / 29 Testgoals checked: 11 / 29 Testgoals checked: 12 / 29 Testgoals checked: 13 / 29 Testgoals checked: 14 / 29 Testgoals checked: 15 / 29 Testgoals checked: 17 / 29 Testgoals checked: 18 / 29 Testgoals checked: 19 / 29 Testgoals checked: 21 / 29 Testgoals checked: 22 / 29 Testgoals checked: 23 / 29 Testgoals checked: 24 / 29 Testgoals checked: 25 / 29 Testgoals checked: 26 / 29 Testgoals checked: 27 / 29 Testgoals checked: 28 / 29 Testgoals checked: 29 / 29 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints With Reuse strategy Testgoals: 29 Testcases: 31 Failed Testgoals: 0 Estimated Time: 6.399466693 seconds Case Study: tgc extended with strategy: Parametric constraints with Minimum Maximum Delay Testgoals checked: 1 / 29 Testgoals checked: 2 / 29 Testgoals checked: 3 / 29 Testgoals checked: 4 / 29 Testgoals checked: 5 / 29 Testgoals checked: 6 / 29 Testgoals checked: 7 / 29 Testgoals checked: 8 / 29 Testgoals checked: 9 / 29 Testgoals checked: 10 / 29 Testgoals checked: 11 / 29 Testgoals checked: 12 / 29 Testgoals checked: 13 / 29 Testgoals checked: 14 / 29 Testgoals checked: 15 / 29 Testgoals checked: 16 / 29 Testgoals checked: 17 / 29 Testgoals checked: 18 / 29 Testgoals checked: 19 / 29 Testgoals checked: 20 / 29 Testgoals checked: 21 / 29 Testgoals checked: 22 / 29 Testgoals checked: 23 / 29 Testgoals checked: 24 / 29 Testgoals checked: 25 / 29 Testgoals checked: 26 / 29 Testgoals checked: 27 / 29 Testgoals checked: 28 / 29 Testgoals checked: 29 / 29 Testgoals checked: 1 / 29 Testgoals checked: 2 / 29 Testgoals checked: 3 / 29 Testgoals checked: 4 / 29 Testgoals checked: 5 / 29 Testgoals checked: 6 / 29 Testgoals checked: 7 / 29 Testgoals checked: 8 / 29 Testgoals checked: 9 / 29 Testgoals checked: 10 / 29 Testgoals checked: 11 / 29 Testgoals checked: 12 / 29 Testgoals checked: 13 / 29 Testgoals checked: 14 / 29 Testgoals checked: 15 / 29 Testgoals checked: 16 / 29 Testgoals checked: 17 / 29 Testgoals checked: 18 / 29 Testgoals checked: 19 / 29 Testgoals checked: 20 / 29 Testgoals checked: 21 / 29 Testgoals checked: 22 / 29 Testgoals checked: 23 / 29 Testgoals checked: 24 / 29 Testgoals checked: 25 / 29 Testgoals checked: 26 / 29 Testgoals checked: 27 / 29 Testgoals checked: 28 / 29 Testgoals checked: 29 / 29 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints for Sampling [maximize, minimize] With Reuse strategy Testgoals: 58 Testcases: 42 Failed Testgoals: 0 Estimated Time: 17.56844603 seconds Testgoals for min: 29 Testcases for min: 26 Estimated Time for min: 9.161170288 seconds Testgoals for max: 29 Testcases for max: 16 Estimated Time for max: 8.406905989 seconds infinite Paths as Testgoals: 12 Testcases with infinite Paths: 12 -------------------------------------------------- Case Study: audio-video-protocol with strategy: Product by Product Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 Testgoals for product-variant checked: 1/37 Testgoals for product-variant checked: 6/37 Testgoals for product-variant checked: 20/37 Testgoals for product-variant checked: 21/37 Testgoals for product-variant checked: 22/37 Testgoals for product-variant checked: 23/37 Testgoals for product-variant checked: 24/37 Testgoals for product-variant checked: 25/37 Testgoals for product-variant checked: 26/37 Testgoals for product-variant checked: 27/37 Testgoals for product-variant checked: 28/37 Testgoals for product-variant checked: 29/37 Testgoals for product-variant checked: 30/37 Testgoals for product-variant checked: 31/37 Testgoals for product-variant checked: 32/37 Testgoals for product-variant checked: 33/37 Testgoals for product-variant checked: 34/37 Testgoals for product-variant checked: 35/37 Testgoals for product-variant checked: 36/37 Testgoals for product-variant checked: 37/37 ******************************* RESULTS ******************************* Created TestSuite with approach: Product by Product Using reuse-strategy Testgoals: 2072 Produktvariants: 56 Testcases: 1120 Failed Testgoals: 0 Estimated Time: 12.163913187 seconds -------------------------------------------------- Case Study: audio-video-protocol with strategy: Family-based Checked testgoals: 0/37 Checked testgoals: 6/37 Checked testgoals: 7/37 Checked testgoals: 8/37 Checked testgoals: 9/37 Checked testgoals: 10/37 Checked testgoals: 11/37 Checked testgoals: 12/37 Checked testgoals: 13/37 Checked testgoals: 16/37 Checked testgoals: 22/37 Checked testgoals: 23/37 Checked testgoals: 24/37 Checked testgoals: 30/37 Checked testgoals: 31/37 Checked testgoals: 32/37 Checked testgoals: 34/37 Checked testgoals: 35/37 Checked testgoals: 36/37 Checked testgoals: 37/37 ******************************* RESULTS ******************************* Created TestSuite with approach: Family-based Using reuse-strategy Testgoals: 37 Testcases: 186 Failed Testgoals: 0 Estimated Time: 2.666478825 seconds -------------------------------------------------- Case Study: audio-video-protocol with strategy: Parametric constraints Testgoals checked: 1 / 37 Testgoals checked: 2 / 37 Testgoals checked: 3 / 37 Testgoals checked: 4 / 37 Testgoals checked: 5 / 37 Testgoals checked: 6 / 37 Testgoals checked: 7 / 37 Testgoals checked: 8 / 37 Testgoals checked: 9 / 37 Testgoals checked: 10 / 37 Testgoals checked: 12 / 37 Testgoals checked: 13 / 37 Testgoals checked: 14 / 37 Testgoals checked: 15 / 37 Testgoals checked: 16 / 37 Testgoals checked: 17 / 37 Testgoals checked: 18 / 37 Testgoals checked: 19 / 37 Testgoals checked: 20 / 37 Testgoals checked: 21 / 37 Testgoals checked: 22 / 37 Testgoals checked: 23 / 37 Testgoals checked: 28 / 37 Testgoals checked: 29 / 37 Testgoals checked: 30 / 37 Testgoals checked: 32 / 37 Testgoals checked: 34 / 37 Testgoals checked: 35 / 37 Testgoals checked: 36 / 37 Testgoals checked: 37 / 37 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints With Reuse strategy Testgoals: 37 Testcases: 196 Failed Testgoals: 0 Estimated Time: 1057.093949774 seconds -------------------------------------------------- Case Study: audio-video-protocol with strategy: Parametric constraints with Minimum Maximum Delay Testgoals checked: 1 / 37 Testgoals checked: 2 / 37 Testgoals checked: 3 / 37 Testgoals checked: 4 / 37 Testgoals checked: 5 / 37 Testgoals checked: 6 / 37 Testgoals checked: 7 / 37 Testgoals checked: 8 / 37 Testgoals checked: 9 / 37 Testgoals checked: 10 / 37 Testgoals checked: 11 / 37 Testgoals checked: 12 / 37 Testgoals checked: 13 / 37 Testgoals checked: 14 / 37 Testgoals checked: 15 / 37 Testgoals checked: 16 / 37 Testgoals checked: 17 / 37 Testgoals checked: 18 / 37 Testgoals checked: 19 / 37 Testgoals checked: 20 / 37 Testgoals checked: 21 / 37 Testgoals checked: 22 / 37 Testgoals checked: 23 / 37 Testgoals checked: 24 / 37 Testgoals checked: 25 / 37 Testgoals checked: 26 / 37 Testgoals checked: 27 / 37 Testgoals checked: 28 / 37 Testgoals checked: 29 / 37 Testgoals checked: 30 / 37 Testgoals checked: 31 / 37 Testgoals checked: 32 / 37 Testgoals checked: 33 / 37 Testgoals checked: 34 / 37 Testgoals checked: 35 / 37 Testgoals checked: 36 / 37 Testgoals checked: 37 / 37 Testgoals checked: 1 / 37 Testgoals checked: 2 / 37 Testgoals checked: 3 / 37 Testgoals checked: 4 / 37 Testgoals checked: 5 / 37 Testgoals checked: 6 / 37 Testgoals checked: 7 / 37 Testgoals checked: 8 / 37 Testgoals checked: 9 / 37 Testgoals checked: 10 / 37 Testgoals checked: 11 / 37 Testgoals checked: 12 / 37 Testgoals checked: 13 / 37 ^[[B^[[BTestgoals checked: 14 / 37 ^[[BTestgoals checked: 15 / 37 ^[[BTestgoals checked: 16 / 37 Testgoals checked: 17 / 37 Testgoals checked: 18 / 37 Testgoals checked: 19 / 37 Testgoals checked: 20 / 37 Testgoals checked: 21 / 37 Testgoals checked: 22 / 37 Testgoals checked: 23 / 37 Testgoals checked: 24 / 37 Testgoals checked: 25 / 37 Testgoals checked: 26 / 37 Testgoals checked: 27 / 37 Testgoals checked: 28 / 37 Testgoals checked: 29 / 37 Testgoals checked: 30 / 37 Testgoals checked: 31 / 37 Testgoals checked: 32 / 37 Testgoals checked: 33 / 37 Testgoals checked: 34 / 37 Testgoals checked: 35 / 37 Testgoals checked: 36 / 37 Testgoals checked: 37 / 37 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints for Sampling [maximize, minimize] With Reuse strategy Testgoals: 74 Testcases: 54 Failed Testgoals: 0 Estimated Time: 2550.949268913 seconds Testgoals for min: 37 Testcases for min: 37 Estimated Time for min: 1355.566621262 seconds Testgoals for max: 37 Testcases for max: 17 Estimated Time for max: 1195.382377877 seconds infinite Paths as Testgoals: 20 Testcases with infinite Paths: 20 -------------------------------------------------- Case Study: gearcontrol with strategy: Product by Product Testgoals for product-variant checked: 1/61 Testgoals for product-variant checked: 16/61 Testgoals for product-variant checked: 18/61 Testgoals for product-variant checked: 33/61 Testgoals for product-variant checked: 34/61 Testgoals for product-variant checked: 35/61 Testgoals for product-variant checked: 36/61 Testgoals for product-variant checked: 37/61 Testgoals for product-variant checked: 40/61 Testgoals for product-variant checked: 41/61 Testgoals for product-variant checked: 42/61 Testgoals for product-variant checked: 44/61 Testgoals for product-variant checked: 45/61 Testgoals for product-variant checked: 47/61 Testgoals for product-variant checked: 48/61 Testgoals for product-variant checked: 50/61 Testgoals for product-variant checked: 51/61 Testgoals for product-variant checked: 53/61 Testgoals for product-variant checked: 54/61 Testgoals for product-variant checked: 56/61 Testgoals for product-variant checked: 57/61 Testgoals for product-variant checked: 59/61 Testgoals for product-variant checked: 61/61 Testgoals for product-variant checked: 1/57 Testgoals for product-variant checked: 16/57 Testgoals for product-variant checked: 18/57 Testgoals for product-variant checked: 33/57 Testgoals for product-variant checked: 34/57 Testgoals for product-variant checked: 35/57 Testgoals for product-variant checked: 36/57 Testgoals for product-variant checked: 37/57 Testgoals for product-variant checked: 39/57 Testgoals for product-variant checked: 40/57 Testgoals for product-variant checked: 41/57 Testgoals for product-variant checked: 43/57 Testgoals for product-variant checked: 44/57 Testgoals for product-variant checked: 46/57 Testgoals for product-variant checked: 47/57 Testgoals for product-variant checked: 49/57 Testgoals for product-variant checked: 50/57 Testgoals for product-variant checked: 52/57 Testgoals for product-variant checked: 53/57 Testgoals for product-variant checked: 55/57 Testgoals for product-variant checked: 57/57 Testgoals for product-variant checked: 1/63 Testgoals for product-variant checked: 16/63 Testgoals for product-variant checked: 18/63 Testgoals for product-variant checked: 33/63 Testgoals for product-variant checked: 34/63 Testgoals for product-variant checked: 35/63 Testgoals for product-variant checked: 36/63 Testgoals for product-variant checked: 37/63 Testgoals for product-variant checked: 39/63 Testgoals for product-variant checked: 40/63 Testgoals for product-variant checked: 41/63 Testgoals for product-variant checked: 43/63 Testgoals for product-variant checked: 44/63 Testgoals for product-variant checked: 46/63 Testgoals for product-variant checked: 47/63 Testgoals for product-variant checked: 49/63 Testgoals for product-variant checked: 50/63 Testgoals for product-variant checked: 52/63 Testgoals for product-variant checked: 53/63 Testgoals for product-variant checked: 55/63 Testgoals for product-variant checked: 56/63 Testgoals for product-variant checked: 58/63 Testgoals for product-variant checked: 59/63 Testgoals for product-variant checked: 61/63 Testgoals for product-variant checked: 63/63 Testgoals for product-variant checked: 1/59 Testgoals for product-variant checked: 16/59 Testgoals for product-variant checked: 18/59 Testgoals for product-variant checked: 33/59 Testgoals for product-variant checked: 34/59 Testgoals for product-variant checked: 35/59 Testgoals for product-variant checked: 36/59 Testgoals for product-variant checked: 37/59 Testgoals for product-variant checked: 40/59 Testgoals for product-variant checked: 41/59 Testgoals for product-variant checked: 42/59 Testgoals for product-variant checked: 44/59 Testgoals for product-variant checked: 45/59 Testgoals for product-variant checked: 47/59 Testgoals for product-variant checked: 48/59 Testgoals for product-variant checked: 50/59 Testgoals for product-variant checked: 51/59 Testgoals for product-variant checked: 53/59 Testgoals for product-variant checked: 54/59 Testgoals for product-variant checked: 55/59 Testgoals for product-variant checked: 57/59 Testgoals for product-variant checked: 59/59 Testgoals for product-variant checked: 1/60 Testgoals for product-variant checked: 16/60 Testgoals for product-variant checked: 18/60 Testgoals for product-variant checked: 33/60 Testgoals for product-variant checked: 34/60 Testgoals for product-variant checked: 35/60 Testgoals for product-variant checked: 36/60 Testgoals for product-variant checked: 37/60 Testgoals for product-variant checked: 39/60 Testgoals for product-variant checked: 40/60 Testgoals for product-variant checked: 41/60 Testgoals for product-variant checked: 43/60 Testgoals for product-variant checked: 44/60 Testgoals for product-variant checked: 46/60 Testgoals for product-variant checked: 47/60 Testgoals for product-variant checked: 49/60 Testgoals for product-variant checked: 50/60 Testgoals for product-variant checked: 52/60 Testgoals for product-variant checked: 53/60 Testgoals for product-variant checked: 55/60 Testgoals for product-variant checked: 56/60 Testgoals for product-variant checked: 58/60 Testgoals for product-variant checked: 60/60 Testgoals for product-variant checked: 1/58 Testgoals for product-variant checked: 16/58 Testgoals for product-variant checked: 18/58 Testgoals for product-variant checked: 33/58 Testgoals for product-variant checked: 34/58 Testgoals for product-variant checked: 35/58 Testgoals for product-variant checked: 36/58 Testgoals for product-variant checked: 37/58 Testgoals for product-variant checked: 40/58 Testgoals for product-variant checked: 41/58 Testgoals for product-variant checked: 42/58 Testgoals for product-variant checked: 44/58 Testgoals for product-variant checked: 45/58 Testgoals for product-variant checked: 47/58 Testgoals for product-variant checked: 48/58 Testgoals for product-variant checked: 50/58 Testgoals for product-variant checked: 51/58 Testgoals for product-variant checked: 53/58 Testgoals for product-variant checked: 54/58 Testgoals for product-variant checked: 56/58 Testgoals for product-variant checked: 58/58 Testgoals for product-variant checked: 1/58 Testgoals for product-variant checked: 16/58 Testgoals for product-variant checked: 18/58 Testgoals for product-variant checked: 33/58 Testgoals for product-variant checked: 34/58 Testgoals for product-variant checked: 35/58 Testgoals for product-variant checked: 36/58 Testgoals for product-variant checked: 37/58 Testgoals for product-variant checked: 39/58 Testgoals for product-variant checked: 40/58 Testgoals for product-variant checked: 41/58 Testgoals for product-variant checked: 43/58 Testgoals for product-variant checked: 44/58 Testgoals for product-variant checked: 46/58 Testgoals for product-variant checked: 47/58 Testgoals for product-variant checked: 49/58 Testgoals for product-variant checked: 50/58 Testgoals for product-variant checked: 52/58 Testgoals for product-variant checked: 53/58 Testgoals for product-variant checked: 54/58 Testgoals for product-variant checked: 56/58 Testgoals for product-variant checked: 58/58 Testgoals for product-variant checked: 1/62 Testgoals for product-variant checked: 16/62 Testgoals for product-variant checked: 18/62 Testgoals for product-variant checked: 33/62 Testgoals for product-variant checked: 34/62 Testgoals for product-variant checked: 35/62 Testgoals for product-variant checked: 36/62 Testgoals for product-variant checked: 37/62 Testgoals for product-variant checked: 40/62 Testgoals for product-variant checked: 41/62 Testgoals for product-variant checked: 42/62 Testgoals for product-variant checked: 44/62 Testgoals for product-variant checked: 45/62 Testgoals for product-variant checked: 47/62 Testgoals for product-variant checked: 48/62 Testgoals for product-variant checked: 50/62 Testgoals for product-variant checked: 51/62 Testgoals for product-variant checked: 53/62 Testgoals for product-variant checked: 54/62 Testgoals for product-variant checked: 55/62 Testgoals for product-variant checked: 57/62 Testgoals for product-variant checked: 58/62 Testgoals for product-variant checked: 60/62 Testgoals for product-variant checked: 62/62 Testgoals for product-variant checked: 1/61 Testgoals for product-variant checked: 16/61 Testgoals for product-variant checked: 18/61 Testgoals for product-variant checked: 33/61 Testgoals for product-variant checked: 34/61 Testgoals for product-variant checked: 35/61 Testgoals for product-variant checked: 36/61 Testgoals for product-variant checked: 37/61 Testgoals for product-variant checked: 40/61 Testgoals for product-variant checked: 41/61 Testgoals for product-variant checked: 42/61 Testgoals for product-variant checked: 44/61 Testgoals for product-variant checked: 45/61 Testgoals for product-variant checked: 47/61 Testgoals for product-variant checked: 48/61 Testgoals for product-variant checked: 50/61 Testgoals for product-variant checked: 51/61 Testgoals for product-variant checked: 53/61 Testgoals for product-variant checked: 54/61 Testgoals for product-variant checked: 56/61 Testgoals for product-variant checked: 57/61 Testgoals for product-variant checked: 59/61 Testgoals for product-variant checked: 61/61 Testgoals for product-variant checked: 1/58 Testgoals for product-variant checked: 16/58 Testgoals for product-variant checked: 18/58 Testgoals for product-variant checked: 33/58 Testgoals for product-variant checked: 34/58 Testgoals for product-variant checked: 35/58 Testgoals for product-variant checked: 36/58 Testgoals for product-variant checked: 37/58 Testgoals for product-variant checked: 40/58 Testgoals for product-variant checked: 41/58 Testgoals for product-variant checked: 42/58 Testgoals for product-variant checked: 44/58 Testgoals for product-variant checked: 45/58 Testgoals for product-variant checked: 47/58 Testgoals for product-variant checked: 48/58 Testgoals for product-variant checked: 50/58 Testgoals for product-variant checked: 51/58 Testgoals for product-variant checked: 53/58 Testgoals for product-variant checked: 54/58 Testgoals for product-variant checked: 56/58 Testgoals for product-variant checked: 58/58 Testgoals for product-variant checked: 1/61 Testgoals for product-variant checked: 16/61 Testgoals for product-variant checked: 18/61 Testgoals for product-variant checked: 33/61 Testgoals for product-variant checked: 34/61 Testgoals for product-variant checked: 35/61 Testgoals for product-variant checked: 36/61 Testgoals for product-variant checked: 37/61 Testgoals for product-variant checked: 39/61 Testgoals for product-variant checked: 40/61 Testgoals for product-variant checked: 41/61 Testgoals for product-variant checked: 43/61 Testgoals for product-variant checked: 44/61 Testgoals for product-variant checked: 46/61 Testgoals for product-variant checked: 47/61 Testgoals for product-variant checked: 49/61 Testgoals for product-variant checked: 50/61 Testgoals for product-variant checked: 52/61 Testgoals for product-variant checked: 53/61 Testgoals for product-variant checked: 54/61 Testgoals for product-variant checked: 56/61 Testgoals for product-variant checked: 57/61 Testgoals for product-variant checked: 59/61 Testgoals for product-variant checked: 61/61 Testgoals for product-variant checked: 1/57 Testgoals for product-variant checked: 16/57 Testgoals for product-variant checked: 18/57 Testgoals for product-variant checked: 33/57 Testgoals for product-variant checked: 34/57 Testgoals for product-variant checked: 35/57 Testgoals for product-variant checked: 36/57 Testgoals for product-variant checked: 37/57 Testgoals for product-variant checked: 39/57 Testgoals for product-variant checked: 40/57 Testgoals for product-variant checked: 41/57 Testgoals for product-variant checked: 43/57 Testgoals for product-variant checked: 44/57 Testgoals for product-variant checked: 46/57 Testgoals for product-variant checked: 47/57 Testgoals for product-variant checked: 49/57 Testgoals for product-variant checked: 50/57 Testgoals for product-variant checked: 52/57 Testgoals for product-variant checked: 53/57 Testgoals for product-variant checked: 55/57 Testgoals for product-variant checked: 57/57 Testgoals for product-variant checked: 1/64 Testgoals for product-variant checked: 16/64 Testgoals for product-variant checked: 18/64 Testgoals for product-variant checked: 33/64 Testgoals for product-variant checked: 34/64 Testgoals for product-variant checked: 35/64 Testgoals for product-variant checked: 36/64 Testgoals for product-variant checked: 37/64 Testgoals for product-variant checked: 39/64 Testgoals for product-variant checked: 40/64 Testgoals for product-variant checked: 41/64 Testgoals for product-variant checked: 43/64 Testgoals for product-variant checked: 44/64 Testgoals for product-variant checked: 46/64 Testgoals for product-variant checked: 47/64 Testgoals for product-variant checked: 49/64 Testgoals for product-variant checked: 50/64 Testgoals for product-variant checked: 52/64 Testgoals for product-variant checked: 53/64 Testgoals for product-variant checked: 54/64 Testgoals for product-variant checked: 56/64 Testgoals for product-variant checked: 57/64 Testgoals for product-variant checked: 59/64 Testgoals for product-variant checked: 60/64 Testgoals for product-variant checked: 62/64 Testgoals for product-variant checked: 64/64 Testgoals for product-variant checked: 1/63 Testgoals for product-variant checked: 16/63 Testgoals for product-variant checked: 18/63 Testgoals for product-variant checked: 33/63 Testgoals for product-variant checked: 34/63 Testgoals for product-variant checked: 35/63 Testgoals for product-variant checked: 36/63 Testgoals for product-variant checked: 37/63 Testgoals for product-variant checked: 39/63 Testgoals for product-variant checked: 40/63 Testgoals for product-variant checked: 41/63 Testgoals for product-variant checked: 43/63 Testgoals for product-variant checked: 44/63 Testgoals for product-variant checked: 46/63 Testgoals for product-variant checked: 47/63 Testgoals for product-variant checked: 49/63 Testgoals for product-variant checked: 50/63 Testgoals for product-variant checked: 52/63 Testgoals for product-variant checked: 53/63 Testgoals for product-variant checked: 55/63 Testgoals for product-variant checked: 56/63 Testgoals for product-variant checked: 58/63 Testgoals for product-variant checked: 59/63 Testgoals for product-variant checked: 61/63 Testgoals for product-variant checked: 63/63 Testgoals for product-variant checked: 1/62 Testgoals for product-variant checked: 16/62 Testgoals for product-variant checked: 18/62 Testgoals for product-variant checked: 33/62 Testgoals for product-variant checked: 34/62 Testgoals for product-variant checked: 35/62 Testgoals for product-variant checked: 36/62 Testgoals for product-variant checked: 37/62 Testgoals for product-variant checked: 40/62 Testgoals for product-variant checked: 41/62 Testgoals for product-variant checked: 42/62 Testgoals for product-variant checked: 44/62 Testgoals for product-variant checked: 45/62 Testgoals for product-variant checked: 47/62 Testgoals for product-variant checked: 48/62 Testgoals for product-variant checked: 50/62 Testgoals for product-variant checked: 51/62 Testgoals for product-variant checked: 53/62 Testgoals for product-variant checked: 54/62 Testgoals for product-variant checked: 55/62 Testgoals for product-variant checked: 57/62 Testgoals for product-variant checked: 58/62 Testgoals for product-variant checked: 60/62 Testgoals for product-variant checked: 62/62 Testgoals for product-variant checked: 1/60 Testgoals for product-variant checked: 16/60 Testgoals for product-variant checked: 18/60 Testgoals for product-variant checked: 33/60 Testgoals for product-variant checked: 34/60 Testgoals for product-variant checked: 35/60 Testgoals for product-variant checked: 36/60 Testgoals for product-variant checked: 37/60 Testgoals for product-variant checked: 39/60 Testgoals for product-variant checked: 40/60 Testgoals for product-variant checked: 41/60 Testgoals for product-variant checked: 43/60 Testgoals for product-variant checked: 44/60 Testgoals for product-variant checked: 46/60 Testgoals for product-variant checked: 47/60 Testgoals for product-variant checked: 49/60 Testgoals for product-variant checked: 50/60 Testgoals for product-variant checked: 52/60 Testgoals for product-variant checked: 53/60 Testgoals for product-variant checked: 55/60 Testgoals for product-variant checked: 56/60 Testgoals for product-variant checked: 58/60 Testgoals for product-variant checked: 60/60 Testgoals for product-variant checked: 1/61 Testgoals for product-variant checked: 16/61 Testgoals for product-variant checked: 18/61 Testgoals for product-variant checked: 33/61 Testgoals for product-variant checked: 34/61 Testgoals for product-variant checked: 35/61 Testgoals for product-variant checked: 36/61 Testgoals for product-variant checked: 37/61 Testgoals for product-variant checked: 39/61 Testgoals for product-variant checked: 40/61 Testgoals for product-variant checked: 41/61 Testgoals for product-variant checked: 43/61 Testgoals for product-variant checked: 44/61 Testgoals for product-variant checked: 46/61 Testgoals for product-variant checked: 47/61 Testgoals for product-variant checked: 49/61 Testgoals for product-variant checked: 50/61 Testgoals for product-variant checked: 52/61 Testgoals for product-variant checked: 53/61 Testgoals for product-variant checked: 54/61 Testgoals for product-variant checked: 56/61 Testgoals for product-variant checked: 57/61 Testgoals for product-variant checked: 59/61 Testgoals for product-variant checked: 61/61 Testgoals for product-variant checked: 1/58 Testgoals for product-variant checked: 16/58 Testgoals for product-variant checked: 18/58 Testgoals for product-variant checked: 33/58 Testgoals for product-variant checked: 34/58 Testgoals for product-variant checked: 35/58 Testgoals for product-variant checked: 36/58 Testgoals for product-variant checked: 37/58 Testgoals for product-variant checked: 39/58 Testgoals for product-variant checked: 40/58 Testgoals for product-variant checked: 41/58 Testgoals for product-variant checked: 43/58 Testgoals for product-variant checked: 44/58 Testgoals for product-variant checked: 46/58 Testgoals for product-variant checked: 47/58 Testgoals for product-variant checked: 49/58 Testgoals for product-variant checked: 50/58 Testgoals for product-variant checked: 52/58 Testgoals for product-variant checked: 53/58 Testgoals for product-variant checked: 54/58 Testgoals for product-variant checked: 56/58 Testgoals for product-variant checked: 58/58 Testgoals for product-variant checked: 1/62 Testgoals for product-variant checked: 16/62 Testgoals for product-variant checked: 18/62 Testgoals for product-variant checked: 33/62 Testgoals for product-variant checked: 34/62 Testgoals for product-variant checked: 35/62 Testgoals for product-variant checked: 36/62 Testgoals for product-variant checked: 37/62 Testgoals for product-variant checked: 40/62 Testgoals for product-variant checked: 41/62 Testgoals for product-variant checked: 42/62 Testgoals for product-variant checked: 44/62 Testgoals for product-variant checked: 45/62 Testgoals for product-variant checked: 47/62 Testgoals for product-variant checked: 48/62 Testgoals for product-variant checked: 50/62 Testgoals for product-variant checked: 51/62 Testgoals for product-variant checked: 53/62 Testgoals for product-variant checked: 54/62 Testgoals for product-variant checked: 55/62 Testgoals for product-variant checked: 57/62 Testgoals for product-variant checked: 58/62 Testgoals for product-variant checked: 60/62 Testgoals for product-variant checked: 62/62 Testgoals for product-variant checked: 1/61 Testgoals for product-variant checked: 16/61 Testgoals for product-variant checked: 18/61 Testgoals for product-variant checked: 33/61 Testgoals for product-variant checked: 34/61 Testgoals for product-variant checked: 35/61 Testgoals for product-variant checked: 36/61 Testgoals for product-variant checked: 37/61 Testgoals for product-variant checked: 40/61 Testgoals for product-variant checked: 41/61 Testgoals for product-variant checked: 42/61 Testgoals for product-variant checked: 44/61 Testgoals for product-variant checked: 45/61 Testgoals for product-variant checked: 47/61 Testgoals for product-variant checked: 48/61 Testgoals for product-variant checked: 50/61 Testgoals for product-variant checked: 51/61 Testgoals for product-variant checked: 53/61 Testgoals for product-variant checked: 54/61 Testgoals for product-variant checked: 56/61 Testgoals for product-variant checked: 57/61 Testgoals for product-variant checked: 59/61 Testgoals for product-variant checked: 61/61 Testgoals for product-variant checked: 1/62 Testgoals for product-variant checked: 16/62 Testgoals for product-variant checked: 18/62 Testgoals for product-variant checked: 33/62 Testgoals for product-variant checked: 34/62 Testgoals for product-variant checked: 35/62 Testgoals for product-variant checked: 36/62 Testgoals for product-variant checked: 37/62 Testgoals for product-variant checked: 40/62 Testgoals for product-variant checked: 41/62 Testgoals for product-variant checked: 42/62 Testgoals for product-variant checked: 44/62 Testgoals for product-variant checked: 45/62 Testgoals for product-variant checked: 47/62 Testgoals for product-variant checked: 48/62 Testgoals for product-variant checked: 50/62 Testgoals for product-variant checked: 51/62 Testgoals for product-variant checked: 53/62 Testgoals for product-variant checked: 54/62 Testgoals for product-variant checked: 55/62 Testgoals for product-variant checked: 57/62 Testgoals for product-variant checked: 58/62 Testgoals for product-variant checked: 60/62 Testgoals for product-variant checked: 62/62 Testgoals for product-variant checked: 1/61 Testgoals for product-variant checked: 16/61 Testgoals for product-variant checked: 18/61 Testgoals for product-variant checked: 33/61 Testgoals for product-variant checked: 34/61 Testgoals for product-variant checked: 35/61 Testgoals for product-variant checked: 36/61 Testgoals for product-variant checked: 37/61 Testgoals for product-variant checked: 40/61 Testgoals for product-variant checked: 41/61 Testgoals for product-variant checked: 42/61 Testgoals for product-variant checked: 44/61 Testgoals for product-variant checked: 45/61 Testgoals for product-variant checked: 47/61 Testgoals for product-variant checked: 48/61 Testgoals for product-variant checked: 50/61 Testgoals for product-variant checked: 51/61 Testgoals for product-variant checked: 53/61 Testgoals for product-variant checked: 54/61 Testgoals for product-variant checked: 56/61 Testgoals for product-variant checked: 57/61 Testgoals for product-variant checked: 59/61 Testgoals for product-variant checked: 61/61 Testgoals for product-variant checked: 1/59 Testgoals for product-variant checked: 16/59 Testgoals for product-variant checked: 18/59 Testgoals for product-variant checked: 33/59 Testgoals for product-variant checked: 34/59 Testgoals for product-variant checked: 35/59 Testgoals for product-variant checked: 36/59 Testgoals for product-variant checked: 37/59 Testgoals for product-variant checked: 40/59 Testgoals for product-variant checked: 41/59 Testgoals for product-variant checked: 42/59 Testgoals for product-variant checked: 44/59 Testgoals for product-variant checked: 45/59 Testgoals for product-variant checked: 47/59 Testgoals for product-variant checked: 48/59 Testgoals for product-variant checked: 50/59 Testgoals for product-variant checked: 51/59 Testgoals for product-variant checked: 53/59 Testgoals for product-variant checked: 54/59 Testgoals for product-variant checked: 55/59 Testgoals for product-variant checked: 57/59 Testgoals for product-variant checked: 59/59 Testgoals for product-variant checked: 1/64 Testgoals for product-variant checked: 16/64 Testgoals for product-variant checked: 18/64 Testgoals for product-variant checked: 33/64 Testgoals for product-variant checked: 34/64 Testgoals for product-variant checked: 35/64 Testgoals for product-variant checked: 36/64 Testgoals for product-variant checked: 37/64 Testgoals for product-variant checked: 39/64 Testgoals for product-variant checked: 40/64 Testgoals for product-variant checked: 41/64 Testgoals for product-variant checked: 43/64 Testgoals for product-variant checked: 44/64 Testgoals for product-variant checked: 46/64 Testgoals for product-variant checked: 47/64 Testgoals for product-variant checked: 49/64 Testgoals for product-variant checked: 50/64 Testgoals for product-variant checked: 52/64 Testgoals for product-variant checked: 53/64 Testgoals for product-variant checked: 54/64 Testgoals for product-variant checked: 56/64 Testgoals for product-variant checked: 57/64 Testgoals for product-variant checked: 59/64 Testgoals for product-variant checked: 60/64 Testgoals for product-variant checked: 62/64 Testgoals for product-variant checked: 64/64 ******************************* RESULTS ******************************* Created TestSuite with approach: Product by Product Using reuse-strategy Testgoals: 1452 Produktvariants: 24 Testcases: 556 Failed Testgoals: 0 Estimated Time: 4.880108017 seconds -------------------------------------------------- Case Study: gearcontrol with strategy: Family-based Checked testgoals: 0/66 Checked testgoals: 16/66 Checked testgoals: 18/66 Checked testgoals: 19/66 Checked testgoals: 22/66 Checked testgoals: 23/66 Checked testgoals: 25/66 Checked testgoals: 27/66 Checked testgoals: 28/66 Checked testgoals: 29/66 Checked testgoals: 32/66 Checked testgoals: 34/66 Checked testgoals: 37/66 Checked testgoals: 39/66 Checked testgoals: 40/66 Checked testgoals: 42/66 Checked testgoals: 43/66 Checked testgoals: 45/66 Checked testgoals: 46/66 Checked testgoals: 48/66 Checked testgoals: 49/66 Checked testgoals: 50/66 Checked testgoals: 52/66 Checked testgoals: 53/66 Checked testgoals: 54/66 Checked testgoals: 55/66 Checked testgoals: 56/66 Checked testgoals: 57/66 Checked testgoals: 58/66 Checked testgoals: 60/66 Checked testgoals: 64/66 ******************************* RESULTS ******************************* Created TestSuite with approach: Family-based Using reuse-strategy Testgoals: 66 Testcases: 36 Failed Testgoals: 0 Estimated Time: 1.897841229 seconds -------------------------------------------------- Case Study: gearcontrol with strategy: Parametric constraints Testgoals checked: 1 / 66 Testgoals checked: 2 / 66 Testgoals checked: 3 / 66 Testgoals checked: 4 / 66 Testgoals checked: 9 / 66 Testgoals checked: 10 / 66 Testgoals checked: 12 / 66 Testgoals checked: 13 / 66 Testgoals checked: 14 / 66 Testgoals checked: 15 / 66 Testgoals checked: 16 / 66 Testgoals checked: 17 / 66 Testgoals checked: 18 / 66 Testgoals checked: 19 / 66 Testgoals checked: 20 / 66 Testgoals checked: 22 / 66 Testgoals checked: 24 / 66 Testgoals checked: 25 / 66 Testgoals checked: 27 / 66 Testgoals checked: 28 / 66 Testgoals checked: 36 / 66 Testgoals checked: 37 / 66 Testgoals checked: 38 / 66 Testgoals checked: 39 / 66 Testgoals checked: 40 / 66 Testgoals checked: 41 / 66 Testgoals checked: 42 / 66 Testgoals checked: 43 / 66 Testgoals checked: 44 / 66 Testgoals checked: 45 / 66 Testgoals checked: 46 / 66 Testgoals checked: 47 / 66 Testgoals checked: 48 / 66 Testgoals checked: 49 / 66 Testgoals checked: 50 / 66 Testgoals checked: 51 / 66 Testgoals checked: 52 / 66 Testgoals checked: 53 / 66 Testgoals checked: 58 / 66 Testgoals checked: 59 / 66 Testgoals checked: 64 / 66 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints With Reuse strategy Testgoals: 66 Testcases: 46 Failed Testgoals: 0 Estimated Time: 480.664106715 seconds -------------------------------------------------- Case Study: gearcontrol with strategy: Parametric constraints with Minimum Maximum Delay Testgoals checked: 1 / 66 Testgoals checked: 2 / 66 Testgoals checked: 3 / 66 Testgoals checked: 4 / 66 Testgoals checked: 5 / 66 Testgoals checked: 6 / 66 Testgoals checked: 7 / 66 Testgoals checked: 8 / 66 Testgoals checked: 9 / 66 Testgoals checked: 10 / 66 Testgoals checked: 11 / 66 Testgoals checked: 12 / 66 Testgoals checked: 13 / 66 Testgoals checked: 14 / 66 Testgoals checked: 15 / 66 Testgoals checked: 16 / 66 Testgoals checked: 17 / 66 Testgoals checked: 18 / 66 Testgoals checked: 19 / 66 Testgoals checked: 20 / 66 Testgoals checked: 22 / 66 Testgoals checked: 24 / 66 Testgoals checked: 25 / 66 Testgoals checked: 26 / 66 Testgoals checked: 27 / 66 Testgoals checked: 28 / 66 Testgoals checked: 29 / 66 Testgoals checked: 30 / 66 Testgoals checked: 31 / 66 Testgoals checked: 32 / 66 Testgoals checked: 33 / 66 Testgoals checked: 34 / 66 Testgoals checked: 35 / 66 Testgoals checked: 36 / 66 Testgoals checked: 37 / 66 Testgoals checked: 38 / 66 Testgoals checked: 39 / 66 Testgoals checked: 40 / 66 Testgoals checked: 41 / 66 Testgoals checked: 42 / 66 Testgoals checked: 43 / 66 Testgoals checked: 44 / 66 Testgoals checked: 45 / 66 Testgoals checked: 46 / 66 Testgoals checked: 47 / 66 Testgoals checked: 48 / 66 Testgoals checked: 49 / 66 Testgoals checked: 50 / 66 Testgoals checked: 51 / 66 Testgoals checked: 52 / 66 Testgoals checked: 53 / 66 Testgoals checked: 54 / 66 Testgoals checked: 55 / 66 Testgoals checked: 56 / 66 Testgoals checked: 57 / 66 Testgoals checked: 58 / 66 Testgoals checked: 59 / 66 Testgoals checked: 60 / 66 Testgoals checked: 64 / 66 Testgoals checked: 65 / 66 Testgoals checked: 1 / 66 Testgoals checked: 2 / 66 Testgoals checked: 3 / 66 Testgoals checked: 4 / 66 Testgoals checked: 5 / 66 Testgoals checked: 6 / 66 Testgoals checked: 7 / 66 Testgoals checked: 8 / 66 Testgoals checked: 9 / 66 Testgoals checked: 10 / 66 Testgoals checked: 11 / 66 Testgoals checked: 12 / 66 Testgoals checked: 13 / 66 Testgoals checked: 14 / 66 Testgoals checked: 15 / 66 Testgoals checked: 16 / 66 Testgoals checked: 17 / 66 Testgoals checked: 18 / 66 Testgoals checked: 19 / 66 Testgoals checked: 20 / 66 Testgoals checked: 21 / 66 Testgoals checked: 22 / 66 Testgoals checked: 23 / 66 Testgoals checked: 24 / 66 Testgoals checked: 25 / 66 Testgoals checked: 26 / 66 Testgoals checked: 27 / 66 Testgoals checked: 28 / 66 Testgoals checked: 29 / 66 Testgoals checked: 30 / 66 Testgoals checked: 32 / 66 Testgoals checked: 33 / 66 Testgoals checked: 34 / 66 Testgoals checked: 35 / 66 Testgoals checked: 36 / 66 Testgoals checked: 37 / 66 Testgoals checked: 38 / 66 Testgoals checked: 39 / 66 Testgoals checked: 40 / 66 Testgoals checked: 41 / 66 Testgoals checked: 42 / 66 Testgoals checked: 43 / 66 Testgoals checked: 44 / 66 Testgoals checked: 45 / 66 Testgoals checked: 46 / 66 Testgoals checked: 47 / 66 Testgoals checked: 48 / 66 Testgoals checked: 49 / 66 Testgoals checked: 50 / 66 Testgoals checked: 51 / 66 Testgoals checked: 52 / 66 Testgoals checked: 53 / 66 Testgoals checked: 54 / 66 Testgoals checked: 55 / 66 Testgoals checked: 56 / 66 Testgoals checked: 57 / 66 Testgoals checked: 58 / 66 Testgoals checked: 59 / 66 Testgoals checked: 62 / 66 Testgoals checked: 63 / 66 Testgoals checked: 64 / 66 Testgoals checked: 65 / 66 Testgoals checked: 66 / 66 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints for Sampling [maximize, minimize] With Reuse strategy Testgoals: 132 Testcases: 97 Failed Testgoals: 0 Estimated Time: 2411.78960283 seconds Testgoals for min: 66 Testcases for min: 55 Estimated Time for min: 1279.80109074 seconds Testgoals for max: 66 Testcases for max: 42 Estimated Time for max: 1131.988196647 seconds infinite Paths as Testgoals: 21 Testcases with infinite Paths: 21 -------------------------------------------------- Case Study: collision-avoidance with strategy: Product by Product Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 43/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 Testgoals for product-variant checked: 1/46 Testgoals for product-variant checked: 18/46 Testgoals for product-variant checked: 23/46 Testgoals for product-variant checked: 31/46 Testgoals for product-variant checked: 36/46 Testgoals for product-variant checked: 40/46 Testgoals for product-variant checked: 41/46 Testgoals for product-variant checked: 42/46 Testgoals for product-variant checked: 44/46 Testgoals for product-variant checked: 45/46 Testgoals for product-variant checked: 46/46 ******************************* RESULTS ******************************* Created TestSuite with approach: Product by Product Using reuse-strategy Testgoals: 736 Produktvariants: 16 Testcases: 168 Failed Testgoals: 0 Estimated Time: 247.92398869 seconds -------------------------------------------------- Case Study: collision-avoidance with strategy: Parametric constraints Checked testgoals: 0/46 Checked testgoals: 18/46 Checked testgoals: 23/46 Checked testgoals: 31/46 Checked testgoals: 32/46 Checked testgoals: 33/46 Checked testgoals: 36/46 Checked testgoals: 37/46 Checked testgoals: 41/46 Checked testgoals: 46/46 ******************************* RESULTS ******************************* Created TestSuite with approach: Family-based Using reuse-strategy Testgoals: 46 Testcases: 15 Failed Testgoals: 0 Estimated Time: 14.48951283 seconds -------------------------------------------------- Case Study: collision-avoidance with strategy: Family-based Testgoals checked: 1 / 46 Testgoals checked: 2 / 46 Testgoals checked: 3 / 46 Testgoals checked: 4 / 46 Testgoals checked: 5 / 46 Testgoals checked: 6 / 46 Testgoals checked: 7 / 46 Testgoals checked: 8 / 46 Testgoals checked: 9 / 46 Testgoals checked: 10 / 46 Testgoals checked: 11 / 46 Testgoals checked: 12 / 46 Testgoals checked: 19 / 46 Testgoals checked: 21 / 46 Testgoals checked: 30 / 46 Testgoals checked: 32 / 46 Testgoals checked: 39 / 46 Testgoals checked: 41 / 46 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints With Reuse strategy Testgoals: 46 Testcases: 22 Failed Testgoals: 0 Estimated Time: 4060.414270091 seconds -------------------------------------------------- Case Study: collision-avoidance with strategy: Parametric constraints with Minimum Maximum Delay Testgoals checked: 1 / 46 Testgoals checked: 2 / 46 Testgoals checked: 3 / 46 Testgoals checked: 4 / 46 Testgoals checked: 5 / 46 Testgoals checked: 6 / 46 Testgoals checked: 7 / 46 Testgoals checked: 8 / 46 Testgoals checked: 9 / 46 Testgoals checked: 10 / 46 Testgoals checked: 11 / 46 Testgoals checked: 12 / 46 Testgoals checked: 13 / 46 Testgoals checked: 15 / 46 Testgoals checked: 17 / 46 Testgoals checked: 18 / 46 Testgoals checked: 19 / 46 Testgoals checked: 21 / 46 Testgoals checked: 22 / 46 Testgoals checked: 23 / 46 Testgoals checked: 24 / 46 Testgoals checked: 25 / 46 Testgoals checked: 26 / 46 Testgoals checked: 27 / 46 Testgoals checked: 28 / 46 Testgoals checked: 29 / 46 Testgoals checked: 30 / 46 Testgoals checked: 32 / 46 Testgoals checked: 33 / 46 Testgoals checked: 34 / 46 Testgoals checked: 35 / 46 Testgoals checked: 37 / 46 Testgoals checked: 38 / 46 Testgoals checked: 39 / 46 Testgoals checked: 41 / 46 Testgoals checked: 42 / 46 Testgoals checked: 43 / 46 Testgoals checked: 44 / 46 Testgoals checked: 46 / 46 Testgoals checked: 1 / 46 Testgoals checked: 2 / 46 Testgoals checked: 3 / 46 Testgoals checked: 4 / 46 Testgoals checked: 5 / 46 Testgoals checked: 6 / 46 Testgoals checked: 7 / 46 Testgoals checked: 8 / 46 Testgoals checked: 9 / 46 Testgoals checked: 10 / 46 Testgoals checked: 11 / 46 Testgoals checked: 12 / 46 Testgoals checked: 13 / 46 Testgoals checked: 14 / 46 Testgoals checked: 15 / 46 Testgoals checked: 16 / 46 Testgoals checked: 17 / 46 Testgoals checked: 18 / 46 Testgoals checked: 19 / 46 Testgoals checked: 20 / 46 Testgoals checked: 21 / 46 Testgoals checked: 22 / 46 Testgoals checked: 23 / 46 Testgoals checked: 24 / 46 Testgoals checked: 26 / 46 Testgoals checked: 27 / 46 Testgoals checked: 28 / 46 Testgoals checked: 29 / 46 Testgoals checked: 30 / 46 Testgoals checked: 31 / 46 Testgoals checked: 32 / 46 Testgoals checked: 33 / 46 Testgoals checked: 35 / 46 Testgoals checked: 36 / 46 Testgoals checked: 38 / 46 Testgoals checked: 39 / 46 Testgoals checked: 40 / 46 Testgoals checked: 41 / 46 Testgoals checked: 42 / 46 Testgoals checked: 44 / 46 Testgoals checked: 45 / 46 ******************************* RESULTS ******************************* Created TestSuite with approach: Parametric constraints for Sampling [maximize, minimize] With Reuse strategy Testgoals: 92 Testcases: 65 Failed Testgoals: 0 Estimated Time: 12134.150767615 seconds Testgoals for min: 46 Testcases for min: 39 Estimated Time for min: 8341.33342878 seconds Testgoals for max: 46 Testcases for max: 26 Estimated Time for max: 3792.817054298 seconds infinite Paths as Testgoals: 15 Testcases with infinite Paths: 15 Good bye.