File:Duplicates-8.0.txt

From Termination-Portal.org
Revision as of 15:06, 1 March 2011 by Zini (talk | contribs) (Problems appearing at least twice in the TPDB 8.0)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml

Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml

Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml

Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml

Transformed_CSR_04/Ex1_Luc04b_Z.xml

Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml

Transformed_CSR_04/Ex9_Luc06_FR.xml

Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml

Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml

Transformed_CSR_04/Ex6_GM04_FR.xml

Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml

Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml

Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml

Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml

Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml

Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml

Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml

Transformed_CSR_04/PALINDROME_complete-noand_L.xml

Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml

Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml

Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml

Transformed_CSR_innermost_04/Ex7_BLR02_C.xml

Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml

Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml

Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml

Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml

Transformed_CSR_04/Ex1_GL02a_Z.xml

Transformed_CSR_innermost_04/Ex9_BLR02_C.xml

Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml

Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml

Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml

Transformed_CSR_innermost_04/MYNAT_complete_C.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml

Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml

Transformed_CSR_innermost_04/Ex24_GM04_GM.xml

Transformed_CSR_innermost_04/Ex6_Luc98_L.xml

Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml

Transformed_CSR_innermost_04/PALINDROME_complete_C.xml

Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml

Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml

Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml

Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml

Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml

Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml

Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml

Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml

Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml

Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml

Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml

Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml

Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml

Transformed_CSR_04/Ex5_DLMMU04_Z.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml

Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml

Transformed_CSR_innermost_04/Ex15_Luc98_C.xml

Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml

Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml

Transformed_CSR_innermost_04/Ex24_GM04_C.xml

Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml

Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml

Transformed_CSR_04/OvConsOS_nosorts_FR.xml

Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml

Transformed_CSR_innermost_04/Ex23_Luc06_C.xml

Transformed_CSR_04/Ex1_Zan97_L.xml

Transformed_CSR_04/ExConc_Zan97_Z.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml

Transformed_CSR_04/Ex1_GM99_L.xml

Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml

Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml

Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml

Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml

Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml

Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml

Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml

Transformed_CSR_innermost_04/Ex6_GM04_GM.xml

Transformed_CSR_innermost_04/Ex25_Luc06_L.xml

Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml

Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml

Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml

Transformed_CSR_04/Ex1_GL02a_L.xml

Transformed_CSR_04/Ex4_DLMMU04_Z.xml

Transformed_CSR_04/Ex9_Luc04_FR.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml

Transformed_CSR_innermost_04/Ex14_Luc06_C.xml

Transformed_CSR_04/Ex4_DLMMU04_FR.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml

Transformed_CSR_04/Ex24_Luc06_FR.xml

Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml

Transformed_CSR_04/Ex1_Zan97_FR.xml

Transformed_CSR_04/Ex1_Luc04b_FR.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml

Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml

Transformed_CSR_innermost_04/Ex9_Luc06_C.xml

Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml

Transformed_CSR_04/Ex15_Luc06_L.xml

Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml

Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml

Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml

Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml

Transformed_CSR_innermost_04/Ex6_Luc98_C.xml

Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml

Transformed_CSR_innermost_04/ExConc_Zan97_C.xml

Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml

Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml

Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml

Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml

Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml

Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml

Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml

Transformed_CSR_04/Ex4_4_Luc96b_Z.xml

Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml

Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml

Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml

Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml

Transformed_CSR_innermost_04/PEANO_complete_iGM.xml

Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml

Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml

Transformed_CSR_innermost_04/Ex25_Luc06_C.xml

Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml

Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml

Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml

Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml

Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml

Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml

Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml

Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml

Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml

Transformed_CSR_innermost_04/Ex49_GM04_GM.xml

Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml

Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml

Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml

Transformed_CSR_innermost_04/PEANO_complete_GM.xml

Transformed_CSR_04/Ex24_GM04_L.xml

Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml

Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml

Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml

Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml

Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml

Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml

Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml

Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml

Transformed_CSR_innermost_04/OvConsOS_complete_C.xml

