Test Run: 2009-04-24 for posix arhitecture, svn revision 401.
Summary: 1046 testcases where executed OK
Summary: 68 testscases where executed FAILED
Summary: 1114 testcases  where executed
Test: ctest_tm_01 - Config: non-preemptive
Test Result: FAILED - Sequence: 1-13 - SequenceOk: 18
Test Result: OK - Test Case: TM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_15 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_20 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_24 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_25 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_30 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_35 - Result: 0 - ResultOk: 3
Test Result: FAILED - Test Case: TM_37 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_40 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_01 - Config: non-preemptive - Status: FAILED
Test: ctest_tm_01 - Config: mixed-preemptive-1
Test Result: FAILED - Sequence: 1-13 - SequenceOk: 18
Test Result: OK - Test Case: TM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_15 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_20 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_24 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_25 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_30 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_35 - Result: 0 - ResultOk: 3
Test Result: FAILED - Test Case: TM_37 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_40 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_01 - Config: mixed-preemptive-1 - Status: FAILED
Test: ctest_tm_01 - Config: mixed-preemptive-2
Test Result: FAILED - Sequence: 1-13 - SequenceOk: 18
Test Result: OK - Test Case: TM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_15 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_20 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_24 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_25 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_30 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_35 - Result: 0 - ResultOk: 3
Test Result: FAILED - Test Case: TM_37 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_40 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_01 - Config: mixed-preemptive-2 - Status: FAILED
Test: ctest_tm_01 - Config: full-preemptive
Test Result: FAILED - Sequence: 1-13 - SequenceOk: 18
Test Result: OK - Test Case: TM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_15 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_20 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_24 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_25 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_30 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: TM_35 - Result: 0 - ResultOk: 3
Test Result: FAILED - Test Case: TM_37 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: TM_40 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_01 - Config: full-preemptive - Status: FAILED
Test: ctest_tm_02 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_02 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_tm_02 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_02 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_02 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_02 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_tm_02 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_02 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_03 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: TM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_03 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_tm_03 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: TM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_03 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_03 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: TM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_03 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_tm_03 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: TM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_03 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_04 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_04 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_tm_04 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_04 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_04 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_04 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_tm_04 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-5 - SequenceOk: 5
Test Result: OK - Test Case: TM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_04 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_05 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-7 - SequenceOk: 7
Test Result: OK - Test Case: TM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_05 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_05 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-7 - SequenceOk: 7
Test Result: OK - Test Case: TM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_05 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_tm_05 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-7 - SequenceOk: 7
Test Result: OK - Test Case: TM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_05 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_05 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-7 - SequenceOk: 7
Test Result: OK - Test Case: TM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_05 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_tm_06 - Config: non-preemptive
Test Result: OK - Sequence: 0-10 - SequenceOk: 10
Test Result: OK - Test Case: TM_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_06 - Config: non-preemptive - Status: OK
Test: ctest_tm_06 - Config: mixed-preemptive-1
Test Result: OK - Sequence: 0-10 - SequenceOk: 10
Test Result: OK - Test Case: TM_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_06 - Config: mixed-preemptive-1 - Status: OK
Test: ctest_tm_06 - Config: mixed-preemptive-2
Test Result: OK - Sequence: 0-10 - SequenceOk: 10
Test Result: OK - Test Case: TM_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_06 - Config: mixed-preemptive-2 - Status: OK
Test: ctest_tm_06 - Config: full-preemptive
Test Result: OK - Sequence: 0-10 - SequenceOk: 10
Test Result: OK - Test Case: TM_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_06 - Config: full-preemptive - Status: OK
Test: ctest_tm_07 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: TM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_07 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_07 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: TM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_07 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_tm_07 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: TM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_07 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_07 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: TM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_07 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_tm_08 - Config: full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: FAILED - Test Case: TM_05 - Result: 0 - ResultOk: 3
Test Result: FAILED - Test Case: TM_07 - Result: 3 - ResultOk: 0
Test Result: OK - Test Case: TM_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_08 - Config: full-preemptive - Status: FAILED
Test: ctest_tm_08 - Config: mixed-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: FAILED - Test Case: TM_05 - Result: 0 - ResultOk: 3
Test Result: FAILED - Test Case: TM_07 - Result: 3 - ResultOk: 0
Test Result: OK - Test Case: TM_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_08 - Config: mixed-preemptive - Status: FAILED
Test: ctest_tm_09 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_09 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-3
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-3 - Status: OK
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-3
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-3 - Status: OK
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-4
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-4 - Status: OK
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-4
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-4 - Status: OK
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-5
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-5 - Status: OK
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-5
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-5 - Status: OK
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-6
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with mixed-preemptive-6 - Status: OK
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-6
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with mixed-preemptive-6 - Status: OK
Test: ctest_tm_09 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_09 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: TM_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_29 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_39 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: TM_41 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_09 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_10 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: TM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_10 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_tm_10 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: TM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_10 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_10 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: TM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_10 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_tm_10 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: TM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_10 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_11 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_11 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-3
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-3 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-3
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-3 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-4
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-4 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-4
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-4 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-5
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-5 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-5
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-5 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-6
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-6 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-6
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-6 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-7
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-7 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-7
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-7 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-8
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-8 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-8
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-8 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-9
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-9 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-9
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-9 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-10
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-10 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-10
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-10 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-11
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-11 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-11
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-11 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-12
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-12 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-12
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-12 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-13
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-13 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-13
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-13 - Status: OK
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-14
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with mixed-preemptive-14 - Status: OK
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-14
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with mixed-preemptive-14 - Status: OK
Test: ctest_tm_11 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_11 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_11 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_12 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_12 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-3
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-3 - Status: OK
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-3
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-3 - Status: OK
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-4
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-4 - Status: OK
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-4
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-4 - Status: OK
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-5
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-5 - Status: OK
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-5
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-5 - Status: OK
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-6
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with mixed-preemptive-6 - Status: OK
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-6
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with mixed-preemptive-6 - Status: OK
Test: ctest_tm_12 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_12 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_12 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_13 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_13 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-3
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-3 - Status: OK
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-3
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-3 - Status: OK
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-4
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Standard with mixed-preemptive-4 - Status: OK
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-4
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Extended with mixed-preemptive-4 - Status: OK
Test: ctest_tm_13 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_13 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_13 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_14 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_14 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_14 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_tm_14 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_tm_14 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_tm_14 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_tm_14 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_14 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-158 - SequenceOk: 158
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_14 - Config: Extended with full-preemptive - Status: OK
Test: ctest_tm_15 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Standard with non-preemptive - Status: OK
Test: ctest_tm_15 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Extended with non-preemptive - Status: OK
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-3
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-3 - Status: OK
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-3
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-3 - Status: OK
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-4
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Standard with mixed-preemptive-4 - Status: OK
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-4
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Extended with mixed-preemptive-4 - Status: OK
Test: ctest_tm_15 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Standard with full-preemptive - Status: OK
Test: ctest_tm_15 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_tm_15 - Config: Extended with full-preemptive - Status: OK
Test: ctest_rm_01 - Config: non-preemptive
Test Result: FAILED - Sequence: 1-15 - SequenceOk: 20
Test Result: OK - Test Case: RM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_01 - Config: non-preemptive - Status: FAILED
Test: ctest_rm_01 - Config: mixed-preemptive-1
Test Result: FAILED - Sequence: 1-15 - SequenceOk: 20
Test Result: OK - Test Case: RM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_01 - Config: mixed-preemptive-1 - Status: FAILED
Test: ctest_rm_01 - Config: mixed-preemptive-2
Test Result: FAILED - Sequence: 1-15 - SequenceOk: 20
Test Result: OK - Test Case: RM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_01 - Config: mixed-preemptive-2 - Status: FAILED
Test: ctest_rm_01 - Config: full-preemptive
Test Result: FAILED - Sequence: 1-15 - SequenceOk: 20
Test Result: OK - Test Case: RM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_01 - Config: full-preemptive - Status: FAILED
Test: ctest_rm_02 - Config: Standard with mixed-preemptive
Test Result: FAILED - Sequence: 1-3 - SequenceOk: 6
Test Result: OK - Test Case: RM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_02 - Config: Standard with mixed-preemptive - Status: FAILED
Test: ctest_rm_02 - Config: Standard with non-preemptive
Test Result: FAILED - Sequence: 1-3 - SequenceOk: 6
Test Result: OK - Test Case: RM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_02 - Config: Standard with non-preemptive - Status: FAILED
Test: ctest_rm_02 - Config: Extended with mixed-preemptive
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 6
Test Result: OK - Test Case: RM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_02 - Config: Extended with mixed-preemptive - Status: FAILED
Test: ctest_rm_02 - Config: Extended with non-preemptive
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 6
Test Result: OK - Test Case: RM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_02 - Config: Extended with non-preemptive - Status: FAILED
Test: ctest_rm_03 - Config: Standard with full-preemptive
Test Result: FAILED - Sequence: 1-3 - SequenceOk: 6
Test Result: OK - Test Case: RM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_03 - Config: Standard with full-preemptive - Status: FAILED
Test: ctest_rm_03 - Config: Standard with mixed-preemptive
Test Result: FAILED - Sequence: 1-3 - SequenceOk: 6
Test Result: OK - Test Case: RM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_03 - Config: Standard with mixed-preemptive - Status: FAILED
Test: ctest_rm_03 - Config: Extended with full-preemptive
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 6
Test Result: OK - Test Case: RM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_03 - Config: Extended with full-preemptive - Status: FAILED
Test: ctest_rm_03 - Config: Extended with mixed-preemptive
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 6
Test Result: OK - Test Case: RM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_03 - Config: Extended with mixed-preemptive - Status: FAILED
Test: ctest_rm_04 - Config: Non-preemptive
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Non-preemptive - Status: OK
Test: ctest_rm_04 - Config: Mixed-preemptive-1
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Mixed-preemptive-1 - Status: OK
Test: ctest_rm_04 - Config: Mixed-preemptive-2
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Mixed-preemptive-2 - Status: OK
Test: ctest_rm_04 - Config: Mixed-preemptive-3
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Mixed-preemptive-3 - Status: OK
Test: ctest_rm_04 - Config: Mixed-preemptive-4
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Mixed-preemptive-4 - Status: OK
Test: ctest_rm_04 - Config: Mixed-preemptive-5
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Mixed-preemptive-5 - Status: OK
Test: ctest_rm_04 - Config: Mixed-preemptive-6
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Mixed-preemptive-6 - Status: OK
Test: ctest_rm_04 - Config: Full-preemptive
Test Result: OK - Sequence: 0-6 - SequenceOk: 6
Test Result: OK - Test Case: RM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: RM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_04 - Config: Full-preemptive - Status: OK
Test: ctest_rm_05 - Config: Non-preemptive
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 7
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_05 - Config: Non-preemptive - Status: FAILED
Test: ctest_rm_05 - Config: Mixed-preemptive-1
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 7
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_05 - Config: Mixed-preemptive-1 - Status: FAILED
Test: ctest_rm_05 - Config: Mixed-preemptive-2
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 7
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_05 - Config: Mixed-preemptive-2 - Status: FAILED
Test: ctest_rm_05 - Config: Full-preemptive
Test Result: FAILED - Sequence: 1-2 - SequenceOk: 7
Test Result: OK - Test Case: RM_02 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_03 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_09 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: RM_10 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: RM_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_rm_05 - Config: Full-preemptive - Status: FAILED
Test: ctest_em_01 - Config: non-preemptive
Test Result: FAILED - Sequence: 1-5 - SequenceOk: 16
Test Result: OK - Test Case: EM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_11 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_12 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: EM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_22 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_23 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_01 - Config: non-preemptive - Status: FAILED
Test: ctest_em_01 - Config: mixed-preemptive-1
Test Result: FAILED - Sequence: 1-5 - SequenceOk: 16
Test Result: OK - Test Case: EM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_11 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_12 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: EM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_22 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_23 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_01 - Config: mixed-preemptive-1 - Status: FAILED
Test: ctest_em_01 - Config: mixed-preemptive-2
Test Result: FAILED - Sequence: 1-5 - SequenceOk: 16
Test Result: OK - Test Case: EM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_11 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_12 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: EM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_22 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_23 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_01 - Config: mixed-preemptive-2 - Status: FAILED
Test: ctest_em_01 - Config: full-preemptive
Test Result: FAILED - Sequence: 1-5 - SequenceOk: 16
Test Result: OK - Test Case: EM_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_11 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_12 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: EM_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_22 - Result: 3 - ResultOk: 3
Test Result: FAILED - Test Case: EM_23 - Result: 0 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_01 - Config: full-preemptive - Status: FAILED
Test: ctest_em_02 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Standard with non-preemptive - Status: OK
Test: ctest_em_02 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Extended with non-preemptive - Status: OK
Test: ctest_em_02 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_em_02 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_em_02 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_em_02 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_em_02 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Standard with full-preemptive - Status: OK
Test: ctest_em_02 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: EM_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_02 - Config: Extended with full-preemptive - Status: OK
Test: ctest_em_03 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: EM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_03 - Config: Standard with non-preemptive - Status: OK
Test: ctest_em_03 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: EM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_03 - Config: Extended with non-preemptive - Status: OK
Test: ctest_em_03 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: EM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_03 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_em_03 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-12 - SequenceOk: 12
Test Result: OK - Test Case: EM_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_03 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_em_04 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-17 - SequenceOk: 17
Test Result: OK - Test Case: EM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_04 - Config: Standard with non-preemptive - Status: OK
Test: ctest_em_04 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-17 - SequenceOk: 17
Test Result: OK - Test Case: EM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_04 - Config: Extended with non-preemptive - Status: OK
Test: ctest_em_04 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-17 - SequenceOk: 17
Test Result: OK - Test Case: EM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_04 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_em_04 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-17 - SequenceOk: 17
Test Result: OK - Test Case: EM_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EM_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_em_04 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_eh_01 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Standard with non-preemptive - Status: OK
Test: ctest_eh_01 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Extended with non-preemptive - Status: OK
Test: ctest_eh_01 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_eh_01 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_eh_01 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_eh_01 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_eh_01 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Standard with full-preemptive - Status: OK
Test: ctest_eh_01 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-24 - SequenceOk: 24
Test Result: OK - Test Case: EH_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_01 - Config: Extended with full-preemptive - Status: OK
Test: ctest_eh_02 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Standard with non-preemptive - Status: OK
Test: ctest_eh_02 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Extended with non-preemptive - Status: OK
Test: ctest_eh_02 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_eh_02 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_eh_02 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_eh_02 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_eh_02 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Standard with full-preemptive - Status: OK
Test: ctest_eh_02 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-3 - SequenceOk: 3
Test Result: OK - Test Case: EH_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: EH_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_eh_02 - Config: Extended with full-preemptive - Status: OK
Test: ctest_al_01 - Config: non-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: AL_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_01 - Config: non-preemptive - Status: OK
Test: ctest_al_01 - Config: mixed-preemptive-1
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: AL_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_01 - Config: mixed-preemptive-1 - Status: OK
Test: ctest_al_01 - Config: mixed-preemptive-2
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: AL_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_01 - Config: mixed-preemptive-2 - Status: OK
Test: ctest_al_01 - Config: full-preemptive
Test Result: OK - Sequence: 0-14 - SequenceOk: 14
Test Result: OK - Test Case: AL_01 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_03 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_07 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_10 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_11 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_12 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_13 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_16 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_19 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_20 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_21 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_22 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_25 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_01 - Config: full-preemptive - Status: OK
Test: ctest_al_02 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Standard with non-preemptive - Status: OK
Test: ctest_al_02 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Extended with non-preemptive - Status: OK
Test: ctest_al_02 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_al_02 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_al_02 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_al_02 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_al_02 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Standard with full-preemptive - Status: OK
Test: ctest_al_02 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-16 - SequenceOk: 16
Test Result: OK - Test Case: AL_02 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_04 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_05 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_08 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_14 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_17 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_23 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_26 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_27 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_02 - Config: Extended with full-preemptive - Status: OK
Test: ctest_al_03 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Standard with non-preemptive - Status: OK
Test: ctest_al_03 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Extended with non-preemptive - Status: OK
Test: ctest_al_03 - Config: Standard with mixed-preemptive-1
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Standard with mixed-preemptive-1 - Status: OK
Test: ctest_al_03 - Config: Extended with mixed-preemptive-1
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Extended with mixed-preemptive-1 - Status: OK
Test: ctest_al_03 - Config: Standard with mixed-preemptive-2
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Standard with mixed-preemptive-2 - Status: OK
Test: ctest_al_03 - Config: Extended with mixed-preemptive-2
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Extended with mixed-preemptive-2 - Status: OK
Test: ctest_al_03 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Standard with full-preemptive - Status: OK
Test: ctest_al_03 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-18 - SequenceOk: 18
Test Result: OK - Test Case: AL_06 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_09 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_15 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_18 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_24 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_28 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_03 - Config: Extended with full-preemptive - Status: OK
Test: ctest_al_04 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: AL_30 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_04 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_al_04 - Config: Standard with non-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: AL_30 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_04 - Config: Standard with non-preemptive - Status: OK
Test: ctest_al_04 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: AL_30 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_04 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_al_04 - Config: Extended with non-preemptive
Test Result: OK - Sequence: 0-4 - SequenceOk: 4
Test Result: OK - Test Case: AL_30 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_04 - Config: Extended with non-preemptive - Status: OK
Test: ctest_al_05 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: AL_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_05 - Config: Standard with full-preemptive - Status: OK
Test: ctest_al_05 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: AL_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_05 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_al_05 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: AL_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_05 - Config: Extended with full-preemptive - Status: OK
Test: ctest_al_05 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-8 - SequenceOk: 8
Test Result: OK - Test Case: AL_31 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_32 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_05 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_al_06 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: AL_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_06 - Config: Standard with full-preemptive - Status: OK
Test: ctest_al_06 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: AL_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_06 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_al_06 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: AL_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_06 - Config: Extended with full-preemptive - Status: OK
Test: ctest_al_06 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-11 - SequenceOk: 11
Test Result: OK - Test Case: AL_33 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_34 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_06 - Config: Extended with mixed-preemptive - Status: OK
Test: ctest_al_07 - Config: Standard with full-preemptive
Test Result: OK - Sequence: 0-13 - SequenceOk: 13
Test Result: OK - Test Case: AL_35 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_36 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_07 - Config: Standard with full-preemptive - Status: OK
Test: ctest_al_07 - Config: Standard with mixed-preemptive
Test Result: OK - Sequence: 0-13 - SequenceOk: 13
Test Result: OK - Test Case: AL_35 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_36 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_07 - Config: Standard with mixed-preemptive - Status: OK
Test: ctest_al_07 - Config: Extended with full-preemptive
Test Result: OK - Sequence: 0-13 - SequenceOk: 13
Test Result: OK - Test Case: AL_35 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_36 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_07 - Config: Extended with full-preemptive - Status: OK
Test: ctest_al_07 - Config: Extended with mixed-preemptive
Test Result: OK - Sequence: 0-13 - SequenceOk: 13
Test Result: OK - Test Case: AL_35 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: AL_36 - Result: 3 - ResultOk: 3
Test Result: OK - Test Case: OTHER - Result: 3 - ResultOk: 3
Test: ctest_al_07 - Config: Extended with mixed-preemptive - Status: OK