117     cout << sizes[k](0) << "x" << sizes[k](1) << "...\n";  in main()
121   cout.width(32);  in main()
122   cout << "solver/size";  in main()
123   cout << "  ";  in main()
128     cout.width(10); cout << ss.str(); cout << " ";  in main()
130   cout << endl;  in main()
135     cout.width(32); cout << labels[i]; cout << "  ";  in main()
139       cout.width(10);  in main()
140       if(r(k)>=1e6)  cout << "-";  in main()
141       else           cout << r(k);  in main()
142       cout << " ";  in main()
144     cout << endl;  in main()
148   cout << "<table class=\"manual\">" << endl;  in main()
149   cout << "<tr><th>solver/size</th>" << endl;  in main()
151     cout << "  <th>" << sizes[k](0) << "x" << sizes[k](1) << "</th>";  in main()
152   cout << "</tr>" << endl;  in main()
155     cout << "<tr";  in main()
156     if(i%2==1) cout << " class=\"alt\"";  in main()
157     cout << "><td>" << labels[i] << "</td>";  in main()
161       if(r(k)>=1e6) cout << "<td>-</td>";  in main()
164         cout << "<td>" << r(k);  in main()
166           cout << " (x" << numext::round(10.f*results[labels[i]](k)/results["LLT"](k))/10.f << ")";  in main()
168           cout << " <sup><a href=\"#note_ls\">*</a></sup>";  in main()
169         cout << "</td>";  in main()
172     cout << "</tr>" << endl;  in main()
174   cout << "</table>" << endl;  in main()