{"args":{"dataset":"d","intercept":false,"se":"classical","x":["const","x1","x2","x3","x4","x5","x6","x7","x8","x9","x10"],"y":"y"},"checks":[{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":null,"kind":"status","min_lre":null,"note":"","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":"ok","weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.const","kind":"figure_lre","min_lre":6.0,"note":"B0","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-1467.4896142298,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x1","kind":"figure_lre","min_lre":6.0,"note":"B1","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-2772.17959193342,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x2","kind":"figure_lre","min_lre":6.0,"note":"B2","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-2316.37108160893,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x3","kind":"figure_lre","min_lre":6.0,"note":"B3","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-1127.97394098372,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x4","kind":"figure_lre","min_lre":6.0,"note":"B4","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-354.478233703349,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x5","kind":"figure_lre","min_lre":6.0,"note":"B5","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-75.1242017393757,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x6","kind":"figure_lre","min_lre":6.0,"note":"B6","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-10.8753180355343,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x7","kind":"figure_lre","min_lre":6.0,"note":"B7","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-1.06221498588947,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x8","kind":"figure_lre","min_lre":6.0,"note":"B8","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-0.0670191154593408,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x9","kind":"figure_lre","min_lre":6.0,"note":"B9","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-0.00246781078275479,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x10","kind":"figure_lre","min_lre":6.0,"note":"B10","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":-4.02962525080404e-05,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.const@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B0","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":298.084530995537,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x1@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B1","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":559.77986547495,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x2@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B2","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":466.477572127796,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x3@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B3","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":227.204274477751,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x4@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B4","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":71.6478660875927,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x5@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B5","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":15.28971787474,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x6@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B6","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":2.23691159816033,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x7@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B7","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":0.221624321934227,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x8@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B8","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":0.0142363763154724,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x9@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B9","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":0.000535617408889821,"weight":1.0,"where":null},{"abs_tol":null,"bind":"any","column":null,"failure_class":null,"field":"value","interval":false,"key":"coef.x10@se","kind":"figure_lre","min_lre":6.0,"note":"SE of B10","open_interval":false,"rel_tol":null,"required":false,"source_id":null,"table":null,"tool":null,"value":8.96632837373868e-06,"weight":1.0,"where":null}],"datasets":{"d":{"columns":null,"description":"NIST StRD Filip (82 observations): outcome y, predictors x1, x2, x3, x4, x5, x6, x7, x8, x9, x10 (x_j = x**j), const = 1","file_sha256":null,"format":null,"frame_sha256":null,"generator":"magi_bench.suites.strd:load_strd","kind":"generator","licence":null,"member":null,"object":null,"params":{"problem":"Filip"},"path":null,"read_kw":{},"records":null,"role":"agent","sha256":null,"transforms":[],"url":null}},"difficulty":"M","id":"strd.filip.explicit_constant","level":"T1","meta":{"certified_r_squared":0.99672741618562,"certified_residual_sd":0.00334801051324544,"collinearity_exception":true,"difficulty":"higher","min_lre":6,"path":"explicit_constant","problem":"Filip"},"question":"","requires":[],"runner":"magi_bench.suites.strd:run_tool_task","sources":[],"split":"public","suite":"strd","tags":["fast","linreg","nist","higher","collinear","explicit_constant"],"target":"tool","tool":"infer.ols","truth":"NIST StRD Filip certified values (500-digit arithmetic), copied from the file's certified block (sha256 1e8cb9a4644b\u2026 LF; NIST original CRLF 403b34689e40\u2026); model y = B0 + B1*x + B2*(x**2) + ... + B9*(x**9) + B10*(x**10) + e; higher difficulty, n=82; Filippelli, A., NIST. Re-derived exactly from the data in the tests. B0 is scored through an explicit column of ones (same design matrix)."}