Details of experiments in our paper in FroCoS 2019

  1. Tests on presented criteria (Table 1)
  2. Tests using Tools (ACP/CSI/FORT) (Table 2)
  3. Tests for examples including those in the paper (Table 3) (appearing in the Appendix of preliminaries version)
Running time is found at the bottom of each log file.