r=64 n=4 t=4 s=0 SAT=True verified=True 0.24s
r=64 n=4 t=8 s=0 SAT=True verified=True 0.50s
r=64 n=4 t=12 s=0 SAT=True verified=True 3.74s
r=64 n=4 t=16 s=0 SAT=True verified=True 19.88s
r=64 n=4 t=20 s=0 TIMEOUT 45.00s
r=64 n=4 t=24 s=0 TIMEOUT 45.00s
r=64 n=6 t=4 s=0 SAT=True verified=True 0.68s
r=64 n=6 t=8 s=0 SAT=True verified=True 1.39s
r=64 n=4 t=28 s=0 TIMEOUT 45.00s
r=64 n=4 t=32 s=0 TIMEOUT 45.00s
r=64 n=6 t=12 s=0 SAT=True verified=True 44.07s
r=64 n=6 t=16 s=0 TIMEOUT 45.00s
r=64 n=6 t=20 s=0 TIMEOUT 45.00s
r=64 n=8 t=4 s=0 SAT=True verified=True 0.21s
r=64 n=8 t=8 s=0 SAT=True verified=True 0.41s
r=64 n=8 t=12 s=0 SAT=True verified=True 5.79s
r=64 n=6 t=24 s=0 TIMEOUT 45.00s
r=64 n=6 t=28 s=0 TIMEOUT 45.00s
r=64 n=6 t=32 s=0 TIMEOUT 45.00s
r=64 n=8 t=16 s=0 TIMEOUT 45.00s
r=64 n=8 t=20 s=0 TIMEOUT 45.00s
r=64 n=10 t=4 s=0 SAT=True verified=True 0.55s
r=64 n=10 t=8 s=0 SAT=True verified=True 2.08s
r=64 n=8 t=24 s=0 TIMEOUT 45.00s
r=64 n=8 t=28 s=0 TIMEOUT 45.00s
r=64 n=8 t=32 s=0 TIMEOUT 45.00s
r=64 n=10 t=12 s=0 TIMEOUT 45.00s
r=64 n=10 t=16 s=0 TIMEOUT 45.00s
r=64 n=10 t=20 s=0 TIMEOUT 45.00s
r=64 n=12 t=4 s=0 SAT=True verified=True 0.46s
r=64 n=12 t=8 s=0 SAT=True verified=True 1.08s
r=64 n=10 t=24 s=0 TIMEOUT 45.00s
r=64 n=10 t=28 s=0 TIMEOUT 45.00s
r=64 n=12 t=12 s=0 SAT=True verified=True 30.76s
r=64 n=10 t=32 s=0 TIMEOUT 45.00s
r=64 n=12 t=16 s=0 TIMEOUT 45.00s
r=64 n=12 t=20 s=0 TIMEOUT 45.00s
r=64 n=12 t=24 s=0 TIMEOUT 45.00s
r=64 n=12 t=28 s=0 TIMEOUT 45.00s
r=64 n=12 t=32 s=0 TIMEOUT 45.00s