$ own_wsat sym 8 3
SYM n=8 k=3 lem3=1 part=0/1 canonH=1 canonRo=1 lem3cut=0 topPass=1 tests=560 workingReps=0 weightedWorking=0 weightedR=560
real 0.02
user 0.02
sys 0.00
$ own_wsat sym 9 4
SYM n=9 k=4 lem3=1 part=0/1 canonH=1 canonRo=154 lem3cut=0 topPass=154 tests=4326 workingReps=0 weightedWorking=0 weightedR=4326
real 0.02
user 0.02
sys 0.00
$ own_wsat sym 10 6
SYM n=10 k=6 lem3=1 part=0/1 canonH=2 canonRo=8772 lem3cut=36 topPass=8736 tests=120036 workingReps=0 weightedWorking=0 weightedR=236208
real 0.29
user 0.28
sys 0.00
$ own_wsat sym 10 6 nolem3
SYM n=10 k=6 lem3=0 part=0/1 canonH=2 canonRo=8772 lem3cut=0 topPass=8736 tests=120036 workingReps=0 weightedWorking=0 weightedR=272048
real 0.29
user 0.28
sys 0.00
$ own_wsat sym 11 7
SYM n=11 k=7 lem3=1 part=0/1 canonH=4 canonRo=98923 lem3cut=6975 topPass=91504 tests=297934 workingReps=0 weightedWorking=0 weightedR=1942704
real 0.96
user 0.96
sys 0.00
$ own_wsat sym 12 9
SYM n=12 k=9 lem3=1 part=0/1 canonH=11 canonRo=3208180 lem3cut=492381 topPass=2627009 tests=7443296 workingReps=0 weightedWorking=0 weightedR=225604296
real 45.47
user 45.31
sys 0.11
$ own_wsat raw 8 3
RAW n=8 k=3 pairs=16 tested=560 working=0
real 0.00
user 0.00
sys 0.00
$ own_wsat raw 8 4
RAW n=8 k=4 pairs=16 tested=1820 working=768
real 0.00
user 0.00
sys 0.00
$ own_wsat raw 9 4
RAW n=9 k=4 pairs=24 tested=10626 working=0
real 0.00
user 0.00
sys 0.00
$ own_wsat raw 9 5
RAW n=9 k=5 pairs=24 tested=42504 working=6864
real 0.04
user 0.04
sys 0.00
$ own_wsat raw 10 6
RAW n=10 k=6 pairs=33 tested=1107568 working=0
real 0.90
user 0.89
sys 0.00
$ own_wsat raw 10 7
RAW n=10 k=7 pairs=33 tested=4272048 working=554712
real 5.84
user 5.82
sys 0.01
$ own_wsat sym 11 8 nolem3
WORKING R: 0-8 1-8 0-9 1-9 2-10 3-10 0-5 2-7
WORKING R: 0-8 1-8 0-9 1-9 2-10 3-10 1-4 3-6
WORKING R: 0-8 1-8 0-9 1-9 3-10 4-10 0-5 4-7
SYM n=11 k=8 lem3=0 part=0/1 canonH=4 canonRo=364587 lem3cut=0 topPass=354648 tests=3158456 workingReps=71760 weightedWorking=428832 weightedR=25547880
real 14.39
user 14.33
sys 0.03
$ own_wsat sym 13 10
SYM n=13 k=10 lem3=1 part=0/1 canonH=34 canonRo=17314835 lem3cut=6916435 topPass=7810586 tests=8987426 workingReps=0 weightedWorking=0 weightedR=2424592215
real 231.20
user 230.19
sys 0.77
