For the time being the server can be used only under the following policy:

• The execution is stopped after 7200 seconds
• The largest allowed size of a data file, after possible compression, is 10 Mbytes
• For MAX-CUT instances the server only provides a “good” solution (lower bound) and the (SDP-based) upper bound. To keep computation times low, no attempt is made to reduce the gap between the two bounds by applying more elaborated methods.