strategy: degJ time: 4878.40 reduction: 88959 S-polynomial: 4216 criterion: 6633
strategy: highJ time: 0.37 reduction: 25107 S-polynomial: 2091 criterion: 4612
strategy: lowJ time: 3.80 reduction: 28056 S-polynomial: 2333 criterion: 4769
strategy: degJL time: 13.99 reduction: 124688 S-polynomial: 6074 criterion: 5025
strategy: highJL time: 217.97 reduction: 29295 S-polynomial: 1697 criterion: 2281
strategy: lowJL time: 437.80 reduction: 32572 S-polynomial: 1854 criterion: 2335


example augot