17095 17095 consistency: ok #YES TOTAL,83 #NO TOTAL,591 CONFIG, YES, NO,MAYBE, SUM aprove_only, 0, 109, 1206, 1315 normal_aprove_rotate, 10, 53, 1252, 1315 normal_aprove_shift, 10, 89, 1216, 1315 normal_aprove_split, 41, 324, 950, 1315 normal_cycnt, 0, 588, 727, 1315 normal_default, 59, 582, 674, 1315 normal_default_ttt2, 66, 581, 668, 1315 normal_tdmi, 46, 0, 1269, 1315 normal_torpacyc, 49, 0, 1266, 1315 normal_ttt2_rotate, 9, 0, 1306, 1315 normal_ttt2_shift, 8, 1, 1306, 1315 normal_ttt2_split, 46, 180, 1089, 1315 ttt2_only, 0, 62, 1253, 1315 Result: YES proved by: Job18405_output/SRS_Standard/ICFP_2010/230819.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/230948.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/231043.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/231149.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/231300.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/247504.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/249386.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/249663.xml,1,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/26186.xml,1,normal_ttt2_split Job18405_output/SRS_Standard/ICFP_2010/264033.xml,1,normal_torpacyc Job18405_output/SRS_Standard/ICFP_2010/4181.xml,1,normal_torpacyc Job18405_output/SRS_Standard/Secret_05_SRS/matchbox2.xml,1,normal_ttt2_split Job18405_output/SRS_Standard/Zantema_04/z054.xml,1,normal_ttt2_split Job18405_output/SRS_Standard/ICFP_2010/211471.xml,2,normal_tdmi,normal_default_ttt2 Job18405_output/SRS_Standard/ICFP_2010/25731.xml,2,normal_default_ttt2,normal_ttt2_split Job18405_output/SRS_Standard/ICFP_2010/54532.xml,2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/ICFP_2010/96274.xml,2,normal_tdmi,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z004.xml,2,normal_ttt2_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z033.xml,2,normal_ttt2_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z040.xml,2,normal_ttt2_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z045.xml,2,normal_ttt2_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z058.xml,2,normal_ttt2_split,normal_default_ttt2 Job18405_output/SRS_Standard/ICFP_2010/54622.xml,3,normal_tdmi,normal_default,normal_aprove_split Job18405_output/SRS_Standard/ICFP_2010/85675.xml,3,normal_torpacyc,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/ICFP_2010/96086.xml,3,normal_torpacyc,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/ICFP_2010/96224.xml,3,normal_torpacyc,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_06_SRS/e.xml,3,normal_torpacyc,normal_default,normal_tdmi Job18405_output/SRS_Standard/Waldmann_06_SRS/sym-2.xml,3,normal_torpacyc,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z024.xml,3,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Zantema_04/z039.xml,3,normal_ttt2_split,normal_aprove_split,normal_default Job18405_output/SRS_Standard/Zantema_04/z053.xml,3,normal_ttt2_split,normal_aprove_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z056.xml,3,normal_ttt2_split,normal_aprove_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z057.xml,3,normal_ttt2_split,normal_aprove_split,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/16.xml,3,normal_torpacyc,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/17.xml,3,normal_torpacyc,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Bouchare_06/05.xml,4,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Bouchare_06/11.xml,4,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Bouchare_06/12.xml,4,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/ICFP_2010/96485.xml,4,normal_torpacyc,normal_tdmi,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_05_SRS/torpa3.xml,4,normal_default_ttt2,normal_default,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Secret_06_SRS/2-matchbox.xml,4,normal_default_ttt2,normal_default,normal_tdmi,normal_torpacyc Job18405_output/SRS_Standard/Waldmann_06_SRS/sym-4.xml,4,normal_torpacyc,normal_default,normal_default_ttt2,normal_tdmi Job18405_output/SRS_Standard/Waldmann_06_SRS/uni-1.xml,4,normal_torpacyc,normal_default,normal_default_ttt2,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z047.xml,4,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z048.xml,4,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z051.xml,4,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z059.xml,4,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z060.xml,4,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z064.xml,4,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z122.xml,4,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Bouchare_06/01.xml,5,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_aprove_split Job18405_output/SRS_Standard/Bouchare_06/02.xml,5,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate Job18405_output/SRS_Standard/Bouchare_06/14.xml,5,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_aprove_split Job18405_output/SRS_Standard/Bouchare_06/15.xml,5,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_split Job18405_output/SRS_Standard/Bouchare_06/16.xml,5,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_split Job18405_output/SRS_Standard/Bouchare_06/17.xml,5,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_aprove_split Job18405_output/SRS_Standard/ICFP_2010/264370.xml,5,normal_torpacyc,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/ICFP_2010/264405.xml,5,normal_torpacyc,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Mixed_SRS/3.xml,5,normal_ttt2_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Waldmann_06_SRS/sym-1.xml,5,normal_torpacyc,normal_default,normal_default_ttt2,normal_tdmi,normal_aprove_split Job18405_output/SRS_Standard/Zantema_04/z002.xml,5,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Zantema_04/z003.xml,5,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Zantema_04/z049.xml,5,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Zantema_04/z050.xml,5,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Zantema_04/z052.xml,5,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Zantema_04/z055.xml,5,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc Job18405_output/SRS_Standard/Bouchare_06/04.xml,6,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_split,normal_aprove_split Job18405_output/SRS_Standard/ICFP_2010/25192.xml,6,normal_torpacyc,normal_tdmi,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/dup16.xml,6,normal_aprove_split,normal_default_ttt2,normal_default,normal_aprove_shift,normal_aprove_rotate,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z061.xml,6,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z062.xml,6,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z063.xml,6,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z118.xml,6,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z126.xml,6,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z112.xml,7,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_tdmi Job18405_output/SRS_Standard/Zantema_04/z107.xml,9,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z085.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z101.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z102.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z104.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z108.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z109.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z116.xml,10,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_torpacyc,normal_tdmi,normal_ttt2_rotate,normal_ttt2_shift Result: NO proved by: Job18405_output/SRS_Standard/Secret_06_SRS/aprove00.xml,1,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-338.xml,1,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-361.xml,1,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-384.xml,1,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-400.xml,1,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-410.xml,1,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-355.xml,2,normal_cycnt,ttt2_only Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-382.xml,2,normal_cycnt,ttt2_only Job18405_output/SRS_Standard/Bouchare_06/03.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Bouchare_06/13.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Gebhardt_06/01.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/02.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/09.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/11.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/16.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/19.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/02-oppelt08.xml,3,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/02.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/03-oppelt08.xml,3,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/04-oppelt08.xml,3,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/05.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/06.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/07.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/08.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/09.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/4.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Secret_05_SRS/aprove1.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_05_SRS/aprove5.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_05_SRS/jambox1.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/10.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/5-matchbox.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/7.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/9.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove01.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove02.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove03.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove04.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove05.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove06.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove08.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/aprove09.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/multum2.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/multum3.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/secr4.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/secr5.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/secr8.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-520.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x01.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x02.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x05.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x06.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x07.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x08.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup06.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup07.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup08.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup10.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup12.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup13.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup14.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup15.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/hom01.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/hom03.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un02.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un08.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un09.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un10.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un11.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un12.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un13.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un17.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un18.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_06_SRS/jw1.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_06_SRS/jw4.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_06_SRS/jw5.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_06_SRS/sym-5.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_06_SRS/sym-6.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_06_SRS/uni-5.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_06_SRS/z086-variant.xml,3,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-1.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-3.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-2-num-4.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-10.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-11.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-13.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-14.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-2.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-4.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-6.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-7.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-8.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-9.xml,3,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-12.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-15.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-16.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-18.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-6.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-7.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-107.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-108.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-109.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-110.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-111.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-112.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-113.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-114.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-120.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-121.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-128.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-13.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-131.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-132.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-133.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-14.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-152.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-16.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-17.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-176.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-209.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-211.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-232.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-238.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-247.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-248.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-255.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-263.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-267.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-271.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-272.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-274.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-286.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-289.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-291.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-292.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-30.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-32.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-327.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-341.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-345.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-346.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-347.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-348.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-359.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-366.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-367.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-375.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-376.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-377.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-385.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-389.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-391.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-395.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-396.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-401.xml,3,normal_cycnt,aprove_only,ttt2_only Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-402.xml,3,normal_cycnt,aprove_only,normal_default Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-406.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-412.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-413.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-414.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-415.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-416.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-417.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-418.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-427.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-436.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-437.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-438.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-441.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-446.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-45.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-453.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-454.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-456.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-460.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-461.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-462.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-465.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-467.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-468.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-470.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-475.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-479.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-480.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-484.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-487.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-489.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-502.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-503.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-506.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-507.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-51.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-52.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-535.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-536.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-543.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-57.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-59.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-64.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-66.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-71.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-72.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-76.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-82.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-84.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-86.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-88.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-9.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z010.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z011.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z014.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z015.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z018.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z020.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z021.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z023.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z028.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z034.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z035.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z041.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z068.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z076.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z077.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z078.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z079.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z082.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z088.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z089.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z117.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z123.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/07.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/08.xml,3,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Bouchare_06/18.xml,4,normal_default,normal_default_ttt2,normal_cycnt,normal_aprove_split Job18405_output/SRS_Standard/Gebhardt_06/04.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/06.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/07.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/10.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/12.xml,4,aprove_only,normal_cycnt,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/13.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/17.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/18.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/20.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/01.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/2.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/s6.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/touzet.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Secret_06_SRS/1-matchbox.xml,4,normal_cycnt,aprove_only,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/secr1.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Secret_06_SRS/secr10.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Secret_06_SRS/secr2.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Secret_06_SRS/secr3.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Secret_06_SRS/secr6.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Secret_07_SRS/num-514.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-521.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-525.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-530.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x03.xml,4,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x10.xml,4,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/dup01.xml,4,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un04.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Trafo_06/un05.xml,4,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-1.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-15.xml,4,aprove_only,normal_cycnt,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-17.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-19.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-20.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-3.xml,4,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-1.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-17.xml,4,normal_cycnt,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-19.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-1.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-105.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-106.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-122.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-123.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-124.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-126.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-134.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-149.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-163.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-164.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-165.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-168.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-190.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-191.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-194.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-200.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-201.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-203.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-204.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-210.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-213.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-215.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-219.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-22.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-220.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-221.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-222.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-224.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-226.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-227.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-231.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-265.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-273.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-279.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-282.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-283.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-285.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-287.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-296.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-297.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-300.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-304.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-31.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-335.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-337.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-343.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-350.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-352.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-360.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-362.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-369.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-374.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-4.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-429.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-431.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-434.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-435.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-439.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-443.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-448.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-450.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-476.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-482.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-485.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-488.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-491.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-492.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-493.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-497.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-499.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-511.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-522.xml,4,normal_cycnt,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-532.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-540.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-541.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-547.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-548.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-553.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-556.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-563.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-565.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-566.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-67.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z066.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z080.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z083.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z087.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z103.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z114.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/06.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/10.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/13.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/abc.xml,4,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/05.xml,5,aprove_only,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/14.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/15.xml,5,aprove_only,normal_cycnt,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/04.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/1.xml,5,normal_cycnt,aprove_only,normal_default,normal_default_ttt2,ttt2_only Job18405_output/SRS_Standard/Secret_05_SRS/aprove3.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_05_SRS/aprove4.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_05_SRS/matchbox1.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_05_SRS/torpa2.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_06_SRS/multum1.xml,5,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Secret_06_SRS/secr7.xml,5,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Secret_07_SRS/num-515.xml,5,aprove_only,normal_cycnt,ttt2_only,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-519.xml,5,aprove_only,normal_cycnt,ttt2_only,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-527.xml,5,aprove_only,normal_cycnt,ttt2_only,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/num-539.xml,5,aprove_only,normal_cycnt,ttt2_only,normal_default_ttt2,normal_default Job18405_output/SRS_Standard/Secret_07_SRS/x09.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/dup05.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/dup09.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/dup17.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/hom02.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/un07.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/un14.xml,5,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split Job18405_output/SRS_Standard/Waldmann_06_SRS/pi.xml,5,normal_default,normal_default_ttt2,normal_cycnt,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Waldmann_06_SRS/uni-6.xml,5,aprove_only,ttt2_only,normal_default,normal_default_ttt2,normal_cycnt Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-12.xml,5,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-20.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-22.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-10.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-11.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-129.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-15.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-170.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-180.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-186.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-19.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-202.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-21.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-223.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-225.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-233.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-241.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-243.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-249.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-270.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-275.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-281.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-284.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-288.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-293.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-294.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-298.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-299.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-301.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-303.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-339.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-351.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-354.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-368.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-378.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-392.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-399.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-41.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-430.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-44.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-455.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-474.xml,5,normal_cycnt,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-48.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-49.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-494.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-495.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-508.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-546.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-552.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-559.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-564.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-568.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-70.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-83.xml,5,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-92.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-98.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z013.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z086.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z091.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z092.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z100.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z119.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z120.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z124.xml,5,normal_cycnt,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/while1.xml,5,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/03.xml,6,aprove_only,normal_cycnt,normal_aprove_split,normal_default,ttt2_only,normal_default_ttt2 Job18405_output/SRS_Standard/Gebhardt_06/08.xml,6,aprove_only,normal_cycnt,normal_aprove_split,normal_default,ttt2_only,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/01-oppelt08.xml,6,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/turing_mult.xml,6,normal_cycnt,normal_aprove_split,aprove_only,normal_default,normal_default_ttt2,ttt2_only Job18405_output/SRS_Standard/Secret_05_SRS/aprove2.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default_ttt2,normal_default,normal_aprove_shift Job18405_output/SRS_Standard/Secret_05_SRS/torpa4.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default_ttt2,normal_default,normal_aprove_shift Job18405_output/SRS_Standard/Secret_06_SRS/3-matchbox.xml,6,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split,normal_aprove_shift,normal_ttt2_split Job18405_output/SRS_Standard/Secret_07_SRS/dj.xml,6,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_aprove_shift,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/un06.xml,6,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split,normal_aprove_rotate Job18405_output/SRS_Standard/Trafo_06/un15.xml,6,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_ttt2_split,normal_aprove_rotate Job18405_output/SRS_Standard/Waldmann_06_SRS/uni-3.xml,6,aprove_only,ttt2_only,normal_default,normal_default_ttt2,normal_cycnt,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_06_SRS/uni-4.xml,6,aprove_only,ttt2_only,normal_default,normal_default_ttt2,normal_cycnt,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-18.xml,6,aprove_only,normal_cycnt,ttt2_only,normal_default_ttt2,normal_default,normal_aprove_split Job18405_output/SRS_Standard/Waldmann_07_size11/size-11-alpha-3-num-21.xml,6,aprove_only,normal_cycnt,normal_default_ttt2,normal_default,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-13.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-14.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-2.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-21.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-127.xml,6,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-140.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-146.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-158.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-159.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-160.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-177.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-178.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-179.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-195.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-206.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-207.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-217.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-239.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-257.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-260.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-3.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-330.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-353.xml,6,normal_cycnt,normal_aprove_split,aprove_only,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-40.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-47.xml,6,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-473.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-498.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-526.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-545.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-549.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-550.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-551.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-558.xml,6,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-61.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-74.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-91.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-94.xml,6,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z012.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z067.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z071.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z074.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z075.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z105.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z111.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z113.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z115.xml,6,normal_cycnt,normal_aprove_shift,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/01.xml,6,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/04.xml,6,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans1.xml,6,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans3.xml,6,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Bouchare_06/06.xml,7,normal_default,normal_default_ttt2,normal_ttt2_split,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_aprove_shift Job18405_output/SRS_Standard/Bouchare_06/07.xml,7,normal_default,normal_default_ttt2,normal_ttt2_split,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_aprove_shift Job18405_output/SRS_Standard/Bouchare_06/08.xml,7,aprove_only,normal_default,normal_default_ttt2,ttt2_only,normal_ttt2_split,normal_cycnt,normal_aprove_split Job18405_output/SRS_Standard/Bouchare_06/09.xml,7,aprove_only,normal_default,normal_default_ttt2,ttt2_only,normal_ttt2_split,normal_cycnt,normal_aprove_split Job18405_output/SRS_Standard/Bouchare_06/10.xml,7,normal_default,normal_default_ttt2,normal_ttt2_split,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_aprove_shift Job18405_output/SRS_Standard/Mixed_SRS/03.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/turing_add.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/turing_copy.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_default,normal_default_ttt2,ttt2_only Job18405_output/SRS_Standard/Secret_06_SRS/6.xml,7,normal_cycnt,normal_aprove_rotate,normal_default_ttt2,normal_default,normal_aprove_split,normal_aprove_shift,normal_ttt2_split Job18405_output/SRS_Standard/Secret_06_SRS/8.xml,7,normal_cycnt,normal_aprove_rotate,normal_default_ttt2,normal_default,normal_aprove_split,normal_aprove_shift,normal_ttt2_split Job18405_output/SRS_Standard/Secret_06_SRS/multum5.xml,7,normal_cycnt,normal_aprove_rotate,normal_default_ttt2,normal_default,normal_aprove_split,normal_aprove_shift,normal_ttt2_split Job18405_output/SRS_Standard/Secret_06_SRS/multum6.xml,7,normal_cycnt,normal_aprove_rotate,normal_default_ttt2,normal_default,normal_aprove_split,normal_aprove_shift,normal_ttt2_split Job18405_output/SRS_Standard/Trafo_06/un16.xml,7,normal_cycnt,normal_aprove_split,normal_default_ttt2,normal_default,normal_aprove_shift,normal_ttt2_split,normal_aprove_rotate Job18405_output/SRS_Standard/Waldmann_06_SRS/jw3.xml,7,normal_default,normal_default_ttt2,normal_aprove_shift,normal_aprove_rotate,normal_cycnt,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Waldmann_06_SRS/uni-2.xml,7,aprove_only,ttt2_only,normal_default,normal_default_ttt2,normal_cycnt,normal_aprove_split,normal_ttt2_split Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-2-num-3.xml,7,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_aprove_rotate,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-100.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-101.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-181.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-20.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-23.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-328.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-373.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-7.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-95.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-99.xml,7,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/syracuse.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z006.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z007.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z008.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z009.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z017.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z019.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z022.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z026.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z042.xml,7,aprove_only,normal_cycnt,ttt2_only,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z044.xml,7,aprove_only,normal_cycnt,ttt2_only,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z046.xml,7,aprove_only,normal_cycnt,ttt2_only,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z065.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z072.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z081.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z084.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z090.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z093.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z094.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z096.xml,7,aprove_only,normal_cycnt,ttt2_only,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z106.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z110.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z121.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z125.xml,7,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z127.xml,7,aprove_only,normal_cycnt,ttt2_only,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z128.xml,7,aprove_only,normal_cycnt,ttt2_only,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/02.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/03.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/05.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/09.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/11.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/12.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/14.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans2.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans4.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans5.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans6.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/beans7.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/loop1.xml,7,aprove_only,ttt2_only,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/loop2.xml,7,aprove_only,ttt2_only,normal_cycnt,normal_aprove_split,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_06/while2.xml,7,normal_aprove_shift,normal_cycnt,normal_aprove_split,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/05-oppelt08.xml,8,normal_aprove_shift,normal_cycnt,normal_aprove_split,aprove_only,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/06-oppelt08.xml,8,normal_aprove_shift,normal_cycnt,normal_aprove_split,aprove_only,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/07-oppelt08.xml,8,normal_aprove_shift,normal_cycnt,normal_aprove_split,aprove_only,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Mixed_SRS/08-oppelt08.xml,8,normal_aprove_shift,normal_cycnt,normal_aprove_split,aprove_only,normal_aprove_rotate,normal_ttt2_split,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-135.xml,8,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Waldmann_07_size12/size-12-alpha-3-num-90.xml,8,normal_cycnt,normal_aprove_split,aprove_only,normal_ttt2_split,ttt2_only,normal_aprove_shift,normal_default,normal_default_ttt2 Job18405_output/SRS_Standard/Zantema_04/z025.xml,8,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2,normal_ttt2_shift Job18405_output/SRS_Standard/Zantema_04/z073.xml,8,aprove_only,normal_cycnt,normal_aprove_shift,normal_aprove_rotate,normal_ttt2_split,normal_aprove_split,normal_default,normal_default_ttt2