Transformed_CSR_innermost_04/PEANO_nosorts_C.xml

Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml

Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml

Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml

Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml

Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml

Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml

Transformed_CSR_innermost_04/Ex15_Luc06_C.xml

Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml

Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml

Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml

Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml

Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml

Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml

Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml

Transformed_CSR_04/Ex1_GM03_Z.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml

Strategy_outermost_added_08/ttt2.xml

Strategy_outermost_added_08/ttt1.xml

Strategy_removed_CSR_05/Ex1_GL02a.xml

Strategy_removed_CSR_05/Ex4_Zan97.xml

Strategy_removed_CSR_05/Ex1_2_AEL03.xml

Strategy_removed_CSR_05/Ex9_BLR02.xml

CSR_04/Ex18_Luc06.xml

Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml

Strategy_removed_CSR_05/ExAppendixB_AEL03.xml

Strategy_removed_CSR_05/Ex26_Luc03b.xml

Strategy_removed_CSR_05/Ex5_7_Luc97.xml

Strategy_removed_CSR_05/Ex6_GM04.xml

Strategy_removed_CSR_05/Ex3_12_Luc96a.xml

Strategy_removed_CSR_05/Ex6_9_Luc02c.xml

Strategy_removed_CSR_05/Ex1_2_Luc02c.xml

Strategy_removed_CSR_05/ExIntrod_Zan97.xml

Strategy_removed_CSR_05/ExIntrod_GM99.xml

Strategy_removed_CSR_05/Ex1_Luc02b.xml

Strategy_removed_CSR_05/ExIntrod_GM04.xml

Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml

Strategy_removed_CSR_05/Ex14_AEGL02.xml

Strategy_removed_CSR_05/Ex7_BLR02.xml

Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml

Strategy_removed_mixed_05/test75.xml

SK90/4.55.xml

Strategy_removed_mixed_05/test830.xml

Strategy_removed_mixed_05/gkg.xml

Strategy_removed_mixed_05/bn111.xml

Mixed_innermost/thiemann28i.xml

Strategy_removed_mixed_05/test10.xml

Strategy_removed_mixed_05/test77.xml

Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml

Strategy_removed_AG01/#4.17.xml

Strategy_outermost_added_08/n008.xml

Strategy_outermost_added_08/Ex6_GM04_Z.xml

Strategy_removed_AG01/#4.14.xml

Strategy_outermost_added_08/Ex14_Luc06_Z.xml

Strategy_outermost_added_08/n007.xml

Strategy_outermost_added_08/001.xml

Strategy_outermost_added_08/4.06.xml

Strategy_outermost_added_08/append-wrong.xml

Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml

Strategy_outermost_added_08/n006.xml

Strategy_outermost_added_08/Ex9_Luc04_Z.xml

Strategy_outermost_added_08/Hamming.xml

Strategy_outermost_added_08/Ex9_Luc06_L.xml

Strategy_removed_AG01/#4.3.xml

Strategy_removed_AG01/#4.2.xml

Strategy_outermost_added_08/TypeEx3.xml

Strategy_outermost_added_08/4.34.xml

Strategy_removed_AG01/#4.4.xml

Waldmann_06/jwno4.xml

Strategy_removed_AG01/#4.12a.xml

Waldmann_06/jwno6.xml

Strategy_outermost_added_08/n004.xml

Strategy_outermost_added_08/thiemann28.xml

Zantema_04/z086.xml

Transformed_outermost_08/cariboo_ex4.xml

SK90/4.27.xml

ICFP_2010_relative/4206.xml

ICFP_2010_relative/41838.xml

ICFP_2010_relative/183803.xml

ICFP_2010_relative/25808.xml

ICFP_2010_relative/25395.xml

ICFP_2010_relative/27039.xml

ICFP_2010_relative/27213.xml

ICFP_2010_relative/107193.xml

ICFP_2010_relative/160462.xml

ICFP_2010_relative/184957.xml

ICFP_2010_relative/91210.xml

ICFP_2010_relative/167742.xml

ICFP_2010_relative/188261.xml

ICFP_2010_relative/26879.xml

