1{2 "experiment": "dlog_with_preprocessing_python",3 "timestamp_utc": "2026-11-01T05:43:42+00:00",4 "command": "experiments/synthetic_ecdlp/preprocessing_python.py",5 "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier",6 "seed": 34,7 "host": {8 "hostname": "MacBookPro-de-simon-pierre-2.local",9 "os": "Darwin 27.0.0 (27.0)",10 "machine": "arm64",11 "python": "3.12.13",12 "cpu": "Apple M5 Max",13 "cores": 18,14 "ram_gb": 48.015 },16 "software": {17 "numpy": "2.5.4",18 "scipy": "1.18.1",19 "sympy": "1.14.0",20 "gmpy2": "2.3.2",21 "z3": "5.3.3",22 "pysat": "1.9.dev17",23 "ecdsa": "0.19.2",24 "coincurve": "21.0.0"25 },26 "params": {27 "r": 20,28 "instances": 6029 },30 "measurements": {31 "rows": [32 {33 "bits": 22,34 "n": "3440491",35 "T": 16,36 "W": 463,37 "dp_bits": 9,38 "offline_group_ops": 8077,39 "offline_steps": 7507,40 "table_entries": 16,41 "instances": 60,42 "online_mean": 687.2,43 "online_median": 653.5,44 "online_sd": 434.97707985593905,45 "online_ci95_halfwidth": 110.06438710258038,46 "pred_sqrt_n_over_T": 463.71401477634896,47 "sqrt_n": 1854.8560591053958,48 "ratio_online_to_pred": 1.4819478775758788,49 "per_instance_speedup_vs_sqrt_n": 2.69915026063066950 },51 {52 "bits": 22,53 "n": "3276347",54 "T": 64,55 "W": 226,56 "dp_bits": 8,57 "offline_group_ops": 28781,58 "offline_steps": 25654,59 "table_entries": 64,60 "instances": 60,61 "online_mean": 375.8666666666667,62 "online_median": 288.5,63 "online_sd": 258.9529215041907,64 "online_ci95_halfwidth": 65.52412969258249,65 "pred_sqrt_n_over_T": 226.25852884477084,66 "sqrt_n": 1810.0682307581667,67 "ratio_online_to_pred": 1.66122651192759,68 "per_instance_speedup_vs_sqrt_n": 4.81571895377305769 },70 {71 "bits": 22,72 "n": "3915553",73 "T": 256,74 "W": 123,75 "dp_bits": 7,76 "offline_group_ops": 61532,77 "offline_steps": 49919,78 "table_entries": 256,79 "instances": 60,80 "online_mean": 194.88333333333333,81 "online_median": 171.0,82 "online_sd": 120.61731380232644,83 "online_ci95_halfwidth": 30.520391377884703,84 "pred_sqrt_n_over_T": 123.67347697162072,85 "sqrt_n": 1978.7756315459314,86 "ratio_online_to_pred": 1.5757892323028413,87 "per_instance_speedup_vs_sqrt_n": 10.15364216990985188 },89 {90 "bits": 22,91 "n": "3123823",92 "T": 1024,93 "W": 55,94 "dp_bits": 6,95 "offline_group_ops": 160700,96 "offline_steps": 110483,97 "table_entries": 1024,98 "instances": 60,99 "online_mean": 84.81666666666666,100 "online_median": 77.0,101 "online_sd": 54.39347131983968,102 "online_ci95_halfwidth": 13.763447226191124,103 "pred_sqrt_n_over_T": 55.23231299192077,104 "sqrt_n": 1767.4340157414647,105 "ratio_online_to_pred": 1.5356348860326274,106 "per_instance_speedup_vs_sqrt_n": 20.838286685888757107 },108 {109 "bits": 22,110 "n": "4011377",111 "T": 4096,112 "W": 31,113 "dp_bits": 5,114 "offline_group_ops": 389668,115 "offline_steps": 204383,116 "table_entries": 4096,117 "instances": 60,118 "online_mean": 48.483333333333334,119 "online_median": 32.0,120 "online_sd": 45.05126400989088,121 "online_ci95_halfwidth": 11.39954262207886,122 "pred_sqrt_n_over_T": 31.29440985049287,123 "sqrt_n": 2002.8422304315436,124 "ratio_online_to_pred": 1.5492649826265936,125 "per_instance_speedup_vs_sqrt_n": 41.30991193739863126 },127 {128 "bits": 26,129 "n": "40999477",130 "T": 16,131 "W": 1600,132 "dp_bits": 11,133 "offline_group_ops": 51315,134 "offline_steps": 50252,135 "table_entries": 16,136 "instances": 60,137 "online_mean": 2429.4166666666665,138 "online_median": 2115.5,139 "online_sd": 1703.0034086055794,140 "online_ci95_halfwidth": 430.9193175508397,141 "pred_sqrt_n_over_T": 1600.770849465969,142 "sqrt_n": 6403.083397863876,143 "ratio_online_to_pred": 1.5176542398164865,144 "per_instance_speedup_vs_sqrt_n": 2.63564644374049145 },146 {147 "bits": 26,148 "n": "48020473",149 "T": 64,150 "W": 866,151 "dp_bits": 10,152 "offline_group_ops": 79772,153 "offline_steps": 76591,154 "table_entries": 64,155 "instances": 60,156 "online_mean": 1304.8833333333334,157 "online_median": 1269.5,158 "online_sd": 758.067962908926,159 "online_ci95_halfwidth": 191.81766024845726,160 "pred_sqrt_n_over_T": 866.2100730336723,161 "sqrt_n": 6929.680584269378,162 "ratio_online_to_pred": 1.5064282602525318,163 "per_instance_speedup_vs_sqrt_n": 5.310574828607445164 },165 {166 "bits": 26,167 "n": "61126963",168 "T": 256,169 "W": 488,170 "dp_bits": 9,171 "offline_group_ops": 262246,172 "offline_steps": 247341,173 "table_entries": 256,174 "instances": 60,175 "online_mean": 724.2666666666667,176 "online_median": 623.5,177 "online_sd": 471.73364188797143,178 "online_ci95_halfwidth": 119.36508054002194,179 "pred_sqrt_n_over_T": 488.6483390115534,180 "sqrt_n": 7818.373424184854,181 "ratio_online_to_pred": 1.4821838300560404,182 "per_instance_speedup_vs_sqrt_n": 10.794882305115317183 },184 {185 "bits": 26,186 "n": "52418111",187 "T": 1024,188 "W": 226,189 "dp_bits": 8,190 "offline_group_ops": 480415,191 "offline_steps": 425214,192 "table_entries": 1024,193 "instances": 60,194 "online_mean": 377.53333333333336,195 "online_median": 306.5,196 "online_sd": 247.74398523924293,197 "online_ci95_halfwidth": 62.687877491703404,198 "pred_sqrt_n_over_T": 226.2511028115388,199 "sqrt_n": 7240.035289969242,200 "ratio_online_to_pred": 1.668647483445898,201 "per_instance_speedup_vs_sqrt_n": 19.17720807867537202 },203 {204 "bits": 26,205 "n": "53637497",206 "T": 4096,207 "W": 114,208 "dp_bits": 7,209 "offline_group_ops": 1083775,210 "offline_steps": 850331,211 "table_entries": 4096,212 "instances": 60,213 "online_mean": 172.98333333333332,214 "online_median": 147.0,215 "online_sd": 132.6648021225759,216 "online_ci95_halfwidth": 33.5688265242444,217 "pred_sqrt_n_over_T": 114.43378889565628,218 "sqrt_n": 7323.762489322002,219 "ratio_online_to_pred": 1.5116455987581086,220 "per_instance_speedup_vs_sqrt_n": 42.3379660236362221 }222 ]223 },224 "elapsed_s": 9.889225}