2460 2460 consistency: ok #YES TOTAL,21 #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, 2, 0, 203, 205 relative_aprove_split, 14, 7, 184, 205 relative_cycnt, 0, 13, 192, 205 relative_default, 17, 13, 175, 205 relative_default_ttt2, 12, 13, 180, 205 relative_tdmi, 21, 0, 184, 205 relative_ttt2_rotate, 0, 0, 205, 205 relative_ttt2_shift, 0, 1, 204, 205 relative_ttt2_split, 0, 8, 197, 205 ttt2_only_relative, 0, 1, 204, 205 Result: YES proved by: Job18415_output/SRS_Relative/Mixed_relative_SRS/zr10.xml,1,relative_tdmi Job18415_output/SRS_Relative/Waldmann_06_relative/r2.xml,1,relative_tdmi Job18415_output/SRS_Relative/Waldmann_06_relative/r8.xml,1,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr11.xml,2,relative_default,relative_tdmi Job18415_output/SRS_Relative/Zantema_06_relative/rel04.xml,2,relative_aprove_split,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr05.xml,3,relative_aprove_split,relative_default,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr07.xml,3,relative_aprove_split,relative_default,relative_tdmi Job18415_output/SRS_Relative/Waldmann_06_relative/r3.xml,3,relative_tdmi,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Waldmann_06_relative/r5.xml,3,relative_tdmi,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Waldmann_06_relative/r9.xml,3,relative_tdmi,relative_default,relative_aprove_split Job18415_output/SRS_Relative/Zantema_06_relative/rel05.xml,3,relative_default,relative_aprove_split,relative_tdmi Job18415_output/SRS_Relative/Zantema_06_relative/rel10.xml,3,relative_default_ttt2,relative_default,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr01.xml,4,relative_aprove_split,relative_default_ttt2,relative_default,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr02.xml,4,relative_aprove_split,relative_default_ttt2,relative_default,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr06.xml,4,relative_aprove_split,relative_default_ttt2,relative_default,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr12.xml,4,relative_aprove_split,relative_default_ttt2,relative_default,relative_tdmi Job18415_output/SRS_Relative/Waldmann_06_relative/r6.xml,4,relative_tdmi,relative_default_ttt2,relative_default,relative_aprove_split Job18415_output/SRS_Relative/Waldmann_06_relative/r7.xml,4,relative_tdmi,relative_default_ttt2,relative_default,relative_aprove_split Job18415_output/SRS_Relative/Zantema_06_relative/rel13.xml,4,relative_default_ttt2,relative_default,relative_aprove_split,relative_tdmi Job18415_output/SRS_Relative/Mixed_relative_SRS/zr03.xml,5,relative_aprove_split,relative_default_ttt2,relative_default,relative_tdmi,relative_aprove_shift Job18415_output/SRS_Relative/Mixed_relative_SRS/zr08.xml,6,relative_aprove_split,relative_default_ttt2,relative_default,relative_tdmi,relative_aprove_shift,relative_aprove_rotate Result: NO proved by: Job18415_output/SRS_Relative/Mixed_relative_SRS/dup02.xml,3,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Mixed_relative_SRS/zr04.xml,3,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Waldmann_06_relative/r10.xml,3,relative_default_ttt2,relative_default,relative_cycnt Job18415_output/SRS_Relative/Zantema_06_relative/rel03.xml,3,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Zantema_06_relative/rel07.xml,3,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Mixed_relative_SRS/zr02new.xml,5,relative_ttt2_split,relative_aprove_split,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Mixed_relative_SRS/zr04new.xml,5,relative_ttt2_split,relative_aprove_split,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Mixed_relative_SRS/zr09.xml,5,relative_ttt2_split,relative_aprove_split,relative_cycnt,relative_default_ttt2,relative_default Job18415_output/SRS_Relative/Waldmann_06_relative/rbeans.xml,5,relative_default_ttt2,relative_default,relative_cycnt,relative_ttt2_shift,relative_ttt2_split Job18415_output/SRS_Relative/Zantema_06_relative/rel01.xml,5,relative_cycnt,relative_default_ttt2,relative_default,relative_aprove_split,relative_ttt2_split Job18415_output/SRS_Relative/Zantema_06_relative/rel06.xml,5,relative_cycnt,relative_default_ttt2,relative_default,relative_aprove_split,relative_ttt2_split Job18415_output/SRS_Relative/Zantema_06_relative/rel08.xml,5,relative_cycnt,relative_default_ttt2,relative_default,relative_aprove_split,relative_ttt2_split Job18415_output/SRS_Relative/Mixed_relative_SRS/zr13.xml,7,aprove_only_relative,relative_ttt2_split,relative_aprove_split,relative_cycnt,relative_default_ttt2,relative_default,ttt2_only_relative