ICFP_2010_relative/51424.xml

ICFP_2010_relative/214183.xml

ICFP_2010_relative/26919.xml

ICFP_2010_relative/187837.xml

ICFP_2010_relative/27013.xml

ICFP_2010_relative/136323.xml

ICFP_2010_relative/161519.xml

ICFP_2010_relative/148543.xml

ICFP_2010_relative/137799.xml

ICFP_2010_relative/213147.xml

ICFP_2010_relative/26882.xml

ICFP_2010_relative/157603.xml

ICFP_2010_relative/26069.xml

ICFP_2010_relative/188238.xml

ICFP_2010_relative/26927.xml

ICFP_2010_relative/136463.xml

ICFP_2010_relative/26933.xml

ICFP_2010_relative/160398.xml

ICFP_2010_relative/29415.xml

ICFP_2010_relative/166558.xml

ICFP_2010_relative/137087.xml

ICFP_2010_relative/57278.xml

ICFP_2010_relative/149297.xml

ICFP_2010_relative/45970.xml

ICFP_2010_relative/162095.xml

ICFP_2010_relative/161930.xml

ICFP_2010_relative/162244.xml

ICFP_2010_relative/137715.xml

ICFP_2010_relative/26960.xml

ICFP_2010_relative/88156.xml

ICFP_2010_relative/133532.xml

ICFP_2010_relative/27030.xml

ICFP_2010_relative/26978.xml

ICFP_2010_relative/26910.xml

ICFP_2010_relative/188696.xml

ICFP_2010_relative/212364.xml

ICFP_2010_relative/42321.xml

ICFP_2010_relative/28464.xml

ICFP_2010_relative/48328.xml

ICFP_2010_relative/26683.xml

ICFP_2010_relative/25711.xml

ICFP_2010_relative/136601.xml

ICFP_2010_relative/152949.xml

ICFP_2010_relative/27131.xml

ICFP_2010_relative/43266.xml

ICFP_2010_relative/157275.xml

ICFP_2010_relative/58194.xml

ICFP_2010_relative/149915.xml

ICFP_2010_relative/27006.xml

ICFP_2010_relative/25734.xml

ICFP_2010_relative/185628.xml

ICFP_2010_relative/136534.xml

ICFP_2010_relative/26291.xml

ICFP_2010_relative/149415.xml

ICFP_2010_relative/26916.xml

ICFP_2010_relative/25416.xml

ICFP_2010_relative/43987.xml

ICFP_2010_relative/51842.xml

ICFP_2010_relative/25409.xml

ICFP_2010_relative/136693.xml

ICFP_2010_relative/26130.xml

ICFP_2010_relative/51577.xml

ICFP_2010_relative/88208.xml

ICFP_2010_relative/26972.xml

ICFP_2010_relative/41688.xml

ICFP_2010_relative/25726.xml

ICFP_2010_relative/165936.xml

ICFP_2010_relative/40976.xml

ICFP_2010_relative/26875.xml

ICFP_2010_relative/133432.xml

ICFP_2010_relative/27034.xml

ICFP_2010_relative/26986.xml

ICFP_2010_relative/158152.xml

ICFP_2010_relative/48262.xml

ICFP_2010_relative/167087.xml

ICFP_2010_relative/27026.xml

ICFP_2010_relative/26845.xml

ICFP_2010_relative/41427.xml

ICFP_2010_relative/26946.xml

ICFP_2010_relative/26127.xml

ICFP_2010_relative/132848.xml

ICFP_2010_relative/56144.xml

ICFP_2010_relative/45757.xml

ICFP_2010_relative/41865.xml

ICFP_2010_relative/135505.xml

ICFP_2010_relative/135659.xml

ICFP_2010_relative/254704.xml

ICFP_2010_relative/167452.xml

ICFP_2010_relative/26123.xml

ICFP_2010_relative/167240.xml

ICFP_2010_relative/166001.xml

ICFP_2010_relative/27280.xml

ICFP_2010_relative/157713.xml

ICFP_2010_relative/138089.xml

ICFP_2010_relative/182946.xml

