Experimental Data

About This Page

This page reports experimental data for Kiraku Shintani and Nao Hirokawa, ``CoLL: A Confluence Tool for Left-Linear TRSs''

Test Set

Environment

We used CoLL v1.0 and tested on a PC with Intel Core i7-4500U CPU (1.8 GHz) and 3.8 GB memory

Results

Tables

Abbreviations

namecommutation criterion
kbKnuth and Bendix' criterion
dcdevelopment closedness
rlweighted rule-labeling
jkChurch-Rosser modulo (summation of jk series)
jkawith associativity
jkcwith commutativity
jkacwith associativity and commutativity
jkaccwith associativity and/or commutativity
all_threesummation of jk, dc and rl
all_with_elimsame as all_three but elimination is enabled
coll1.0_ndcoll1.0 without composability decomposition