From 441373800b978af11fb8962b2b9ab69ad3742cfc Mon Sep 17 00:00:00 2001 From: Valeri Sitnikov Date: Mon, 21 Sep 2026 15:06:37 +0100 Subject: [PATCH] PREREG_flat_analogy_mem outcome (decided on the smoke, all 199 problems): NOT accepted. Remembering the analogy until the next flag: CHA 2635 -> 2552 (G2: 2625 -> 2548; flat fun3-6 1234 -> 1151, M4 holds) but APS 2806 -> 2814 (G2: 2782 -> 2787 = Chandrupatla, M2 fails) - the extra false entries. Server regression x2: 1069 passed, 1 failed = the expected paper-number check. Co-Authored-By: Claude Opus 5 --- simroot/pure.py | 25 ++++++++++++++++++++----- sweep_flatanalogmem_smoke.json | 1 + sweep_full.py | 9 ++++++--- tests/test_flat_gate.py | 33 +++++++++++++++++++++++++++++++++ 4 files changed, 60 insertions(+), 8 deletions(-) create mode 100644 sweep_flatanalogmem_smoke.json diff --git a/simroot/pure.py b/simroot/pure.py index 1bca73e..e93902c 100644 --- a/simroot/pure.py +++ b/simroot/pure.py @@ -746,7 +746,7 @@ def pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived", raise ValueError(f"unknown space {space!r}") if prestep not in ("none", "progress", "slope", "band", "defect", "simpair", "flat", "flat2", "flatcreep", "flatstick", "flatstickmid", "flatstickexit", - "flatjudge", "flatanalog"): + "flatjudge", "flatanalog", "flatanalogmem"): raise ValueError(f"unknown prestep {prestep!r}") if prestep in ("band", "defect", "simpair") and scale not in ( "derived3", "derived3_cap", "derived3_m", "bracket", "far"): @@ -804,6 +804,7 @@ def pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived", sticky_m = None # order read at entry to the sticky flat regime (flatstick*) judged = 0 # flatjudge: +1 the last point looked flat, -1 linear, 0 tie configs = [] # flatanalog: the run's memory of (xi, phi, |dx|, |df|) + analogy_seen = False # flatanalogmem: the run has been judged analogous to its past if stats is not None: stats['forced'] = 0 stats['pre_refused'] = 0 @@ -1018,16 +1019,27 @@ def pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived", else: step = 0.5 * (A + B) - x pre_refused += 1 - if step is None and prestep == "flatanalog": + if step is None and prestep in ("flatanalog", "flatanalogmem"): # PREREG_flat_analogy 2026-09-21. A pure power is similar to itself # under zoom: its configuration RECURS, while a simple root's tends # to the line. Enter on the unkept promise only when the current # configuration is nearer to its own past than to the line AND the # analogous pair scales as a power of order >= 2. Every state the # gate sees joins the memory after it has been judged. + # PREREG_flat_analogy_mem 2026-09-21 (flatanalogmem): the flag rises + # in the cycle's non-recurring phases, the analogy shows in the + # others - so the analogy is judged at EVERY state and remembered as + # a property of the run; the regime is entered at the next flag. cur = _config3(x, fx, x_prev, f_prev, x_prev2, f_prev2) - if (sticky_m is None and last_model and f_prev != 0.0 - and fx / f_prev >= 0.25 and _analogous_and_steep(cur, configs)): + flag = (sticky_m is None and last_model and f_prev != 0.0 + and fx / f_prev >= 0.25) + if prestep == "flatanalogmem": + if _analogous_and_steep(cur, configs): + analogy_seen = True + enter = flag and analogy_seen + else: + enter = flag and _analogous_and_steep(cur, configs) + if enter: sticky_m = math.inf if stats is not None: stats['stick_entries'] = stats.get('stick_entries', 0) + 1 @@ -1156,7 +1168,7 @@ def pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived", w_before = abs(B - A) mid_now, lin_mid = 0.5 * (A + B), 0.5 * (FA + FB) # before the bracket moves fnew = g(x_new) - if (prestep in ("flatstickexit", "flatanalog") and sticky_m is not None + if (prestep in ("flatstickexit", "flatanalog", "flatanalogmem") and sticky_m is not None and x_new == mid_now and abs(fnew - lin_mid) < abs(fnew)): # PREREG_flat_exit 2026-09-21. A midpoint evaluated in the regime is judged @@ -1165,6 +1177,9 @@ def pure_root(f, a, b, xtol, maxfev, similarity="ratio", scale="derived", # like the linear one - the regime is left and the model steps again. # Ordinal: two distances compared, no threshold; a tie stays. sticky_m = None + # flatanalogmem: "linear" refutes "flat" - the remembered analogy is + # cleared and must be established anew (PREREG_flat_analogy_mem) + analogy_seen = False if stats is not None: stats['stick_exits'] = stats.get('stick_exits', 0) + 1 if prestep == "flatjudge": diff --git a/sweep_flatanalogmem_smoke.json b/sweep_flatanalogmem_smoke.json new file mode 100644 index 0000000..12029e1 --- /dev/null +++ b/sweep_flatanalogmem_smoke.json @@ -0,0 +1 @@ +[{"label": "pure.ratio.derived3.project", "spec": ["pure", "ratio", "derived3", "project", "x", "none", "recent", "distance", "none", "none"], "APS": {"total": 2806, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [8, true], "aps.02.00": [12, true], "aps.02.01": [13, true], "aps.02.02": [11, true], "aps.02.03": [24, true], "aps.02.04": [23, true], "aps.02.05": [26, true], "aps.02.06": [23, true], "aps.02.07": [28, true], "aps.02.08": [12, true], "aps.02.09": [12, true], "aps.03.00": [19, true], "aps.03.01": [22, true], "aps.03.02": [22, true], "aps.04.00": [17, true], "aps.04.01": [22, true], "aps.04.02": [14, true], "aps.04.03": [18, true], "aps.04.04": [22, true], "aps.04.05": [14, true], "aps.04.06": [12, true], "aps.04.07": [12, true], "aps.04.08": [21, true], "aps.04.09": [15, true], "aps.04.10": [15, true], "aps.04.11": [15, true], "aps.04.12": [13, true], "aps.04.13": [15, true], "aps.05.00": [8, true], "aps.06.00": [7, true], "aps.06.01": [8, true], "aps.06.02": [9, true], "aps.06.03": [9, true], "aps.06.04": [9, true], "aps.06.05": [10, true], "aps.06.06": [10, true], "aps.06.07": [10, true], "aps.06.08": [13, true], "aps.06.09": [13, true], "aps.07.00": [10, true], "aps.07.01": [11, true], "aps.07.02": [11, true], "aps.08.00": [3, true], "aps.08.01": [10, true], "aps.08.02": [12, true], "aps.08.03": [15, true], "aps.08.04": [11, true], "aps.09.00": [8, true], "aps.09.01": [10, true], "aps.09.02": [12, true], "aps.09.03": [10, true], "aps.09.04": [10, true], "aps.09.05": [11, true], "aps.09.06": [10, true], "aps.10.00": [9, true], "aps.10.01": [12, true], "aps.10.02": [15, true], "aps.10.03": [21, true], "aps.10.04": [16, true], "aps.11.00": [5, true], "aps.11.01": [5, true], "aps.11.02": [5, true], "aps.11.03": [5, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [10, true], "aps.12.09": [10, true], "aps.12.10": [10, true], "aps.12.11": [10, true], "aps.12.12": [10, true], "aps.12.13": [9, true], "aps.12.14": [9, true], "aps.12.15": [9, true], "aps.12.16": [9, true], "aps.12.17": [9, true], "aps.12.18": [9, true], "aps.13.00": [28, false], "aps.14.00": [15, true], "aps.14.01": [15, true], "aps.14.02": [15, true], "aps.14.03": [15, true], "aps.14.04": [15, true], "aps.14.05": [15, true], "aps.14.06": [15, true], "aps.14.07": [15, true], "aps.14.08": [15, true], "aps.14.09": [15, true], "aps.14.10": [15, true], "aps.14.11": [15, true], "aps.14.12": [15, true], "aps.14.13": [15, true], "aps.14.14": [15, true], "aps.14.15": [15, true], "aps.14.16": [15, true], "aps.14.17": [15, true], "aps.14.18": [15, true], "aps.14.19": [15, true], "aps.14.20": [15, true], "aps.14.21": [15, true], "aps.14.22": [15, true], "aps.14.23": [15, true], "aps.14.24": [15, true], "aps.14.25": [15, true], "aps.14.26": [15, true], "aps.14.27": [15, true], "aps.14.28": [15, true], "aps.14.29": [15, true], "aps.14.30": [15, true], "aps.14.31": [15, true], "aps.14.32": [15, true], "aps.14.33": [15, true], "aps.14.34": [15, true], "aps.14.35": [15, true], "aps.14.36": [15, true], "aps.14.37": [15, true], "aps.14.38": [15, true], "aps.14.39": [15, true], "aps.15.00": [31, true], "aps.15.01": [30, true], "aps.15.02": [29, true], "aps.15.03": [29, true], "aps.15.04": [29, true], "aps.15.05": [29, true], "aps.15.06": [29, true], "aps.15.07": [29, true], "aps.15.08": [29, true], "aps.15.09": [30, true], "aps.15.10": [30, true], "aps.15.11": [30, true], "aps.15.12": [30, true], "aps.15.13": [30, true], "aps.15.14": [30, true], "aps.15.15": [30, true], "aps.15.16": [30, true], "aps.15.17": [30, true], "aps.15.18": [30, true], "aps.15.19": [31, true], "aps.15.20": [31, true], "aps.15.21": [36, true], "aps.15.22": [34, true], "aps.15.23": [33, true], "aps.15.24": [35, true], "aps.15.25": [36, true], "aps.15.26": [36, true], "aps.15.27": [39, true], "aps.15.28": [40, true], "aps.15.29": [38, true], "aps.15.30": [38, true]}}, "CHA": {"total": 3220, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [7, true], "fun1.2": [11, true], "fun1.3": [18, true], "fun1.4": [19, true], "fun1.5": [44, true], "fun2.1": [9, true], "fun2.2": [24, true], "fun2.3": [16, true], "fun2.4": [43, true], "fun2.5": [49, true], "fun3.1": [51, true], "fun3.2": [74, true], "fun3.3": [66, true], "fun3.4": [54, true], "fun3.5": [93, true], "fun4.1": [89, true], "fun4.2": [93, true], "fun4.3": [113, true], "fun4.4": [125, true], "fun4.5": [153, true], "fun5.1": [88, true], "fun5.2": [88, true], "fun5.3": [90, true], "fun5.4": [94, true], "fun5.5": [96, true], "fun6.1": [88, true], "fun6.2": [88, true], "fun6.3": [90, true], "fun6.4": [94, true], "fun6.5": [96, true], "fun7.1": [28, false], "fun7.2": [50, false], "fun7.3": [47, false], "fun7.4": [6, false], "fun7.5": [6, false], "fun8.1": [10, true], "fun8.2": [9, true], "fun8.3": [11, true], "fun8.4": [11, true], "fun8.5": [11, true], "fun9.1": [8, true], "fun9.2": [11, true], "fun9.3": [21, true], "fun9.4": [39, true], "fun9.5": [26, true]}}}, {"label": "flatanalog.ratio.derived3.project", "spec": ["pure", "ratio", "derived3", "project", "x", "flatanalog", "recent", "distance", "none", "none"], "APS": {"total": 2807, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [8, true], "aps.02.00": [12, true], "aps.02.01": [13, true], "aps.02.02": [11, true], "aps.02.03": [24, true], "aps.02.04": [23, true], "aps.02.05": [26, true], "aps.02.06": [23, true], "aps.02.07": [28, true], "aps.02.08": [12, true], "aps.02.09": [12, true], "aps.03.00": [20, true], "aps.03.01": [22, true], "aps.03.02": [22, true], "aps.04.00": [17, true], "aps.04.01": [22, true], "aps.04.02": [14, true], "aps.04.03": [18, true], "aps.04.04": [22, true], "aps.04.05": [14, true], "aps.04.06": [12, true], "aps.04.07": [12, true], "aps.04.08": [21, true], "aps.04.09": [15, true], "aps.04.10": [15, true], "aps.04.11": [15, true], "aps.04.12": [13, true], "aps.04.13": [15, true], "aps.05.00": [8, true], "aps.06.00": [7, true], "aps.06.01": [8, true], "aps.06.02": [9, true], "aps.06.03": [9, true], "aps.06.04": [9, true], "aps.06.05": [10, true], "aps.06.06": [10, true], "aps.06.07": [10, true], "aps.06.08": [13, true], "aps.06.09": [13, true], "aps.07.00": [10, true], "aps.07.01": [11, true], "aps.07.02": [11, true], "aps.08.00": [3, true], "aps.08.01": [10, true], "aps.08.02": [12, true], "aps.08.03": [15, true], "aps.08.04": [11, true], "aps.09.00": [8, true], "aps.09.01": [10, true], "aps.09.02": [12, true], "aps.09.03": [10, true], "aps.09.04": [10, true], "aps.09.05": [11, true], "aps.09.06": [10, true], "aps.10.00": [9, true], "aps.10.01": [12, true], "aps.10.02": [15, true], "aps.10.03": [21, true], "aps.10.04": [16, true], "aps.11.00": [5, true], "aps.11.01": [5, true], "aps.11.02": [5, true], "aps.11.03": [5, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [10, true], "aps.12.09": [10, true], "aps.12.10": [10, true], "aps.12.11": [10, true], "aps.12.12": [10, true], "aps.12.13": [9, true], "aps.12.14": [9, true], "aps.12.15": [9, true], "aps.12.16": [9, true], "aps.12.17": [9, true], "aps.12.18": [9, true], "aps.13.00": [24, false], "aps.14.00": [15, true], "aps.14.01": [15, true], "aps.14.02": [15, true], "aps.14.03": [15, true], "aps.14.04": [15, true], "aps.14.05": [15, true], "aps.14.06": [15, true], "aps.14.07": [15, true], "aps.14.08": [15, true], "aps.14.09": [15, true], "aps.14.10": [15, true], "aps.14.11": [15, true], "aps.14.12": [15, true], "aps.14.13": [15, true], "aps.14.14": [15, true], "aps.14.15": [15, true], "aps.14.16": [15, true], "aps.14.17": [15, true], "aps.14.18": [15, true], "aps.14.19": [15, true], "aps.14.20": [15, true], "aps.14.21": [15, true], "aps.14.22": [15, true], "aps.14.23": [15, true], "aps.14.24": [15, true], "aps.14.25": [15, true], "aps.14.26": [15, true], "aps.14.27": [15, true], "aps.14.28": [15, true], "aps.14.29": [15, true], "aps.14.30": [15, true], "aps.14.31": [15, true], "aps.14.32": [15, true], "aps.14.33": [15, true], "aps.14.34": [15, true], "aps.14.35": [15, true], "aps.14.36": [15, true], "aps.14.37": [15, true], "aps.14.38": [15, true], "aps.14.39": [15, true], "aps.15.00": [31, true], "aps.15.01": [30, true], "aps.15.02": [29, true], "aps.15.03": [29, true], "aps.15.04": [29, true], "aps.15.05": [29, true], "aps.15.06": [29, true], "aps.15.07": [29, true], "aps.15.08": [29, true], "aps.15.09": [30, true], "aps.15.10": [30, true], "aps.15.11": [30, true], "aps.15.12": [30, true], "aps.15.13": [30, true], "aps.15.14": [30, true], "aps.15.15": [30, true], "aps.15.16": [30, true], "aps.15.17": [30, true], "aps.15.18": [30, true], "aps.15.19": [31, true], "aps.15.20": [31, true], "aps.15.21": [36, true], "aps.15.22": [34, true], "aps.15.23": [33, true], "aps.15.24": [35, true], "aps.15.25": [36, true], "aps.15.26": [36, true], "aps.15.27": [39, true], "aps.15.28": [40, true], "aps.15.29": [38, true], "aps.15.30": [38, true]}}, "CHA": {"total": 2635, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [7, true], "fun1.2": [11, true], "fun1.3": [18, true], "fun1.4": [19, true], "fun1.5": [44, true], "fun2.1": [9, true], "fun2.2": [24, true], "fun2.3": [16, true], "fun2.4": [43, true], "fun2.5": [49, true], "fun3.1": [49, true], "fun3.2": [53, true], "fun3.3": [71, true], "fun3.4": [82, true], "fun3.5": [76, true], "fun4.1": [60, true], "fun4.2": [62, true], "fun4.3": [68, true], "fun4.4": [68, true], "fun4.5": [82, true], "fun5.1": [49, true], "fun5.2": [50, true], "fun5.3": [50, true], "fun5.4": [52, true], "fun5.5": [53, true], "fun6.1": [58, true], "fun6.2": [59, true], "fun6.3": [63, true], "fun6.4": [66, true], "fun6.5": [67, true], "fun7.1": [21, false], "fun7.2": [19, false], "fun7.3": [18, false], "fun7.4": [6, false], "fun7.5": [6, false], "fun8.1": [10, true], "fun8.2": [9, true], "fun8.3": [11, true], "fun8.4": [11, true], "fun8.5": [11, true], "fun9.1": [8, true], "fun9.2": [11, true], "fun9.3": [21, true], "fun9.4": [39, true], "fun9.5": [26, true]}}}, {"label": "flatanalogmem.ratio.derived3.project", "spec": ["pure", "ratio", "derived3", "project", "x", "flatanalogmem", "recent", "distance", "none", "none"], "APS": {"total": 2814, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [8, true], "aps.02.00": [12, true], "aps.02.01": [13, true], "aps.02.02": [11, true], "aps.02.03": [24, true], "aps.02.04": [23, true], "aps.02.05": [26, true], "aps.02.06": [23, true], "aps.02.07": [28, true], "aps.02.08": [12, true], "aps.02.09": [12, true], "aps.03.00": [20, true], "aps.03.01": [22, true], "aps.03.02": [22, true], "aps.04.00": [17, true], "aps.04.01": [22, true], "aps.04.02": [14, true], "aps.04.03": [24, true], "aps.04.04": [23, true], "aps.04.05": [14, true], "aps.04.06": [12, true], "aps.04.07": [12, true], "aps.04.08": [21, true], "aps.04.09": [15, true], "aps.04.10": [15, true], "aps.04.11": [15, true], "aps.04.12": [13, true], "aps.04.13": [15, true], "aps.05.00": [8, true], "aps.06.00": [7, true], "aps.06.01": [8, true], "aps.06.02": [9, true], "aps.06.03": [9, true], "aps.06.04": [9, true], "aps.06.05": [10, true], "aps.06.06": [10, true], "aps.06.07": [10, true], "aps.06.08": [13, true], "aps.06.09": [13, true], "aps.07.00": [10, true], "aps.07.01": [11, true], "aps.07.02": [11, true], "aps.08.00": [3, true], "aps.08.01": [10, true], "aps.08.02": [12, true], "aps.08.03": [15, true], "aps.08.04": [11, true], "aps.09.00": [8, true], "aps.09.01": [10, true], "aps.09.02": [12, true], "aps.09.03": [10, true], "aps.09.04": [10, true], "aps.09.05": [11, true], "aps.09.06": [10, true], "aps.10.00": [9, true], "aps.10.01": [12, true], "aps.10.02": [15, true], "aps.10.03": [21, true], "aps.10.04": [16, true], "aps.11.00": [5, true], "aps.11.01": [5, true], "aps.11.02": [5, true], "aps.11.03": [5, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [10, true], "aps.12.09": [10, true], "aps.12.10": [10, true], "aps.12.11": [10, true], "aps.12.12": [10, true], "aps.12.13": [9, true], "aps.12.14": [9, true], "aps.12.15": [9, true], "aps.12.16": [9, true], "aps.12.17": [9, true], "aps.12.18": [9, true], "aps.13.00": [19, false], "aps.14.00": [15, true], "aps.14.01": [15, true], "aps.14.02": [15, true], "aps.14.03": [15, true], "aps.14.04": [15, true], "aps.14.05": [15, true], "aps.14.06": [15, true], "aps.14.07": [15, true], "aps.14.08": [15, true], "aps.14.09": [15, true], "aps.14.10": [15, true], "aps.14.11": [15, true], "aps.14.12": [15, true], "aps.14.13": [15, true], "aps.14.14": [15, true], "aps.14.15": [15, true], "aps.14.16": [15, true], "aps.14.17": [15, true], "aps.14.18": [15, true], "aps.14.19": [15, true], "aps.14.20": [15, true], "aps.14.21": [15, true], "aps.14.22": [15, true], "aps.14.23": [15, true], "aps.14.24": [15, true], "aps.14.25": [15, true], "aps.14.26": [15, true], "aps.14.27": [15, true], "aps.14.28": [15, true], "aps.14.29": [15, true], "aps.14.30": [15, true], "aps.14.31": [15, true], "aps.14.32": [15, true], "aps.14.33": [15, true], "aps.14.34": [15, true], "aps.14.35": [15, true], "aps.14.36": [15, true], "aps.14.37": [15, true], "aps.14.38": [15, true], "aps.14.39": [15, true], "aps.15.00": [31, true], "aps.15.01": [30, true], "aps.15.02": [29, true], "aps.15.03": [29, true], "aps.15.04": [29, true], "aps.15.05": [29, true], "aps.15.06": [29, true], "aps.15.07": [29, true], "aps.15.08": [29, true], "aps.15.09": [30, true], "aps.15.10": [30, true], "aps.15.11": [30, true], "aps.15.12": [30, true], "aps.15.13": [30, true], "aps.15.14": [30, true], "aps.15.15": [30, true], "aps.15.16": [30, true], "aps.15.17": [30, true], "aps.15.18": [30, true], "aps.15.19": [31, true], "aps.15.20": [31, true], "aps.15.21": [36, true], "aps.15.22": [34, true], "aps.15.23": [33, true], "aps.15.24": [35, true], "aps.15.25": [36, true], "aps.15.26": [36, true], "aps.15.27": [39, true], "aps.15.28": [40, true], "aps.15.29": [38, true], "aps.15.30": [38, true]}}, "CHA": {"total": 2552, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [7, true], "fun1.2": [11, true], "fun1.3": [18, true], "fun1.4": [19, true], "fun1.5": [44, true], "fun2.1": [9, true], "fun2.2": [24, true], "fun2.3": [16, true], "fun2.4": [43, true], "fun2.5": [49, true], "fun3.1": [47, true], "fun3.2": [50, true], "fun3.3": [63, true], "fun3.4": [69, true], "fun3.5": [75, true], "fun4.1": [50, true], "fun4.2": [52, true], "fun4.3": [66, true], "fun4.4": [68, true], "fun4.5": [82, true], "fun5.1": [49, true], "fun5.2": [50, true], "fun5.3": [50, true], "fun5.4": [52, true], "fun5.5": [53, true], "fun6.1": [54, true], "fun6.2": [54, true], "fun6.3": [54, true], "fun6.4": [56, true], "fun6.5": [57, true], "fun7.1": [22, false], "fun7.2": [16, false], "fun7.3": [16, false], "fun7.4": [6, false], "fun7.5": [6, false], "fun8.1": [10, true], "fun8.2": [9, true], "fun8.3": [11, true], "fun8.4": [11, true], "fun8.5": [11, true], "fun9.1": [8, true], "fun9.2": [11, true], "fun9.3": [21, true], "fun9.4": [39, true], "fun9.5": [30, true]}}}, {"label": "pure.ratio.derived3.credit", "spec": ["pure", "ratio", "derived3", "credit", "x", "none", "recent", "distance", "none", "none"], "APS": {"total": 3568, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [13, true], "aps.02.00": [45, true], "aps.02.01": [15, true], "aps.02.02": [46, true], "aps.02.03": [25, true], "aps.02.04": [30, true], "aps.02.05": [25, true], "aps.02.06": [13, true], "aps.02.07": [14, true], "aps.02.08": [12, true], "aps.02.09": [12, 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": [33, true], "aps.06.00": [10, true], "aps.06.01": [11, true], "aps.06.02": [30, true], "aps.06.03": [12, 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": [40, true], "aps.07.00": [13, true], "aps.07.01": [21, true], "aps.07.02": [34, true], "aps.08.00": [3, true], "aps.08.01": [20, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [10, true], "aps.09.01": [11, true], "aps.09.02": [21, true], "aps.09.03": [14, true], "aps.09.04": [10, true], "aps.09.05": [11, true], "aps.09.06": [10, true], "aps.10.00": [10, true], "aps.10.01": [16, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [33, true], "aps.11.01": [18, true], "aps.11.02": [11, true], "aps.11.03": [26, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [12, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [16, true], "aps.12.12": [14, true], "aps.12.13": [13, true], "aps.12.14": [13, true], "aps.12.15": [13, true], "aps.12.16": [11, true], "aps.12.17": [17, true], "aps.12.18": [16, true], "aps.13.00": [9, false], "aps.14.00": [13, true], "aps.14.01": [13, true], "aps.14.02": [13, true], "aps.14.03": [13, true], "aps.14.04": [13, true], "aps.14.05": [13, true], "aps.14.06": [13, true], "aps.14.07": [13, true], "aps.14.08": [13, true], "aps.14.09": [13, true], "aps.14.10": [13, true], "aps.14.11": [13, true], "aps.14.12": [13, true], "aps.14.13": [13, true], "aps.14.14": [13, true], "aps.14.15": [13, true], "aps.14.16": [13, true], "aps.14.17": [13, true], "aps.14.18": [13, true], "aps.14.19": [13, true], "aps.14.20": [13, true], "aps.14.21": [13, true], "aps.14.22": [13, true], "aps.14.23": [13, true], "aps.14.24": [13, true], "aps.14.25": [13, true], "aps.14.26": [13, true], "aps.14.27": [13, true], "aps.14.28": [13, true], "aps.14.29": [13, true], "aps.14.30": [13, true], "aps.14.31": [13, true], "aps.14.32": [13, true], "aps.14.33": [13, true], "aps.14.34": [13, true], "aps.14.35": [13, true], "aps.14.36": [13, true], "aps.14.37": [13, true], "aps.14.38": [13, true], "aps.14.39": [13, true], "aps.15.00": [19, true], "aps.15.01": [19, true], "aps.15.02": [19, true], "aps.15.03": [19, true], "aps.15.04": [20, true], "aps.15.05": [20, true], "aps.15.06": [20, true], "aps.15.07": [20, true], "aps.15.08": [20, true], "aps.15.09": [20, true], "aps.15.10": [20, true], "aps.15.11": [21, true], "aps.15.12": [21, true], "aps.15.13": [23, true], "aps.15.14": [23, true], "aps.15.15": [22, true], "aps.15.16": [22, true], "aps.15.17": [23, true], "aps.15.18": [22, true], "aps.15.19": [22, true], "aps.15.20": [23, true], "aps.15.21": [22, true], "aps.15.22": [23, true], "aps.15.23": [25, true], "aps.15.24": [24, true], "aps.15.25": [24, true], "aps.15.26": [23, true], "aps.15.27": [23, true], "aps.15.28": [26, true], "aps.15.29": [25, true], "aps.15.30": [27, true]}}, "CHA": {"total": 3020, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [25, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [78, true], "fun2.1": [12, 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": [58, 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": [9, false], "fun7.2": [8, false], "fun7.3": [10, false], "fun7.4": [13, false], "fun7.5": [13, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [36, true], "fun9.1": [16, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [50, true]}}}, {"label": "flatanalog.ratio.derived3.credit", "spec": ["pure", "ratio", "derived3", "credit", "x", "flatanalog", "recent", "distance", "none", "none"], "APS": {"total": 3568, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [13, true], "aps.02.00": [45, true], "aps.02.01": [15, true], "aps.02.02": [46, true], "aps.02.03": [25, true], "aps.02.04": [30, true], "aps.02.05": [25, true], "aps.02.06": [13, true], "aps.02.07": [14, true], "aps.02.08": [12, true], "aps.02.09": [12, 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": [33, true], "aps.06.00": [10, true], "aps.06.01": [11, true], "aps.06.02": [30, true], "aps.06.03": [12, 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": [40, true], "aps.07.00": [13, true], "aps.07.01": [21, true], "aps.07.02": [34, true], "aps.08.00": [3, true], "aps.08.01": [20, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [10, true], "aps.09.01": [11, true], "aps.09.02": [21, true], "aps.09.03": [14, true], "aps.09.04": [10, true], "aps.09.05": [11, true], "aps.09.06": [10, true], "aps.10.00": [10, true], "aps.10.01": [16, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [33, true], "aps.11.01": [18, true], "aps.11.02": [11, true], "aps.11.03": [26, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [12, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [16, true], "aps.12.12": [14, true], "aps.12.13": [13, true], "aps.12.14": [13, true], "aps.12.15": [13, true], "aps.12.16": [11, true], "aps.12.17": [17, true], "aps.12.18": [16, true], "aps.13.00": [9, false], "aps.14.00": [13, true], "aps.14.01": [13, true], "aps.14.02": [13, true], "aps.14.03": [13, true], "aps.14.04": [13, true], "aps.14.05": [13, true], "aps.14.06": [13, true], "aps.14.07": [13, true], "aps.14.08": [13, true], "aps.14.09": [13, true], "aps.14.10": [13, true], "aps.14.11": [13, true], "aps.14.12": [13, true], "aps.14.13": [13, true], "aps.14.14": [13, true], "aps.14.15": [13, true], "aps.14.16": [13, true], "aps.14.17": [13, true], "aps.14.18": [13, true], "aps.14.19": [13, true], "aps.14.20": [13, true], "aps.14.21": [13, true], "aps.14.22": [13, true], "aps.14.23": [13, true], "aps.14.24": [13, true], "aps.14.25": [13, true], "aps.14.26": [13, true], "aps.14.27": [13, true], "aps.14.28": [13, true], "aps.14.29": [13, true], "aps.14.30": [13, true], "aps.14.31": [13, true], "aps.14.32": [13, true], "aps.14.33": [13, true], "aps.14.34": [13, true], "aps.14.35": [13, true], "aps.14.36": [13, true], "aps.14.37": [13, true], "aps.14.38": [13, true], "aps.14.39": [13, true], "aps.15.00": [19, true], "aps.15.01": [19, true], "aps.15.02": [19, true], "aps.15.03": [19, true], "aps.15.04": [20, true], "aps.15.05": [20, true], "aps.15.06": [20, true], "aps.15.07": [20, true], "aps.15.08": [20, true], "aps.15.09": [20, true], "aps.15.10": [20, true], "aps.15.11": [21, true], "aps.15.12": [21, true], "aps.15.13": [23, true], "aps.15.14": [23, true], "aps.15.15": [22, true], "aps.15.16": [22, true], "aps.15.17": [23, true], "aps.15.18": [22, true], "aps.15.19": [22, true], "aps.15.20": [23, true], "aps.15.21": [22, true], "aps.15.22": [23, true], "aps.15.23": [25, true], "aps.15.24": [24, true], "aps.15.25": [24, true], "aps.15.26": [23, true], "aps.15.27": [23, true], "aps.15.28": [26, true], "aps.15.29": [25, true], "aps.15.30": [27, true]}}, "CHA": {"total": 2960, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [25, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [48, true], "fun2.1": [12, 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": [56, true], "fun3.4": [64, true], "fun3.5": [66, true], "fun4.1": [46, true], "fun4.2": [48, true], "fun4.3": [58, true], "fun4.4": [53, true], "fun4.5": [53, 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": [9, false], "fun7.2": [8, false], "fun7.3": [10, false], "fun7.4": [13, false], "fun7.5": [13, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [36, true], "fun9.1": [16, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [50, true]}}}, {"label": "pure+extP+flatanalogmem.ratio.derived3.project", "spec": ["pure", "ratio", "derived3", "project", "x", "flatanalogmem", "recent", "distance", "none", "pattern"], "APS": {"total": 2787, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [8, true], "aps.02.00": [12, true], "aps.02.01": [15, true], "aps.02.02": [11, true], "aps.02.03": [24, true], "aps.02.04": [23, true], "aps.02.05": [24, true], "aps.02.06": [12, true], "aps.02.07": [28, true], "aps.02.08": [23, true], "aps.02.09": [30, true], "aps.03.00": [20, true], "aps.03.01": [16, true], "aps.03.02": [20, true], "aps.04.00": [17, true], "aps.04.01": [22, true], "aps.04.02": [14, true], "aps.04.03": [24, true], "aps.04.04": [23, true], "aps.04.05": [14, true], "aps.04.06": [12, true], "aps.04.07": [12, true], "aps.04.08": [21, true], "aps.04.09": [15, true], "aps.04.10": [15, true], "aps.04.11": [15, true], "aps.04.12": [13, true], "aps.04.13": [15, true], "aps.05.00": [8, true], "aps.06.00": [7, true], "aps.06.01": [8, true], "aps.06.02": [9, true], "aps.06.03": [9, true], "aps.06.04": [9, true], "aps.06.05": [10, true], "aps.06.06": [10, true], "aps.06.07": [10, true], "aps.06.08": [12, true], "aps.06.09": [13, true], "aps.07.00": [10, true], "aps.07.01": [13, true], "aps.07.02": [15, true], "aps.08.00": [3, true], "aps.08.01": [10, true], "aps.08.02": [11, true], "aps.08.03": [13, true], "aps.08.04": [15, true], "aps.09.00": [8, true], "aps.09.01": [10, true], "aps.09.02": [12, true], "aps.09.03": [10, true], "aps.09.04": [11, true], "aps.09.05": [17, true], "aps.09.06": [18, true], "aps.10.00": [9, true], "aps.10.01": [12, true], "aps.10.02": [15, true], "aps.10.03": [21, true], "aps.10.04": [16, true], "aps.11.00": [5, true], "aps.11.01": [5, true], "aps.11.02": [5, true], "aps.11.03": [5, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [10, true], "aps.12.09": [10, true], "aps.12.10": [10, true], "aps.12.11": [10, true], "aps.12.12": [10, true], "aps.12.13": [9, true], "aps.12.14": [9, true], "aps.12.15": [9, true], "aps.12.16": [9, true], "aps.12.17": [9, true], "aps.12.18": [9, true], "aps.13.00": [19, false], "aps.14.00": [15, true], "aps.14.01": [15, true], "aps.14.02": [15, true], "aps.14.03": [15, true], "aps.14.04": [15, true], "aps.14.05": [15, true], "aps.14.06": [15, true], "aps.14.07": [15, true], "aps.14.08": [15, true], "aps.14.09": [15, true], "aps.14.10": [15, true], "aps.14.11": [15, true], "aps.14.12": [15, true], "aps.14.13": [15, true], "aps.14.14": [15, true], "aps.14.15": [15, true], "aps.14.16": [15, true], "aps.14.17": [15, true], "aps.14.18": [15, true], "aps.14.19": [15, true], "aps.14.20": [15, true], "aps.14.21": [15, true], "aps.14.22": [15, true], "aps.14.23": [15, true], "aps.14.24": [15, true], "aps.14.25": [15, true], "aps.14.26": [15, true], "aps.14.27": [15, true], "aps.14.28": [15, true], "aps.14.29": [15, true], "aps.14.30": [15, true], "aps.14.31": [15, true], "aps.14.32": [15, true], "aps.14.33": [15, true], "aps.14.34": [15, true], "aps.14.35": [15, true], "aps.14.36": [15, true], "aps.14.37": [15, true], "aps.14.38": [15, true], "aps.14.39": [15, true], "aps.15.00": [29, true], "aps.15.01": [28, true], "aps.15.02": [29, true], "aps.15.03": [28, true], "aps.15.04": [28, true], "aps.15.05": [29, true], "aps.15.06": [28, true], "aps.15.07": [28, true], "aps.15.08": [29, true], "aps.15.09": [29, true], "aps.15.10": [29, true], "aps.15.11": [29, true], "aps.15.12": [29, true], "aps.15.13": [29, true], "aps.15.14": [29, true], "aps.15.15": [29, true], "aps.15.16": [30, true], "aps.15.17": [29, true], "aps.15.18": [29, true], "aps.15.19": [31, true], "aps.15.20": [30, true], "aps.15.21": [31, true], "aps.15.22": [30, true], "aps.15.23": [30, true], "aps.15.24": [31, true], "aps.15.25": [29, true], "aps.15.26": [31, true], "aps.15.27": [32, true], "aps.15.28": [35, true], "aps.15.29": [38, true], "aps.15.30": [38, true]}}, "CHA": {"total": 2548, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [7, true], "fun1.2": [11, true], "fun1.3": [18, true], "fun1.4": [19, true], "fun1.5": [44, true], "fun2.1": [9, true], "fun2.2": [25, true], "fun2.3": [16, true], "fun2.4": [43, true], "fun2.5": [54, true], "fun3.1": [47, true], "fun3.2": [50, true], "fun3.3": [63, true], "fun3.4": [69, true], "fun3.5": [77, true], "fun4.1": [50, true], "fun4.2": [52, true], "fun4.3": [66, true], "fun4.4": [68, true], "fun4.5": [81, true], "fun5.1": [49, true], "fun5.2": [50, true], "fun5.3": [50, true], "fun5.4": [52, true], "fun5.5": [53, true], "fun6.1": [54, true], "fun6.2": [54, true], "fun6.3": [54, true], "fun6.4": [56, true], "fun6.5": [57, true], "fun7.1": [22, false], "fun7.2": [16, false], "fun7.3": [16, false], "fun7.4": [6, false], "fun7.5": [6, false], "fun8.1": [10, true], "fun8.2": [9, true], "fun8.3": [11, true], "fun8.4": [11, true], "fun8.5": [11, true], "fun9.1": [8, true], "fun9.2": [11, true], "fun9.3": [21, true], "fun9.4": [28, true], "fun9.5": [30, true]}}}, {"label": "pure+extP+flatanalog.ratio.derived3.project", "spec": ["pure", "ratio", "derived3", "project", "x", "flatanalog", "recent", "distance", "none", "pattern"], "APS": {"total": 2780, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [8, true], "aps.02.00": [12, true], "aps.02.01": [15, true], "aps.02.02": [11, true], "aps.02.03": [24, true], "aps.02.04": [23, true], "aps.02.05": [24, true], "aps.02.06": [12, true], "aps.02.07": [28, true], "aps.02.08": [23, true], "aps.02.09": [30, true], "aps.03.00": [20, true], "aps.03.01": [16, true], "aps.03.02": [20, true], "aps.04.00": [17, true], "aps.04.01": [22, true], "aps.04.02": [14, true], "aps.04.03": [18, true], "aps.04.04": [22, true], "aps.04.05": [14, true], "aps.04.06": [12, true], "aps.04.07": [12, true], "aps.04.08": [21, true], "aps.04.09": [15, true], "aps.04.10": [15, true], "aps.04.11": [15, true], "aps.04.12": [13, true], "aps.04.13": [15, true], "aps.05.00": [8, true], "aps.06.00": [7, true], "aps.06.01": [8, true], "aps.06.02": [9, true], "aps.06.03": [9, true], "aps.06.04": [9, true], "aps.06.05": [10, true], "aps.06.06": [10, true], "aps.06.07": [10, true], "aps.06.08": [12, true], "aps.06.09": [13, true], "aps.07.00": [10, true], "aps.07.01": [13, true], "aps.07.02": [15, true], "aps.08.00": [3, true], "aps.08.01": [10, true], "aps.08.02": [11, true], "aps.08.03": [13, true], "aps.08.04": [15, true], "aps.09.00": [8, true], "aps.09.01": [10, true], "aps.09.02": [12, true], "aps.09.03": [10, true], "aps.09.04": [11, true], "aps.09.05": [17, true], "aps.09.06": [18, true], "aps.10.00": [9, true], "aps.10.01": [12, true], "aps.10.02": [15, true], "aps.10.03": [21, true], "aps.10.04": [16, true], "aps.11.00": [5, true], "aps.11.01": [5, true], "aps.11.02": [5, true], "aps.11.03": [5, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [10, true], "aps.12.09": [10, true], "aps.12.10": [10, true], "aps.12.11": [10, true], "aps.12.12": [10, true], "aps.12.13": [9, true], "aps.12.14": [9, true], "aps.12.15": [9, true], "aps.12.16": [9, true], "aps.12.17": [9, true], "aps.12.18": [9, true], "aps.13.00": [24, false], "aps.14.00": [15, true], "aps.14.01": [15, true], "aps.14.02": [15, true], "aps.14.03": [15, true], "aps.14.04": [15, true], "aps.14.05": [15, true], "aps.14.06": [15, true], "aps.14.07": [15, true], "aps.14.08": [15, true], "aps.14.09": [15, true], "aps.14.10": [15, true], "aps.14.11": [15, true], "aps.14.12": [15, true], "aps.14.13": [15, true], "aps.14.14": [15, true], "aps.14.15": [15, true], "aps.14.16": [15, true], "aps.14.17": [15, true], "aps.14.18": [15, true], "aps.14.19": [15, true], "aps.14.20": [15, true], "aps.14.21": [15, true], "aps.14.22": [15, true], "aps.14.23": [15, true], "aps.14.24": [15, true], "aps.14.25": [15, true], "aps.14.26": [15, true], "aps.14.27": [15, true], "aps.14.28": [15, true], "aps.14.29": [15, true], "aps.14.30": [15, true], "aps.14.31": [15, true], "aps.14.32": [15, true], "aps.14.33": [15, true], "aps.14.34": [15, true], "aps.14.35": [15, true], "aps.14.36": [15, true], "aps.14.37": [15, true], "aps.14.38": [15, true], "aps.14.39": [15, true], "aps.15.00": [29, true], "aps.15.01": [28, true], "aps.15.02": [29, true], "aps.15.03": [28, true], "aps.15.04": [28, true], "aps.15.05": [29, true], "aps.15.06": [28, true], "aps.15.07": [28, true], "aps.15.08": [29, true], "aps.15.09": [29, true], "aps.15.10": [29, true], "aps.15.11": [29, true], "aps.15.12": [29, true], "aps.15.13": [29, true], "aps.15.14": [29, true], "aps.15.15": [29, true], "aps.15.16": [30, true], "aps.15.17": [29, true], "aps.15.18": [29, true], "aps.15.19": [31, true], "aps.15.20": [30, true], "aps.15.21": [31, true], "aps.15.22": [30, true], "aps.15.23": [30, true], "aps.15.24": [31, true], "aps.15.25": [29, true], "aps.15.26": [31, true], "aps.15.27": [32, true], "aps.15.28": [35, true], "aps.15.29": [38, true], "aps.15.30": [38, true]}}, "CHA": {"total": 2625, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [7, true], "fun1.2": [11, true], "fun1.3": [18, true], "fun1.4": [19, true], "fun1.5": [44, true], "fun2.1": [9, true], "fun2.2": [25, true], "fun2.3": [16, true], "fun2.4": [43, true], "fun2.5": [53, true], "fun3.1": [49, true], "fun3.2": [56, true], "fun3.3": [71, true], "fun3.4": [82, true], "fun3.5": [78, true], "fun4.1": [56, true], "fun4.2": [58, true], "fun4.3": [68, true], "fun4.4": [68, true], "fun4.5": [81, true], "fun5.1": [49, true], "fun5.2": [50, true], "fun5.3": [50, true], "fun5.4": [52, true], "fun5.5": [53, true], "fun6.1": [58, true], "fun6.2": [59, true], "fun6.3": [63, true], "fun6.4": [66, true], "fun6.5": [67, true], "fun7.1": [21, false], "fun7.2": [19, false], "fun7.3": [18, false], "fun7.4": [6, false], "fun7.5": [6, false], "fun8.1": [10, true], "fun8.2": [9, true], "fun8.3": [11, true], "fun8.4": [11, true], "fun8.5": [11, true], "fun9.1": [8, true], "fun9.2": [11, true], "fun9.3": [21, true], "fun9.4": [28, true], "fun9.5": [26, true]}}}, {"label": "flatanalogmem.ratio.derived3.credit", "spec": ["pure", "ratio", "derived3", "credit", "x", "flatanalogmem", "recent", "distance", "none", "none"], "APS": {"total": 3568, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [13, true], "aps.02.00": [45, true], "aps.02.01": [15, true], "aps.02.02": [46, true], "aps.02.03": [25, true], "aps.02.04": [30, true], "aps.02.05": [25, true], "aps.02.06": [13, true], "aps.02.07": [14, true], "aps.02.08": [12, true], "aps.02.09": [12, 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": [33, true], "aps.06.00": [10, true], "aps.06.01": [11, true], "aps.06.02": [30, true], "aps.06.03": [12, 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": [40, true], "aps.07.00": [13, true], "aps.07.01": [21, true], "aps.07.02": [34, true], "aps.08.00": [3, true], "aps.08.01": [20, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [10, true], "aps.09.01": [11, true], "aps.09.02": [21, true], "aps.09.03": [14, true], "aps.09.04": [10, true], "aps.09.05": [11, true], "aps.09.06": [10, true], "aps.10.00": [10, true], "aps.10.01": [16, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [33, true], "aps.11.01": [18, true], "aps.11.02": [11, true], "aps.11.03": [26, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [12, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [16, true], "aps.12.12": [14, true], "aps.12.13": [13, true], "aps.12.14": [13, true], "aps.12.15": [13, true], "aps.12.16": [11, true], "aps.12.17": [17, true], "aps.12.18": [16, true], "aps.13.00": [9, false], "aps.14.00": [13, true], "aps.14.01": [13, true], "aps.14.02": [13, true], "aps.14.03": [13, true], "aps.14.04": [13, true], "aps.14.05": [13, true], "aps.14.06": [13, true], "aps.14.07": [13, true], "aps.14.08": [13, true], "aps.14.09": [13, true], "aps.14.10": [13, true], "aps.14.11": [13, true], "aps.14.12": [13, true], "aps.14.13": [13, true], "aps.14.14": [13, true], "aps.14.15": [13, true], "aps.14.16": [13, true], "aps.14.17": [13, true], "aps.14.18": [13, true], "aps.14.19": [13, true], "aps.14.20": [13, true], "aps.14.21": [13, true], "aps.14.22": [13, true], "aps.14.23": [13, true], "aps.14.24": [13, true], "aps.14.25": [13, true], "aps.14.26": [13, true], "aps.14.27": [13, true], "aps.14.28": [13, true], "aps.14.29": [13, true], "aps.14.30": [13, true], "aps.14.31": [13, true], "aps.14.32": [13, true], "aps.14.33": [13, true], "aps.14.34": [13, true], "aps.14.35": [13, true], "aps.14.36": [13, true], "aps.14.37": [13, true], "aps.14.38": [13, true], "aps.14.39": [13, true], "aps.15.00": [19, true], "aps.15.01": [19, true], "aps.15.02": [19, true], "aps.15.03": [19, true], "aps.15.04": [20, true], "aps.15.05": [20, true], "aps.15.06": [20, true], "aps.15.07": [20, true], "aps.15.08": [20, true], "aps.15.09": [20, true], "aps.15.10": [20, true], "aps.15.11": [21, true], "aps.15.12": [21, true], "aps.15.13": [23, true], "aps.15.14": [23, true], "aps.15.15": [22, true], "aps.15.16": [22, true], "aps.15.17": [23, true], "aps.15.18": [22, true], "aps.15.19": [22, true], "aps.15.20": [23, true], "aps.15.21": [22, true], "aps.15.22": [23, true], "aps.15.23": [25, true], "aps.15.24": [24, true], "aps.15.25": [24, true], "aps.15.26": [23, true], "aps.15.27": [23, true], "aps.15.28": [26, true], "aps.15.29": [25, true], "aps.15.30": [27, true]}}, "CHA": {"total": 2931, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [25, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [48, true], "fun2.1": [12, 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": [53, true], "fun3.4": [53, true], "fun3.5": [53, true], "fun4.1": [46, true], "fun4.2": [48, true], "fun4.3": [56, true], "fun4.4": [53, true], "fun4.5": [53, 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": [9, false], "fun7.2": [8, false], "fun7.3": [10, false], "fun7.4": [13, false], "fun7.5": [13, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [36, true], "fun9.1": [16, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [50, true]}}}, {"label": "pure.sqrt.derived3.project", "spec": ["pure", "sqrt", "derived3", "project", "x", "none", "recent", "distance", "none", "none"], "APS": {"total": 9739, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [60, true], "aps.02.00": [60, true], "aps.02.01": [59, true], "aps.02.02": [61, true], "aps.02.03": [65, true], "aps.02.04": [66, true], "aps.02.05": [64, true], "aps.02.06": [66, true], "aps.02.07": [66, true], "aps.02.08": [66, true], "aps.02.09": [66, true], "aps.03.00": [61, true], "aps.03.01": [67, true], "aps.03.02": [69, true], "aps.04.00": [61, true], "aps.04.01": [61, true], "aps.04.02": [58, true], "aps.04.03": [58, true], "aps.04.04": [64, true], "aps.04.05": [62, true], "aps.04.06": [60, true], "aps.04.07": [61, true], "aps.04.08": [62, true], "aps.04.09": [63, true], "aps.04.10": [59, true], "aps.04.11": [65, true], "aps.04.12": [61, true], "aps.04.13": [66, true], "aps.05.00": [60, true], "aps.06.00": [60, true], "aps.06.01": [60, true], "aps.06.02": [60, true], "aps.06.03": [60, true], "aps.06.04": [60, true], "aps.06.05": [61, true], "aps.06.06": [61, true], "aps.06.07": [61, true], "aps.06.08": [61, true], "aps.06.09": [61, true], "aps.07.00": [58, true], "aps.07.01": [56, true], "aps.07.02": [55, true], "aps.08.00": [60, true], "aps.08.01": [59, true], "aps.08.02": [57, true], "aps.08.03": [56, true], "aps.08.04": [57, true], "aps.09.00": [60, true], "aps.09.01": [60, true], "aps.09.02": [56, true], "aps.09.03": [55, true], "aps.09.04": [49, true], "aps.09.05": [45, true], "aps.09.06": [43, true], "aps.10.00": [60, true], "aps.10.01": [57, true], "aps.10.02": [57, true], "aps.10.03": [57, true], "aps.10.04": [55, true], "aps.11.00": [59, true], "aps.11.01": [58, true], "aps.11.02": [56, true], "aps.11.03": [57, true], "aps.12.00": [67, true], "aps.12.01": [68, true], "aps.12.02": [68, true], "aps.12.03": [69, true], "aps.12.04": [69, true], "aps.12.05": [69, true], "aps.12.06": [69, true], "aps.12.07": [68, true], "aps.12.08": [64, true], "aps.12.09": [65, true], "aps.12.10": [66, true], "aps.12.11": [66, true], "aps.12.12": [67, true], "aps.12.13": [67, true], "aps.12.14": [67, true], "aps.12.15": [67, true], "aps.12.16": [68, true], "aps.12.17": [68, true], "aps.12.18": [68, true], "aps.13.00": [50, false], "aps.14.00": [66, true], "aps.14.01": [66, true], "aps.14.02": [66, true], "aps.14.03": [66, true], "aps.14.04": [66, true], "aps.14.05": [66, true], "aps.14.06": [66, true], "aps.14.07": [66, true], "aps.14.08": [66, true], "aps.14.09": [66, true], "aps.14.10": [66, true], "aps.14.11": [66, true], "aps.14.12": [66, true], "aps.14.13": [66, true], "aps.14.14": [66, true], "aps.14.15": [66, true], "aps.14.16": [66, true], "aps.14.17": [66, true], "aps.14.18": [66, true], "aps.14.19": [66, true], "aps.14.20": [66, true], "aps.14.21": [66, true], "aps.14.22": [66, true], "aps.14.23": [66, true], "aps.14.24": [66, true], "aps.14.25": [66, true], "aps.14.26": [66, true], "aps.14.27": [66, true], "aps.14.28": [66, true], "aps.14.29": [66, true], "aps.14.30": [66, true], "aps.14.31": [66, true], "aps.14.32": [66, true], "aps.14.33": [66, true], "aps.14.34": [66, true], "aps.14.35": [66, true], "aps.14.36": [66, true], "aps.14.37": [66, true], "aps.14.38": [66, true], "aps.14.39": [66, true], "aps.15.00": [59, true], "aps.15.01": [56, true], "aps.15.02": [58, true], "aps.15.03": [59, true], "aps.15.04": [60, true], "aps.15.05": [60, true], "aps.15.06": [61, true], "aps.15.07": [61, true], "aps.15.08": [61, true], "aps.15.09": [61, true], "aps.15.10": [61, true], "aps.15.11": [61, true], "aps.15.12": [61, true], "aps.15.13": [61, true], "aps.15.14": [61, true], "aps.15.15": [61, true], "aps.15.16": [61, true], "aps.15.17": [61, true], "aps.15.18": [61, true], "aps.15.19": [61, true], "aps.15.20": [61, true], "aps.15.21": [57, true], "aps.15.22": [61, true], "aps.15.23": [57, true], "aps.15.24": [59, true], "aps.15.25": [61, true], "aps.15.26": [62, true], "aps.15.27": [62, true], "aps.15.28": [61, true], "aps.15.29": [60, true], "aps.15.30": [48, true]}}, "CHA": {"total": 3649, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [58, true], "fun1.2": [56, true], "fun1.3": [63, true], "fun1.4": [70, true], "fun1.5": [86, true], "fun2.1": [59, true], "fun2.2": [76, true], "fun2.3": [80, true], "fun2.4": [98, true], "fun2.5": [105, true], "fun3.1": [32, true], "fun3.2": [32, true], "fun3.3": [39, true], "fun3.4": [47, true], "fun3.5": [54, true], "fun4.1": [41, true], "fun4.2": [41, true], "fun4.3": [48, true], "fun4.4": [57, true], "fun4.5": [66, true], "fun5.1": [55, true], "fun5.2": [77, true], "fun5.3": [74, true], "fun5.4": [74, true], "fun5.5": [74, true], "fun6.1": [82, true], "fun6.2": [88, true], "fun6.3": [90, true], "fun6.4": [94, true], "fun6.5": [96, true], "fun7.1": [50, false], "fun7.2": [50, false], "fun7.3": [47, false], "fun7.4": [7, false], "fun7.5": [43, false], "fun8.1": [62, true], "fun8.2": [54, true], "fun8.3": [63, true], "fun8.4": [66, true], "fun8.5": [67, true], "fun9.1": [60, true], "fun9.2": [55, true], "fun9.3": [63, true], "fun9.4": [65, true], "fun9.5": [82, true]}}}, {"label": "flatanalog.sqrt.derived3.project", "spec": ["pure", "sqrt", "derived3", "project", "x", "flatanalog", "recent", "distance", "none", "none"], "APS": {"total": 9746, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [60, true], "aps.02.00": [60, true], "aps.02.01": [59, true], "aps.02.02": [61, true], "aps.02.03": [65, true], "aps.02.04": [66, true], "aps.02.05": [64, true], "aps.02.06": [66, true], "aps.02.07": [66, true], "aps.02.08": [66, true], "aps.02.09": [66, true], "aps.03.00": [68, true], "aps.03.01": [67, true], "aps.03.02": [69, true], "aps.04.00": [61, true], "aps.04.01": [61, true], "aps.04.02": [58, true], "aps.04.03": [58, true], "aps.04.04": [64, true], "aps.04.05": [62, true], "aps.04.06": [60, true], "aps.04.07": [61, true], "aps.04.08": [62, true], "aps.04.09": [63, true], "aps.04.10": [59, true], "aps.04.11": [65, true], "aps.04.12": [61, true], "aps.04.13": [66, true], "aps.05.00": [60, true], "aps.06.00": [60, true], "aps.06.01": [60, true], "aps.06.02": [60, true], "aps.06.03": [60, true], "aps.06.04": [60, true], "aps.06.05": [61, true], "aps.06.06": [61, true], "aps.06.07": [61, true], "aps.06.08": [61, true], "aps.06.09": [61, true], "aps.07.00": [58, true], "aps.07.01": [56, true], "aps.07.02": [55, true], "aps.08.00": [60, true], "aps.08.01": [59, true], "aps.08.02": [57, true], "aps.08.03": [56, true], "aps.08.04": [57, true], "aps.09.00": [60, true], "aps.09.01": [60, true], "aps.09.02": [56, true], "aps.09.03": [55, true], "aps.09.04": [49, true], "aps.09.05": [45, true], "aps.09.06": [43, true], "aps.10.00": [60, true], "aps.10.01": [57, true], "aps.10.02": [57, true], "aps.10.03": [57, true], "aps.10.04": [55, true], "aps.11.00": [59, true], "aps.11.01": [58, true], "aps.11.02": [56, true], "aps.11.03": [57, true], "aps.12.00": [67, true], "aps.12.01": [68, true], "aps.12.02": [68, true], "aps.12.03": [69, true], "aps.12.04": [69, true], "aps.12.05": [69, true], "aps.12.06": [69, true], "aps.12.07": [68, true], "aps.12.08": [64, true], "aps.12.09": [65, true], "aps.12.10": [66, true], "aps.12.11": [66, true], "aps.12.12": [67, true], "aps.12.13": [67, true], "aps.12.14": [67, true], "aps.12.15": [67, true], "aps.12.16": [68, true], "aps.12.17": [68, true], "aps.12.18": [68, true], "aps.13.00": [24, false], "aps.14.00": [66, true], "aps.14.01": [66, true], "aps.14.02": [66, true], "aps.14.03": [66, true], "aps.14.04": [66, true], "aps.14.05": [66, true], "aps.14.06": [66, true], "aps.14.07": [66, true], "aps.14.08": [66, true], "aps.14.09": [66, true], "aps.14.10": [66, true], "aps.14.11": [66, true], "aps.14.12": [66, true], "aps.14.13": [66, true], "aps.14.14": [66, true], "aps.14.15": [66, true], "aps.14.16": [66, true], "aps.14.17": [66, true], "aps.14.18": [66, true], "aps.14.19": [66, true], "aps.14.20": [66, true], "aps.14.21": [66, true], "aps.14.22": [66, true], "aps.14.23": [66, true], "aps.14.24": [66, true], "aps.14.25": [66, true], "aps.14.26": [66, true], "aps.14.27": [66, true], "aps.14.28": [66, true], "aps.14.29": [66, true], "aps.14.30": [66, true], "aps.14.31": [66, true], "aps.14.32": [66, true], "aps.14.33": [66, true], "aps.14.34": [66, true], "aps.14.35": [66, true], "aps.14.36": [66, true], "aps.14.37": [66, true], "aps.14.38": [66, true], "aps.14.39": [66, true], "aps.15.00": [59, true], "aps.15.01": [56, true], "aps.15.02": [58, true], "aps.15.03": [59, true], "aps.15.04": [60, true], "aps.15.05": [60, true], "aps.15.06": [61, true], "aps.15.07": [61, true], "aps.15.08": [61, true], "aps.15.09": [61, true], "aps.15.10": [61, true], "aps.15.11": [61, true], "aps.15.12": [61, true], "aps.15.13": [61, true], "aps.15.14": [61, true], "aps.15.15": [61, true], "aps.15.16": [61, true], "aps.15.17": [61, true], "aps.15.18": [61, true], "aps.15.19": [61, true], "aps.15.20": [61, true], "aps.15.21": [57, true], "aps.15.22": [61, true], "aps.15.23": [57, true], "aps.15.24": [59, true], "aps.15.25": [61, true], "aps.15.26": [62, true], "aps.15.27": [62, true], "aps.15.28": [61, true], "aps.15.29": [60, true], "aps.15.30": [48, true]}}, "CHA": {"total": 3466, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [58, true], "fun1.2": [56, true], "fun1.3": [63, true], "fun1.4": [70, true], "fun1.5": [86, true], "fun2.1": [59, true], "fun2.2": [76, true], "fun2.3": [80, true], "fun2.4": [98, true], "fun2.5": [105, true], "fun3.1": [40, true], "fun3.2": [36, true], "fun3.3": [45, true], "fun3.4": [58, true], "fun3.5": [66, true], "fun4.1": [46, true], "fun4.2": [48, true], "fun4.3": [56, true], "fun4.4": [62, true], "fun4.5": [75, true], "fun5.1": [59, true], "fun5.2": [53, true], "fun5.3": [46, true], "fun5.4": [49, true], "fun5.5": [50, true], "fun6.1": [59, true], "fun6.2": [59, true], "fun6.3": [55, true], "fun6.4": [57, true], "fun6.5": [58, true], "fun7.1": [24, false], "fun7.2": [12, false], "fun7.3": [22, false], "fun7.4": [7, false], "fun7.5": [25, false], "fun8.1": [62, true], "fun8.2": [54, true], "fun8.3": [63, true], "fun8.4": [66, true], "fun8.5": [69, true], "fun9.1": [60, true], "fun9.2": [55, true], "fun9.3": [63, true], "fun9.4": [65, true], "fun9.5": [81, true]}}}, {"label": "pure.sqrt.derived3.credit", "spec": ["pure", "sqrt", "derived3", "credit", "x", "none", "recent", "distance", "none", "none"], "APS": {"total": 7710, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [44, true], "aps.02.00": [45, 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": [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": [43, 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": [43, true], "aps.07.01": [43, true], "aps.07.02": [43, true], "aps.08.00": [43, true], "aps.08.01": [43, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [43, true], "aps.09.01": [43, true], "aps.09.02": [43, true], "aps.09.03": [43, true], "aps.09.04": [43, true], "aps.09.05": [43, true], "aps.09.06": [39, true], "aps.10.00": [43, 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": [43, true], "aps.11.02": [43, true], "aps.11.03": [43, true], "aps.12.00": [50, true], "aps.12.01": [50, 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": [50, true], "aps.12.10": [50, true], "aps.12.11": [50, true], "aps.12.12": [50, true], "aps.12.13": [50, true], "aps.12.14": [50, true], "aps.12.15": [50, true], "aps.12.16": [50, true], "aps.12.17": [50, true], "aps.12.18": [42, true], "aps.13.00": [9, 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": [53, true], "aps.15.01": [53, true], "aps.15.02": [53, true], "aps.15.03": [53, true], "aps.15.04": [53, true], "aps.15.05": [53, true], "aps.15.06": [53, true], "aps.15.07": [53, true], "aps.15.08": [53, 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": [53, true], "aps.15.15": [53, true], "aps.15.16": [53, true], "aps.15.17": [53, true], "aps.15.18": [53, 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": 3130, "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": [78, 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": [9, false], "fun7.2": [10, false], "fun7.3": [10, false], "fun7.4": [7, 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": [50, true]}}}, {"label": "flatanalogmem.sqrt.derived3.project", "spec": ["pure", "sqrt", "derived3", "project", "x", "flatanalogmem", "recent", "distance", "none", "none"], "APS": {"total": 9749, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [60, true], "aps.02.00": [60, true], "aps.02.01": [59, true], "aps.02.02": [61, true], "aps.02.03": [65, true], "aps.02.04": [66, true], "aps.02.05": [64, true], "aps.02.06": [66, true], "aps.02.07": [66, true], "aps.02.08": [66, true], "aps.02.09": [66, true], "aps.03.00": [68, true], "aps.03.01": [67, true], "aps.03.02": [70, true], "aps.04.00": [61, true], "aps.04.01": [61, true], "aps.04.02": [58, true], "aps.04.03": [58, true], "aps.04.04": [64, true], "aps.04.05": [62, true], "aps.04.06": [60, true], "aps.04.07": [61, true], "aps.04.08": [62, true], "aps.04.09": [65, true], "aps.04.10": [59, true], "aps.04.11": [65, true], "aps.04.12": [61, true], "aps.04.13": [66, true], "aps.05.00": [60, true], "aps.06.00": [60, true], "aps.06.01": [60, true], "aps.06.02": [60, true], "aps.06.03": [60, true], "aps.06.04": [60, true], "aps.06.05": [61, true], "aps.06.06": [61, true], "aps.06.07": [61, true], "aps.06.08": [61, true], "aps.06.09": [61, true], "aps.07.00": [58, true], "aps.07.01": [56, true], "aps.07.02": [55, true], "aps.08.00": [60, true], "aps.08.01": [59, true], "aps.08.02": [57, true], "aps.08.03": [56, true], "aps.08.04": [57, true], "aps.09.00": [60, true], "aps.09.01": [60, true], "aps.09.02": [56, true], "aps.09.03": [55, true], "aps.09.04": [49, true], "aps.09.05": [45, true], "aps.09.06": [43, true], "aps.10.00": [60, true], "aps.10.01": [57, true], "aps.10.02": [57, true], "aps.10.03": [57, true], "aps.10.04": [55, true], "aps.11.00": [59, true], "aps.11.01": [58, true], "aps.11.02": [56, true], "aps.11.03": [57, true], "aps.12.00": [67, true], "aps.12.01": [68, true], "aps.12.02": [68, true], "aps.12.03": [69, true], "aps.12.04": [69, true], "aps.12.05": [69, true], "aps.12.06": [69, true], "aps.12.07": [68, true], "aps.12.08": [64, true], "aps.12.09": [65, true], "aps.12.10": [66, true], "aps.12.11": [66, true], "aps.12.12": [67, true], "aps.12.13": [67, true], "aps.12.14": [67, true], "aps.12.15": [67, true], "aps.12.16": [68, true], "aps.12.17": [68, true], "aps.12.18": [68, true], "aps.13.00": [24, false], "aps.14.00": [66, true], "aps.14.01": [66, true], "aps.14.02": [66, true], "aps.14.03": [66, true], "aps.14.04": [66, true], "aps.14.05": [66, true], "aps.14.06": [66, true], "aps.14.07": [66, true], "aps.14.08": [66, true], "aps.14.09": [66, true], "aps.14.10": [66, true], "aps.14.11": [66, true], "aps.14.12": [66, true], "aps.14.13": [66, true], "aps.14.14": [66, true], "aps.14.15": [66, true], "aps.14.16": [66, true], "aps.14.17": [66, true], "aps.14.18": [66, true], "aps.14.19": [66, true], "aps.14.20": [66, true], "aps.14.21": [66, true], "aps.14.22": [66, true], "aps.14.23": [66, true], "aps.14.24": [66, true], "aps.14.25": [66, true], "aps.14.26": [66, true], "aps.14.27": [66, true], "aps.14.28": [66, true], "aps.14.29": [66, true], "aps.14.30": [66, true], "aps.14.31": [66, true], "aps.14.32": [66, true], "aps.14.33": [66, true], "aps.14.34": [66, true], "aps.14.35": [66, true], "aps.14.36": [66, true], "aps.14.37": [66, true], "aps.14.38": [66, true], "aps.14.39": [66, true], "aps.15.00": [59, true], "aps.15.01": [56, true], "aps.15.02": [58, true], "aps.15.03": [59, true], "aps.15.04": [60, true], "aps.15.05": [60, true], "aps.15.06": [61, true], "aps.15.07": [61, true], "aps.15.08": [61, true], "aps.15.09": [61, true], "aps.15.10": [61, true], "aps.15.11": [61, true], "aps.15.12": [61, true], "aps.15.13": [61, true], "aps.15.14": [61, true], "aps.15.15": [61, true], "aps.15.16": [61, true], "aps.15.17": [61, true], "aps.15.18": [61, true], "aps.15.19": [61, true], "aps.15.20": [61, true], "aps.15.21": [57, true], "aps.15.22": [61, true], "aps.15.23": [57, true], "aps.15.24": [59, true], "aps.15.25": [61, true], "aps.15.26": [62, true], "aps.15.27": [62, true], "aps.15.28": [61, true], "aps.15.29": [60, true], "aps.15.30": [48, true]}}, "CHA": {"total": 3469, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [58, true], "fun1.2": [56, true], "fun1.3": [63, true], "fun1.4": [71, true], "fun1.5": [93, true], "fun2.1": [59, true], "fun2.2": [76, true], "fun2.3": [80, true], "fun2.4": [98, true], "fun2.5": [105, true], "fun3.1": [40, true], "fun3.2": [37, true], "fun3.3": [57, true], "fun3.4": [63, true], "fun3.5": [77, true], "fun4.1": [47, true], "fun4.2": [49, true], "fun4.3": [57, true], "fun4.4": [63, true], "fun4.5": [76, true], "fun5.1": [55, true], "fun5.2": [51, true], "fun5.3": [46, true], "fun5.4": [49, true], "fun5.5": [50, true], "fun6.1": [50, true], "fun6.2": [59, true], "fun6.3": [50, true], "fun6.4": [52, true], "fun6.5": [53, true], "fun7.1": [24, false], "fun7.2": [12, false], "fun7.3": [22, false], "fun7.4": [7, false], "fun7.5": [25, false], "fun8.1": [62, true], "fun8.2": [54, true], "fun8.3": [63, true], "fun8.4": [66, true], "fun8.5": [69, true], "fun9.1": [60, true], "fun9.2": [55, true], "fun9.3": [63, true], "fun9.4": [65, true], "fun9.5": [72, true]}}}, {"label": "pure+extP+flatanalogmem.ratio.derived3.credit", "spec": ["pure", "ratio", "derived3", "credit", "x", "flatanalogmem", "recent", "distance", "none", "pattern"], "APS": {"total": 3797, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [13, true], "aps.02.00": [45, true], "aps.02.01": [46, true], "aps.02.02": [46, true], "aps.02.03": [47, true], "aps.02.04": [17, true], "aps.02.05": [10, true], "aps.02.06": [34, true], "aps.02.07": [23, true], "aps.02.08": [21, true], "aps.02.09": [20, 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": [30, true], "aps.06.00": [10, true], "aps.06.01": [11, true], "aps.06.02": [38, true], "aps.06.03": [12, 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": [16, true], "aps.07.01": [24, true], "aps.07.02": [41, true], "aps.08.00": [3, true], "aps.08.01": [41, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [10, true], "aps.09.01": [33, true], "aps.09.02": [43, true], "aps.09.03": [15, true], "aps.09.04": [11, true], "aps.09.05": [17, true], "aps.09.06": [18, true], "aps.10.00": [10, true], "aps.10.01": [43, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [42, true], "aps.11.01": [18, true], "aps.11.02": [11, true], "aps.11.03": [43, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [12, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [16, true], "aps.12.12": [14, true], "aps.12.13": [13, true], "aps.12.14": [13, true], "aps.12.15": [13, true], "aps.12.16": [11, true], "aps.12.17": [17, true], "aps.12.18": [9, true], "aps.13.00": [9, false], "aps.14.00": [13, true], "aps.14.01": [13, true], "aps.14.02": [13, true], "aps.14.03": [13, true], "aps.14.04": [13, true], "aps.14.05": [13, true], "aps.14.06": [13, true], "aps.14.07": [13, true], "aps.14.08": [13, true], "aps.14.09": [13, true], "aps.14.10": [13, true], "aps.14.11": [13, true], "aps.14.12": [13, true], "aps.14.13": [13, true], "aps.14.14": [13, true], "aps.14.15": [13, true], "aps.14.16": [13, true], "aps.14.17": [13, true], "aps.14.18": [13, true], "aps.14.19": [13, true], "aps.14.20": [13, true], "aps.14.21": [13, true], "aps.14.22": [13, true], "aps.14.23": [13, true], "aps.14.24": [13, true], "aps.14.25": [13, true], "aps.14.26": [13, true], "aps.14.27": [13, true], "aps.14.28": [13, true], "aps.14.29": [13, true], "aps.14.30": [13, true], "aps.14.31": [13, true], "aps.14.32": [13, true], "aps.14.33": [13, true], "aps.14.34": [13, true], "aps.14.35": [13, true], "aps.14.36": [13, true], "aps.14.37": [13, true], "aps.14.38": [13, true], "aps.14.39": [13, true], "aps.15.00": [19, true], "aps.15.01": [19, true], "aps.15.02": [19, true], "aps.15.03": [19, true], "aps.15.04": [20, true], "aps.15.05": [20, true], "aps.15.06": [20, true], "aps.15.07": [20, true], "aps.15.08": [20, true], "aps.15.09": [20, true], "aps.15.10": [20, true], "aps.15.11": [21, true], "aps.15.12": [21, true], "aps.15.13": [23, true], "aps.15.14": [24, true], "aps.15.15": [24, true], "aps.15.16": [23, true], "aps.15.17": [23, true], "aps.15.18": [23, true], "aps.15.19": [23, true], "aps.15.20": [22, true], "aps.15.21": [22, true], "aps.15.22": [24, true], "aps.15.23": [26, true], "aps.15.24": [25, true], "aps.15.25": [25, true], "aps.15.26": [23, true], "aps.15.27": [23, true], "aps.15.28": [26, true], "aps.15.29": [26, true], "aps.15.30": [26, true]}}, "CHA": {"total": 3001, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [25, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [74, true], "fun2.1": [42, 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": [53, true], "fun3.4": [53, true], "fun3.5": [53, true], "fun4.1": [46, true], "fun4.2": [48, true], "fun4.3": [56, true], "fun4.4": [53, true], "fun4.5": [53, 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": [9, false], "fun7.2": [8, false], "fun7.3": [10, false], "fun7.4": [13, false], "fun7.5": [13, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [50, true], "fun9.1": [16, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [50, true]}}}, {"label": "pure+extP.ratio.derived3.credit", "spec": ["pure", "ratio", "derived3", "credit", "x", "none", "recent", "distance", "none", "pattern"], "APS": {"total": 3797, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [13, true], "aps.02.00": [45, true], "aps.02.01": [46, true], "aps.02.02": [46, true], "aps.02.03": [47, true], "aps.02.04": [17, true], "aps.02.05": [10, true], "aps.02.06": [34, true], "aps.02.07": [23, true], "aps.02.08": [21, true], "aps.02.09": [20, 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": [30, true], "aps.06.00": [10, true], "aps.06.01": [11, true], "aps.06.02": [38, true], "aps.06.03": [12, 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": [16, true], "aps.07.01": [24, true], "aps.07.02": [41, true], "aps.08.00": [3, true], "aps.08.01": [41, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [10, true], "aps.09.01": [33, true], "aps.09.02": [43, true], "aps.09.03": [15, true], "aps.09.04": [11, true], "aps.09.05": [17, true], "aps.09.06": [18, true], "aps.10.00": [10, true], "aps.10.01": [43, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [42, true], "aps.11.01": [18, true], "aps.11.02": [11, true], "aps.11.03": [43, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [12, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [16, true], "aps.12.12": [14, true], "aps.12.13": [13, true], "aps.12.14": [13, true], "aps.12.15": [13, true], "aps.12.16": [11, true], "aps.12.17": [17, true], "aps.12.18": [9, true], "aps.13.00": [9, false], "aps.14.00": [13, true], "aps.14.01": [13, true], "aps.14.02": [13, true], "aps.14.03": [13, true], "aps.14.04": [13, true], "aps.14.05": [13, true], "aps.14.06": [13, true], "aps.14.07": [13, true], "aps.14.08": [13, true], "aps.14.09": [13, true], "aps.14.10": [13, true], "aps.14.11": [13, true], "aps.14.12": [13, true], "aps.14.13": [13, true], "aps.14.14": [13, true], "aps.14.15": [13, true], "aps.14.16": [13, true], "aps.14.17": [13, true], "aps.14.18": [13, true], "aps.14.19": [13, true], "aps.14.20": [13, true], "aps.14.21": [13, true], "aps.14.22": [13, true], "aps.14.23": [13, true], "aps.14.24": [13, true], "aps.14.25": [13, true], "aps.14.26": [13, true], "aps.14.27": [13, true], "aps.14.28": [13, true], "aps.14.29": [13, true], "aps.14.30": [13, true], "aps.14.31": [13, true], "aps.14.32": [13, true], "aps.14.33": [13, true], "aps.14.34": [13, true], "aps.14.35": [13, true], "aps.14.36": [13, true], "aps.14.37": [13, true], "aps.14.38": [13, true], "aps.14.39": [13, true], "aps.15.00": [19, true], "aps.15.01": [19, true], "aps.15.02": [19, true], "aps.15.03": [19, true], "aps.15.04": [20, true], "aps.15.05": [20, true], "aps.15.06": [20, true], "aps.15.07": [20, true], "aps.15.08": [20, true], "aps.15.09": [20, true], "aps.15.10": [20, true], "aps.15.11": [21, true], "aps.15.12": [21, true], "aps.15.13": [23, true], "aps.15.14": [24, true], "aps.15.15": [24, true], "aps.15.16": [23, true], "aps.15.17": [23, true], "aps.15.18": [23, true], "aps.15.19": [23, true], "aps.15.20": [22, true], "aps.15.21": [22, true], "aps.15.22": [24, true], "aps.15.23": [26, true], "aps.15.24": [25, true], "aps.15.25": [25, true], "aps.15.26": [23, true], "aps.15.27": [23, true], "aps.15.28": [26, true], "aps.15.29": [26, true], "aps.15.30": [26, true]}}, "CHA": {"total": 3064, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [25, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [78, true], "fun2.1": [42, 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": [58, 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": [9, false], "fun7.2": [8, false], "fun7.3": [10, false], "fun7.4": [13, false], "fun7.5": [13, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [50, true], "fun9.1": [16, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [50, true]}}}, {"label": "flatanalogmem.sqrt.derived3.credit", "spec": ["pure", "sqrt", "derived3", "credit", "x", "flatanalogmem", "recent", "distance", "none", "none"], "APS": {"total": 7710, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [44, true], "aps.02.00": [45, 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": [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": [43, 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": [43, true], "aps.07.01": [43, true], "aps.07.02": [43, true], "aps.08.00": [43, true], "aps.08.01": [43, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [43, true], "aps.09.01": [43, true], "aps.09.02": [43, true], "aps.09.03": [43, true], "aps.09.04": [43, true], "aps.09.05": [43, true], "aps.09.06": [39, true], "aps.10.00": [43, 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": [43, true], "aps.11.02": [43, true], "aps.11.03": [43, true], "aps.12.00": [50, true], "aps.12.01": [50, 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": [50, true], "aps.12.10": [50, true], "aps.12.11": [50, true], "aps.12.12": [50, true], "aps.12.13": [50, true], "aps.12.14": [50, true], "aps.12.15": [50, true], "aps.12.16": [50, true], "aps.12.17": [50, true], "aps.12.18": [42, true], "aps.13.00": [9, 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": [53, true], "aps.15.01": [53, true], "aps.15.02": [53, true], "aps.15.03": [53, true], "aps.15.04": [53, true], "aps.15.05": [53, true], "aps.15.06": [53, true], "aps.15.07": [53, true], "aps.15.08": [53, 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": [53, true], "aps.15.15": [53, true], "aps.15.16": [53, true], "aps.15.17": [53, true], "aps.15.18": [53, 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": 3130, "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": [78, 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": [9, false], "fun7.2": [10, false], "fun7.3": [10, false], "fun7.4": [7, 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": [50, true]}}}, {"label": "flatanalog.sqrt.derived3.credit", "spec": ["pure", "sqrt", "derived3", "credit", "x", "flatanalog", "recent", "distance", "none", "none"], "APS": {"total": 7710, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [44, true], "aps.02.00": [45, 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": [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": [43, 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": [43, true], "aps.07.01": [43, true], "aps.07.02": [43, true], "aps.08.00": [43, true], "aps.08.01": [43, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [43, true], "aps.09.01": [43, true], "aps.09.02": [43, true], "aps.09.03": [43, true], "aps.09.04": [43, true], "aps.09.05": [43, true], "aps.09.06": [39, true], "aps.10.00": [43, 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": [43, true], "aps.11.02": [43, true], "aps.11.03": [43, true], "aps.12.00": [50, true], "aps.12.01": [50, 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": [50, true], "aps.12.10": [50, true], "aps.12.11": [50, true], "aps.12.12": [50, true], "aps.12.13": [50, true], "aps.12.14": [50, true], "aps.12.15": [50, true], "aps.12.16": [50, true], "aps.12.17": [50, true], "aps.12.18": [42, true], "aps.13.00": [9, 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": [53, true], "aps.15.01": [53, true], "aps.15.02": [53, true], "aps.15.03": [53, true], "aps.15.04": [53, true], "aps.15.05": [53, true], "aps.15.06": [53, true], "aps.15.07": [53, true], "aps.15.08": [53, 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": [53, true], "aps.15.15": [53, true], "aps.15.16": [53, true], "aps.15.17": [53, true], "aps.15.18": [53, 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": 3130, "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": [78, 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": [9, false], "fun7.2": [10, false], "fun7.3": [10, false], "fun7.4": [7, 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": [50, true]}}}, {"label": "pure+extP+flatanalog.ratio.derived3.credit", "spec": ["pure", "ratio", "derived3", "credit", "x", "flatanalog", "recent", "distance", "none", "pattern"], "APS": {"total": 3797, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [13, true], "aps.02.00": [45, true], "aps.02.01": [46, true], "aps.02.02": [46, true], "aps.02.03": [47, true], "aps.02.04": [17, true], "aps.02.05": [10, true], "aps.02.06": [34, true], "aps.02.07": [23, true], "aps.02.08": [21, true], "aps.02.09": [20, 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": [30, true], "aps.06.00": [10, true], "aps.06.01": [11, true], "aps.06.02": [38, true], "aps.06.03": [12, 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": [16, true], "aps.07.01": [24, true], "aps.07.02": [41, true], "aps.08.00": [3, true], "aps.08.01": [41, true], "aps.08.02": [43, true], "aps.08.03": [43, true], "aps.08.04": [43, true], "aps.09.00": [10, true], "aps.09.01": [33, true], "aps.09.02": [43, true], "aps.09.03": [15, true], "aps.09.04": [11, true], "aps.09.05": [17, true], "aps.09.06": [18, true], "aps.10.00": [10, true], "aps.10.01": [43, true], "aps.10.02": [43, true], "aps.10.03": [43, true], "aps.10.04": [43, true], "aps.11.00": [42, true], "aps.11.01": [18, true], "aps.11.02": [11, true], "aps.11.03": [43, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [12, true], "aps.12.09": [12, true], "aps.12.10": [11, true], "aps.12.11": [16, true], "aps.12.12": [14, true], "aps.12.13": [13, true], "aps.12.14": [13, true], "aps.12.15": [13, true], "aps.12.16": [11, true], "aps.12.17": [17, true], "aps.12.18": [9, true], "aps.13.00": [9, false], "aps.14.00": [13, true], "aps.14.01": [13, true], "aps.14.02": [13, true], "aps.14.03": [13, true], "aps.14.04": [13, true], "aps.14.05": [13, true], "aps.14.06": [13, true], "aps.14.07": [13, true], "aps.14.08": [13, true], "aps.14.09": [13, true], "aps.14.10": [13, true], "aps.14.11": [13, true], "aps.14.12": [13, true], "aps.14.13": [13, true], "aps.14.14": [13, true], "aps.14.15": [13, true], "aps.14.16": [13, true], "aps.14.17": [13, true], "aps.14.18": [13, true], "aps.14.19": [13, true], "aps.14.20": [13, true], "aps.14.21": [13, true], "aps.14.22": [13, true], "aps.14.23": [13, true], "aps.14.24": [13, true], "aps.14.25": [13, true], "aps.14.26": [13, true], "aps.14.27": [13, true], "aps.14.28": [13, true], "aps.14.29": [13, true], "aps.14.30": [13, true], "aps.14.31": [13, true], "aps.14.32": [13, true], "aps.14.33": [13, true], "aps.14.34": [13, true], "aps.14.35": [13, true], "aps.14.36": [13, true], "aps.14.37": [13, true], "aps.14.38": [13, true], "aps.14.39": [13, true], "aps.15.00": [19, true], "aps.15.01": [19, true], "aps.15.02": [19, true], "aps.15.03": [19, true], "aps.15.04": [20, true], "aps.15.05": [20, true], "aps.15.06": [20, true], "aps.15.07": [20, true], "aps.15.08": [20, true], "aps.15.09": [20, true], "aps.15.10": [20, true], "aps.15.11": [21, true], "aps.15.12": [21, true], "aps.15.13": [23, true], "aps.15.14": [24, true], "aps.15.15": [24, true], "aps.15.16": [23, true], "aps.15.17": [23, true], "aps.15.18": [23, true], "aps.15.19": [23, true], "aps.15.20": [22, true], "aps.15.21": [22, true], "aps.15.22": [24, true], "aps.15.23": [26, true], "aps.15.24": [25, true], "aps.15.25": [25, true], "aps.15.26": [23, true], "aps.15.27": [23, true], "aps.15.28": [26, true], "aps.15.29": [26, true], "aps.15.30": [26, true]}}, "CHA": {"total": 3034, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [25, true], "fun1.2": [47, true], "fun1.3": [50, true], "fun1.4": [58, true], "fun1.5": [78, true], "fun2.1": [42, 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": [56, true], "fun3.4": [64, true], "fun3.5": [66, true], "fun4.1": [46, true], "fun4.2": [48, true], "fun4.3": [58, true], "fun4.4": [53, true], "fun4.5": [53, 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": [9, false], "fun7.2": [8, false], "fun7.3": [10, false], "fun7.4": [13, false], "fun7.5": [13, false], "fun8.1": [44, true], "fun8.2": [45, true], "fun8.3": [47, true], "fun8.4": [48, true], "fun8.5": [50, true], "fun9.1": [16, true], "fun9.2": [45, true], "fun9.3": [47, true], "fun9.4": [48, true], "fun9.5": [50, true]}}}, {"label": "pure+extP.ratio.derived3.project", "spec": ["pure", "ratio", "derived3", "project", "x", "none", "recent", "distance", "none", "pattern"], "APS": {"total": 2782, "solved": 153, "n": 154, "over": 0, "per": {"aps.01.00": [8, true], "aps.02.00": [12, true], "aps.02.01": [15, true], "aps.02.02": [11, true], "aps.02.03": [24, true], "aps.02.04": [23, true], "aps.02.05": [24, true], "aps.02.06": [12, true], "aps.02.07": [28, true], "aps.02.08": [23, true], "aps.02.09": [30, true], "aps.03.00": [22, true], "aps.03.01": [16, true], "aps.03.02": [20, true], "aps.04.00": [17, true], "aps.04.01": [22, true], "aps.04.02": [14, true], "aps.04.03": [18, true], "aps.04.04": [22, true], "aps.04.05": [14, true], "aps.04.06": [12, true], "aps.04.07": [12, true], "aps.04.08": [21, true], "aps.04.09": [15, true], "aps.04.10": [15, true], "aps.04.11": [15, true], "aps.04.12": [13, true], "aps.04.13": [15, true], "aps.05.00": [8, true], "aps.06.00": [7, true], "aps.06.01": [8, true], "aps.06.02": [9, true], "aps.06.03": [9, true], "aps.06.04": [9, true], "aps.06.05": [10, true], "aps.06.06": [10, true], "aps.06.07": [10, true], "aps.06.08": [12, true], "aps.06.09": [13, true], "aps.07.00": [10, true], "aps.07.01": [13, true], "aps.07.02": [15, true], "aps.08.00": [3, true], "aps.08.01": [10, true], "aps.08.02": [11, true], "aps.08.03": [13, true], "aps.08.04": [15, true], "aps.09.00": [8, true], "aps.09.01": [10, true], "aps.09.02": [12, true], "aps.09.03": [10, true], "aps.09.04": [11, true], "aps.09.05": [17, true], "aps.09.06": [18, true], "aps.10.00": [9, true], "aps.10.01": [12, true], "aps.10.02": [15, true], "aps.10.03": [21, true], "aps.10.04": [16, true], "aps.11.00": [5, true], "aps.11.01": [5, true], "aps.11.02": [5, true], "aps.11.03": [5, true], "aps.12.00": [9, true], "aps.12.01": [9, true], "aps.12.02": [10, true], "aps.12.03": [10, true], "aps.12.04": [10, true], "aps.12.05": [10, true], "aps.12.06": [10, true], "aps.12.07": [10, true], "aps.12.08": [10, true], "aps.12.09": [10, true], "aps.12.10": [10, true], "aps.12.11": [10, true], "aps.12.12": [10, true], "aps.12.13": [9, true], "aps.12.14": [9, true], "aps.12.15": [9, true], "aps.12.16": [9, true], "aps.12.17": [9, true], "aps.12.18": [9, true], "aps.13.00": [28, false], "aps.14.00": [15, true], "aps.14.01": [15, true], "aps.14.02": [15, true], "aps.14.03": [15, true], "aps.14.04": [15, true], "aps.14.05": [15, true], "aps.14.06": [15, true], "aps.14.07": [15, true], "aps.14.08": [15, true], "aps.14.09": [15, true], "aps.14.10": [15, true], "aps.14.11": [15, true], "aps.14.12": [15, true], "aps.14.13": [15, true], "aps.14.14": [15, true], "aps.14.15": [15, true], "aps.14.16": [15, true], "aps.14.17": [15, true], "aps.14.18": [15, true], "aps.14.19": [15, true], "aps.14.20": [15, true], "aps.14.21": [15, true], "aps.14.22": [15, true], "aps.14.23": [15, true], "aps.14.24": [15, true], "aps.14.25": [15, true], "aps.14.26": [15, true], "aps.14.27": [15, true], "aps.14.28": [15, true], "aps.14.29": [15, true], "aps.14.30": [15, true], "aps.14.31": [15, true], "aps.14.32": [15, true], "aps.14.33": [15, true], "aps.14.34": [15, true], "aps.14.35": [15, true], "aps.14.36": [15, true], "aps.14.37": [15, true], "aps.14.38": [15, true], "aps.14.39": [15, true], "aps.15.00": [29, true], "aps.15.01": [28, true], "aps.15.02": [29, true], "aps.15.03": [28, true], "aps.15.04": [28, true], "aps.15.05": [29, true], "aps.15.06": [28, true], "aps.15.07": [28, true], "aps.15.08": [29, true], "aps.15.09": [29, true], "aps.15.10": [29, true], "aps.15.11": [29, true], "aps.15.12": [29, true], "aps.15.13": [29, true], "aps.15.14": [29, true], "aps.15.15": [29, true], "aps.15.16": [30, true], "aps.15.17": [29, true], "aps.15.18": [29, true], "aps.15.19": [31, true], "aps.15.20": [30, true], "aps.15.21": [31, true], "aps.15.22": [30, true], "aps.15.23": [30, true], "aps.15.24": [31, true], "aps.15.25": [29, true], "aps.15.26": [31, true], "aps.15.27": [32, true], "aps.15.28": [35, true], "aps.15.29": [38, true], "aps.15.30": [38, true]}}, "CHA": {"total": 3169, "solved": 40, "n": 45, "over": 0, "per": {"fun1.1": [7, true], "fun1.2": [11, true], "fun1.3": [18, true], "fun1.4": [19, true], "fun1.5": [42, true], "fun2.1": [9, true], "fun2.2": [25, true], "fun2.3": [16, true], "fun2.4": [43, true], "fun2.5": [53, true], "fun3.1": [66, true], "fun3.2": [56, true], "fun3.3": [76, true], "fun3.4": [73, true], "fun3.5": [75, true], "fun4.1": [87, true], "fun4.2": [93, true], "fun4.3": [90, true], "fun4.4": [121, true], "fun4.5": [131, true], "fun5.1": [88, true], "fun5.2": [88, true], "fun5.3": [90, true], "fun5.4": [94, true], "fun5.5": [96, true], "fun6.1": [88, true], "fun6.2": [88, true], "fun6.3": [90, true], "fun6.4": [94, true], "fun6.5": [96, true], "fun7.1": [28, false], "fun7.2": [50, false], "fun7.3": [53, false], "fun7.4": [6, false], "fun7.5": [6, false], "fun8.1": [10, true], "fun8.2": [9, true], "fun8.3": [11, true], "fun8.4": [11, true], "fun8.5": [11, true], "fun9.1": [8, true], "fun9.2": [11, true], "fun9.3": [21, true], "fun9.4": [28, true], "fun9.5": [26, true]}}}] \ No newline at end of file diff --git a/sweep_full.py b/sweep_full.py index ee95781..72f7cdb 100644 --- a/sweep_full.py +++ b/sweep_full.py @@ -422,10 +422,12 @@ def main(): exitmode = "--flatexit" in sys.argv # the sticky regime with an exit by similarity judgemode = "--flatjudge" in sys.argv # one similarity judgment at entry and exit analogmode = "--flatanalog" in sys.argv # entry by analogy with the run's own past + memmode = "--flatanalogmem" in sys.argv # the analogy remembered as a property of the run combomode = "--combo" in sys.argv # modes A and B together pointsmode = "--points" in sys.argv # mode A: triple by shape dirmode = "--direction" in sys.argv # mode B: far end by dissimilarity - specs = (build_grid_flat(smoke, ("flatanalog", "flatstickexit")) if analogmode else + specs = (build_grid_flat(smoke, ("flatanalogmem", "flatanalog")) if memmode else + build_grid_flat(smoke, ("flatanalog", "flatstickexit")) if analogmode else build_grid_flat(smoke, ("flatjudge", "flatstickexit")) if judgemode else build_grid_flat(smoke, ("flatstickexit", "flatstickmid")) if exitmode else build_grid_flat(smoke, ("flatstick", "flatstickmid")) if stickmode else @@ -458,8 +460,9 @@ def main(): # the published sweep_full.json is what verify_article.py checks the paper # against, so the log grid never writes into it - if analogmode or judgemode or exitmode or stickmode or creepmode or flat2mode or flatmode or ext2mode or extmode or decmode or ordermode or capmode or combomode or pointsmode or dirmode: - base = ("sweep_flatanalog" if analogmode else + if memmode or analogmode or judgemode or exitmode or stickmode or creepmode or flat2mode or flatmode or ext2mode or extmode or decmode or ordermode or capmode or combomode or pointsmode or dirmode: + base = ("sweep_flatanalogmem" if memmode else + "sweep_flatanalog" if analogmode else "sweep_flatjudge" if judgemode else "sweep_flatexit" if exitmode else "sweep_flatstick" if stickmode else diff --git a/tests/test_flat_gate.py b/tests/test_flat_gate.py index 1e3aaa5..0cf7247 100644 --- a/tests/test_flat_gate.py +++ b/tests/test_flat_gate.py @@ -267,3 +267,36 @@ def test_a_line_is_never_analogous_and_an_exact_power_repeats_with_its_order(): new = _config3(0.1, p(0.1), 0.2, p(0.2), 0.4, p(0.4)) # the same shape, zoomed by 4 assert new[0] == pytest.approx(old[0]) and new[1] == pytest.approx(old[1]) assert _analogous_and_steep(new, [old]) + + +# ---- PREREG_flat_analogy_mem_2026-09-21: the analogy remembered as a property of the run ---- +@pytest.mark.parametrize("f,a,b", PROBS) +@pytest.mark.parametrize("guard", ("project", "credit")) +@pytest.mark.parametrize("ext", ("none", "pattern")) +def test_the_guarantee_holds_with_the_remembered_analogy(f, a, b, guard, ext): + x, n, ok = pure_root(f, a, b, XTOL, MAXFEV, similarity="ratio", scale="derived3", + guard=guard, prestep="flatanalogmem", extrapolate=ext) + assert ok and min(a, b) <= x <= max(a, b) + half = math.ceil(math.log2(abs(b - a) / XTOL)) + assert n <= (2 * half + 3 if guard == "project" else half + 4), n + + +def test_the_remembered_analogy_spares_simple_roots_and_enters_no_later(): + """Measured before pinning: simple roots cost exactly the rule without the regime; + on powers the entry is never later than the same-state analogy (x^19: 67 -> 57).""" + for f, a, b in ((lambda t: 3.0 * t - 1.0, -2.0, 5.0), + (lambda t: t ** 3 - 2.0 * t - 5.0, 1.0, 4.0), + (lambda t: math.exp(t) - 2.0, 0.0, 3.0)): + st = {} + _x, n1, _ = pure_root(f, a, b, XTOL, MAXFEV, similarity="ratio", scale="derived3", + guard="project", prestep="flatanalogmem", stats=st) + _x, n0, _ = pure_root(f, a, b, XTOL, MAXFEV, similarity="ratio", scale="derived3", + guard="project") + assert st.get("stick_entries", 0) == 0 and n1 == n0 + for f, a, b in ((lambda t: t ** 9, -1.0, 2.0), (lambda t: t ** 19, -10.0, 100.0), + (lambda t: 6.0 * (t - 2.0) ** 5, 0.0, 10.0)): + _x, nm, _ = pure_root(f, a, b, XTOL, MAXFEV, similarity="ratio", scale="derived3", + guard="project", prestep="flatanalogmem") + _x, na, _ = pure_root(f, a, b, XTOL, MAXFEV, similarity="ratio", scale="derived3", + guard="project", prestep="flatanalog") + assert nm <= na, (nm, na)