ICFP_2010_relative/153288.xml

ICFP_2010_relative/130962.xml

ICFP_2010_relative/211915.xml

ICFP_2010_relative/48374.xml

ICFP_2010_relative/157466.xml

ICFP_2010_relative/26186.xml

ICFP_2010_relative/152786.xml

ICFP_2010_relative/53216.xml

ICFP_2010_relative/133236.xml

ICFP_2010_relative/27036.xml

ICFP_2010_relative/259625.xml

ICFP_2010_relative/26949.xml

ICFP_2010_relative/26871.xml

ICFP_2010_relative/162016.xml

ICFP_2010_relative/137621.xml

ICFP_2010_relative/161917.xml

ICFP_2010_relative/165755.xml

ICFP_2010_relative/153090.xml

ICFP_2010_relative/150877.xml

ICFP_2010_relative/130304.xml

ICFP_2010_relative/167041.xml

ICFP_2010_relative/28838.xml

ICFP_2010_relative/133079.xml

ICFP_2010_relative/28293.xml

ICFP_2010_relative/130472.xml

ICFP_2010_relative/160475.xml

ICFP_2010_relative/26940.xml

ICFP_2010_relative/212043.xml

ICFP_2010_relative/42170.xml

ICFP_2010_relative/186775.xml

ICFP_2010_relative/153243.xml

ICFP_2010_relative/149277.xml

ICFP_2010_relative/26226.xml

ICFP_2010_relative/97885.xml

Strategy_removed_mixed_05/ex6.xml

Strategy_removed_mixed_05/ex3.xml

Strategy_removed_mixed_05/ex1.xml

TCT_09/ma2.xml

HirokawaMiddeldorp_04/n008.xml

Strategy_removed_AG01/#4.19.xml

Strategy_removed_AG01/#4.21.xml

Strategy_removed_AG01/#4.37a.xml

Strategy_removed_AG01/#4.37.xml

Strategy_removed_AG01/#4.34.xml

Strategy_removed_AG01/#4.26.xml

Strategy_removed_AG01/#4.30.xml

Strategy_removed_AG01/#4.27.xml

Strategy_removed_AG01/#4.25.xml

Strategy_removed_AG01/#4.30a.xml

ICFP_2010/26555.xml

Strategy_removed_AG01/#4.20.xml

Strategy_removed_AG01/#4.35.xml

Strategy_removed_AG01/#4.23.xml

Strategy_removed_AG01/#4.22.xml

Strategy_removed_AG01/#4.29.xml

Strategy_removed_AG01/#4.33.xml

Strategy_removed_AG01/#4.36.xml

Strategy_removed_AG01/#4.32.xml

Strategy_removed_AG01/#4.28.xml

Strategy_removed_AG01/#4.20a.xml

Strategy_removed_AG01/#4.30b.xml

TCT_09/bits.xml

TCT_09/ma5.xml

Strategy_removed_mixed_05/ex5.xml

Strategy_removed_mixed_05/ex2.xml

Strategy_removed_mixed_05/ex4.xml

ICFP_2010_relative/150468.xml

ICFP_2010_relative/27009.xml

ICFP_2010_relative/150188.xml

ICFP_2010_relative/149319.xml

ICFP_2010_relative/27134.xml

ICFP_2010_relative/153034.xml

ICFP_2010_relative/26976.xml

ICFP_2010_relative/186333.xml

ICFP_2010_relative/165904.xml

ICFP_2010_relative/136354.xml

ICFP_2010_relative/48686.xml

ICFP_2010_relative/27023.xml

ICFP_2010_relative/185453.xml

ICFP_2010_relative/160068.xml

ICFP_2010_relative/186222.xml

ICFP_2010_relative/27235.xml

ICFP_2010_relative/214011.xml

ICFP_2010_relative/26943.xml

ICFP_2010_relative/28643.xml

ICFP_2010_relative/157150.xml

ICFP_2010_relative/26903.xml

ICFP_2010_relative/259405.xml

ICFP_2010_relative/212308.xml

ICFP_2010_relative/186919.xml

ICFP_2010_relative/48267.xml

