The power of single processors – or pairs – within the static DP framework

This group of experiments consider the static DP framework as described in our ESOP'19 paper, but only with very few processors. To reproduce the results in Wanda, use the following settings:

• onlysc: only the static subterm criterion: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,fr,ur,horpo,poly,graph -i none
• scgraph: the static subterm criterion and the dependency graph: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,fr,ur,horpo,poly -i none
• scfr: the static subterm criterion and formative rules: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,ur,horpo,poly,graph -i none
• scur: the static subterm criterion and usable rules: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,fr,horpo,poly,graph -i none
• onlyord: only reduction pairs: ./wanda.exe -d -d nt,rr,dynamic,fwrt,uwrt,fr,ur,sc,graph -i none
• ordgraph: reduction pairs and the dependency graph: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,fr,ur,sc -i none
• ordfr: reduction pairs and formative rules: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,ur,sc,graph -i none
• ordur: reduction pairs and usable rules: ./wanda.exe -d nt,rr,dynamic,fwrt,uwrt,fr,sc -i none