7890 7890 consistency: ok #YES TOTAL,26 #NO TOTAL,214 CONFIG, YES, NO,MAYBE, SUM relative_aprove_rotate, 10, 1, 1304, 1315 relative_aprove_shift, 10, 6, 1299, 1315 relative_aprove_split, 26, 179, 1110, 1315 relative_ttt2_rotate, 2, 1, 1312, 1315 relative_ttt2_shift, 4, 13, 1298, 1315 relative_ttt2_split, 8, 213, 1094, 1315 Result: YES proved by: Job18414_output/SRS_Standard/ICFP_2010/25192.xml,1,relative_aprove_split Job18414_output/SRS_Standard/ICFP_2010/264370.xml,1,relative_aprove_split Job18414_output/SRS_Standard/ICFP_2010/54532.xml,1,relative_aprove_split Job18414_output/SRS_Standard/ICFP_2010/54622.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z003.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z049.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z051.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z052.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z060.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z061.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z062.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z063.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z118.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z126.xml,1,relative_aprove_split Job18414_output/SRS_Standard/ICFP_2010/264405.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Zantema_04/z002.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/dup16.xml,3,relative_aprove_split,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z104.xml,3,relative_aprove_split,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z112.xml,3,relative_aprove_split,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z107.xml,4,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z108.xml,4,relative_ttt2_split,relative_aprove_split,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z109.xml,4,relative_ttt2_split,relative_aprove_split,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z116.xml,4,relative_ttt2_split,relative_aprove_split,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z102.xml,5,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift,relative_aprove_rotate Job18414_output/SRS_Standard/Zantema_04/z085.xml,6,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift,relative_aprove_rotate,relative_ttt2_rotate Job18414_output/SRS_Standard/Zantema_04/z101.xml,6,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift,relative_aprove_rotate,relative_ttt2_rotate Result: NO proved by: Job18414_output/SRS_Standard/Mixed_SRS/s6.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/secr7.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Secret_07_SRS/x03.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_06_SRS/uni-4.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-105.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-106.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-11.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-122.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-124.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-126.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-140.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-146.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-158.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-159.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-160.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-177.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-179.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-180.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-195.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-225.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-23.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-287.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-298.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-304.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-378.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-429.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-431.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-448.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-482.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-485.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-548.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-563.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-568.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Zantema_04/z013.xml,1,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z066.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Zantema_04/z068.xml,1,relative_ttt2_split Job18414_output/SRS_Standard/Bouchare_06/06.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Bouchare_06/07.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Bouchare_06/08.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Bouchare_06/09.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Bouchare_06/10.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Gebhardt_06/14.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/01-oppelt08.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/03.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/04.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/06-oppelt08.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/07-oppelt08.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/08-oppelt08.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/turing_add.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/turing_copy.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Mixed_SRS/turing_mult.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Secret_05_SRS/aprove2.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_05_SRS/aprove3.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_05_SRS/aprove4.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_05_SRS/matchbox1.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_05_SRS/torpa2.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_05_SRS/torpa4.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/3-matchbox.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/8.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/multum1.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/multum6.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/secr10.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_07_SRS/dj.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Secret_07_SRS/x09.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Trafo_06/dup05.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/dup09.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/dup17.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/hom02.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/un06.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/un07.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/un14.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/un15.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Trafo_06/un16.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Waldmann_06_SRS/jw3.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Waldmann_06_SRS/pi.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Waldmann_06_SRS/uni-2.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-12.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-13.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-14.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-2.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-21.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-22.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-3.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-10.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-100.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-101.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-123.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-127.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-135.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-15.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-181.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-186.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-19.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-20.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-202.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-223.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-275.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-281.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-284.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-288.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-293.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-294.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-299.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-301.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-303.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-328.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-330.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-335.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-351.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-354.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-360.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-373.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-392.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-399.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-40.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-41.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-430.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-439.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-44.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-455.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-47.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-473.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-48.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-49.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-494.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-495.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-498.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-526.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-545.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-546.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-549.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-550.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-551.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-552.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-558.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-559.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-61.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-7.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-70.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-74.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-90.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-91.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-92.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-94.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-95.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-98.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-99.xml,2,relative_aprove_split,relative_ttt2_split Job18414_output/SRS_Standard/Zantema_04/syracuse.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z008.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z009.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z012.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z022.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z026.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z042.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z044.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z046.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z065.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z067.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z071.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z072.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z073.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z074.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z075.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z081.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z084.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z086.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z090.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z091.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z092.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z093.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z094.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z096.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z100.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z105.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z106.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z111.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z113.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z115.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z119.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z120.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z121.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z124.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z125.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z127.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_04/z128.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/01.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/03.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/04.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/05.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/09.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/11.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/12.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/beans1.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/beans2.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/beans3.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/beans6.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/beans7.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/loop1.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/loop2.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/while1.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Zantema_06/while2.xml,2,relative_ttt2_split,relative_aprove_split Job18414_output/SRS_Standard/Secret_06_SRS/6.xml,3,relative_aprove_split,relative_ttt2_shift,relative_ttt2_split Job18414_output/SRS_Standard/Secret_06_SRS/multum5.xml,3,relative_aprove_split,relative_ttt2_shift,relative_ttt2_split Job18414_output/SRS_Standard/Zantema_04/z110.xml,3,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift Job18414_output/SRS_Standard/Zantema_06/02.xml,3,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift Job18414_output/SRS_Standard/Zantema_06/beans4.xml,3,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift Job18414_output/SRS_Standard/Zantema_06/beans5.xml,3,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift Job18414_output/SRS_Standard/Mixed_SRS/05-oppelt08.xml,4,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift Job18414_output/SRS_Standard/Zantema_04/z006.xml,4,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift Job18414_output/SRS_Standard/Zantema_04/z007.xml,4,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift Job18414_output/SRS_Standard/Zantema_04/z017.xml,4,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift Job18414_output/SRS_Standard/Zantema_04/z019.xml,4,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift Job18414_output/SRS_Standard/Zantema_06/14.xml,4,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_shift Job18414_output/SRS_Standard/Zantema_04/z025.xml,5,relative_ttt2_split,relative_aprove_split,relative_ttt2_shift,relative_aprove_rotate,relative_ttt2_rotate