ICFP_2010_relative/40540.xml

ICFP_2010_relative/26896.xml

ICFP_2010_relative/180915.xml

ICFP_2010_relative/167433.xml

ICFP_2010_relative/91218.xml

ICFP_2010_relative/25775.xml

ICFP_2010_relative/160364.xml

ICFP_2010_relative/57355.xml

ICFP_2010_relative/40708.xml

ICFP_2010_relative/186973.xml

ICFP_2010_relative/188296.xml

ICFP_2010_relative/186810.xml

ICFP_2010_relative/152865.xml

ICFP_2010_relative/147437.xml

ICFP_2010_relative/44332.xml

ICFP_2010_relative/165713.xml

ICFP_2010_relative/26886.xml

ICFP_2010_relative/91233.xml

ICFP_2010_relative/167526.xml

ICFP_2010_relative/152694.xml

ICFP_2010_relative/150839.xml

ICFP_2010_relative/41843.xml

ICFP_2010_relative/26993.xml

ICFP_2010_relative/157161.xml

ICFP_2010_relative/45720.xml

ICFP_2010_relative/43603.xml

ICFP_2010_relative/160427.xml

ICFP_2010_relative/149251.xml

ICFP_2010_relative/186617.xml

ICFP_2010_relative/153170.xml

ICFP_2010_relative/161533.xml

ICFP_2010_relative/166493.xml

ICFP_2010_relative/150067.xml

ICFP_2010_relative/43621.xml

ICFP_2010_relative/136497.xml

ICFP_2010_relative/161864.xml

ICFP_2010_relative/160660.xml

ICFP_2010_relative/130161.xml

ICFP_2010_relative/150630.xml

ICFP_2010_relative/137956.xml

ICFP_2010_relative/26954.xml

ICFP_2010_relative/26110.xml

ICFP_2010_relative/25743.xml

ICFP_2010_relative/136934.xml

ICFP_2010_relative/137136.xml

ICFP_2010_relative/161593.xml

ICFP_2010_relative/27003.xml

ICFP_2010_relative/91254.xml

ICFP_2010_relative/26969.xml

ICFP_2010_relative/150258.xml

ICFP_2010_relative/188004.xml

ICFP_2010_relative/136280.xml

ICFP_2010_relative/160210.xml

ICFP_2010_relative/167310.xml

ICFP_2010_relative/42683.xml

ICFP_2010_relative/40033.xml

ICFP_2010_relative/167391.xml

ICFP_2010_relative/167294.xml

ICFP_2010_relative/158342.xml

ICFP_2010_relative/149633.xml

ICFP_2010_relative/158208.xml

ICFP_2010_relative/26957.xml

ICFP_2010_relative/136571.xml

ICFP_2010_relative/151247.xml

ICFP_2010_relative/26862.xml

ICFP_2010_relative/39830.xml

ICFP_2010_relative/167636.xml

ICFP_2010_relative/150815.xml

ICFP_2010_relative/165975.xml

ICFP_2010_relative/157388.xml

ICFP_2010_relative/137316.xml

ICFP_2010_relative/135601.xml

ICFP_2010_relative/25422.xml

ICFP_2010_relative/158620.xml

ICFP_2010_relative/153444.xml

ICFP_2010_relative/26951.xml

ICFP_2010_relative/25736.xml

ICFP_2010_relative/135410.xml

ICFP_2010_relative/158477.xml

ICFP_2010_relative/27028.xml

ICFP_2010_relative/149713.xml

ICFP_2010_relative/26974.xml

ICFP_2010_relative/25849.xml

ICFP_2010_relative/162075.xml

ICFP_2010_relative/42466.xml

ICFP_2010_relative/149849.xml

ICFP_2010_relative/213560.xml

ICFP_2010_relative/26931.xml

ICFP_2010_relative/58125.xml

ICFP_2010_relative/26980.xml

ICFP_2010_relative/24100.xml

ICFP_2010_relative/43650.xml

ICFP_2010_relative/150725.xml

ICFP_2010_relative/26105.xml

ICFP_2010_relative/88183.xml

