Usage of Technique CpxTrsMatchBoundsProof
TRS_RCi/ICFP_2010/157388.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/160263.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/211857.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/211960.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/212094.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/212117.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/212480.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/212612.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/230780.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/231230.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/231480.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/247254.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/247906.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/249663.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/25731.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26069.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26103.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26123.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26130.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26186.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26226.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26291.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/26683.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/27030.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/27131.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/27134.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/27213.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/27235.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/27280.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/28293.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/28464.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/28643.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/28838.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/40093.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/40708.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/45720.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/57355.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/58194.xml.AProVE 2011.html.lzma#node1
TRS_RCi/ICFP_2010/58301.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Mixed_SRS/turing_add.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Mixed_SRS/turing_copy.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Mixed_SRS/turing_mult.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_05_SRS/jambox5.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_05_SRS/matchbox2.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_05_SRS/torpa1.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/5-matchbox.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/aprove01.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/aprove02.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/aprove03.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/aprove05.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/aprove07.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/aprove08.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/secr3.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_06_SRS/secr4.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_07_SRS/num-515.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_07_SRS/num-520.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_07_SRS/num-539.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Secret_07_SRS/x05.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Transformed_CSR_04/Ex23_Luc06_C.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Transformed_CSR_04/Ex25_Luc06_C.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Transformed_CSR_04/Ex6_GM04_C.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Transformed_CSR_04/ExConc_Zan97_C.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_06_SRS/e.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_06_SRS/jw3.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_06_SRS/pi.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size11/size-11-alpha-3-num-9.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-131.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-13.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-174.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-199.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-211.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-224.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-231.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-248.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-274.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-30.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-32.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-376.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-408.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-472.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-485.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-489.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-502.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-511.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-535.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Waldmann_07_size12/size-12-alpha-3-num-536.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_04/z003.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_04/z008.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_04/z065.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_04/z090.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_04/z117.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_06/01.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_06/05.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_06/06.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_06/09.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_06/while1.xml.AProVE 2011.html.lzma#node1
TRS_RCi/Zantema_06/while2.xml.AProVE 2011.html.lzma#node1