div class=trans-pagebuttonPage 1button div class=trans-image amp-img class=trans-thumb 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 src=https:reader035fdocumentsecreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails1jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 2button div class=trans-image amp-img class=trans-thumb 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 src=https:reader035fdocumentsecreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails2jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 3button div class=trans-image amp-img class=trans-thumb 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 src=https:reader035fdocumentsecreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails3jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 4button div class=trans-image amp-img class=trans-thumb alt=Page 4: 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 src=https:reader035fdocumentsecreader035viewer20220711145feb268c072e2f586054ae83html5thumbnails4jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 5button div class=trans-image amp-img class=trans-thumb alt=Page 5: 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...