SYM n=13 k=10 lem3=1 part=0/3 canonH=34 canonRo=17314835 lem3cut=2305424 topPass=2603632 tests=3005017 workingReps=0 weightedWorking=0 weightedR=810260824
real 80.52
user 80.27
sys 0.14
SYM n=13 k=10 lem3=1 part=1/3 canonH=34 canonRo=17314835 lem3cut=2305526 topPass=2603472 tests=2977527 workingReps=0 weightedWorking=0 weightedR=805149150
real 80.50
user 80.24
sys 0.14
SYM n=13 k=10 lem3=1 part=2/3 canonH=34 canonRo=17314835 lem3cut=2305485 topPass=2603482 tests=3004882 workingReps=0 weightedWorking=0 weightedR=809182241
real 80.54
user 80.29
sys 0.14
SYM n=13 k=11 lem3=1 part=0/3 canonH=34 canonRo=108946186 lem3cut=8315932 topPass=25642078 tests=67402828 workingReps=0 weightedWorking=0 weightedR=11761739616
real 859.84
user 855.31
sys 1.71
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 859.67
user 855.12
sys 1.71
SYM n=13 k=11 lem3=1 part=2/3 canonH=34 canonRo=108946186 lem3cut=8316323 topPass=25640571 tests=67409335 workingReps=0 weightedWorking=0 weightedR=11756200481
real 860.18
user 855.67
sys 1.70
