Experimental Data
About This Page
This page reports experimental data for
Nao Hirokawa, Julian Nagele, Vincent Van Oostrom, and Michio Oyamaguchi,
``Confluence by Critical Pair Analysis Revisited''.
Test Set
problems.zip contains 432 left-linear TRSs in
Cops (Nos. 1 – 1036)
Environment
We used Saigawa v1.12 and
tested on a PC with Intel Core i7-8500Y CPU (1.5 GHz) and 16 GB memory
Results
Table
See here.
Abbreviations
- cpcs
- successive use of criterion based on critical pair closing systems
- gsc
- generalization of strong closedness by critical pair closing systems
- hot
- hot-decreasingness
- dc
- van Oostrom's development closedness
- sc
- Huet's strong closedness
- hm
- Hirokawa and Middeldorp's criterion based on critical pair system (2011)
- rl
- van Oostrom's rule labeling for linear systems (2008), valley version
- kb
- Knuth and Bendix' criterion (1970)
- acp
- ACP v0.62
- collsaigawa
- CoLL-Saigawa v1.2
- csi
- CSI v1.2.2