2460
2460
consistency: ok
#YES TOTAL,12
#NO TOTAL,13
                   CONFIG,  YES,   NO,MAYBE,  SUM

     aprove_only_relative,    0,    1,  204,  205
   relative_aprove_rotate,    1,    0,  204,  205
    relative_aprove_shift,    1,    0,  204,  205
    relative_aprove_split,    8,    7,  190,  205
           relative_cycnt,    0,   13,  192,  205
         relative_default,   10,   13,  182,  205
    relative_default_ttt2,    8,   13,  184,  205
            relative_tdmi,   11,    0,  194,  205
     relative_ttt2_rotate,    0,    0,  205,  205
      relative_ttt2_shift,    0,    0,  205,  205
      relative_ttt2_split,    1,    8,  196,  205
       ttt2_only_relative,    0,    1,  204,  205

Result: YES proved by:
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr07.xml,1,relative_tdmi
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr06.xml,2,relative_aprove_split,relative_tdmi
Job18412_output/SRS_Relative/Waldmann_06_relative/r6.xml,2,relative_default,relative_aprove_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr02.xml,3,relative_default_ttt2,relative_default,relative_tdmi
Job18412_output/SRS_Relative/Waldmann_06_relative/r3.xml,3,relative_tdmi,relative_default_ttt2,relative_default
Job18412_output/SRS_Relative/Waldmann_06_relative/r7.xml,3,relative_tdmi,relative_default,relative_aprove_split
Job18412_output/SRS_Relative/Zantema_06_relative/rel10.xml,3,relative_default_ttt2,relative_default,relative_tdmi
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr01.xml,4,relative_default_ttt2,relative_default,relative_aprove_split,relative_tdmi
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr12.xml,4,relative_default_ttt2,relative_default,relative_aprove_split,relative_tdmi
Job18412_output/SRS_Relative/Zantema_06_relative/rel13.xml,4,relative_default_ttt2,relative_default,relative_tdmi,relative_aprove_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr03.xml,5,relative_default_ttt2,relative_default,relative_aprove_split,relative_tdmi,relative_ttt2_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr08.xml,6,relative_default_ttt2,relative_default,relative_aprove_shift,relative_aprove_split,relative_tdmi,relative_aprove_rotate






Result: NO proved by:
Job18412_output/SRS_Relative/Mixed_relative_SRS/dup02.xml,3,relative_default_ttt2,relative_default,relative_cycnt
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr04.xml,3,relative_default_ttt2,relative_default,relative_cycnt
Job18412_output/SRS_Relative/Waldmann_06_relative/r10.xml,3,relative_default_ttt2,relative_default,relative_cycnt
Job18412_output/SRS_Relative/Zantema_06_relative/rel03.xml,3,relative_cycnt,relative_default_ttt2,relative_default
Job18412_output/SRS_Relative/Zantema_06_relative/rel07.xml,3,relative_cycnt,relative_default_ttt2,relative_default
Job18412_output/SRS_Relative/Waldmann_06_relative/rbeans.xml,4,relative_default_ttt2,relative_default,relative_cycnt,relative_ttt2_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr02new.xml,5,relative_default_ttt2,relative_default,relative_cycnt,relative_aprove_split,relative_ttt2_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr04new.xml,5,relative_default_ttt2,relative_default,relative_cycnt,relative_aprove_split,relative_ttt2_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr09.xml,5,relative_default_ttt2,relative_default,relative_cycnt,relative_aprove_split,relative_ttt2_split
Job18412_output/SRS_Relative/Zantema_06_relative/rel01.xml,5,relative_cycnt,relative_default_ttt2,relative_default,relative_aprove_split,relative_ttt2_split
Job18412_output/SRS_Relative/Zantema_06_relative/rel06.xml,5,relative_cycnt,relative_default_ttt2,relative_default,relative_aprove_split,relative_ttt2_split
Job18412_output/SRS_Relative/Zantema_06_relative/rel08.xml,5,relative_cycnt,relative_default_ttt2,relative_default,relative_aprove_split,relative_ttt2_split
Job18412_output/SRS_Relative/Mixed_relative_SRS/zr13.xml,7,relative_default_ttt2,aprove_only_relative,relative_default,relative_cycnt,relative_aprove_split,relative_ttt2_split,ttt2_only_relative