div class=trans-pagebutton class=gotoPage data-page=1Page 1button div class=trans-imageimg data-url=documentpankratovpresentation2pdf-benchmarks-max-sat-2007-eval-ols-nols-ts-nols-sahtmlpage=1 data-page=1 class=trans-thumb lazyload alt=Page 1: peoplecsuchicagoedupeoplecsuchicagoedu~pankratovpresentation2pdfBenchmarks MAX -SAT 2007 Eval OLS NOLS TS NOLS SA MWS OLS 160 30 205 NOLS 457 50 261 741 720 152 189 453 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader035fdocumentocomreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails1jpg width=140 height=200 divdivdiv class=trans-pagebutton class=gotoPage data-page=2Page 2button div class=trans-imageimg data-url=documentpankratovpresentation2pdf-benchmarks-max-sat-2007-eval-ols-nols-ts-nols-sahtmlpage=2 data-page=2 class=trans-thumb lazyload alt=Page 2: peoplecsuchicagoedupeoplecsuchicagoedu~pankratovpresentation2pdfBenchmarks MAX -SAT 2007 Eval OLS NOLS TS NOLS SA MWS OLS 160 30 205 NOLS 457 50 261 741 720 152 189 453 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader035fdocumentocomreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails2jpg width=140 height=200 divdivdiv class=trans-pagebutton class=gotoPage data-page=3Page 3button div class=trans-imageimg data-url=documentpankratovpresentation2pdf-benchmarks-max-sat-2007-eval-ols-nols-ts-nols-sahtmlpage=3 data-page=3 class=trans-thumb lazyload alt=Page 3: peoplecsuchicagoedupeoplecsuchicagoedu~pankratovpresentation2pdfBenchmarks MAX -SAT 2007 Eval OLS NOLS TS NOLS SA MWS OLS 160 30 205 NOLS 457 50 261 741 720 152 189 453 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader035fdocumentocomreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails3jpg...