the log file of CGSQE package on Maple is here.

the log file of SyNRAC package on Maple. is here.

the log file of RegularChains package on Maple is here.

the log file of Resolve package on Mathematica is here.

the log file of Reduce package on Mathematica is here.

the log file of rlhqe package on Reduce is here.

the log file of rlqe package on Reduce is here.