1{2 "experiment": "ecdlp_study",3 "timestamp_utc": "2026-11-01T06:31:03+00:00",4 "command": "experiments/synthetic_ecdlp/run_batch_remote.py --engine ./rho_engine --jobs results/synthetic_ecdlp/parallel.jobs.json --params results/synthetic_ecdlp/parallel.params.json --out results/synthetic_ecdlp/parallel_M3U96a.json --parallel 1",5 "cwd": "/Users/simon-pierreboucher/wp34",6 "seed": 34,7 "host": {8 "hostname": "MacStudnpierre2",9 "os": "Darwin 25.6.0 (26.6)",10 "machine": "arm64",11 "python": "3.14.5",12 "cpu": "Apple M3 Ultra",13 "cores": 28,14 "ram_gb": 96.015 },16 "software": {17 "numpy": "2.4.4",18 "scipy": "1.17.1",19 "sympy": "1.14.0",20 "gmpy2": null,21 "z3": "4.16.0",22 "pysat": null,23 "ecdsa": null,24 "coincurve": null25 },26 "params": {27 "sizes": [28 4829 ],30 "per_size": 6,31 "threads": [32 1,33 2,34 4,35 8,36 16,37 2838 ],39 "seed": 34,40 "study": "parallel",41 "engine": "./rho_engine",42 "jobs_file": "results/synthetic_ecdlp/parallel.jobs.json",43 "parallel_processes": 144 },45 "measurements": {46 "n_jobs": 36,47 "n_ok": 36,48 "runs": [49 {50 "abandoned_walks": 0,51 "bits": 48,52 "class_size": 2,53 "cpu_s": 0.432909333,54 "d": "192886620102547",55 "doubling_fallbacks": 0,56 "dp_bytes": 946176,57 "dp_count": 9833,58 "engine": "rho_engine 0.1.0",59 "expected_d": "192886620102547",60 "expected_iterations": 13826630.943256887,61 "fruitless_by_length": [62 {63 "count": 4,64 "length": 265 },66 {67 "count": 170,68 "length": 469 },70 {71 "count": 2,72 "length": 673 }74 ],75 "fruitless_cycles": 176,76 "group_ops": 10521554,77 "group_ops_per_cpu_s": 24304290.062510617,78 "group_ops_per_wall_s": 24278216.806836125,79 "iterations": 10223604,80 "label": "g48b-0/t1",81 "lookahead_rejections": 80771,82 "match": true,83 "ok": true,84 "ops": {85 "add": 10521171,86 "dbl": 383,87 "inv": 298562,88 "mul": 7262956589 },90 "params": {91 "alg": "rho",92 "aut3": false,93 "beta": null,94 "cycle_check": 32,95 "dp": 10,96 "instance": {97 "a": "103064451687984",98 "b": "198490363922054",99 "gx": "163176239973794",100 "gy": "159471003086237",101 "n": "243412490823823",102 "p": "243412507481251",103 "qx": "148129210228668",104 "qy": "222406211502339"105 },106 "lambda": null,107 "max_walk_len": 65536,108 "mixed": 0,109 "mode": "dp",110 "neg": true,111 "r": 128,112 "seed": 34,113 "threads": 1,114 "walks": 128115 },116 "peak_rss_bytes": 3457024,117 "process_cpu_s": 0.433405,118 "restarts": 9962,119 "seed": 34,120 "table_entries": 9833,121 "threads": 1,122 "useless_collisions": 0,123 "wall_s": 0.43337425124 },125 {126 "abandoned_walks": 0,127 "bits": 48,128 "class_size": 2,129 "cpu_s": 0.8661026660000001,130 "d": "192886620102547",131 "doubling_fallbacks": 0,132 "dp_bytes": 946176,133 "dp_count": 19746,134 "engine": "rho_engine 0.1.0",135 "expected_d": "192886620102547",136 "expected_iterations": 13826630.943256887,137 "fruitless_by_length": [138 {139 "count": 8,140 "length": 2141 },142 {143 "count": 330,144 "length": 4145 },146 {147 "count": 4,148 "length": 6149 }150 ],151 "fruitless_cycles": 342,152 "group_ops": 20898889,153 "group_ops_per_cpu_s": 24129805.64592789,154 "group_ops_per_wall_s": 48206160.336676806,155 "iterations": 20305369,156 "label": "g48b-0/t2",157 "lookahead_rejections": 160742,158 "match": true,159 "ok": true,160 "ops": {161 "add": 20898340,162 "dbl": 549,163 "inv": 594383,164 "mul": 144258111165 },166 "params": {167 "alg": "rho",168 "aut3": false,169 "beta": null,170 "cycle_check": 32,171 "dp": 10,172 "instance": {173 "a": "103064451687984",174 "b": "198490363922054",175 "gx": "163176239973794",176 "gy": "159471003086237",177 "n": "243412490823823",178 "p": "243412507481251",179 "qx": "148129210228668",180 "qy": "222406211502339"181 },182 "lambda": null,183 "max_walk_len": 65536,184 "mixed": 0,185 "mode": "dp",186 "neg": true,187 "r": 128,188 "seed": 34,189 "threads": 2,190 "walks": 128191 },192 "peak_rss_bytes": 3555328,193 "process_cpu_s": 0.8666259999999999,194 "restarts": 20003,195 "seed": 34,196 "table_entries": 19746,197 "threads": 2,198 "useless_collisions": 0,199 "wall_s": 0.4335315200 },201 {202 "abandoned_walks": 0,203 "bits": 48,204 "class_size": 2,205 "cpu_s": 0.7255822490000001,206 "d": "192886620102547",207 "doubling_fallbacks": 0,208 "dp_bytes": 946176,209 "dp_count": 16701,210 "engine": "rho_engine 0.1.0",211 "expected_d": "192886620102547",212 "expected_iterations": 13826630.943256887,213 "fruitless_by_length": [214 {215 "count": 5,216 "length": 2217 },218 {219 "count": 271,220 "length": 4221 },222 {223 "count": 1,224 "length": 6225 }226 ],227 "fruitless_cycles": 277,228 "group_ops": 17625169,229 "group_ops_per_cpu_s": 24291069.722682808,230 "group_ops_per_wall_s": 96666932.01142284,231 "iterations": 17116801,232 "label": "g48b-0/t4",233 "lookahead_rejections": 135281,234 "match": true,235 "ok": true,236 "ops": {237 "add": 17624685,238 "dbl": 484,239 "inv": 509252,240 "mul": 121628926241 },242 "params": {243 "alg": "rho",244 "aut3": false,245 "beta": null,246 "cycle_check": 32,247 "dp": 10,248 "instance": {249 "a": "103064451687984",250 "b": "198490363922054",251 "gx": "163176239973794",252 "gy": "159471003086237",253 "n": "243412490823823",254 "p": "243412507481251",255 "qx": "148129210228668",256 "qy": "222406211502339"257 },258 "lambda": null,259 "max_walk_len": 65536,260 "mixed": 0,261 "mode": "dp",262 "neg": true,263 "r": 128,264 "seed": 34,265 "threads": 4,266 "walks": 128267 },268 "peak_rss_bytes": 3719168,269 "process_cpu_s": 0.726243,270 "restarts": 17214,271 "seed": 34,272 "table_entries": 16701,273 "threads": 4,274 "useless_collisions": 0,275 "wall_s": 0.182328834276 },277 {278 "abandoned_walks": 0,279 "bits": 48,280 "class_size": 2,281 "cpu_s": 0.469728749,282 "d": "192886620102547",283 "doubling_fallbacks": 0,284 "dp_bytes": 946176,285 "dp_count": 10329,286 "engine": "rho_engine 0.1.0",287 "expected_d": "192886620102547",288 "expected_iterations": 13826630.943256887,289 "fruitless_by_length": [290 {291 "count": 6,292 "length": 2293 },294 {295 "count": 187,296 "length": 4297 },298 {299 "count": 1,300 "length": 6301 }302 ],303 "fruitless_cycles": 194,304 "group_ops": 10890312,305 "group_ops_per_cpu_s": 23184256.921008684,306 "group_ops_per_wall_s": 182890851.1968268,307 "iterations": 10559679,308 "label": "g48b-0/t8",309 "lookahead_rejections": 83349,310 "match": true,311 "ok": true,312 "ops": {313 "add": 10889911,314 "dbl": 401,315 "inv": 331405,316 "mul": 75086367317 },318 "params": {319 "alg": "rho",320 "aut3": false,321 "beta": null,322 "cycle_check": 32,323 "dp": 10,324 "instance": {325 "a": "103064451687984",326 "b": "198490363922054",327 "gx": "163176239973794",328 "gy": "159471003086237",329 "n": "243412490823823",330 "p": "243412507481251",331 "qx": "148129210228668",332 "qy": "222406211502339"333 },334 "lambda": null,335 "max_walk_len": 65536,336 "mixed": 0,337 "mode": "dp",338 "neg": true,339 "r": 128,340 "seed": 34,341 "threads": 8,342 "walks": 128343 },344 "peak_rss_bytes": 3932160,345 "process_cpu_s": 0.4706579999999998,346 "restarts": 11354,347 "seed": 34,348 "table_entries": 10329,349 "threads": 8,350 "useless_collisions": 0,351 "wall_s": 0.059545417352 },353 {354 "abandoned_walks": 0,355 "bits": 48,356 "class_size": 2,357 "cpu_s": 0.9364397070000003,358 "d": "192886620102547",359 "doubling_fallbacks": 0,360 "dp_bytes": 946176,361 "dp_count": 20391,362 "engine": "rho_engine 0.1.0",363 "expected_d": "192886620102547",364 "expected_iterations": 13826630.943256887,365 "fruitless_by_length": [366 {367 "count": 7,368 "length": 2369 },370 {371 "count": 345,372 "length": 4373 },374 {375 "count": 3,376 "length": 6377 }378 ],379 "fruitless_cycles": 355,380 "group_ops": 21682537,381 "group_ops_per_cpu_s": 23154226.415134266,382 "group_ops_per_wall_s": 364646035.8002502,383 "iterations": 21030859,384 "label": "g48b-0/t16",385 "lookahead_rejections": 166200,386 "match": true,387 "ok": true,388 "ops": {389 "add": 21681975,390 "dbl": 562,391 "inv": 652861,392 "mul": 149523728393 },394 "params": {395 "alg": "rho",396 "aut3": false,397 "beta": null,398 "cycle_check": 32,399 "dp": 10,400 "instance": {401 "a": "103064451687984",402 "b": "198490363922054",403 "gx": "163176239973794",404 "gy": "159471003086237",405 "n": "243412490823823",406 "p": "243412507481251",407 "qx": "148129210228668",408 "qy": "222406211502339"409 },410 "lambda": null,411 "max_walk_len": 65536,412 "mixed": 0,413 "mode": "dp",414 "neg": true,415 "r": 128,416 "seed": 34,417 "threads": 16,418 "walks": 128419 },420 "peak_rss_bytes": 4325376,421 "process_cpu_s": 0.9385270000000001,422 "restarts": 22440,423 "seed": 34,424 "table_entries": 20391,425 "threads": 16,426 "useless_collisions": 0,427 "wall_s": 0.059461875428 },429 {430 "abandoned_walks": 0,431 "bits": 48,432 "class_size": 2,433 "cpu_s": 0.838202874,434 "d": "192886620102547",435 "doubling_fallbacks": 0,436 "dp_bytes": 946176,437 "dp_count": 15797,438 "engine": "rho_engine 0.1.0",439 "expected_d": "192886620102547",440 "expected_iterations": 13826630.943256887,441 "fruitless_by_length": [442 {443 "count": 4,444 "length": 2445 },446 {447 "count": 280,448 "length": 4449 },450 {451 "count": 3,452 "length": 6453 }454 ],455 "fruitless_cycles": 287,456 "group_ops": 16608834,457 "group_ops_per_cpu_s": 19814813.949206285,458 "group_ops_per_wall_s": 510505015.88716465,459 "iterations": 16062541,460 "label": "g48b-0/t28",461 "lookahead_rejections": 126685,462 "match": true,463 "ok": true,464 "ops": {465 "add": 16608340,466 "dbl": 494,467 "inv": 547525,468 "mul": 114347161469 },470 "params": {471 "alg": "rho",472 "aut3": false,473 "beta": null,474 "cycle_check": 32,475 "dp": 10,476 "instance": {477 "a": "103064451687984",478 "b": "198490363922054",479 "gx": "163176239973794",480 "gy": "159471003086237",481 "n": "243412490823823",482 "p": "243412507481251",483 "qx": "148129210228668",484 "qy": "222406211502339"485 },486 "lambda": null,487 "max_walk_len": 65536,488 "mixed": 0,489 "mode": "dp",490 "neg": true,491 "r": 128,492 "seed": 34,493 "threads": 28,494 "walks": 128495 },496 "peak_rss_bytes": 5914624,497 "process_cpu_s": 0.8424689999999995,498 "restarts": 19382,499 "seed": 34,500 "table_entries": 15797,501 "threads": 28,502 "useless_collisions": 0,503 "wall_s": 0.032534125504 },505 {506 "abandoned_walks": 0,507 "bits": 48,508 "class_size": 2,509 "cpu_s": 1.235954042,510 "d": "56216756516638",511 "doubling_fallbacks": 0,512 "dp_bytes": 946176,513 "dp_count": 28173,514 "engine": "rho_engine 0.1.0",515 "expected_d": "56216756516638",516 "expected_iterations": 12432680.361836089,517 "fruitless_by_length": [518 {519 "count": 7,520 "length": 2521 },522 {523 "count": 439,524 "length": 4525 },526 {527 "count": 7,528 "length": 6529 }530 ],531 "fruitless_cycles": 453,532 "group_ops": 29286944,533 "group_ops_per_cpu_s": 23695819.589382436,534 "group_ops_per_wall_s": 23675481.096849248,535 "iterations": 28452540,536 "label": "g48b-1/t1",537 "lookahead_rejections": 224314,538 "match": true,539 "ok": true,540 "ops": {541 "add": 29286286,542 "dbl": 658,543 "inv": 836404,544 "mul": 202144127545 },546 "params": {547 "alg": "rho",548 "aut3": false,549 "beta": null,550 "cycle_check": 32,551 "dp": 10,552 "instance": {553 "a": "178943574739161",554 "b": "185687644118104",555 "gx": "163135911865721",556 "gy": "103573770651404",557 "n": "196806598465859",558 "p": "196806589417147",559 "qx": "33121391929083",560 "qy": "96883645161405"561 },562 "lambda": null,563 "max_walk_len": 65536,564 "mixed": 0,565 "mode": "dp",566 "neg": true,567 "r": 128,568 "seed": 34,569 "threads": 1,570 "walks": 128571 },572 "peak_rss_bytes": 5914624,573 "process_cpu_s": 1.2364129999999998,574 "restarts": 28302,575 "seed": 34,576 "table_entries": 28173,577 "threads": 1,578 "useless_collisions": 0,579 "wall_s": 1.237015792580 },581 {582 "abandoned_walks": 0,583 "bits": 48,584 "class_size": 2,585 "cpu_s": 0.47160566700000006,586 "d": "56216756516638",587 "doubling_fallbacks": 0,588 "dp_bytes": 946176,589 "dp_count": 10885,590 "engine": "rho_engine 0.1.0",591 "expected_d": "56216756516638",592 "expected_iterations": 12432680.361836089,593 "fruitless_by_length": [594 {595 "count": 2,596 "length": 2597 },598 {599 "count": 178,600 "length": 4601 },602 {603 "count": 3,604 "length": 6605 }606 ],607 "fruitless_cycles": 183,608 "group_ops": 11432934,609 "group_ops_per_cpu_s": 24242571.28360588,610 "group_ops_per_wall_s": 48287267.18485782,611 "iterations": 11102830,612 "label": "g48b-1/t2",613 "lookahead_rejections": 87988,614 "match": true,615 "ok": true,616 "ops": {617 "add": 11432546,618 "dbl": 388,619 "inv": 330467,620 "mul": 78896720621 },622 "params": {623 "alg": "rho",624 "aut3": false,625 "beta": null,626 "cycle_check": 32,627 "dp": 10,628 "instance": {629 "a": "178943574739161",630 "b": "185687644118104",631 "gx": "163135911865721",632 "gy": "103573770651404",633 "n": "196806598465859",634 "p": "196806589417147",635 "qx": "33121391929083",636 "qy": "96883645161405"637 },638 "lambda": null,639 "max_walk_len": 65536,640 "mixed": 0,641 "mode": "dp",642 "neg": true,643 "r": 128,644 "seed": 34,645 "threads": 2,646 "walks": 128647 },648 "peak_rss_bytes": 5914624,649 "process_cpu_s": 0.472175,650 "restarts": 11143,651 "seed": 34,652 "table_entries": 10885,653 "threads": 2,654 "useless_collisions": 0,655 "wall_s": 0.236769125656 },657 {658 "abandoned_walks": 0,659 "bits": 48,660 "class_size": 2,661 "cpu_s": 0.362187668,662 "d": "56216756516638",663 "doubling_fallbacks": 0,664 "dp_bytes": 946176,665 "dp_count": 8277,666 "engine": "rho_engine 0.1.0",667 "expected_d": "56216756516638",668 "expected_iterations": 12432680.361836089,669 "fruitless_by_length": [670 {671 "count": 1,672 "length": 2673 },674 {675 "count": 139,676 "length": 4677 },678 {679 "count": 2,680 "length": 6681 }682 ],683 "fruitless_cycles": 142,684 "group_ops": 8795953,685 "group_ops_per_cpu_s": 24285622.557419594,686 "group_ops_per_wall_s": 96347547.48395294,687 "iterations": 8537045,688 "label": "g48b-1/t4",689 "lookahead_rejections": 67323,690 "match": true,691 "ok": true,692 "ops": {693 "add": 8795606,694 "dbl": 347,695 "inv": 259521,696 "mul": 60678454697 },698 "params": {699 "alg": "rho",700 "aut3": false,701 "beta": null,702 "cycle_check": 32,703 "dp": 10,704 "instance": {705 "a": "178943574739161",706 "b": "185687644118104",707 "gx": "163135911865721",708 "gy": "103573770651404",709 "n": "196806598465859",710 "p": "196806589417147",711 "qx": "33121391929083",712 "qy": "96883645161405"713 },714 "lambda": null,715 "max_walk_len": 65536,716 "mixed": 0,717 "mode": "dp",718 "neg": true,719 "r": 128,720 "seed": 34,721 "threads": 4,722 "walks": 128723 },724 "peak_rss_bytes": 5914624,725 "process_cpu_s": 0.3628580000000001,726 "restarts": 8790,727 "seed": 34,728 "table_entries": 8277,729 "threads": 4,730 "useless_collisions": 0,731 "wall_s": 0.091294732 },733 {734 "abandoned_walks": 0,735 "bits": 48,736 "class_size": 2,737 "cpu_s": 0.7470579580000001,738 "d": "56216756516638",739 "doubling_fallbacks": 0,740 "dp_bytes": 946176,741 "dp_count": 16474,742 "engine": "rho_engine 0.1.0",743 "expected_d": "56216756516638",744 "expected_iterations": 12432680.361836089,745 "fruitless_by_length": [746 {747 "count": 5,748 "length": 2749 },750 {751 "count": 282,752 "length": 4753 },754 {755 "count": 2,756 "length": 6757 }758 ],759 "fruitless_cycles": 289,760 "group_ops": 17554128,761 "group_ops_per_cpu_s": 23497678.877547007,762 "group_ops_per_wall_s": 186001048.98994982,763 "iterations": 17041525,764 "label": "g48b-1/t8",765 "lookahead_rejections": 134331,766 "match": true,767 "ok": true,768 "ops": {769 "add": 17553634,770 "dbl": 494,771 "inv": 513903,772 "mul": 121112250773 },774 "params": {775 "alg": "rho",776 "aut3": false,777 "beta": null,778 "cycle_check": 32,779 "dp": 10,780 "instance": {781 "a": "178943574739161",782 "b": "185687644118104",783 "gx": "163135911865721",784 "gy": "103573770651404",785 "n": "196806598465859",786 "p": "196806589417147",787 "qx": "33121391929083",788 "qy": "96883645161405"789 },790 "lambda": null,791 "max_walk_len": 65536,792 "mixed": 0,793 "mode": "dp",794 "neg": true,795 "r": 128,796 "seed": 34,797 "threads": 8,798 "walks": 128799 },800 "peak_rss_bytes": 6832128,801 "process_cpu_s": 0.7478910000000001,802 "restarts": 17499,803 "seed": 34,804 "table_entries": 16474,805 "threads": 8,806 "useless_collisions": 0,807 "wall_s": 0.0943765808 },809 {810 "abandoned_walks": 0,811 "bits": 48,812 "class_size": 2,813 "cpu_s": 0.640938334,814 "d": "56216756516638",815 "doubling_fallbacks": 0,816 "dp_bytes": 946176,817 "dp_count": 13758,818 "engine": "rho_engine 0.1.0",819 "expected_d": "56216756516638",820 "expected_iterations": 12432680.361836089,821 "fruitless_by_length": [822 {823 "count": 3,824 "length": 2825 },826 {827 "count": 211,828 "length": 4829 },830 {831 "count": 3,832 "length": 6833 }834 ],835 "fruitless_cycles": 217,836 "group_ops": 14535686,837 "group_ops_per_cpu_s": 22678758.983387627,838 "group_ops_per_wall_s": 354777348.8514189,839 "iterations": 14082059,840 "label": "g48b-1/t16",841 "lookahead_rejections": 111293,842 "match": true,843 "ok": true,844 "ops": {845 "add": 14535264,846 "dbl": 422,847 "inv": 454307,848 "mul": 100172532849 },850 "params": {851 "alg": "rho",852 "aut3": false,853 "beta": null,854 "cycle_check": 32,855 "dp": 10,856 "instance": {857 "a": "178943574739161",858 "b": "185687644118104",859 "gx": "163135911865721",860 "gy": "103573770651404",861 "n": "196806598465859",862 "p": "196806589417147",863 "qx": "33121391929083",864 "qy": "96883645161405"865 },866 "lambda": null,867 "max_walk_len": 65536,868 "mixed": 0,869 "mode": "dp",870 "neg": true,871 "r": 128,872 "seed": 34,873 "threads": 16,874 "walks": 128875 },876 "peak_rss_bytes": 7012352,877 "process_cpu_s": 0.6424370000000001,878 "restarts": 15807,879 "seed": 34,880 "table_entries": 13758,881 "threads": 16,882 "useless_collisions": 0,883 "wall_s": 0.040971291884 },885 {886 "abandoned_walks": 0,887 "bits": 48,888 "class_size": 2,889 "cpu_s": 0.5003939570000001,890 "d": "56216756516638",891 "doubling_fallbacks": 0,892 "dp_bytes": 946176,893 "dp_count": 9303,894 "engine": "rho_engine 0.1.0",895 "expected_d": "56216756516638",896 "expected_iterations": 12432680.361836089,897 "fruitless_by_length": [898 {899 "count": 4,900 "length": 2901 },902 {903 "count": 133,904 "length": 4905 },906 {907 "count": 1,908 "length": 6909 }910 ],911 "fruitless_cycles": 138,912 "group_ops": 9801732,913 "group_ops_per_cpu_s": 19588030.316681057,914 "group_ops_per_wall_s": 500205328.62352455,915 "iterations": 9447311,916 "label": "g48b-1/t28",917 "lookahead_rejections": 74663,918 "match": true,919 "ok": true,920 "ops": {921 "add": 9801389,922 "dbl": 343,923 "inv": 354837,924 "mul": 67356027925 },926 "params": {927 "alg": "rho",928 "aut3": false,929 "beta": null,930 "cycle_check": 32,931 "dp": 10,932 "instance": {933 "a": "178943574739161",934 "b": "185687644118104",935 "gx": "163135911865721",936 "gy": "103573770651404",937 "n": "196806598465859",938 "p": "196806589417147",939 "qx": "33121391929083",940 "qy": "96883645161405"941 },942 "lambda": null,943 "max_walk_len": 65536,944 "mixed": 0,945 "mode": "dp",946 "neg": true,947 "r": 128,948 "seed": 34,949 "threads": 28,950 "walks": 128951 },952 "peak_rss_bytes": 7143424,953 "process_cpu_s": 0.5042319999999991,954 "restarts": 12888,955 "seed": 34,956 "table_entries": 9303,957 "threads": 28,958 "useless_collisions": 0,959 "wall_s": 0.019595417960 },961 {962 "abandoned_walks": 0,963 "bits": 48,964 "class_size": 2,965 "cpu_s": 0.153610459,966 "d": "255758919662089",967 "doubling_fallbacks": 0,968 "dp_bytes": 1892352,969 "dp_count": 3326,970 "engine": "rho_engine 0.1.0",971 "expected_d": "255758919662089",972 "expected_iterations": 14257823.828617636,973 "fruitless_by_length": [974 {975 "count": 45,976 "length": 4977 },978 {979 "count": 1,980 "length": 6981 }982 ],983 "fruitless_cycles": 46,984 "group_ops": 3683704,985 "group_ops_per_cpu_s": 23980815.004269987,986 "group_ops_per_wall_s": 23877220.879888475,987 "iterations": 3578138,988 "label": "g48b-2/t1",989 "lookahead_rejections": 28111,990 "match": true,991 "ok": true,992 "ops": {993 "add": 3683451,994 "dbl": 253,995 "inv": 105860,996 "mul": 25422960997 },998 "params": {999 "alg": "rho",1000 "aut3": false,1001 "beta": null,1002 "cycle_check": 32,1003 "dp": 10,1004 "instance": {1005 "a": "62565245305053",1006 "b": "167154822658568",1007 "gx": "120562658627979",1008 "gy": "14266919398063",1009 "n": "258831188818333",1010 "p": "258831180650719",1011 "qx": "164169012061620",1012 "qy": "125193609120075"1013 },1014 "lambda": null,1015 "max_walk_len": 65536,1016 "mixed": 0,1017 "mode": "dp",1018 "neg": true,1019 "r": 128,1020 "seed": 34,1021 "threads": 1,1022 "walks": 1281023 },1024 "peak_rss_bytes": 8896512,1025 "process_cpu_s": 0.15413099999999957,1026 "restarts": 3455,1027 "seed": 34,1028 "table_entries": 3326,1029 "threads": 1,1030 "useless_collisions": 0,1031 "wall_s": 0.1542769161032 },1033 {1034 "abandoned_walks": 0,1035 "bits": 48,1036 "class_size": 2,1037 "cpu_s": 0.30538191700000006,1038 "d": "255758919662089",1039 "doubling_fallbacks": 0,1040 "dp_bytes": 1892352,1041 "dp_count": 6816,1042 "engine": "rho_engine 0.1.0",1043 "expected_d": "255758919662089",1044 "expected_iterations": 14257823.828617636,1045 "fruitless_by_length": [1046 {1047 "count": 1,1048 "length": 21049 },1050 {1051 "count": 99,1052 "length": 41053 },1054 {1055 "count": 2,1056 "length": 61057 }1058 ],1059 "fruitless_cycles": 102,1060 "group_ops": 7324384,1061 "group_ops_per_cpu_s": 23984340.89337385,1062 "group_ops_per_wall_s": 47759467.7610271,1063 "iterations": 7113297,1064 "label": "g48b-2/t2",1065 "lookahead_rejections": 55859,1066 "match": true,1067 "ok": true,1068 "ops": {1069 "add": 7324075,1070 "dbl": 309,1071 "inv": 211749,1072 "mul": 505440141073 },1074 "params": {1075 "alg": "rho",1076 "aut3": false,1077 "beta": null,1078 "cycle_check": 32,1079 "dp": 10,1080 "instance": {1081 "a": "62565245305053",1082 "b": "167154822658568",1083 "gx": "120562658627979",1084 "gy": "14266919398063",1085 "n": "258831188818333",1086 "p": "258831180650719",1087 "qx": "164169012061620",1088 "qy": "125193609120075"1089 },1090 "lambda": null,1091 "max_walk_len": 65536,1092 "mixed": 0,1093 "mode": "dp",1094 "neg": true,1095 "r": 128,1096 "seed": 34,1097 "threads": 2,1098 "walks": 1281099 },1100 "peak_rss_bytes": 8929280,1101 "process_cpu_s": 0.30588499999999996,1102 "restarts": 7073,1103 "seed": 34,1104 "table_entries": 6816,1105 "threads": 2,1106 "useless_collisions": 0,1107 "wall_s": 0.1533598331108 },1109 {1110 "abandoned_walks": 0,1111 "bits": 48,1112 "class_size": 2,1113 "cpu_s": 0.618443959,1114 "d": "255758919662089",1115 "doubling_fallbacks": 0,1116 "dp_bytes": 1892352,1117 "dp_count": 13722,1118 "engine": "rho_engine 0.1.0",1119 "expected_d": "255758919662089",1120 "expected_iterations": 14257823.828617636,1121 "fruitless_by_length": [1122 {1123 "count": 2,1124 "length": 21125 },1126 {1127 "count": 213,1128 "length": 41129 },1130 {1131 "count": 2,1132 "length": 61133 }1134 ],1135 "fruitless_cycles": 217,1136 "group_ops": 14728657,1137 "group_ops_per_cpu_s": 23815669.61025162,1138 "group_ops_per_wall_s": 94595928.40753818,1139 "iterations": 14307147,1140 "label": "g48b-2/t4",1141 "lookahead_rejections": 112506,1142 "match": true,1143 "ok": true,1144 "ops": {1145 "add": 14728233,1146 "dbl": 424,1147 "inv": 422742,1148 "mul": 1016515491149 },1150 "params": {1151 "alg": "rho",1152 "aut3": false,1153 "beta": null,1154 "cycle_check": 32,1155 "dp": 10,1156 "instance": {1157 "a": "62565245305053",1158 "b": "167154822658568",1159 "gx": "120562658627979",1160 "gy": "14266919398063",1161 "n": "258831188818333",1162 "p": "258831180650719",1163 "qx": "164169012061620",1164 "qy": "125193609120075"1165 },1166 "lambda": null,1167 "max_walk_len": 65536,1168 "mixed": 0,1169 "mode": "dp",1170 "neg": true,1171 "r": 128,1172 "seed": 34,1173 "threads": 4,1174 "walks": 1281175 },1176 "peak_rss_bytes": 8994816,1177 "process_cpu_s": 0.6190770000000008,1178 "restarts": 14235,1179 "seed": 34,1180 "table_entries": 13722,1181 "threads": 4,1182 "useless_collisions": 0,1183 "wall_s": 0.155700751184 },1185 {1186 "abandoned_walks": 0,1187 "bits": 48,1188 "class_size": 2,1189 "cpu_s": 1.1698871240000002,1190 "d": "255758919662089",1191 "doubling_fallbacks": 0,1192 "dp_bytes": 1892352,1193 "dp_count": 25761,1194 "engine": "rho_engine 0.1.0",1195 "expected_d": "255758919662089",1196 "expected_iterations": 14257823.828617636,1197 "fruitless_by_length": [1198 {1199 "count": 7,1200 "length": 21201 },1202 {1203 "count": 403,1204 "length": 41205 },1206 {1207 "count": 6,1208 "length": 61209 }1210 ],1211 "fruitless_cycles": 416,1212 "group_ops": 27447256,1213 "group_ops_per_cpu_s": 23461456.61143288,1214 "group_ops_per_wall_s": 185629034.09850532,1215 "iterations": 26657186,1216 "label": "g48b-2/t8",1217 "lookahead_rejections": 211349,1218 "match": true,1219 "ok": true,1220 "ops": {1221 "add": 27446633,1222 "dbl": 623,1223 "inv": 790718,1224 "mul": 1894189081225 },1226 "params": {1227 "alg": "rho",1228 "aut3": false,1229 "beta": null,1230 "cycle_check": 32,1231 "dp": 10,1232 "instance": {1233 "a": "62565245305053",1234 "b": "167154822658568",1235 "gx": "120562658627979",1236 "gy": "14266919398063",1237 "n": "258831188818333",1238 "p": "258831180650719",1239 "qx": "164169012061620",1240 "qy": "125193609120075"1241 },1242 "lambda": null,1243 "max_walk_len": 65536,1244 "mixed": 0,1245 "mode": "dp",1246 "neg": true,1247 "r": 128,1248 "seed": 34,1249 "threads": 8,1250 "walks": 1281251 },1252 "peak_rss_bytes": 9125888,1253 "process_cpu_s": 1.170824999999999,1254 "restarts": 26787,1255 "seed": 34,1256 "table_entries": 25761,1257 "threads": 8,1258 "useless_collisions": 0,1259 "wall_s": 0.1478607921260 },1261 {1262 "abandoned_walks": 0,1263 "bits": 48,1264 "class_size": 2,1265 "cpu_s": 1.6610938350000002,1266 "d": "255758919662089",1267 "doubling_fallbacks": 0,1268 "dp_bytes": 1892352,1269 "dp_count": 35710,1270 "engine": "rho_engine 0.1.0",1271 "expected_d": "255758919662089",1272 "expected_iterations": 14257823.828617636,1273 "fruitless_by_length": [1274 {1275 "count": 10,1276 "length": 21277 },1278 {1279 "count": 580,1280 "length": 41281 },1282 {1283 "count": 7,1284 "length": 61285 }1286 ],1287 "fruitless_cycles": 597,1288 "group_ops": 37912632,1289 "group_ops_per_cpu_s": 22823895.436346613,1290 "group_ops_per_wall_s": 359608565.1276944,1291 "iterations": 36806678,1292 "label": "g48b-2/t16",1293 "lookahead_rejections": 291384,1294 "match": true,1295 "ok": true,1296 "ops": {1297 "add": 37911828,1298 "dbl": 804,1299 "inv": 1107397,1300 "mul": 2615824561301 },1302 "params": {1303 "alg": "rho",1304 "aut3": false,1305 "beta": null,1306 "cycle_check": 32,1307 "dp": 10,1308 "instance": {1309 "a": "62565245305053",1310 "b": "167154822658568",1311 "gx": "120562658627979",1312 "gy": "14266919398063",1313 "n": "258831188818333",1314 "p": "258831180650719",1315 "qx": "164169012061620",1316 "qy": "125193609120075"1317 },1318 "lambda": null,1319 "max_walk_len": 65536,1320 "mixed": 0,1321 "mode": "dp",1322 "neg": true,1323 "r": 128,1324 "seed": 34,1325 "threads": 16,1326 "walks": 1281327 },1328 "peak_rss_bytes": 9207808,1329 "process_cpu_s": 1.6629639999999988,1330 "restarts": 37759,1331 "seed": 34,1332 "table_entries": 35710,1333 "threads": 16,1334 "useless_collisions": 0,1335 "wall_s": 0.10542751336 },1337 {1338 "abandoned_walks": 0,1339 "bits": 48,1340 "class_size": 2,1341 "cpu_s": 1.3154369960000003,1342 "d": "255758919662089",1343 "doubling_fallbacks": 0,1344 "dp_bytes": 1892352,1345 "dp_count": 24270,1346 "engine": "rho_engine 0.1.0",1347 "expected_d": "255758919662089",1348 "expected_iterations": 14257823.828617636,1349 "fruitless_by_length": [1350 {1351 "count": 7,1352 "length": 21353 },1354 {1355 "count": 401,1356 "length": 41357 },1358 {1359 "count": 6,1360 "length": 61361 }1362 ],1363 "fruitless_cycles": 414,1364 "group_ops": 25992238,1365 "group_ops_per_cpu_s": 19759394.08655646,1366 "group_ops_per_wall_s": 522195506.62435055,1367 "iterations": 25191471,1368 "label": "g48b-2/t28",1369 "lookahead_rejections": 199045,1370 "match": true,1371 "ok": true,1372 "ops": {1373 "add": 25991617,1374 "dbl": 621,1375 "inv": 802169,1376 "mul": 1791659461377 },1378 "params": {1379 "alg": "rho",1380 "aut3": false,1381 "beta": null,1382 "cycle_check": 32,1383 "dp": 10,1384 "instance": {1385 "a": "62565245305053",1386 "b": "167154822658568",1387 "gx": "120562658627979",1388 "gy": "14266919398063",1389 "n": "258831188818333",1390 "p": "258831180650719",1391 "qx": "164169012061620",1392 "qy": "125193609120075"1393 },1394 "lambda": null,1395 "max_walk_len": 65536,1396 "mixed": 0,1397 "mode": "dp",1398 "neg": true,1399 "r": 128,1400 "seed": 34,1401 "threads": 28,1402 "walks": 1281403 },1404 "peak_rss_bytes": 9568256,1405 "process_cpu_s": 1.3183110000000013,1406 "restarts": 27855,1407 "seed": 34,1408 "table_entries": 24270,1409 "threads": 28,1410 "useless_collisions": 0,1411 "wall_s": 0.0497749171412 },1413 {1414 "abandoned_walks": 0,1415 "bits": 48,1416 "class_size": 2,1417 "cpu_s": 0.674016791,1418 "d": "156495535330120",1419 "doubling_fallbacks": 0,1420 "dp_bytes": 946176,1421 "dp_count": 15137,1422 "engine": "rho_engine 0.1.0",1423 "expected_d": "156495535330120",1424 "expected_iterations": 12376544.026671479,1425 "fruitless_by_length": [1426 {1427 "count": 4,1428 "length": 21429 },1430 {1431 "count": 240,1432 "length": 41433 },1434 {1435 "count": 3,1436 "length": 61437 }1438 ],1439 "fruitless_cycles": 247,1440 "group_ops": 16031333,1441 "group_ops_per_cpu_s": 23784767.99697413,1442 "group_ops_per_wall_s": 23750961.56543258,1443 "iterations": 15577425,1444 "label": "g48b-3/t1",1445 "lookahead_rejections": 123407,1446 "match": true,1447 "ok": true,1448 "ops": {1449 "add": 16030879,1450 "dbl": 454,1451 "inv": 454402,1452 "mul": 1106649991453 },1454 "params": {1455 "alg": "rho",1456 "aut3": false,1457 "beta": null,1458 "cycle_check": 32,1459 "dp": 10,1460 "instance": {1461 "a": "71061401545016",1462 "b": "121472231056009",1463 "gx": "165498804781647",1464 "gy": "187867244395522",1465 "n": "195033359107337",1466 "p": "195033352501727",1467 "qx": "125607196444819",1468 "qy": "16616218842982"1469 },1470 "lambda": null,1471 "max_walk_len": 65536,1472 "mixed": 0,1473 "mode": "dp",1474 "neg": true,1475 "r": 128,1476 "seed": 34,1477 "threads": 1,1478 "walks": 1281479 },1480 "peak_rss_bytes": 10141696,1481 "process_cpu_s": 0.6755500000000012,1482 "restarts": 15267,1483 "seed": 34,1484 "table_entries": 15137,1485 "threads": 1,1486 "useless_collisions": 0,1487 "wall_s": 0.6749761671488 },1489 {1490 "abandoned_walks": 0,1491 "bits": 48,1492 "class_size": 2,1493 "cpu_s": 0.7536037500000001,1494 "d": "156495535330120",1495 "doubling_fallbacks": 0,1496 "dp_bytes": 946176,1497 "dp_count": 16929,1498 "engine": "rho_engine 0.1.0",1499 "expected_d": "156495535330120",1500 "expected_iterations": 12376544.026671479,1501 "fruitless_by_length": [1502 {1503 "count": 5,1504 "length": 21505 },1506 {1507 "count": 283,1508 "length": 41509 },1510 {1511 "count": 4,1512 "length": 61513 }1514 ],1515 "fruitless_cycles": 292,1516 "group_ops": 18085856,1517 "group_ops_per_cpu_s": 23999158.709069584,1518 "group_ops_per_wall_s": 47898640.30975725,1519 "iterations": 17575114,1520 "label": "g48b-3/t2",1521 "lookahead_rejections": 139130,1522 "match": true,1523 "ok": true,1524 "ops": {1525 "add": 18085357,1526 "dbl": 499,1527 "inv": 511469,1528 "mul": 1248522231529 },1530 "params": {1531 "alg": "rho",1532 "aut3": false,1533 "beta": null,1534 "cycle_check": 32,1535 "dp": 10,1536 "instance": {1537 "a": "71061401545016",1538 "b": "121472231056009",1539 "gx": "165498804781647",1540 "gy": "187867244395522",1541 "n": "195033359107337",1542 "p": "195033352501727",1543 "qx": "125607196444819",1544 "qy": "16616218842982"1545 },1546 "lambda": null,1547 "max_walk_len": 65536,1548 "mixed": 0,1549 "mode": "dp",1550 "neg": true,1551 "r": 128,1552 "seed": 34,1553 "threads": 2,1554 "walks": 1281555 },1556 "peak_rss_bytes": 10190848,1557 "process_cpu_s": 0.7541489999999982,1558 "restarts": 17186,1559 "seed": 34,1560 "table_entries": 16929,1561 "threads": 2,1562 "useless_collisions": 0,1563 "wall_s": 0.3775861564 },1565 {1566 "abandoned_walks": 0,1567 "bits": 48,1568 "class_size": 2,1569 "cpu_s": 0.9723288750000001,1570 "d": "156495535330120",1571 "doubling_fallbacks": 0,1572 "dp_bytes": 946176,1573 "dp_count": 22314,1574 "engine": "rho_engine 0.1.0",1575 "expected_d": "156495535330120",1576 "expected_iterations": 12376544.026671479,1577 "fruitless_by_length": [1578 {1579 "count": 2,1580 "length": 21581 },1582 {1583 "count": 370,1584 "length": 41585 },1586 {1587 "count": 4,1588 "length": 61589 }1590 ],1591 "fruitless_cycles": 376,1592 "group_ops": 23537173,1593 "group_ops_per_cpu_s": 24207008.14834898,1594 "group_ops_per_wall_s": 96382797.04408333,1595 "iterations": 22864013,1596 "label": "g48b-3/t4",1597 "lookahead_rejections": 180702,1598 "match": true,1599 "ok": true,1600 "ops": {1601 "add": 23536590,1602 "dbl": 583,1603 "inv": 674379,1604 "mul": 1624495711605 },1606 "params": {1607 "alg": "rho",1608 "aut3": false,1609 "beta": null,1610 "cycle_check": 32,1611 "dp": 10,1612 "instance": {1613 "a": "71061401545016",1614 "b": "121472231056009",1615 "gx": "165498804781647",1616 "gy": "187867244395522",1617 "n": "195033359107337",1618 "p": "195033352501727",1619 "qx": "125607196444819",1620 "qy": "16616218842982"1621 },1622 "lambda": null,1623 "max_walk_len": 65536,1624 "mixed": 0,1625 "mode": "dp",1626 "neg": true,1627 "r": 128,1628 "seed": 34,1629 "threads": 4,1630 "walks": 1281631 },1632 "peak_rss_bytes": 10256384,1633 "process_cpu_s": 0.9730000000000008,1634 "restarts": 22827,1635 "seed": 34,1636 "table_entries": 22314,1637 "threads": 4,1638 "useless_collisions": 0,1639 "wall_s": 0.2442051251640 },1641 {1642 "abandoned_walks": 0,1643 "bits": 48,1644 "class_size": 2,1645 "cpu_s": 0.5076509570000001,1646 "d": "156495535330120",1647 "doubling_fallbacks": 0,1648 "dp_bytes": 946176,1649 "dp_count": 11343,1650 "engine": "rho_engine 0.1.0",1651 "expected_d": "156495535330120",1652 "expected_iterations": 12376544.026671479,1653 "fruitless_by_length": [1654 {1655 "count": 3,1656 "length": 21657 },1658 {1659 "count": 181,1660 "length": 41661 },1662 {1663 "count": 4,1664 "length": 61665 }1666 ],1667 "fruitless_cycles": 188,1668 "group_ops": 11984451,1669 "group_ops_per_cpu_s": 23607659.622711986,1670 "group_ops_per_wall_s": 186569799.5275217,1671 "iterations": 11623940,1672 "label": "g48b-3/t8",1673 "lookahead_rejections": 91957,1674 "match": true,1675 "ok": true,1676 "ops": {1677 "add": 11984056,1678 "dbl": 395,1679 "inv": 361030,1680 "mul": 826445641681 },1682 "params": {1683 "alg": "rho",1684 "aut3": false,1685 "beta": null,1686 "cycle_check": 32,1687 "dp": 10,1688 "instance": {1689 "a": "71061401545016",1690 "b": "121472231056009",1691 "gx": "165498804781647",1692 "gy": "187867244395522",1693 "n": "195033359107337",1694 "p": "195033352501727",1695 "qx": "125607196444819",1696 "qy": "16616218842982"1697 },1698 "lambda": null,1699 "max_walk_len": 65536,1700 "mixed": 0,1701 "mode": "dp",1702 "neg": true,1703 "r": 128,1704 "seed": 34,1705 "threads": 8,1706 "walks": 1281707 },1708 "peak_rss_bytes": 10354688,1709 "process_cpu_s": 0.5084979999999977,1710 "restarts": 12368,1711 "seed": 34,1712 "table_entries": 11343,1713 "threads": 8,1714 "useless_collisions": 0,1715 "wall_s": 0.064235751716 },1717 {1718 "abandoned_walks": 0,1719 "bits": 48,1720 "class_size": 2,1721 "cpu_s": 0.862525709,1722 "d": "156495535330120",1723 "doubling_fallbacks": 0,1724 "dp_bytes": 946176,1725 "dp_count": 18606,1726 "engine": "rho_engine 0.1.0",1727 "expected_d": "156495535330120",1728 "expected_iterations": 12376544.026671479,1729 "fruitless_by_length": [1730 {1731 "count": 3,1732 "length": 21733 },1734 {1735 "count": 306,1736 "length": 41737 },1738 {1739 "count": 7,1740 "length": 61741 }1742 ],1743 "fruitless_cycles": 316,1744 "group_ops": 19845126,1745 "group_ops_per_cpu_s": 23008155.92268914,1746 "group_ops_per_wall_s": 361887494.7155552,1747 "iterations": 19247283,1748 "label": "g48b-3/t16",1749 "lookahead_rejections": 151571,1750 "match": true,1751 "ok": true,1752 "ops": {1753 "add": 19844603,1754 "dbl": 523,1755 "inv": 599419,1756 "mul": 1368453621757 },1758 "params": {1759 "alg": "rho",1760 "aut3": false,1761 "beta": null,1762 "cycle_check": 32,1763 "dp": 10,1764 "instance": {1765 "a": "71061401545016",1766 "b": "121472231056009",1767 "gx": "165498804781647",1768 "gy": "187867244395522",1769 "n": "195033359107337",1770 "p": "195033352501727",1771 "qx": "125607196444819",1772 "qy": "16616218842982"1773 },1774 "lambda": null,1775 "max_walk_len": 65536,1776 "mixed": 0,1777 "mode": "dp",1778 "neg": true,1779 "r": 128,1780 "seed": 34,1781 "threads": 16,1782 "walks": 1281783 },1784 "peak_rss_bytes": 10551296,1785 "process_cpu_s": 0.8644269999999992,1786 "restarts": 20655,1787 "seed": 34,1788 "table_entries": 18606,1789 "threads": 16,1790 "useless_collisions": 0,1791 "wall_s": 0.0548378331792 },1793 {1794 "abandoned_walks": 0,1795 "bits": 48,1796 "class_size": 2,1797 "cpu_s": 1.6406654139999999,1798 "d": "156495535330120",1799 "doubling_fallbacks": 0,1800 "dp_bytes": 1892352,1801 "dp_count": 30681,1802 "engine": "rho_engine 0.1.0",1803 "expected_d": "156495535330120",1804 "expected_iterations": 12376544.026671479,1805 "fruitless_by_length": [1806 {1807 "count": 7,1808 "length": 21809 },1810 {1811 "count": 491,1812 "length": 41813 },1814 {1815 "count": 10,1816 "length": 61817 }1818 ],1819 "fruitless_cycles": 508,1820 "group_ops": 32679431,1821 "group_ops_per_cpu_s": 19918400.620347325,1822 "group_ops_per_wall_s": 530875789.4071996,1823 "iterations": 31691960,1824 "label": "g48b-3/t28",1825 "lookahead_rejections": 249437,1826 "match": true,1827 "ok": true,1828 "ops": {1829 "add": 32678716,1830 "dbl": 715,1831 "inv": 990137,1832 "mul": 2253341481833 },1834 "params": {1835 "alg": "rho",1836 "aut3": false,1837 "beta": null,1838 "cycle_check": 32,1839 "dp": 10,1840 "instance": {1841 "a": "71061401545016",1842 "b": "121472231056009",1843 "gx": "165498804781647",1844 "gy": "187867244395522",1845 "n": "195033359107337",1846 "p": "195033352501727",1847 "qx": "125607196444819",1848 "qy": "16616218842982"1849 },1850 "lambda": null,1851 "max_walk_len": 65536,1852 "mixed": 0,1853 "mode": "dp",1854 "neg": true,1855 "r": 128,1856 "seed": 34,1857 "threads": 28,1858 "walks": 1281859 },1860 "peak_rss_bytes": 10747904,1861 "process_cpu_s": 1.6438950000000006,1862 "restarts": 34266,1863 "seed": 34,1864 "table_entries": 30681,1865 "threads": 28,1866 "useless_collisions": 0,1867 "wall_s": 0.0615575841868 },1869 {1870 "abandoned_walks": 0,1871 "bits": 48,1872 "class_size": 2,1873 "cpu_s": 1.0131985,1874 "d": "210139905470306",1875 "doubling_fallbacks": 0,1876 "dp_bytes": 1892352,1877 "dp_count": 22591,1878 "engine": "rho_engine 0.1.0",1879 "expected_d": "210139905470306",1880 "expected_iterations": 14233469.935188508,1881 "fruitless_by_length": [1882 {1883 "count": 5,1884 "length": 21885 },1886 {1887 "count": 366,1888 "length": 41889 },1890 {1891 "count": 5,1892 "length": 61893 }1894 ],1895 "fruitless_cycles": 376,1896 "group_ops": 23953450,1897 "group_ops_per_cpu_s": 23641418.73482837,1898 "group_ops_per_wall_s": 23625444.18474917,1899 "iterations": 23278543,1900 "label": "g48b-4/t1",1901 "lookahead_rejections": 183578,1902 "match": true,1903 "ok": true,1904 "ops": {1905 "add": 23952867,1906 "dbl": 583,1907 "inv": 676509,1908 "mul": 1653614021909 },1910 "params": {1911 "alg": "rho",1912 "aut3": false,1913 "beta": null,1914 "cycle_check": 32,1915 "dp": 10,1916 "instance": {1917 "a": "61109029626220",1918 "b": "29129234319354",1919 "gx": "18652597713297",1920 "gy": "117177737541856",1921 "n": "257947721089073",1922 "p": "257947738000499",1923 "qx": "145054386523597",1924 "qy": "199194643882763"1925 },1926 "lambda": null,1927 "max_walk_len": 65536,1928 "mixed": 0,1929 "mode": "dp",1930 "neg": true,1931 "r": 128,1932 "seed": 34,1933 "threads": 1,1934 "walks": 1281935 },1936 "peak_rss_bytes": 10747904,1937 "process_cpu_s": 1.0147970000000015,1938 "restarts": 22721,1939 "seed": 34,1940 "table_entries": 22591,1941 "threads": 1,1942 "useless_collisions": 0,1943 "wall_s": 1.0138835831944 },1945 {1946 "abandoned_walks": 0,1947 "bits": 48,1948 "class_size": 2,1949 "cpu_s": 0.5545668320000001,1950 "d": "210139905470306",1951 "doubling_fallbacks": 0,1952 "dp_bytes": 1892352,1953 "dp_count": 12981,1954 "engine": "rho_engine 0.1.0",1955 "expected_d": "210139905470306",1956 "expected_iterations": 14233469.935188508,1957 "fruitless_by_length": [1958 {1959 "count": 4,1960 "length": 21961 },1962 {1963 "count": 214,1964 "length": 41965 },1966 {1967 "count": 2,1968 "length": 61969 }1970 ],1971 "fruitless_cycles": 220,1972 "group_ops": 13552835,1973 "group_ops_per_cpu_s": 24438596.428716812,1974 "group_ops_per_wall_s": 48712079.07352343,1975 "iterations": 13161435,1976 "label": "g48b-4/t2",1977 "lookahead_rejections": 103672,1978 "match": true,1979 "ok": true,1980 "ops": {1981 "add": 13552408,1982 "dbl": 427,1983 "inv": 392460,1984 "mul": 935229141985 },1986 "params": {1987 "alg": "rho",1988 "aut3": false,1989 "beta": null,1990 "cycle_check": 32,1991 "dp": 10,1992 "instance": {1993 "a": "61109029626220",1994 "b": "29129234319354",1995 "gx": "18652597713297",1996 "gy": "117177737541856",1997 "n": "257947721089073",1998 "p": "257947738000499",1999 "qx": "145054386523597",2000 "qy": "199194643882763"2001 },2002 "lambda": null,2003 "max_walk_len": 65536,2004 "mixed": 0,2005 "mode": "dp",2006 "neg": true,2007 "r": 128,2008 "seed": 34,2009 "threads": 2,2010 "walks": 1282011 },2012 "peak_rss_bytes": 10747904,2013 "process_cpu_s": 0.5550719999999991,2014 "restarts": 13238,2015 "seed": 34,2016 "table_entries": 12981,2017 "threads": 2,2018 "useless_collisions": 0,2019 "wall_s": 0.2782232922020 },2021 {2022 "abandoned_walks": 0,2023 "bits": 48,2024 "class_size": 2,2025 "cpu_s": 1.116521834,2026 "d": "210139905470306",2027 "doubling_fallbacks": 0,2028 "dp_bytes": 1892352,2029 "dp_count": 26050,2030 "engine": "rho_engine 0.1.0",2031 "expected_d": "210139905470306",2032 "expected_iterations": 14233469.935188508,2033 "fruitless_by_length": [2034 {2035 "count": 7,2036 "length": 22037 },2038 {2039 "count": 429,2040 "length": 42041 },2042 {2043 "count": 4,2044 "length": 62045 }2046 ],2047 "fruitless_cycles": 440,2048 "group_ops": 27485203,2049 "group_ops_per_cpu_s": 24616807.448836688,2050 "group_ops_per_wall_s": 98014199.20521182,2051 "iterations": 26700293,2052 "label": "g48b-4/t4",2053 "lookahead_rejections": 210980,2054 "match": true,2055 "ok": true,2056 "ops": {2057 "add": 27484556,2058 "dbl": 647,2059 "inv": 786374,2060 "mul": 1897025832061 },2062 "params": {2063 "alg": "rho",2064 "aut3": false,2065 "beta": null,2066 "cycle_check": 32,2067 "dp": 10,2068 "instance": {2069 "a": "61109029626220",2070 "b": "29129234319354",2071 "gx": "18652597713297",2072 "gy": "117177737541856",2073 "n": "257947721089073",2074 "p": "257947738000499",2075 "qx": "145054386523597",2076 "qy": "199194643882763"2077 },2078 "lambda": null,2079 "max_walk_len": 65536,2080 "mixed": 0,2081 "mode": "dp",2082 "neg": true,2083 "r": 128,2084 "seed": 34,2085 "threads": 4,2086 "walks": 1282087 },2088 "peak_rss_bytes": 10747904,2089 "process_cpu_s": 1.1171489999999977,2090 "restarts": 26563,2091 "seed": 34,2092 "table_entries": 26050,2093 "threads": 4,2094 "useless_collisions": 0,2095 "wall_s": 0.2804206252096 },2097 {2098 "abandoned_walks": 0,2099 "bits": 48,2100 "class_size": 2,2101 "cpu_s": 0.586172666,2102 "d": "210139905470306",2103 "doubling_fallbacks": 0,2104 "dp_bytes": 1892352,2105 "dp_count": 13339,2106 "engine": "rho_engine 0.1.0",2107 "expected_d": "210139905470306",2108 "expected_iterations": 14233469.935188508,2109 "fruitless_by_length": [2110 {2111 "count": 6,2112 "length": 22113 },2114 {2115 "count": 211,2116 "length": 42117 },2118 {2119 "count": 1,2120 "length": 62121 }2122 ],2123 "fruitless_cycles": 218,2124 "group_ops": 13859471,2125 "group_ops_per_cpu_s": 23644007.651492916,2126 "group_ops_per_wall_s": 187013628.78080663,2127 "iterations": 13441214,2128 "label": "g48b-4/t8",2129 "lookahead_rejections": 106121,2130 "match": true,2131 "ok": true,2132 "ops": {2133 "add": 13859046,2134 "dbl": 425,2135 "inv": 419061,2136 "mul": 955684742137 },2138 "params": {2139 "alg": "rho",2140 "aut3": false,2141 "beta": null,2142 "cycle_check": 32,2143 "dp": 10,2144 "instance": {2145 "a": "61109029626220",2146 "b": "29129234319354",2147 "gx": "18652597713297",2148 "gy": "117177737541856",2149 "n": "257947721089073",2150 "p": "257947738000499",2151 "qx": "145054386523597",2152 "qy": "199194643882763"2153 },2154 "lambda": null,2155 "max_walk_len": 65536,2156 "mixed": 0,2157 "mode": "dp",2158 "neg": true,2159 "r": 128,2160 "seed": 34,2161 "threads": 8,2162 "walks": 1282163 },2164 "peak_rss_bytes": 10747904,2165 "process_cpu_s": 0.5869850000000021,2166 "restarts": 14364,2167 "seed": 34,2168 "table_entries": 13339,2169 "threads": 8,2170 "useless_collisions": 0,2171 "wall_s": 0.0741094172172 },2173 {2174 "abandoned_walks": 0,2175 "bits": 48,2176 "class_size": 2,2177 "cpu_s": 1.201938833,2178 "d": "210139905470306",2179 "doubling_fallbacks": 0,2180 "dp_bytes": 1892352,2181 "dp_count": 26471,2182 "engine": "rho_engine 0.1.0",2183 "expected_d": "210139905470306",2184 "expected_iterations": 14233469.935188508,2185 "fruitless_by_length": [2186 {2187 "count": 10,2188 "length": 22189 },2190 {2191 "count": 440,2192 "length": 42193 },2194 {2195 "count": 4,2196 "length": 62197 }2198 ],2199 "fruitless_cycles": 454,2200 "group_ops": 27865050,2201 "group_ops_per_cpu_s": 23183417.687279265,2202 "group_ops_per_wall_s": 365966834.44155043,2203 "iterations": 27034243,2204 "label": "g48b-4/t16",2205 "lookahead_rejections": 214124,2206 "match": true,2207 "ok": true,2208 "ops": {2209 "add": 27864389,2210 "dbl": 661,2211 "inv": 831830,2212 "mul": 1921870512213 },2214 "params": {2215 "alg": "rho",2216 "aut3": false,2217 "beta": null,2218 "cycle_check": 32,2219 "dp": 10,2220 "instance": {2221 "a": "61109029626220",2222 "b": "29129234319354",2223 "gx": "18652597713297",2224 "gy": "117177737541856",2225 "n": "257947721089073",2226 "p": "257947738000499",2227 "qx": "145054386523597",2228 "qy": "199194643882763"2229 },2230 "lambda": null,2231 "max_walk_len": 65536,2232 "mixed": 0,2233 "mode": "dp",2234 "neg": true,2235 "r": 128,2236 "seed": 34,2237 "threads": 16,2238 "walks": 1282239 },2240 "peak_rss_bytes": 10747904,2241 "process_cpu_s": 1.2036859999999976,2242 "restarts": 28520,2243 "seed": 34,2244 "table_entries": 26471,2245 "threads": 16,2246 "useless_collisions": 0,2247 "wall_s": 0.0761409162248 },2249 {2250 "abandoned_walks": 0,2251 "bits": 48,2252 "class_size": 2,2253 "cpu_s": 0.7997297930000001,2254 "d": "210139905470306",2255 "doubling_fallbacks": 0,2256 "dp_bytes": 1892352,2257 "dp_count": 15005,2258 "engine": "rho_engine 0.1.0",2259 "expected_d": "210139905470306",2260 "expected_iterations": 14233469.935188508,2261 "fruitless_by_length": [2262 {2263 "count": 2,2264 "length": 22265 },2266 {2267 "count": 231,2268 "length": 42269 },2270 {2271 "count": 2,2272 "length": 62273 }2274 ],2275 "fruitless_cycles": 235,2276 "group_ops": 15949516,2277 "group_ops_per_cpu_s": 19943631.135922927,2278 "group_ops_per_wall_s": 526373637.6162306,2279 "iterations": 15424126,2280 "label": "g48b-4/t28",2281 "lookahead_rejections": 122403,2282 "match": true,2283 "ok": true,2284 "ops": {2285 "add": 15949074,2286 "dbl": 442,2287 "inv": 525620,2288 "mul": 1098081952289 },2290 "params": {2291 "alg": "rho",2292 "aut3": false,2293 "beta": null,2294 "cycle_check": 32,2295 "dp": 10,2296 "instance": {2297 "a": "61109029626220",2298 "b": "29129234319354",2299 "gx": "18652597713297",2300 "gy": "117177737541856",2301 "n": "257947721089073",2302 "p": "257947738000499",2303 "qx": "145054386523597",2304 "qy": "199194643882763"2305 },2306 "lambda": null,2307 "max_walk_len": 65536,2308 "mixed": 0,2309 "mode": "dp",2310 "neg": true,2311 "r": 128,2312 "seed": 34,2313 "threads": 28,2314 "walks": 1282315 },2316 "peak_rss_bytes": 10747904,2317 "process_cpu_s": 0.8034590000000001,2318 "restarts": 18590,2319 "seed": 34,2320 "table_entries": 15005,2321 "threads": 28,2322 "useless_collisions": 0,2323 "wall_s": 0.030300752324 },2325 {2326 "abandoned_walks": 0,2327 "bits": 48,2328 "class_size": 2,2329 "cpu_s": 0.53654,2330 "d": "48216564201623",2331 "doubling_fallbacks": 0,2332 "dp_bytes": 946176,2333 "dp_count": 12770,2334 "engine": "rho_engine 0.1.0",2335 "expected_d": "48216564201623",2336 "expected_iterations": 12029351.980023004,2337 "fruitless_by_length": [2338 {2339 "count": 4,2340 "length": 22341 },2342 {2343 "count": 180,2344 "length": 42345 },2346 {2347 "count": 4,2348 "length": 62349 }2350 ],2351 "fruitless_cycles": 188,2352 "group_ops": 13309775,2353 "group_ops_per_cpu_s": 24806677.97368323,2354 "group_ops_per_wall_s": 24781874.852209274,2355 "iterations": 12928160,2356 "label": "g48b-5/t1",2357 "lookahead_rejections": 102043,2358 "match": true,2359 "ok": true,2360 "ops": {2361 "add": 13309382,2362 "dbl": 393,2363 "inv": 382318,2364 "mul": 918577492365 },2366 "params": {2367 "alg": "rho",2368 "aut3": false,2369 "beta": null,2370 "cycle_check": 32,2371 "dp": 10,2372 "instance": {2373 "a": "118386479551686",2374 "b": "15172156076373",2375 "gx": "75311103508856",2376 "gy": "159882296630211",2377 "n": "184244521827403",2378 "p": "184244530942387",2379 "qx": "53511756086905",2380 "qy": "76108569173195"2381 },2382 "lambda": null,2383 "max_walk_len": 65536,2384 "mixed": 0,2385 "mode": "dp",2386 "neg": true,2387 "r": 128,2388 "seed": 34,2389 "threads": 1,2390 "walks": 1282391 },2392 "peak_rss_bytes": 10747904,2393 "process_cpu_s": 0.5370240000000024,2394 "restarts": 12899,2395 "seed": 34,2396 "table_entries": 12770,2397 "threads": 1,2398 "useless_collisions": 0,2399 "wall_s": 0.5370772400 },2401 {2402 "abandoned_walks": 0,2403 "bits": 48,2404 "class_size": 2,2405 "cpu_s": 0.34765208300000006,2406 "d": "48216564201623",2407 "doubling_fallbacks": 0,2408 "dp_bytes": 946176,2409 "dp_count": 7989,2410 "engine": "rho_engine 0.1.0",2411 "expected_d": "48216564201623",2412 "expected_iterations": 12029351.980023004,2413 "fruitless_by_length": [2414 {2415 "count": 1,2416 "length": 22417 },2418 {2419 "count": 115,2420 "length": 42421 },2422 {2423 "count": 2,2424 "length": 62425 }2426 ],2427 "fruitless_cycles": 118,2428 "group_ops": 8450734,2429 "group_ops_per_cpu_s": 24308020.613815792,2430 "group_ops_per_wall_s": 48466024.688891776,2431 "iterations": 8205845,2432 "label": "g48b-5/t2",2433 "lookahead_rejections": 64831,2434 "match": true,2435 "ok": true,2436 "ops": {2437 "add": 8450411,2438 "dbl": 323,2439 "inv": 245264,2440 "mul": 583129452441 },2442 "params": {2443 "alg": "rho",2444 "aut3": false,2445 "beta": null,2446 "cycle_check": 32,2447 "dp": 10,2448 "instance": {2449 "a": "118386479551686",2450 "b": "15172156076373",2451 "gx": "75311103508856",2452 "gy": "159882296630211",2453 "n": "184244521827403",2454 "p": "184244530942387",2455 "qx": "53511756086905",2456 "qy": "76108569173195"2457 },2458 "lambda": null,2459 "max_walk_len": 65536,2460 "mixed": 0,2461 "mode": "dp",2462 "neg": true,2463 "r": 128,2464 "seed": 34,2465 "threads": 2,2466 "walks": 1282467 },2468 "peak_rss_bytes": 10747904,2469 "process_cpu_s": 0.34821099999999916,2470 "restarts": 8246,2471 "seed": 34,2472 "table_entries": 7989,2473 "threads": 2,2474 "useless_collisions": 0,2475 "wall_s": 0.1743640842476 },2477 {2478 "abandoned_walks": 0,2479 "bits": 48,2480 "class_size": 2,2481 "cpu_s": 0.388126083,2482 "d": "48216564201623",2483 "doubling_fallbacks": 0,2484 "dp_bytes": 946176,2485 "dp_count": 9010,2486 "engine": "rho_engine 0.1.0",2487 "expected_d": "48216564201623",2488 "expected_iterations": 12029351.980023004,2489 "fruitless_by_length": [2490 {2491 "count": 1,2492 "length": 22493 },2494 {2495 "count": 127,2496 "length": 42497 },2498 {2499 "count": 2,2500 "length": 62501 }2502 ],2503 "fruitless_cycles": 130,2504 "group_ops": 9538715,2505 "group_ops_per_cpu_s": 24576330.779603906,2506 "group_ops_per_wall_s": 97604354.92762464,2507 "iterations": 9258308,2508 "label": "g48b-5/t4",2509 "lookahead_rejections": 73038,2510 "match": true,2511 "ok": true,2512 "ops": {2513 "add": 9538380,2514 "dbl": 335,2515 "inv": 280923,2516 "mul": 658041492517 },2518 "params": {2519 "alg": "rho",2520 "aut3": false,2521 "beta": null,2522 "cycle_check": 32,2523 "dp": 10,2524 "instance": {2525 "a": "118386479551686",2526 "b": "15172156076373",2527 "gx": "75311103508856",2528 "gy": "159882296630211",2529 "n": "184244521827403",2530 "p": "184244530942387",2531 "qx": "53511756086905",2532 "qy": "76108569173195"2533 },2534 "lambda": null,2535 "max_walk_len": 65536,2536 "mixed": 0,2537 "mode": "dp",2538 "neg": true,2539 "r": 128,2540 "seed": 34,2541 "threads": 4,2542 "walks": 1282543 },2544 "peak_rss_bytes": 10747904,2545 "process_cpu_s": 0.3887559999999972,2546 "restarts": 9523,2547 "seed": 34,2548 "table_entries": 9010,2549 "threads": 4,2550 "useless_collisions": 0,2551 "wall_s": 0.0977283752552 },2553 {2554 "abandoned_walks": 0,2555 "bits": 48,2556 "class_size": 2,2557 "cpu_s": 0.406206917,2558 "d": "48216564201623",2559 "doubling_fallbacks": 0,2560 "dp_bytes": 946176,2561 "dp_count": 9162,2562 "engine": "rho_engine 0.1.0",2563 "expected_d": "48216564201623",2564 "expected_iterations": 12029351.980023004,2565 "fruitless_by_length": [2566 {2567 "count": 3,2568 "length": 22569 },2570 {2571 "count": 147,2572 "length": 42573 },2574 {2575 "count": 3,2576 "length": 62577 }2578 ],2579 "fruitless_cycles": 153,2580 "group_ops": 9639974,2581 "group_ops_per_cpu_s": 23731683.525221705,2582 "group_ops_per_wall_s": 187347054.961458,2583 "iterations": 9344379,2584 "label": "g48b-5/t8",2585 "lookahead_rejections": 73995,2586 "match": true,2587 "ok": true,2588 "ops": {2589 "add": 9639616,2590 "dbl": 358,2591 "inv": 295949,2592 "mul": 664551122593 },2594 "params": {2595 "alg": "rho",2596 "aut3": false,2597 "beta": null,2598 "cycle_check": 32,2599 "dp": 10,2600 "instance": {2601 "a": "118386479551686",2602 "b": "15172156076373",2603 "gx": "75311103508856",2604 "gy": "159882296630211",2605 "n": "184244521827403",2606 "p": "184244530942387",2607 "qx": "53511756086905",2608 "qy": "76108569173195"2609 },2610 "lambda": null,2611 "max_walk_len": 65536,2612 "mixed": 0,2613 "mode": "dp",2614 "neg": true,2615 "r": 128,2616 "seed": 34,2617 "threads": 8,2618 "walks": 1282619 },2620 "peak_rss_bytes": 10747904,2621 "process_cpu_s": 0.40706400000000187,2622 "restarts": 10187,2623 "seed": 34,2624 "table_entries": 9162,2625 "threads": 8,2626 "useless_collisions": 0,2627 "wall_s": 0.0514551672628 },2629 {2630 "abandoned_walks": 0,2631 "bits": 48,2632 "class_size": 2,2633 "cpu_s": 0.7274953310000001,2634 "d": "48216564201623",2635 "doubling_fallbacks": 0,2636 "dp_bytes": 946176,2637 "dp_count": 15760,2638 "engine": "rho_engine 0.1.0",2639 "expected_d": "48216564201623",2640 "expected_iterations": 12029351.980023004,2641 "fruitless_by_length": [2642 {2643 "count": 4,2644 "length": 22645 },2646 {2647 "count": 256,2648 "length": 42649 },2650 {2651 "count": 5,2652 "length": 62653 }2654 ],2655 "fruitless_cycles": 265,2656 "group_ops": 16669043,2657 "group_ops_per_cpu_s": 22912920.935296007,2658 "group_ops_per_wall_s": 359487116.35918146,2659 "iterations": 16156500,2660 "label": "g48b-5/t16",2661 "lookahead_rejections": 127595,2662 "match": true,2663 "ok": true,2664 "ops": {2665 "add": 16668573,2666 "dbl": 470,2667 "inv": 513500,2668 "mul": 1149044202669 },2670 "params": {2671 "alg": "rho",2672 "aut3": false,2673 "beta": null,2674 "cycle_check": 32,2675 "dp": 10,2676 "instance": {2677 "a": "118386479551686",2678 "b": "15172156076373",2679 "gx": "75311103508856",2680 "gy": "159882296630211",2681 "n": "184244521827403",2682 "p": "184244530942387",2683 "qx": "53511756086905",2684 "qy": "76108569173195"2685 },2686 "lambda": null,2687 "max_walk_len": 65536,2688 "mixed": 0,2689 "mode": "dp",2690 "neg": true,2691 "r": 128,2692 "seed": 34,2693 "threads": 16,2694 "walks": 1282695 },2696 "peak_rss_bytes": 10747904,2697 "process_cpu_s": 0.7291589999999992,2698 "restarts": 17810,2699 "seed": 34,2700 "table_entries": 15760,2701 "threads": 16,2702 "useless_collisions": 0,2703 "wall_s": 0.0463689582704 },2705 {2706 "abandoned_walks": 0,2707 "bits": 48,2708 "class_size": 2,2709 "cpu_s": 1.332579418,2710 "d": "48216564201623",2711 "doubling_fallbacks": 0,2712 "dp_bytes": 946176,2713 "dp_count": 25258,2714 "engine": "rho_engine 0.1.0",2715 "expected_d": "48216564201623",2716 "expected_iterations": 12029351.980023004,2717 "fruitless_by_length": [2718 {2719 "count": 6,2720 "length": 22721 },2722 {2723 "count": 402,2724 "length": 42725 },2726 {2727 "count": 6,2728 "length": 62729 }2730 ],2731 "fruitless_cycles": 414,2732 "group_ops": 26680387,2733 "group_ops_per_cpu_s": 20021611.199761156,2734 "group_ops_per_wall_s": 534702993.52976674,2735 "iterations": 25854518,2736 "label": "g48b-5/t28",2737 "lookahead_rejections": 204535,2738 "match": true,2739 "ok": true,2740 "ops": {2741 "add": 26679768,2742 "dbl": 619,2743 "inv": 826997,2744 "mul": 1838950952745 },2746 "params": {2747 "alg": "rho",2748 "aut3": false,2749 "beta": null,2750 "cycle_check": 32,2751 "dp": 10,2752 "instance": {2753 "a": "118386479551686",2754 "b": "15172156076373",2755 "gx": "75311103508856",2756 "gy": "159882296630211",2757 "n": "184244521827403",2758 "p": "184244530942387",2759 "qx": "53511756086905",2760 "qy": "76108569173195"2761 },2762 "lambda": null,2763 "max_walk_len": 65536,2764 "mixed": 0,2765 "mode": "dp",2766 "neg": true,2767 "r": 128,2768 "seed": 34,2769 "threads": 28,2770 "walks": 1282771 },2772 "peak_rss_bytes": 10846208,2773 "process_cpu_s": 1.337142,2774 "restarts": 28843,2775 "seed": 34,2776 "table_entries": 25258,2777 "threads": 28,2778 "useless_collisions": 0,2779 "wall_s": 0.0498975832780 }2781 ]2782 },2783 "elapsed_s": 8.052784}