ICFP_2010_relative/27019.xml

ICFP_2010_relative/135714.xml

ICFP_2010_relative/50904.xml

ICFP_2010_relative/160324.xml

ICFP_2010_relative/26116.xml

ICFP_2010_relative/166848.xml

ICFP_2010_relative/26132.xml

ICFP_2010_relative/98623.xml

ICFP_2010_relative/88283.xml

ICFP_2010_relative/27001.xml

ICFP_2010_relative/27015.xml

ICFP_2010_relative/25388.xml

ICFP_2010_relative/149361.xml

ICFP_2010_relative/153371.xml

ICFP_2010_relative/26741.xml

ICFP_2010_relative/160254.xml

ICFP_2010_relative/26998.xml

ICFP_2010_relative/213437.xml

ICFP_2010_relative/26965.xml

ICFP_2010_relative/166465.xml

ICFP_2010_relative/3927.xml

ICFP_2010_relative/263745.xml

ICFP_2010_relative/26923.xml

Transformed_outermost_08/cariboo_ex6.xml

Transformed_outermost_08/cariboo_ex5.xml

Zantema_04/z080.xml

Strategy_removed_AG01/#4.18.xml

Waldmann_06/jwno9.xml

Strategy_outermost_added_08/2.05.xml

Strategy_removed_AG01/#4.15.xml

Strategy_outermost_added_08/4.49.xml

Strategy_outermost_added_08/4.40.xml

Strategy_removed_AG01/#4.7.xml

Strategy_outermost_added_08/003.xml

Strategy_outermost_added_08/n003.xml

Strategy_outermost_added_08/ex6.xml

Strategy_outermost_added_08/TypeEx5.xml

Waldmann_06/jwno1.xml

Strategy_removed_AG01/#4.13.xml

Strategy_outermost_added_08/termMonTypes.xml

Strategy_outermost_added_08/4.54.xml

Strategy_outermost_added_08/Ex1_Zan97_Z.xml

Strategy_outermost_added_08/Ex1_GM99_Z.xml

Strategy_outermost_added_08/n002.xml

Strategy_removed_AG01/#4.16.xml

Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml

Strategy_outermost_added_08/n005.xml

Strategy_outermost_added_08/Ex9_Luc06_Z.xml

Strategy_outermost_added_08/Ex24_Luc06_Z.xml

Strategy_outermost_added_08/nonTermF.xml

Strategy_outermost_added_08/round_nonterm.xml

Strategy_removed_mixed_05/toyama.xml

Strategy_removed_mixed_05/test76.xml

Strategy_removed_mixed_05/muladd.xml

Strategy_removed_mixed_05/tricky1.xml

Strategy_removed_mixed_05/n001.xml

Strategy_removed_mixed_05/test9.xml

Mixed_innermost/thiemann26i.xml

Strategy_outermost_added_08/nonterm.xml

Strategy_removed_CSR_05/Ex24_GM04.xml

Strategy_removed_CSR_05/Ex5_Zan97.xml

Strategy_removed_CSR_05/Ex2_Luc03b.xml

Strategy_removed_CSR_05/Ex1_GM03.xml

Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml

Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml

Strategy_removed_CSR_05/Ex6_15_AEL02.xml

Strategy_removed_CSR_05/Ex4_4_Luc96b.xml

Strategy_removed_CSR_05/Ex49_GM04.xml

Strategy_removed_CSR_05/ExIntrod_GM01.xml

Strategy_removed_CSR_05/Ex15_Luc98.xml

Strategy_removed_CSR_05/Ex3_2_Luc97.xml

Strategy_removed_CSR_05/Ex8_BLR02.xml

Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml

Strategy_removed_CSR_05/ExConc_Zan97.xml

Strategy_removed_CSR_05/Ex1_GM99.xml

Strategy_removed_CSR_05/Ex1_Zan97.xml

Strategy_removed_CSR_05/Ex6_Luc98.xml

Strategy_outermost_added_08/cime4.xml

Zantema_08/toyama_out.xml

Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml

Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml

Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml

