Usage of leaf removal processor


CiME_04/boolean_rings.xml:  node3 
CiME_04/append-hard.xml:  node7  node11 
CiME_04/dpqs.xml:  node5 
CiME_04/mucrl1.xml:  node3 
Rubio_04/mfp90b.xml:  node5 
Rubio_04/p266.xml:  node5 
Rubio_04/mfp95.xml:  node3 
Rubio_04/gmnp.xml:  node3 
Rubio_04/test4.xml:  node9 
Rubio_04/koen.xml:  node3 
Rubio_04/test829.xml:  node3 
Mixed_TRS/hydra-Zantema06.xml:  node9 
Mixed_TRS/jones1.xml:  node3 
Mixed_TRS/hydra.xml:  node5 
Mixed_TRS/perfect.xml:  node3 
Secret_05_TRS/aprove4.xml:  node9  node15 
Secret_05_TRS/aprove2.xml:  node5  node9  node13  node25  node29 
Secret_05_TRS/cime4.xml:  node3 
Secret_05_TRS/ttt1.xml:  node5 
Strategy_removed_AG01/#4.20.xml:  node5 
Strategy_removed_AG01/#4.30c.xml:  node5  node11  node19 
Strategy_removed_AG01/#4.20a.xml:  node9 
Strategy_removed_AG01/#4.27.xml:  node7 
Strategy_removed_AG01/#4.28.xml:  node5 
Strategy_removed_AG01/#4.21.xml:  node5 
Strategy_removed_AG01/#4.12a.xml:  node5 
Strategy_removed_AG01/#4.30.xml:  node5  node9 
Strategy_removed_AG01/#4.25.xml:  node7 
Strategy_removed_AG01/#4.30a.xml:  node7 
Strategy_removed_AG01/#4.7.xml:  node5 
Strategy_removed_AG01/#4.30b.xml:  node5  node11 
Strategy_removed_AG01/#4.26.xml:  node7  node13 
Strategy_removed_mixed_05/test75.xml:  node7 
Strategy_removed_mixed_05/test9.xml:  node5 
Strategy_removed_mixed_05/test10.xml:  node5 
Strategy_removed_mixed_05/toyama.xml:  node3 
Strategy_removed_mixed_05/gkg.xml:  node5 
Strategy_removed_mixed_05/tricky1.xml:  node5 
Strategy_removed_mixed_05/test77.xml:  node5  node9 
Strategy_removed_mixed_05/test76.xml:  node5 
HirokawaMiddeldorp_04/t010.xml:  node5 
HirokawaMiddeldorp_04/t005.xml:  node5 
HirokawaMiddeldorp_04/t000.xml:  node5 
HirokawaMiddeldorp_04/t007.xml:  node3 
HirokawaMiddeldorp_04/t002.xml:  node7 
Transformed_CSR_04/Ex1_2_AEL03_FR.xml:  node5 
Transformed_CSR_04/PEANO_complete_iGM.xml:  node5 
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex9_Luc04_FR.xml:  node3 
Transformed_CSR_04/Ex6_9_Luc02c_Z.xml:  node3 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml:  node5 
Transformed_CSR_04/Ex5_7_Luc97_C.xml:  node11  node17  node25  node29  node41 
Transformed_CSR_04/Ex18_Luc06_Z.xml:  node5 
Transformed_CSR_04/Ex6_Luc98_iGM.xml:  node5 
Transformed_CSR_04/Ex9_Luc04_C.xml:  node5  node11  node25 
Transformed_CSR_04/Ex1_2_AEL03_iGM.xml:  node5 
Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml:  node3 
Transformed_CSR_04/PEANO_nosorts_FR.xml:  node3 
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml:  node5 
Transformed_CSR_04/PEANO_complete_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml:  node7  node11  node15  node19  node25  node31  node37  node43  node53 
Transformed_CSR_04/Ex23_Luc06_FR.xml:  node3 
Transformed_CSR_04/Ex23_Luc06_iGM.xml:  node5 
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml:  node9  node15  node25 
Transformed_CSR_04/Ex3_3_25_Bor03_L.xml:  node3 
Transformed_CSR_04/Ex15_Luc98_C.xml:  node11  node17  node25 
Transformed_CSR_04/Ex15_Luc06_iGM.xml:  node5 
Transformed_CSR_04/Ex26_Luc03b_C.xml:  node11  node15  node23 
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml:  node5 
Transformed_CSR_04/Ex1_Luc02b_Z.xml:  node3 
Transformed_CSR_04/PALINDROME_nosorts_FR.xml:  node5 
Transformed_CSR_04/Ex23_Luc06_Z.xml:  node5 
Transformed_CSR_04/ExProp7_Luc06_FR.xml:  node5 
Transformed_CSR_04/Ex8_BLR02_iGM.xml:  node5 
Transformed_CSR_04/Ex14_AEGL02_iGM.xml:  node5 
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml:  node5 
Transformed_CSR_04/Ex2_Luc02a_FR.xml:  node5 
Transformed_CSR_04/Ex1_GL02a_C.xml:  node9  node15  node27 
Transformed_CSR_04/Ex1_GM03_FR.xml:  node5 
Transformed_CSR_04/Ex1_GM99_iGM.xml:  node5 
Transformed_CSR_04/Ex25_Luc06_L.xml:  node5 
Transformed_CSR_04/Ex49_GM04_iGM.xml:  node5 
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml:  node3 
Transformed_CSR_04/Ex5_Zan97_C.xml:  node9  node13  node19  node25  node33 
Transformed_CSR_04/Ex1_GM99_FR.xml:  node3 
Transformed_CSR_04/Ex1_2_AEL03_Z.xml:  node5 
Transformed_CSR_04/Ex4_Zan97_iGM.xml:  node5 
Transformed_CSR_04/Ex26_Luc03b_iGM.xml:  node5 
Transformed_CSR_04/Ex1_2_Luc02c_FR.xml:  node5 
Transformed_CSR_04/Ex2_Luc02a_iGM.xml:  node5 
Transformed_CSR_04/MYNAT_nosorts_iGM.xml:  node5 
Transformed_CSR_04/Ex24_GM04_iGM.xml:  node5 
Transformed_CSR_04/Ex6_15_AEL02_C.xml:  node9  node13  node21 
Transformed_CSR_04/Ex6_15_AEL02_iGM.xml:  node5 
Transformed_CSR_04/MYNAT_nokinds_iGM.xml:  node5 
Transformed_CSR_04/ExProp7_Luc06_Z.xml:  node3  node9 
Transformed_CSR_04/Ex6_GM04_GM.xml:  node3 
Transformed_CSR_04/Ex6_Luc98_Z.xml:  node3 
Transformed_CSR_04/Ex5_7_Luc97_iGM.xml:  node5 
Transformed_CSR_04/Ex1_GM03_iGM.xml:  node5 
Transformed_CSR_04/Ex18_Luc06_iGM.xml:  node5 
Transformed_CSR_04/Ex15_Luc06_GM.xml:  node3 
Transformed_CSR_04/PEANO_nokinds-noand_Z.xml:  node5 
Transformed_CSR_04/Ex16_Luc06_GM.xml:  node3 
Transformed_CSR_04/Ex18_Luc06_GM.xml:  node3 
Transformed_CSR_04/Ex1_2_Luc02c_Z.xml:  node5 
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml:  node3 
Transformed_CSR_04/Ex7_BLR02_Z.xml:  node3 
Transformed_CSR_04/Ex2_Luc03b_Z.xml:  node3 
Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml:  node5 
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml:  node5 
Transformed_CSR_04/Ex5_DLMMU04_FR.xml:  node5 
Transformed_CSR_04/Ex7_BLR02_iGM.xml:  node5 
Transformed_CSR_04/PALINDROME_nosorts_C.xml:  node7  node13  node19  node25  node31  node37  node45 
Transformed_CSR_04/Ex1_Zan97_iGM.xml:  node5 
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex3_12_Luc96a_C.xml:  node7  node11  node15  node19  node25  node31  node37  node43  node53 
Transformed_CSR_04/PALINDROME_nosorts_iGM.xml:  node5 
Transformed_CSR_04/Ex9_Luc06_GM.xml:  node3 
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml:  node5 
Transformed_CSR_04/Ex15_Luc98_GM.xml:  node3 
Transformed_CSR_04/Ex24_Luc06_C.xml:  node3  node7  node13  node19  node31 
Transformed_CSR_04/Ex18_Luc06_C.xml:  node3  node9  node15  node23  node31  node39 
Transformed_CSR_04/Ex16_Luc06_C.xml:  node3  node7  node15  node21  node33 
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml:  node5 
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml:  node5 
Transformed_CSR_04/Ex6_Luc98_C.xml:  node9  node13  node17  node21  node27  node33  node39  node45  node53 
Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml:  node5 
Transformed_CSR_04/Ex15_Luc06_FR.xml:  node3 
Transformed_CSR_04/ExIntrod_Zan97_iGM.xml:  node5 
Transformed_CSR_04/Ex5_Zan97_iGM.xml:  node5 
Transformed_CSR_04/Ex26_Luc03b_Z.xml:  node5 
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml:  node9  node13  node25 
Transformed_CSR_04/Ex49_GM04_Z.xml:  node5 
Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex26_Luc03b_L.xml:  node3 
Transformed_CSR_04/Ex26_Luc03b_FR.xml:  node5 
Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml:  node5 
Transformed_CSR_04/MYNAT_nosorts_C.xml:  node7  node13  node19  node25  node31  node37  node43  node53 
Transformed_CSR_04/ExProp7_Luc06_iGM.xml:  node5 
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex6_GM04_L.xml:  node3 
Transformed_CSR_04/Ex6_9_Luc02c_C.xml:  node15  node19  node25 
Transformed_CSR_04/Ex1_Zan97_C.xml:  node3  node7  node13  node19  node31 
Transformed_CSR_04/Ex9_BLR02_L.xml:  node3 
Transformed_CSR_04/Ex16_Luc06_iGM.xml:  node5 
Transformed_CSR_04/ExAppendixB_AEL03_FR.xml:  node5 
Transformed_CSR_04/Ex3_12_Luc96a_Z.xml:  node3 
Transformed_CSR_04/Ex25_Luc06_GM.xml:  node3 
Transformed_CSR_04/Ex18_Luc06_FR.xml:  node5 
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml:  node5 
Transformed_CSR_04/ExIntrod_Zan97_FR.xml:  node5 
Transformed_CSR_04/Ex15_Luc98_iGM.xml:  node5 
Transformed_CSR_04/ExIntrod_GM99_Z.xml:  node5 
Transformed_CSR_04/Ex5_Zan97_FR.xml:  node3 
Transformed_CSR_04/Ex6_GM04_iGM.xml:  node3 
Transformed_CSR_04/Ex14_Luc06_iGM.xml:  node5 
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml:  node5 
Transformed_CSR_04/Ex15_Luc06_Z.xml:  node3 
Transformed_CSR_04/Ex25_Luc06_Z.xml:  node5 
Transformed_CSR_04/MYNAT_nosorts_FR.xml:  node3 
Transformed_CSR_04/PALINDROME_nokinds_iGM.xml:  node5 
Transformed_CSR_04/PEANO_nokinds_iGM.xml:  node5 
Transformed_CSR_04/ExAppendixB_AEL03_C.xml:  node11  node19 
Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml:  node5 
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex24_GM04_C.xml:  node5  node13  node19  node25  node37 
Transformed_CSR_04/Ex24_GM04_GM.xml:  node3 
Transformed_CSR_04/Ex1_Luc02b_iGM.xml:  node5 
Transformed_CSR_04/PEANO_nokinds-noand_FR.xml:  node5 
Transformed_CSR_04/Ex14_Luc06_FR.xml:  node5 
Transformed_CSR_04/ExProp7_Luc06_L.xml:  node7 
Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml:  node3 
Transformed_CSR_04/Ex9_Luc04_iGM.xml:  node5 
Transformed_CSR_04/Ex14_Luc06_L.xml:  node5 
Transformed_CSR_04/Ex2_Luc03b_iGM.xml:  node5 
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml:  node3 
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex1_GL02a_iGM.xml:  node5 
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml:  node5 
Transformed_CSR_04/Ex24_Luc06_iGM.xml:  node5 
Transformed_CSR_04/Ex14_Luc06_C.xml:  node3  node7  node13  node19  node25  node31  node37  node43  node55 
Transformed_CSR_04/Ex1_Zan97_GM.xml:  node3 
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml:  node5 
Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml:  node5 
Transformed_CSR_04/Ex3_2_Luc97_iGM.xml:  node5 
Transformed_CSR_04/PEANO_nosorts_iGM.xml:  node5 
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml:  node5 
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml:  node11 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex9_Luc06_iGM.xml:  node5 
Transformed_CSR_04/Ex15_Luc06_C.xml:  node3  node7  node13  node19  node25  node35 
Transformed_CSR_04/MYNAT_complete_iGM.xml:  node5 
Transformed_CSR_04/Ex4_4_Luc96b_C.xml:  node19  node23  node27  node31  node35  node41 
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml:  node5 
Transformed_CSR_04/ExAppendixB_AEL03_Z.xml:  node3 
Transformed_CSR_04/Ex9_Luc06_C.xml:  node3  node7  node13  node19  node31 
Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex24_Luc06_FR.xml:  node3 
Transformed_CSR_04/Ex16_Luc06_FR.xml:  node3 
Transformed_CSR_04/Ex25_Luc06_FR.xml:  node5 
Transformed_CSR_04/Ex1_GM99_C.xml:  node5  node11  node17  node31 
Transformed_CSR_04/MYNAT_complete_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml:  node3 
Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml:  node5 
Transformed_CSR_04/Ex24_Luc06_GM.xml:  node3 
Transformed_CSR_04/Ex1_2_AEL03_C.xml:  node9  node13  node21 
Transformed_CSR_04/Ex2_Luc03b_C.xml:  node15  node23 
Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml:  node5 
Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml:  node5 
Transformed_CSR_04/ExIntrod_GM99_FR.xml:  node5 
Transformed_CSR_04/PALINDROME_complete_iGM.xml:  node5 
Der95/31.xml:  node3 
Der95/33.xml:  node7 
Various_04/14.xml:  node3 
Various_04/11.xml:  node7  node11  node15  node19 
Various_04/04.xml:  node5 
Various_04/27.xml:  node3 
Various_04/08.xml:  node5 
Various_04/23.xml:  node3 
Various_04/07.xml:  node3 
Various_04/26.xml:  node5 
Various_04/25.xml:  node3 
Various_04/22.xml:  node7 
Various_04/05.xml:  node5 
Various_04/21.xml:  node5 
Various_04/09.xml:  node3 
Various_04/15.xml:  node7 
Various_04/06.xml:  node3 
AProVE_04/forward_instantiation2.xml:  node5 
AProVE_04/JFP_Ex31.xml:  node5  node11  node17  node31 
AProVE_04/Liveness_WRS.xml:  node3  node11  node19 
AProVE_04/forward_instantiation.xml:  node5 
AProVE_04/Liveness6.3.xml:  node5 
Secret_07_TRS/5.xml:  node5 
Secret_07_TRS/secret2.xml:  node5 
Secret_07_TRS/1.xml:  node5 
Secret_07_TRS/secret5.xml:  node5 
Secret_07_TRS/3.xml:  node5 
Secret_07_TRS/2.xml:  node5 
Strategy_removed_CSR_05/Ex1_GM99.xml:  node3 
Zantema_05/z11.xml:  node5 
Zantema_05/z02.xml:  node7 
Zantema_05/z07.xml:  node5 
AG01/#3.42.xml:  node5 
AG01/#3.41.xml:  node7 
AG01/#3.51.xml:  node5 
AG01/#3.29.xml:  node3 
AG01/#3.53a.xml:  node3 
AG01/#3.33.xml:  node3 
SK90/4.56.xml:  node3 
SK90/4.55.xml:  node7 
SK90/2.56.xml:  node3 
SK90/4.47.xml:  node3 
SK90/4.29.xml:  node3 
SK90/2.16.xml:  node3 
SK90/4.28.xml:  node3 
SK90/2.08.xml:  node5 
SK90/4.35.xml:  node3 
SK90/2.32.xml:  node3 
SK90/4.13.xml:  node7 
SK90/2.44.xml:  node3 
SK90/4.20.xml:  node3 
SK90/2.58.xml:  node3 
SK90/2.35.xml:  node5 
SK90/4.57.xml:  node3 
SK90/2.48.xml:  node3 
SK90/4.18.xml:  node3 
SK90/2.29.xml:  node3 
SK90/4.50.xml:  node3 
SK90/4.46.xml:  node3 
SK90/4.16.xml:  node3 
SK90/4.51.xml:  node5 
Secret_06_TRS/9.xml:  node7  node29 
Secret_06_TRS/4.xml:  node11 
Secret_06_TRS/8.xml:  node5 
Secret_06_TRS/gen-1.xml:  node5 
Secret_06_TRS/6.xml:  node5 
Secret_06_TRS/3.xml:  node7  node15 
Secret_06_TRS/gen-28.xml:  node7 
AProVE_07/otto05.xml:  node9  node13 
AProVE_07/thiemann40.xml:  node3  node9  node13  node19  node25 
AProVE_07/kabasci06.xml:  node5 
AProVE_07/kabasci01.xml:  node5  node13  node27 
AProVE_07/thiemann10.xml:  node3  node9  node13  node23  node29  node33  node37 
Beerendonk_07/6.xml:  node7  node15  node35  node39 
Beerendonk_07/1.xml:  node7  node15  node21  node37  node43 
Beerendonk_07/2.xml:  node7  node17  node21  node31  node35  node39