-- 1 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 2, 1, 2, 2 */ -- 2 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 3, 3 */ -- 3 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 2, 4, 3 */ -- 4 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 4, 5, 4 */ -- 5 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 4, 3 */ -- 6 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+safety, 1, 2, 1, 1 */ -- 7 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 2, 4, 3, 2 */ -- 8 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation, 3, 5, 3, 2 */ -- 9 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 4, 3 */ -- 10 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 11 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 6, 6, 6, 6 */ -- 12 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 7, 8, 7, 7 */ -- 13 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 12, 9, 8, 7 */ -- 14 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 8, 16, 13, 8 */ -- 15 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 7, 13, 12, 7 */ -- 16 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 2, 1, 2, 2 */ -- 17 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 3, 3 */ -- 18 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 2, 4, 3 */ -- 19 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 4, 5, 4 */ -- 20 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 4, 3 */ -- 21 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation, 4, 4, 6, 4 */ -- 22 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 4, 3 */ -- 23 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 24 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 4, 6, 4 */ -- 25 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 4, 4, 3 */ -- 26 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 27 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 6, 4, 3 */ -- 28 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 29 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 8, 7, 4 */ -- 30 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 31 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 3, 5, 6, 3 */ -- 32 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 5, 7, 4 */ -- 33 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 5, 6, 4 */ -- 34 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 5, 10, 9, 5 */ -- 35 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 10, 6, 4 */ -- 36 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 5, 5, 3 */ -- 37 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 6, 6, 4 */ -- 38 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 10, 7, 7, 4 */ -- 39 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 5, 8, 10, 5 */ -- 40 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 14, 12, 58, 4 */ -- 41 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 42 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation, 5, 20, 6, 5 */ -- 43 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 44 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 45 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 46 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 47 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 10, 6, 4 */ -- 48 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 49 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 5, 16, 10, 5 */ -- 50 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 51 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 52 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 4, 10, 6, 4 */ -- 53 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification") -- 54 ----------------------------------------------------------- /* type, BA, WDBA, minWDBA: obligation+guarantee, 5, 16, 10, 5 */ -- 55 ----------------------------------------------------------- Fatal error: exception Failure("construction does not work with this specification")