Usage of narrowing processor


CiME_04/append-hard.xml:  node5  node9 
Mixed_TRS/hydra-Zantema06.xml:  node5 
Secret_05_TRS/aprove4.xml:  node7  node13 
Secret_05_TRS/aprove2.xml:  node3  node7  node11  node15  node23  node27 
Strategy_removed_AG01/#4.30c.xml:  node3  node9  node17 
Strategy_removed_AG01/#4.20a.xml:  node7 
Strategy_removed_AG01/#4.27.xml:  node5 
Strategy_removed_AG01/#4.28.xml:  node3 
Strategy_removed_AG01/#4.30.xml:  node3  node7 
Strategy_removed_AG01/#4.25.xml:  node5 
Strategy_removed_AG01/#4.30a.xml:  node5 
Strategy_removed_AG01/#4.30b.xml:  node3  node9 
Strategy_removed_AG01/#4.26.xml:  node5  node11 
Strategy_removed_mixed_05/test75.xml:  node5 
Strategy_removed_mixed_05/test77.xml:  node3  node7 
Strategy_removed_mixed_05/test76.xml:  node3 
HirokawaMiddeldorp_04/t002.xml:  node5 
Transformed_CSR_04/Ex5_7_Luc97_C.xml:  node5  node9  node15  node21  node27  node37 
Transformed_CSR_04/Ex9_Luc04_C.xml:  node3  node9  node21 
Transformed_CSR_04/Ex4_7_56_Bor03_C.xml:  node5  node9  node13  node17  node23  node29  node35  node41  node49 
Transformed_CSR_04/Ex4_7_37_Bor03_C.xml:  node5  node13  node21 
Transformed_CSR_04/Ex15_Luc98_C.xml:  node7  node15  node21 
Transformed_CSR_04/Ex26_Luc03b_C.xml:  node7  node13  node19 
Transformed_CSR_04/Ex1_GL02a_C.xml:  node5  node13  node23 
Transformed_CSR_04/Ex5_Zan97_C.xml:  node7  node11  node17  node23  node29 
Transformed_CSR_04/Ex6_15_AEL02_C.xml:  node5  node11  node17 
Transformed_CSR_04/ExProp7_Luc06_Z.xml:  node7 
Transformed_CSR_04/PALINDROME_nosorts_C.xml:  node5  node11  node17  node23  node29  node35  node41 
Transformed_CSR_04/Ex3_12_Luc96a_C.xml:  node5  node9  node13  node17  node23  node29  node35  node41  node49 
Transformed_CSR_04/Ex24_Luc06_C.xml:  node5  node11  node17  node27 
Transformed_CSR_04/Ex18_Luc06_C.xml:  node7  node13  node21  node29  node35 
Transformed_CSR_04/Ex16_Luc06_C.xml:  node5  node13  node19  node29 
Transformed_CSR_04/Ex6_Luc98_C.xml:  node7  node11  node15  node19  node25  node31  node37  node43  node49 
Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml:  node5  node11  node21 
Transformed_CSR_04/MYNAT_nosorts_C.xml:  node5  node11  node17  node23  node29  node35  node41  node49 
Transformed_CSR_04/Ex6_9_Luc02c_C.xml:  node11  node17  node21 
Transformed_CSR_04/Ex1_Zan97_C.xml:  node5  node11  node17  node27 
Transformed_CSR_04/ExAppendixB_AEL03_C.xml:  node5  node9  node15 
Transformed_CSR_04/Ex24_GM04_C.xml:  node3  node11  node17  node23  node33 
Transformed_CSR_04/ExProp7_Luc06_L.xml:  node5 
Transformed_CSR_04/Ex14_Luc06_C.xml:  node5  node11  node17  node23  node29  node35  node41  node51 
Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml:  node9  node15 
Transformed_CSR_04/Ex15_Luc06_C.xml:  node5  node11  node17  node23  node31 
Transformed_CSR_04/Ex4_4_Luc96b_C.xml:  node17  node21  node25  node29  node33  node37 
Transformed_CSR_04/Ex9_Luc06_C.xml:  node5  node11  node17  node27 
Transformed_CSR_04/Ex1_GM99_C.xml:  node3  node9  node15  node27 
Transformed_CSR_04/Ex1_2_AEL03_C.xml:  node5  node11  node17 
Transformed_CSR_04/Ex2_Luc03b_C.xml:  node7  node13  node19 
Der95/33.xml:  node3 
Various_04/11.xml:  node5  node9  node13  node17 
Various_04/22.xml:  node5 
Various_04/15.xml:  node5 
AProVE_04/JFP_Ex31.xml:  node3  node9  node15  node27 
AProVE_04/Liveness_WRS.xml:  node9  node17 
Zantema_05/z02.xml:  node3 
AG01/#3.42.xml:  node3 
AG01/#3.41.xml:  node5 
SK90/4.55.xml:  node5 
SK90/4.13.xml:  node5 
Secret_06_TRS/9.xml:  node5  node9  node13  node17 
Secret_06_TRS/4.xml:  node9 
Secret_06_TRS/3.xml:  node5  node11 
Secret_06_TRS/gen-28.xml:  node5  node11 
AProVE_07/otto05.xml:  node7  node11 
AProVE_07/thiemann40.xml:  node7  node11  node17  node23 
AProVE_07/kabasci01.xml:  node11  node23 
AProVE_07/thiemann10.xml:  node7  node11  node21  node27  node31  node35 
Beerendonk_07/6.xml:  node5  node13  node19  node27  node33 
Beerendonk_07/1.xml:  node5  node13  node19  node29  node35 
Beerendonk_07/2.xml:  node5  node15  node19  node29  node33