Transformed_CSR_innermost_04/Ex1_GM03_C.xml

Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml

Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml

Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml

Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml

Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml

Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml

Transformed_CSR_innermost_04/Ex8_BLR02_C.xml

Transformed_CSR_innermost_04/Ex24_Luc06_C.xml

Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml

Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml

Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml

Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml

Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml

Transformed_CSR_innermost_04/Ex1_GM99_C.xml

Transformed_CSR_innermost_04/Ex1_Zan97_C.xml

Transformed_CSR_04/Ex4_4_Luc96b_FR.xml

Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml

Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml

Transformed_CSR_04/Ex14_Luc06_FR.xml

Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml

Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml

Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml

Transformed_CSR_04/Ex14_Luc06_L.xml

Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml

Transformed_CSR_innermost_04/Ex1_GM03_GM.xml

Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml

Transformed_CSR_04/Ex14_AEGL02_FR.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml

Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml

Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml

Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml

Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml

Transformed_CSR_innermost_04/MYNAT_complete_GM.xml

Transformed_CSR_04/ExIntrod_GM04_FR.xml

Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml

Transformed_CSR_innermost_04/Ex9_Luc04_C.xml

Transformed_CSR_04/ExIntrod_Zan97_Z.xml

Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml

Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml

Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml

Transformed_CSR_04/ExIntrod_GM01_Z.xml

Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml

Transformed_CSR_04/Ex16_Luc06_L.xml

Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml

Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml

Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml

Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml

Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml

Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml

Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml

Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml

Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml

Transformed_CSR_innermost_04/Ex18_Luc06_L.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml

Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml

Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml

Transformed_CSR_04/Ex24_Luc06_L.xml

Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml

Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml

Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml

Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml

Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml

Transformed_CSR_innermost_04/Ex5_Zan97_C.xml

Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml

Transformed_CSR_innermost_04/PEANO_complete_C.xml

Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml

Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml

Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml

Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml

Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml

Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml

Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml

Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml

Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml

Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml

Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml

Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml

Transformed_CSR_innermost_04/Ex4_Zan97_C.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml

Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml

Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml

Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml

Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml

Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml

Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml

Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml

Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml

Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml

Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml

Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml

Transformed_CSR_innermost_04/Ex6_GM04_C.xml

Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml

Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml

Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml

Transformed_CSR_innermost_04/PEANO_nokinds_C.xml

Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml

Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml

Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml

Transformed_CSR_innermost_04/Ex1_GM99_GM.xml

Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml

Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml

Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml

Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml

Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml

Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml

Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml

Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml

Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml

Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml

Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml

Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml

Transformed_CSR_04/ExIntrod_GM01_FR.xml

Transformed_CSR_innermost_04/Ex49_GM04_C.xml

Transformed_CSR_04/Ex1_GM99_FR.xml

Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml

Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml

Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml

Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml

Transformed_CSR_innermost_04/Ex9_BLR02_L.xml

Transformed_CSR_innermost_04/Ex23_Luc06_L.xml

Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml

Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml

Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml

Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml

Transformed_CSR_04/Ex9_Luc04_L.xml

Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml

Transformed_CSR_04/Ex14_AEGL02_Z.xml

Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml

Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml

Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml

Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml

Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml

Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml

Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml

Transformed_CSR_04/Ex6_15_AEL02_Z.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml

Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml

Transformed_CSR_innermost_04/ExConc_Zan97_L.xml

Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml

Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml

Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml

Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml

Transformed_CSR_04/OvConsOS_nosorts_Z.xml

Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml

Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml

Transformed_CSR_innermost_04/Ex16_Luc06_C.xml

Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml

Transformed_CSR_04/ExIntrod_GM04_Z.xml

Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml

Transformed_CSR_04/Ex14_AEGL02_L.xml

Transformed_CSR_innermost_04/Ex18_Luc06_C.xml

Transformed_CSR_innermost_04/Ex1_GL02a_C.xml

Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml

Transformed_CSR_04/Ex5_DLMMU04_FR.xml

Transformed_CSR_04/ExIntrod_GM99_Z.xml

Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml

Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml

The following page uses this file: