Files
sim-numerics/sweep_cap_smoke.json

1 line
20 KiB
JSON

[{"label": "pure+dissim+slope.ratio.derived3_cap.credit", "spec": ["pure", "ratio", "derived3_cap", "credit", "x", "slope", "recent", "dissimilar"], "APS": {"total": 6798, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [33, true], "aps.02.00": [27, true], "aps.02.01": [46, true], "aps.02.02": [46, true], "aps.02.03": [47, true], "aps.02.04": [47, true], "aps.02.05": [47, true], "aps.02.06": [47, true], "aps.02.07": [47, true], "aps.02.08": [48, true], "aps.02.09": [48, true], "aps.03.00": [49, true], "aps.03.01": [49, true], "aps.03.02": [24, true], "aps.04.00": [46, true], "aps.04.01": [46, true], "aps.04.02": [46, true], "aps.04.03": [46, true], "aps.04.04": [46, true], "aps.04.05": [46, true], "aps.04.06": [46, true], "aps.04.07": [46, true], "aps.04.08": [46, true], "aps.04.09": [46, true], "aps.04.10": [46, true], "aps.04.11": [46, true], "aps.04.12": [46, true], "aps.04.13": [46, true], "aps.05.00": [44, true], "aps.06.00": [42, true], "aps.06.01": [20, true], "aps.06.02": [43, true], "aps.06.03": [24, true], "aps.06.04": [25, true], "aps.06.05": [43, true], "aps.06.06": [43, true], "aps.06.07": [43, true], "aps.06.08": [43, true], "aps.06.09": [43, true], "aps.07.00": [43, true], "aps.07.01": [43, true], "aps.07.02": [43, true], "aps.08.00": [3, true], "aps.08.01": [43, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [30, true], "aps.09.01": [31, true], "aps.09.02": [43, true], "aps.09.03": [19, true], "aps.09.04": [25, true], "aps.09.05": [27, true], "aps.09.06": [43, true], "aps.10.00": [39, true], "aps.10.01": [43, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [43, true], "aps.11.01": [34, true], "aps.11.02": [43, true], "aps.11.03": [43, true], "aps.12.00": [17, true], "aps.12.01": [39, true], "aps.12.02": [50, true], "aps.12.03": [50, true], "aps.12.04": [50, true], "aps.12.05": [50, true], "aps.12.06": [50, true], "aps.12.07": [50, true], "aps.12.08": [50, true], "aps.12.09": [22, true], "aps.12.10": [39, true], "aps.12.11": [50, true], "aps.12.12": [50, true], "aps.12.13": [50, true], "aps.12.14": [50, true], "aps.12.15": [48, true], "aps.12.16": [50, true], "aps.12.17": [50, true], "aps.12.18": [18, true], "aps.13.00": [8, false], "aps.14.00": [53, true], "aps.14.01": [53, true], "aps.14.02": [53, true], "aps.14.03": [53, true], "aps.14.04": [53, true], "aps.14.05": [53, true], "aps.14.06": [53, true], "aps.14.07": [53, true], "aps.14.08": [53, true], "aps.14.09": [53, true], "aps.14.10": [53, true], "aps.14.11": [53, true], "aps.14.12": [53, true], "aps.14.13": [53, true], "aps.14.14": [53, true], "aps.14.15": [53, true], "aps.14.16": [53, true], "aps.14.17": [53, true], "aps.14.18": [53, true], "aps.14.19": [53, true], "aps.14.20": [53, true], "aps.14.21": [53, true], "aps.14.22": [53, true], "aps.14.23": [53, true], "aps.14.24": [53, true], "aps.14.25": [53, true], "aps.14.26": [53, true], "aps.14.27": [53, true], "aps.14.28": [53, true], "aps.14.29": [53, true], "aps.14.30": [53, true], "aps.14.31": [53, true], "aps.14.32": [53, true], "aps.14.33": [53, true], "aps.14.34": [53, true], "aps.14.35": [53, true], "aps.14.36": [53, true], "aps.14.37": [53, true], "aps.14.38": [53, true], "aps.14.39": [53, true], "aps.15.00": [50, true], "aps.15.01": [46, true], "aps.15.02": [43, true], "aps.15.03": [40, true], "aps.15.04": [37, true], "aps.15.05": [33, true], "aps.15.06": [30, true], "aps.15.07": [39, true], "aps.15.08": [48, true], "aps.15.09": [53, true], "aps.15.10": [53, true], "aps.15.11": [53, true], "aps.15.12": [53, true], "aps.15.13": [53, true], "aps.15.14": [12, true], "aps.15.15": [13, true], "aps.15.16": [14, true], "aps.15.17": [15, true], "aps.15.18": [16, true], "aps.15.19": [17, true], "aps.15.20": [18, true], "aps.15.21": [30, true], "aps.15.22": [26, true], "aps.15.23": [47, true], "aps.15.24": [29, true], "aps.15.25": [53, true], "aps.15.26": [18, true], "aps.15.27": [23, true], "aps.15.28": [30, true], "aps.15.29": [42, true], "aps.15.30": [53, true]}}, "CHA": {"total": 3095, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [43, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [67, true], "fun2.1": [43, true], "fun2.2": [57, true], "fun2.3": [63, true], "fun2.4": [77, true], "fun2.5": [83, true], "fun3.1": [46, true], "fun3.2": [48, true], "fun3.3": [58, true], "fun3.4": [64, true], "fun3.5": [78, true], "fun4.1": [46, true], "fun4.2": [48, true], "fun4.3": [58, true], "fun4.4": [64, true], "fun4.5": [78, true], "fun5.1": [46, true], "fun5.2": [46, true], "fun5.3": [47, true], "fun5.4": [49, true], "fun5.5": [50, true], "fun6.1": [46, true], "fun6.2": [46, true], "fun6.3": [47, true], "fun6.4": [49, true], "fun6.5": [50, true], "fun7.1": [8, false], "fun7.2": [6, false], "fun7.3": [10, false], "fun7.4": [10, false], "fun7.5": [12, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [50, true], "fun9.1": [43, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [26, true]}}}, {"label": "pure+dissim+slope.ratio.derived3_cap.safe", "spec": ["pure", "ratio", "derived3_cap", "safe", "x", "slope", "recent", "dissimilar"], "APS": {"total": 5044, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [19, true], "aps.02.00": [22, true], "aps.02.01": [22, true], "aps.02.02": [19, true], "aps.02.03": [24, true], "aps.02.04": [26, true], "aps.02.05": [27, true], "aps.02.06": [23, true], "aps.02.07": [30, true], "aps.02.08": [37, true], "aps.02.09": [25, true], "aps.03.00": [36, true], "aps.03.01": [40, true], "aps.03.02": [48, true], "aps.04.00": [17, true], "aps.04.01": [26, true], "aps.04.02": [14, true], "aps.04.03": [14, true], "aps.04.04": [22, true], "aps.04.05": [47, true], "aps.04.06": [42, true], "aps.04.07": [51, true], "aps.04.08": [65, true], "aps.04.09": [30, true], "aps.04.10": [18, true], "aps.04.11": [41, true], "aps.04.12": [17, true], "aps.04.13": [29, true], "aps.05.00": [26, true], "aps.06.00": [7, true], "aps.06.01": [20, true], "aps.06.02": [51, true], "aps.06.03": [13, true], "aps.06.04": [25, true], "aps.06.05": [30, true], "aps.06.06": [31, true], "aps.06.07": [49, true], "aps.06.08": [33, true], "aps.06.09": [56, true], "aps.07.00": [50, true], "aps.07.01": [49, true], "aps.07.02": [49, true], "aps.08.00": [3, true], "aps.08.01": [12, true], "aps.08.02": [30, true], "aps.08.03": [13, true], "aps.08.04": [14, true], "aps.09.00": [10, true], "aps.09.01": [18, true], "aps.09.02": [43, true], "aps.09.03": [19, true], "aps.09.04": [25, true], "aps.09.05": [27, true], "aps.09.06": [25, true], "aps.10.00": [14, true], "aps.10.01": [13, true], "aps.10.02": [34, true], "aps.10.03": [32, true], "aps.10.04": [28, true], "aps.11.00": [26, true], "aps.11.01": [11, true], "aps.11.02": [23, true], "aps.11.03": [38, true], "aps.12.00": [17, true], "aps.12.01": [39, true], "aps.12.02": [88, true], "aps.12.03": [15, true], "aps.12.04": [19, true], "aps.12.05": [17, true], "aps.12.06": [17, true], "aps.12.07": [18, true], "aps.12.08": [13, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [91, true], "aps.12.12": [70, true], "aps.12.13": [58, true], "aps.12.14": [52, true], "aps.12.15": [48, true], "aps.12.16": [44, true], "aps.12.17": [41, true], "aps.12.18": [37, true], "aps.13.00": [10, false], "aps.14.00": [35, true], "aps.14.01": [35, true], "aps.14.02": [35, true], "aps.14.03": [35, true], "aps.14.04": [35, true], "aps.14.05": [35, true], "aps.14.06": [35, true], "aps.14.07": [35, true], "aps.14.08": [35, true], "aps.14.09": [35, true], "aps.14.10": [35, true], "aps.14.11": [35, true], "aps.14.12": [35, true], "aps.14.13": [35, true], "aps.14.14": [35, true], "aps.14.15": [35, true], "aps.14.16": [35, true], "aps.14.17": [35, true], "aps.14.18": [35, true], "aps.14.19": [35, true], "aps.14.20": [35, true], "aps.14.21": [35, true], "aps.14.22": [35, true], "aps.14.23": [35, true], "aps.14.24": [35, true], "aps.14.25": [35, true], "aps.14.26": [35, true], "aps.14.27": [35, true], "aps.14.28": [35, true], "aps.14.29": [35, true], "aps.14.30": [35, true], "aps.14.31": [35, true], "aps.14.32": [35, true], "aps.14.33": [35, true], "aps.14.34": [35, true], "aps.14.35": [35, true], "aps.14.36": [35, true], "aps.14.37": [35, true], "aps.14.38": [35, true], "aps.14.39": [35, true], "aps.15.00": [27, true], "aps.15.01": [31, true], "aps.15.02": [35, true], "aps.15.03": [41, true], "aps.15.04": [51, true], "aps.15.05": [31, true], "aps.15.06": [28, true], "aps.15.07": [26, true], "aps.15.08": [21, true], "aps.15.09": [24, true], "aps.15.10": [19, true], "aps.15.11": [27, true], "aps.15.12": [26, true], "aps.15.13": [26, true], "aps.15.14": [26, true], "aps.15.15": [26, true], "aps.15.16": [26, true], "aps.15.17": [25, true], "aps.15.18": [25, true], "aps.15.19": [25, true], "aps.15.20": [25, true], "aps.15.21": [26, true], "aps.15.22": [28, true], "aps.15.23": [56, true], "aps.15.24": [29, true], "aps.15.25": [34, true], "aps.15.26": [51, true], "aps.15.27": [44, true], "aps.15.28": [33, true], "aps.15.29": [32, true], "aps.15.30": [35, true]}}, "CHA": {"total": 2959, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [11, true], "fun1.2": [16, true], "fun1.3": [19, true], "fun1.4": [44, true], "fun1.5": [73, true], "fun2.1": [19, true], "fun2.2": [27, true], "fun2.3": [49, true], "fun2.4": [94, true], "fun2.5": [67, true], "fun3.1": [53, true], "fun3.2": [55, true], "fun3.3": [69, true], "fun3.4": [71, true], "fun3.5": [85, true], "fun4.1": [55, true], "fun4.2": [57, true], "fun4.3": [66, true], "fun4.4": [70, true], "fun4.5": [87, true], "fun5.1": [56, true], "fun5.2": [60, true], "fun5.3": [61, true], "fun5.4": [62, true], "fun5.5": [65, true], "fun6.1": [53, true], "fun6.2": [48, true], "fun6.3": [52, true], "fun6.4": [55, true], "fun6.5": [55, true], "fun7.1": [10, false], "fun7.2": [8, false], "fun7.3": [13, false], "fun7.4": [11, false], "fun7.5": [14, false], "fun8.1": [56, true], "fun8.2": [12, true], "fun8.3": [24, true], "fun8.4": [28, true], "fun8.5": [19, true], "fun9.1": [39, true], "fun9.2": [18, true], "fun9.3": [43, true], "fun9.4": [40, true], "fun9.5": [26, true]}}}, {"label": "pure+dissim+slope.sqrt.derived3_cap.safe", "spec": ["pure", "sqrt", "derived3_cap", "safe", "x", "slope", "recent", "dissimilar"], "APS": {"total": 6184, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [38, true], "aps.02.00": [40, true], "aps.02.01": [41, true], "aps.02.02": [39, true], "aps.02.03": [38, true], "aps.02.04": [42, true], "aps.02.05": [44, true], "aps.02.06": [42, true], "aps.02.07": [41, true], "aps.02.08": [36, true], "aps.02.09": [41, true], "aps.03.00": [44, true], "aps.03.01": [40, true], "aps.03.02": [42, true], "aps.04.00": [41, true], "aps.04.01": [44, true], "aps.04.02": [37, true], "aps.04.03": [40, true], "aps.04.04": [40, true], "aps.04.05": [38, true], "aps.04.06": [41, true], "aps.04.07": [40, true], "aps.04.08": [40, true], "aps.04.09": [43, true], "aps.04.10": [47, true], "aps.04.11": [39, true], "aps.04.12": [38, true], "aps.04.13": [40, true], "aps.05.00": [31, true], "aps.06.00": [36, true], "aps.06.01": [36, true], "aps.06.02": [33, true], "aps.06.03": [35, true], "aps.06.04": [37, true], "aps.06.05": [39, true], "aps.06.06": [40, true], "aps.06.07": [39, true], "aps.06.08": [44, true], "aps.06.09": [48, true], "aps.07.00": [29, true], "aps.07.01": [36, true], "aps.07.02": [35, true], "aps.08.00": [3, true], "aps.08.01": [40, true], "aps.08.02": [35, true], "aps.08.03": [36, true], "aps.08.04": [35, true], "aps.09.00": [37, true], "aps.09.01": [38, true], "aps.09.02": [37, true], "aps.09.03": [35, true], "aps.09.04": [39, true], "aps.09.05": [37, true], "aps.09.06": [34, true], "aps.10.00": [34, true], "aps.10.01": [35, true], "aps.10.02": [34, true], "aps.10.03": [33, true], "aps.10.04": [38, true], "aps.11.00": [39, true], "aps.11.01": [44, true], "aps.11.02": [37, true], "aps.11.03": [36, true], "aps.12.00": [40, true], "aps.12.01": [41, true], "aps.12.02": [42, true], "aps.12.03": [42, true], "aps.12.04": [42, true], "aps.12.05": [43, true], "aps.12.06": [43, true], "aps.12.07": [41, true], "aps.12.08": [46, true], "aps.12.09": [41, true], "aps.12.10": [43, true], "aps.12.11": [41, true], "aps.12.12": [40, true], "aps.12.13": [42, true], "aps.12.14": [37, true], "aps.12.15": [42, true], "aps.12.16": [45, true], "aps.12.17": [42, true], "aps.12.18": [43, true], "aps.13.00": [8, false], "aps.14.00": [41, true], "aps.14.01": [41, true], "aps.14.02": [41, true], "aps.14.03": [41, true], "aps.14.04": [41, true], "aps.14.05": [41, true], "aps.14.06": [41, true], "aps.14.07": [41, true], "aps.14.08": [41, true], "aps.14.09": [41, true], "aps.14.10": [41, true], "aps.14.11": [41, true], "aps.14.12": [41, true], "aps.14.13": [41, true], "aps.14.14": [41, true], "aps.14.15": [41, true], "aps.14.16": [41, true], "aps.14.17": [41, true], "aps.14.18": [41, true], "aps.14.19": [41, true], "aps.14.20": [41, true], "aps.14.21": [41, true], "aps.14.22": [41, true], "aps.14.23": [41, true], "aps.14.24": [41, true], "aps.14.25": [41, true], "aps.14.26": [41, true], "aps.14.27": [41, true], "aps.14.28": [41, true], "aps.14.29": [41, true], "aps.14.30": [41, true], "aps.14.31": [41, true], "aps.14.32": [41, true], "aps.14.33": [41, true], "aps.14.34": [41, true], "aps.14.35": [41, true], "aps.14.36": [41, true], "aps.14.37": [41, true], "aps.14.38": [41, true], "aps.14.39": [41, true], "aps.15.00": [34, true], "aps.15.01": [35, true], "aps.15.02": [36, true], "aps.15.03": [34, true], "aps.15.04": [38, true], "aps.15.05": [38, true], "aps.15.06": [39, true], "aps.15.07": [40, true], "aps.15.08": [37, true], "aps.15.09": [32, true], "aps.15.10": [34, true], "aps.15.11": [35, true], "aps.15.12": [37, true], "aps.15.13": [38, true], "aps.15.14": [36, true], "aps.15.15": [37, true], "aps.15.16": [37, true], "aps.15.17": [39, true], "aps.15.18": [38, true], "aps.15.19": [39, true], "aps.15.20": [36, true], "aps.15.21": [38, true], "aps.15.22": [37, true], "aps.15.23": [40, true], "aps.15.24": [37, true], "aps.15.25": [39, true], "aps.15.26": [42, true], "aps.15.27": [40, true], "aps.15.28": [39, true], "aps.15.29": [40, true], "aps.15.30": [37, true]}}, "CHA": {"total": 3066, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [35, true], "fun1.2": [35, true], "fun1.3": [42, true], "fun1.4": [46, true], "fun1.5": [72, true], "fun2.1": [34, true], "fun2.2": [57, true], "fun2.3": [63, true], "fun2.4": [73, true], "fun2.5": [80, true], "fun3.1": [49, true], "fun3.2": [45, true], "fun3.3": [47, true], "fun3.4": [46, true], "fun3.5": [53, true], "fun4.1": [55, true], "fun4.2": [57, true], "fun4.3": [65, true], "fun4.4": [72, true], "fun4.5": [83, true], "fun5.1": [54, true], "fun5.2": [54, true], "fun5.3": [55, true], "fun5.4": [57, true], "fun5.5": [60, true], "fun6.1": [54, true], "fun6.2": [49, true], "fun6.3": [57, true], "fun6.4": [57, true], "fun6.5": [58, true], "fun7.1": [8, false], "fun7.2": [46, false], "fun7.3": [8, false], "fun7.4": [7, false], "fun7.5": [14, false], "fun8.1": [40, true], "fun8.2": [39, true], "fun8.3": [41, true], "fun8.4": [46, true], "fun8.5": [46, true], "fun9.1": [33, true], "fun9.2": [35, true], "fun9.3": [41, true], "fun9.4": [40, true], "fun9.5": [41, true]}}}, {"label": "pure+dissim+slope.sqrt.derived3_cap.credit", "spec": ["pure", "sqrt", "derived3_cap", "credit", "x", "slope", "recent", "dissimilar"], "APS": {"total": 6977, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [38, true], "aps.02.00": [37, true], "aps.02.01": [46, true], "aps.02.02": [38, true], "aps.02.03": [47, true], "aps.02.04": [47, true], "aps.02.05": [47, true], "aps.02.06": [47, true], "aps.02.07": [47, true], "aps.02.08": [48, true], "aps.02.09": [48, true], "aps.03.00": [49, true], "aps.03.01": [49, true], "aps.03.02": [49, true], "aps.04.00": [46, true], "aps.04.01": [46, true], "aps.04.02": [46, true], "aps.04.03": [46, true], "aps.04.04": [46, true], "aps.04.05": [46, true], "aps.04.06": [46, true], "aps.04.07": [46, true], "aps.04.08": [46, true], "aps.04.09": [46, true], "aps.04.10": [46, true], "aps.04.11": [46, true], "aps.04.12": [46, true], "aps.04.13": [46, true], "aps.05.00": [44, true], "aps.06.00": [36, true], "aps.06.01": [43, true], "aps.06.02": [43, true], "aps.06.03": [43, true], "aps.06.04": [43, true], "aps.06.05": [43, true], "aps.06.06": [43, true], "aps.06.07": [43, true], "aps.06.08": [43, true], "aps.06.09": [43, true], "aps.07.00": [40, true], "aps.07.01": [32, true], "aps.07.02": [39, true], "aps.08.00": [3, true], "aps.08.01": [40, true], "aps.08.02": [35, true], "aps.08.03": [36, true], "aps.08.04": [39, true], "aps.09.00": [43, true], "aps.09.01": [43, true], "aps.09.02": [38, true], "aps.09.03": [34, true], "aps.09.04": [39, true], "aps.09.05": [40, true], "aps.09.06": [43, true], "aps.10.00": [34, true], "aps.10.01": [35, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [43, true], "aps.11.01": [40, true], "aps.11.02": [43, true], "aps.11.03": [37, true], "aps.12.00": [40, true], "aps.12.01": [50, true], "aps.12.02": [47, true], "aps.12.03": [50, true], "aps.12.04": [50, true], "aps.12.05": [50, true], "aps.12.06": [50, true], "aps.12.07": [50, true], "aps.12.08": [50, true], "aps.12.09": [50, true], "aps.12.10": [50, true], "aps.12.11": [39, true], "aps.12.12": [39, true], "aps.12.13": [45, true], "aps.12.14": [41, true], "aps.12.15": [42, true], "aps.12.16": [43, true], "aps.12.17": [40, true], "aps.12.18": [42, true], "aps.13.00": [8, false], "aps.14.00": [45, true], "aps.14.01": [45, true], "aps.14.02": [45, true], "aps.14.03": [45, true], "aps.14.04": [45, true], "aps.14.05": [45, true], "aps.14.06": [45, true], "aps.14.07": [45, true], "aps.14.08": [45, true], "aps.14.09": [45, true], "aps.14.10": [45, true], "aps.14.11": [45, true], "aps.14.12": [45, true], "aps.14.13": [45, true], "aps.14.14": [45, true], "aps.14.15": [45, true], "aps.14.16": [45, true], "aps.14.17": [45, true], "aps.14.18": [45, true], "aps.14.19": [45, true], "aps.14.20": [45, true], "aps.14.21": [45, true], "aps.14.22": [45, true], "aps.14.23": [45, true], "aps.14.24": [45, true], "aps.14.25": [45, true], "aps.14.26": [45, true], "aps.14.27": [45, true], "aps.14.28": [45, true], "aps.14.29": [45, true], "aps.14.30": [45, true], "aps.14.31": [45, true], "aps.14.32": [45, true], "aps.14.33": [45, true], "aps.14.34": [45, true], "aps.14.35": [45, true], "aps.14.36": [45, true], "aps.14.37": [45, true], "aps.14.38": [45, true], "aps.14.39": [45, true], "aps.15.00": [36, true], "aps.15.01": [37, true], "aps.15.02": [37, true], "aps.15.03": [38, true], "aps.15.04": [38, true], "aps.15.05": [38, true], "aps.15.06": [37, true], "aps.15.07": [41, true], "aps.15.08": [41, true], "aps.15.09": [38, true], "aps.15.10": [40, true], "aps.15.11": [40, true], "aps.15.12": [43, true], "aps.15.13": [53, true], "aps.15.14": [53, true], "aps.15.15": [53, true], "aps.15.16": [53, true], "aps.15.17": [53, true], "aps.15.18": [51, true], "aps.15.19": [53, true], "aps.15.20": [53, true], "aps.15.21": [53, true], "aps.15.22": [53, true], "aps.15.23": [53, true], "aps.15.24": [53, true], "aps.15.25": [53, true], "aps.15.26": [53, true], "aps.15.27": [53, true], "aps.15.28": [53, true], "aps.15.29": [53, true], "aps.15.30": [53, true]}}, "CHA": {"total": 3092, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [35, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [78, true], "fun2.1": [34, true], "fun2.2": [57, true], "fun2.3": [63, true], "fun2.4": [77, true], "fun2.5": [83, true], "fun3.1": [44, true], "fun3.2": [48, true], "fun3.3": [58, true], "fun3.4": [64, true], "fun3.5": [78, true], "fun4.1": [45, true], "fun4.2": [47, true], "fun4.3": [58, true], "fun4.4": [64, true], "fun4.5": [78, true], "fun5.1": [45, true], "fun5.2": [46, true], "fun5.3": [47, true], "fun5.4": [49, true], "fun5.5": [50, true], "fun6.1": [46, true], "fun6.2": [45, true], "fun6.3": [47, true], "fun6.4": [49, true], "fun6.5": [50, true], "fun7.1": [8, false], "fun7.2": [8, false], "fun7.3": [8, false], "fun7.4": [13, false], "fun7.5": [10, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [50, true], "fun9.1": [43, true], "fun9.2": [35, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [45, true]}}}]