r=16 k=8 s=0 SOLVED 0.04
r=16 k=8 s=1 SOLVED 0.04
r=16 k=12 s=0 SOLVED 0.04
r=16 k=12 s=1 SOLVED 0.04
r=16 k=16 s=0 SOLVED 0.04
r=16 k=16 s=1 SOLVED 0.04
r=16 k=20 s=0 SOLVED 0.04
r=16 k=20 s=1 SOLVED 0.04
r=16 k=24 s=0 SOLVED 0.04
r=16 k=24 s=1 SOLVED 0.04
r=16 k=32 s=0 SOLVED 0.04
r=16 k=32 s=1 SOLVED 0.04
r=17 k=8 s=0 SOLVED 0.1
r=17 k=8 s=1 SOLVED 0.1
r=17 k=12 s=0 SOLVED 1.44
r=17 k=12 s=1 SOLVED 1.86
r=17 k=16 s=0 SOLVED 11.83
r=17 k=16 s=1 SOLVED 17.16
r=17 k=20 s=0 TIMEOUT 40
r=17 k=20 s=1 TIMEOUT 40
r=17 k=24 s=0 TIMEOUT 40
r=17 k=24 s=1 TIMEOUT 40
r=17 k=32 s=0 TIMEOUT 40
r=17 k=32 s=1 TIMEOUT 40
r=18 k=8 s=0 SOLVED 0.1
r=18 k=8 s=1 SOLVED 0.12
r=18 k=12 s=0 SOLVED 1.51
r=18 k=12 s=1 SOLVED 1.32
r=18 k=16 s=0 SOLVED 5.28
DONE