3SAT n=100 median conflicts=332 median t=0.01s
3SAT n=150 median conflicts=5258 median t=0.22s
3SAT n=200 median conflicts=15511 median t=0.98s
3SAT n=250 median conflicts=98018 median t=10.17s
3SAT n=300 median conflicts=146196 median t=15.57s