The file must include a type field (LP, QP, or SDP)
along with the required matrices and parameters.
Required fields by type:
- LP:
type, A_d, b_d, c. Optional: G, h, rho, tau, confidence, p, x_ref.
- QP: Same as LP, plus
Q.
- SDP:
type, F_d (dict of expression matrices keyed "0","1",...), c. Optional: E (dict of numeric matrices), Q, rho, tau, confidence.
JSON format:
{
"type": "LP",
"A_d": [["-delta[0]", "0"], ["0", "-delta[0]"]],
"b_d": [["delta[0] - 1"], ["delta[0] - 1"]],
"G": [["-1", "0"], ["0", "-1"]],
"h": [["0"], ["0"]],
"c": [["1"], ["1"]],
"rho": "0",
"tau": "0",
"confidence": "0.01"
}
MAT format:
Each MATLAB variable maps to a field name. Variable names must match
the required fields above.
% MATLAB example for LP:
type = 'LP';
A_d = [-1 0; 0 -1]; % numeric matrices
b_d = [1; 1];
c = [1; 1];
rho = 0; tau = 0; confidence = 0.01;
save('benchmark.mat', 'type', 'A_d', 'b_d', 'c', ...
'rho', 'tau', 'confidence')