SYM n=13 k=11 lem3=1 part=1/3 canonH=34 canonRo=108946186 lem3cut=8316153 topPass=25642437 tests=67431137 workingReps=0 weightedWorking=0 weightedR=11758805623
real 799.23
user 796.04
sys 1.11
