r=17 n=32 t=4 s=0 SAT=True verified=True 0.07s
r=18 n=32 t=4 s=0 SAT=True verified=True 0.11s
r=17 n=32 t=8 s=0 SAT=True verified=True 0.19s
r=17 n=32 t=12 s=0 SAT=True verified=True 0.21s
r=17 n=32 t=16 s=0 SAT=True verified=True 0.18s
r=18 n=32 t=8 s=0 SAT=True verified=True 0.30s
r=19 n=32 t=4 s=0 SAT=True verified=True 0.20s
r=17 n=32 t=32 s=0 SAT=True verified=True 0.90s
r=17 n=32 t=24 s=0 SAT=True verified=True 0.93s
r=18 n=32 t=16 s=0 SAT=True verified=True 1.23s
r=18 n=32 t=12 s=0 SAT=True verified=True 1.23s
r=18 n=32 t=24 s=0 SAT=True verified=True 1.32s
r=20 n=32 t=4 s=0 SAT=True verified=True 0.21s
r=19 n=32 t=8 s=0 SAT=True verified=True 1.42s
r=20 n=32 t=8 s=0 SAT=True verified=True 5.10s
r=19 n=32 t=12 s=0 SAT=True verified=True 20.15s
r=20 n=32 t=12 s=0 SAT=True verified=True 24.43s
r=16 n=8 t=4 s=0 SAT=True verified=True 0.03s
r=16 n=8 t=8 s=0 SAT=True verified=True 0.01s
r=16 n=8 t=12 s=0 SAT=True verified=True 0.03s
r=16 n=8 t=16 s=0 SAT=True verified=True 0.03s
r=16 n=8 t=24 s=0 SAT=True verified=True 0.03s
r=20 n=8 t=4 s=0 SAT=True verified=True 0.06s
r=20 n=8 t=8 s=0 SAT=True verified=True 0.18s
r=20 n=8 t=12 s=0 SAT=True verified=True 0.17s
r=18 n=32 t=32 TIMEOUT
r=19 n=32 t=24 TIMEOUT
r=19 n=32 t=16 TIMEOUT
r=24 n=8 t=4 s=0 SAT=True verified=True 0.07s
r=24 n=8 t=8 s=0 SAT=True verified=True 0.16s
r=19 n=32 t=32 TIMEOUT
r=20 n=32 t=16 TIMEOUT
r=64 n=8 t=4 s=0 SAT=True verified=True 0.40s
r=64 n=8 t=8 s=0 SAT=True verified=True 0.38s
r=20 n=32 t=24 TIMEOUT
r=24 n=8 t=12 s=0 SAT=True verified=True 5.83s
r=64 n=8 t=12 s=0 SAT=True verified=True 5.27s
r=16 n=16 t=4 s=0 SAT=True verified=True 0.03s
r=16 n=16 t=8 s=0 SAT=True verified=True 0.05s
r=24 n=8 t=16 s=0 SAT=True verified=True 8.03s
r=16 n=16 t=12 s=0 SAT=True verified=True 0.03s
r=16 n=16 t=16 s=0 SAT=True verified=True 0.03s
r=16 n=16 t=24 s=0 SAT=True verified=True 0.03s
r=20 n=16 t=4 s=0 SAT=True verified=True 0.14s
r=20 n=16 t=8 s=0 SAT=True verified=True 0.16s
r=20 n=16 t=12 s=0 SAT=True verified=True 0.39s
r=20 n=8 t=16 s=0 SAT=True verified=True 41.94s
r=24 n=16 t=4 s=0 SAT=True verified=True 0.21s
r=24 n=16 t=8 s=0 SAT=True verified=True 2.80s
r=20 n=32 t=32 TIMEOUT
r=20 n=8 t=24 TIMEOUT
r=24 n=8 t=24 TIMEOUT
r=64 n=16 t=4 s=0 SAT=True verified=True 1.21s
r=64 n=16 t=8 s=0 SAT=True verified=True 2.62s
r=64 n=8 t=16 TIMEOUT
r=64 n=8 t=24 TIMEOUT
r=20 n=16 t=16 TIMEOUT
r=24 n=16 t=12 s=0 SAT=True verified=True 55.23s
r=20 n=16 t=24 TIMEOUT
r=24 n=16 t=16 TIMEOUT
r=64 n=16 t=12 s=0 SAT=True verified=True 24.92s
r=24 n=16 t=24 TIMEOUT
r=64 n=16 t=16 TIMEOUT
r=64 n=16 t=24 TIMEOUT