1{2 "experiment": "ecdlp_study",3 "timestamp_utc": "2026-11-01T06:39:47+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": 20,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": 120,47 "n_ok": 120,48 "runs": [49 {50 "abandoned_walks": 0,51 "bits": 48,52 "class_size": 2,53 "cpu_s": 0.635008584,54 "d": "126989797870631",55 "doubling_fallbacks": 0,56 "dp_bytes": 1892352,57 "dp_count": 15768,58 "engine": "rho_engine 0.1.0",59 "expected_d": "126989797870631",60 "expected_iterations": 14194008.408911584,61 "fruitless_by_length": [62 {63 "count": 4,64 "length": 265 },66 {67 "count": 244,68 "length": 469 },70 {71 "count": 6,72 "length": 673 },74 {75 "count": 1,76 "length": 877 }78 ],79 "fruitless_cycles": 255,80 "group_ops": 16503716,81 "group_ops_per_cpu_s": 25989752.60466715,82 "group_ops_per_wall_s": 25970144.061341755,83 "iterations": 16032600,84 "label": "g48b-0/t1",85 "lookahead_rejections": 126267,86 "match": true,87 "ok": true,88 "ops": {89 "add": 16503255,90 "dbl": 461,91 "inv": 472379,92 "mul": 11390765993 },94 "params": {95 "alg": "rho",96 "aut3": false,97 "beta": null,98 "cycle_check": 32,99 "dp": 10,100 "instance": {101 "a": "3726755056219",102 "b": "65330382342397",103 "gx": "133060001354769",104 "gy": "229744108964470",105 "n": "256519411556479",106 "p": "256519404367693",107 "qx": "141030912881633",108 "qy": "138705896715429"109 },110 "lambda": null,111 "max_walk_len": 65536,112 "mixed": 0,113 "mode": "dp",114 "neg": true,115 "r": 128,116 "seed": 34,117 "threads": 1,118 "walks": 128119 },120 "peak_rss_bytes": 4702208,121 "process_cpu_s": 0.635507,122 "restarts": 15897,123 "seed": 34,124 "table_entries": 15768,125 "threads": 1,126 "useless_collisions": 0,127 "wall_s": 0.635488042128 },129 {130 "abandoned_walks": 0,131 "bits": 48,132 "class_size": 2,133 "cpu_s": 0.699935626,134 "d": "126989797870631",135 "doubling_fallbacks": 0,136 "dp_bytes": 1892352,137 "dp_count": 16432,138 "engine": "rho_engine 0.1.0",139 "expected_d": "126989797870631",140 "expected_iterations": 14194008.408911584,141 "fruitless_by_length": [142 {143 "count": 2,144 "length": 2145 },146 {147 "count": 242,148 "length": 4149 },150 {151 "count": 6,152 "length": 6153 },154 {155 "count": 1,156 "length": 8157 }158 ],159 "fruitless_cycles": 251,160 "group_ops": 17199899,161 "group_ops_per_cpu_s": 24573544.139043435,162 "group_ops_per_wall_s": 49076502.204816185,163 "iterations": 16706482,164 "label": "g48b-0/t2",165 "lookahead_rejections": 131532,166 "match": true,167 "ok": true,168 "ops": {169 "add": 17199442,170 "dbl": 457,171 "inv": 494700,172 "mul": 118703018173 },174 "params": {175 "alg": "rho",176 "aut3": false,177 "beta": null,178 "cycle_check": 32,179 "dp": 10,180 "instance": {181 "a": "3726755056219",182 "b": "65330382342397",183 "gx": "133060001354769",184 "gy": "229744108964470",185 "n": "256519411556479",186 "p": "256519404367693",187 "qx": "141030912881633",188 "qy": "138705896715429"189 },190 "lambda": null,191 "max_walk_len": 65536,192 "mixed": 0,193 "mode": "dp",194 "neg": true,195 "r": 128,196 "seed": 34,197 "threads": 2,198 "walks": 128199 },200 "peak_rss_bytes": 4816896,201 "process_cpu_s": 0.7004180000000001,202 "restarts": 16689,203 "seed": 34,204 "table_entries": 16432,205 "threads": 2,206 "useless_collisions": 0,207 "wall_s": 0.350471167208 },209 {210 "abandoned_walks": 0,211 "bits": 48,212 "class_size": 2,213 "cpu_s": 0.286284125,214 "d": "126989797870631",215 "doubling_fallbacks": 0,216 "dp_bytes": 1892352,217 "dp_count": 6623,218 "engine": "rho_engine 0.1.0",219 "expected_d": "126989797870631",220 "expected_iterations": 14194008.408911584,221 "fruitless_by_length": [222 {223 "count": 5,224 "length": 2225 },226 {227 "count": 93,228 "length": 4229 },230 {231 "count": 1,232 "length": 6233 }234 ],235 "fruitless_cycles": 99,236 "group_ops": 6960237,237 "group_ops_per_cpu_s": 24312340.057277016,238 "group_ops_per_wall_s": 96457172.47117895,239 "iterations": 6750172,240 "label": "g48b-0/t4",241 "lookahead_rejections": 53271,242 "match": true,243 "ok": true,244 "ops": {245 "add": 6959932,246 "dbl": 305,247 "inv": 210441,248 "mul": 47994531249 },250 "params": {251 "alg": "rho",252 "aut3": false,253 "beta": null,254 "cycle_check": 32,255 "dp": 10,256 "instance": {257 "a": "3726755056219",258 "b": "65330382342397",259 "gx": "133060001354769",260 "gy": "229744108964470",261 "n": "256519411556479",262 "p": "256519404367693",263 "qx": "141030912881633",264 "qy": "138705896715429"265 },266 "lambda": null,267 "max_walk_len": 65536,268 "mixed": 0,269 "mode": "dp",270 "neg": true,271 "r": 128,272 "seed": 34,273 "threads": 4,274 "walks": 128275 },276 "peak_rss_bytes": 4915200,277 "process_cpu_s": 0.2869090000000001,278 "restarts": 7136,279 "seed": 34,280 "table_entries": 6623,281 "threads": 4,282 "useless_collisions": 0,283 "wall_s": 0.072158833284 },285 {286 "abandoned_walks": 0,287 "bits": 48,288 "class_size": 2,289 "cpu_s": 0.587392749,290 "d": "126989797870631",291 "doubling_fallbacks": 0,292 "dp_bytes": 1892352,293 "dp_count": 13377,294 "engine": "rho_engine 0.1.0",295 "expected_d": "126989797870631",296 "expected_iterations": 14194008.408911584,297 "fruitless_by_length": [298 {299 "count": 8,300 "length": 2301 },302 {303 "count": 197,304 "length": 4305 },306 {307 "count": 3,308 "length": 6309 }310 ],311 "fruitless_cycles": 208,312 "group_ops": 13928885,313 "group_ops_per_cpu_s": 23713069.362386696,314 "group_ops_per_wall_s": 187947311.27742836,315 "iterations": 13509592,316 "label": "g48b-0/t8",317 "lookahead_rejections": 106307,318 "match": true,319 "ok": true,320 "ops": {321 "add": 13928471,322 "dbl": 414,323 "inv": 420403,324 "mul": 96050025325 },326 "params": {327 "alg": "rho",328 "aut3": false,329 "beta": null,330 "cycle_check": 32,331 "dp": 10,332 "instance": {333 "a": "3726755056219",334 "b": "65330382342397",335 "gx": "133060001354769",336 "gy": "229744108964470",337 "n": "256519411556479",338 "p": "256519404367693",339 "qx": "141030912881633",340 "qy": "138705896715429"341 },342 "lambda": null,343 "max_walk_len": 65536,344 "mixed": 0,345 "mode": "dp",346 "neg": true,347 "r": 128,348 "seed": 34,349 "threads": 8,350 "walks": 128351 },352 "peak_rss_bytes": 5226496,353 "process_cpu_s": 0.5883530000000003,354 "restarts": 14402,355 "seed": 34,356 "table_entries": 13377,357 "threads": 8,358 "useless_collisions": 0,359 "wall_s": 0.074110584360 },361 {362 "abandoned_walks": 0,363 "bits": 48,364 "class_size": 2,365 "cpu_s": 0.7632390810000002,366 "d": "126989797870631",367 "doubling_fallbacks": 0,368 "dp_bytes": 1892352,369 "dp_count": 16693,370 "engine": "rho_engine 0.1.0",371 "expected_d": "126989797870631",372 "expected_iterations": 14194008.408911584,373 "fruitless_by_length": [374 {375 "count": 12,376 "length": 2377 },378 {379 "count": 264,380 "length": 4381 },382 {383 "count": 3,384 "length": 6385 }386 ],387 "fruitless_cycles": 279,388 "group_ops": 17590783,389 "group_ops_per_cpu_s": 23047539.67387579,390 "group_ops_per_wall_s": 362858032.2661938,391 "iterations": 17049907,392 "label": "g48b-0/t16",393 "lookahead_rejections": 134735,394 "match": true,395 "ok": true,396 "ops": {397 "add": 17590298,398 "dbl": 485,399 "inv": 541795,400 "mul": 121258557401 },402 "params": {403 "alg": "rho",404 "aut3": false,405 "beta": null,406 "cycle_check": 32,407 "dp": 10,408 "instance": {409 "a": "3726755056219",410 "b": "65330382342397",411 "gx": "133060001354769",412 "gy": "229744108964470",413 "n": "256519411556479",414 "p": "256519404367693",415 "qx": "141030912881633",416 "qy": "138705896715429"417 },418 "lambda": null,419 "max_walk_len": 65536,420 "mixed": 0,421 "mode": "dp",422 "neg": true,423 "r": 128,424 "seed": 34,425 "threads": 16,426 "walks": 128427 },428 "peak_rss_bytes": 5554176,429 "process_cpu_s": 0.765047,430 "restarts": 18742,431 "seed": 34,432 "table_entries": 16693,433 "threads": 16,434 "useless_collisions": 0,435 "wall_s": 0.048478417436 },437 {438 "abandoned_walks": 0,439 "bits": 48,440 "class_size": 2,441 "cpu_s": 0.4304468719999999,442 "d": "126989797870631",443 "doubling_fallbacks": 0,444 "dp_bytes": 1892352,445 "dp_count": 7901,446 "engine": "rho_engine 0.1.0",447 "expected_d": "126989797870631",448 "expected_iterations": 14194008.408911584,449 "fruitless_by_length": [450 {451 "count": 7,452 "length": 2453 },454 {455 "count": 126,456 "length": 4457 },458 {459 "count": 1,460 "length": 6461 }462 ],463 "fruitless_cycles": 134,464 "group_ops": 8522126,465 "group_ops_per_cpu_s": 19798322.520973045,466 "group_ops_per_wall_s": 514989153.48081475,467 "iterations": 8207091,468 "label": "g48b-0/t28",469 "lookahead_rejections": 64817,470 "match": true,471 "ok": true,472 "ops": {473 "add": 8521786,474 "dbl": 340,475 "inv": 315513,476 "mul": 58535112477 },478 "params": {479 "alg": "rho",480 "aut3": false,481 "beta": null,482 "cycle_check": 32,483 "dp": 10,484 "instance": {485 "a": "3726755056219",486 "b": "65330382342397",487 "gx": "133060001354769",488 "gy": "229744108964470",489 "n": "256519411556479",490 "p": "256519404367693",491 "qx": "141030912881633",492 "qy": "138705896715429"493 },494 "lambda": null,495 "max_walk_len": 65536,496 "mixed": 0,497 "mode": "dp",498 "neg": true,499 "r": 128,500 "seed": 34,501 "threads": 28,502 "walks": 128503 },504 "peak_rss_bytes": 6111232,505 "process_cpu_s": 0.43514900000000045,506 "restarts": 11486,507 "seed": 34,508 "table_entries": 7901,509 "threads": 28,510 "useless_collisions": 0,511 "wall_s": 0.016548166512 },513 {514 "abandoned_walks": 0,515 "bits": 48,516 "class_size": 2,517 "cpu_s": 0.6386845000000001,518 "d": "87106958227239",519 "doubling_fallbacks": 0,520 "dp_bytes": 946176,521 "dp_count": 15656,522 "engine": "rho_engine 0.1.0",523 "expected_d": "87106958227239",524 "expected_iterations": 12122961.377009576,525 "fruitless_by_length": [526 {527 "count": 3,528 "length": 2529 },530 {531 "count": 259,532 "length": 4533 },534 {535 "count": 3,536 "length": 6537 }538 ],539 "fruitless_cycles": 265,540 "group_ops": 16629616,541 "group_ops_per_cpu_s": 26037293.843830556,542 "group_ops_per_wall_s": 26019645.194997475,543 "iterations": 16160282,544 "label": "g48b-1/t1",545 "lookahead_rejections": 127901,546 "match": true,547 "ok": true,548 "ops": {549 "add": 16629145,550 "dbl": 471,551 "inv": 470009,552 "mul": 114800419553 },554 "params": {555 "alg": "rho",556 "aut3": false,557 "beta": null,558 "cycle_check": 32,559 "dp": 10,560 "instance": {561 "a": "105438428139075",562 "b": "142980687544501",563 "gx": "4768907048255",564 "gy": "945905260195",565 "n": "187123168091869",566 "p": "187123142063729",567 "qx": "160151232076063",568 "qy": "173626818921061"569 },570 "lambda": null,571 "max_walk_len": 65536,572 "mixed": 0,573 "mode": "dp",574 "neg": true,575 "r": 128,576 "seed": 34,577 "threads": 1,578 "walks": 128579 },580 "peak_rss_bytes": 6750208,581 "process_cpu_s": 0.6391469999999995,582 "restarts": 15785,583 "seed": 34,584 "table_entries": 15656,585 "threads": 1,586 "useless_collisions": 0,587 "wall_s": 0.639117708588 },589 {590 "abandoned_walks": 0,591 "bits": 48,592 "class_size": 2,593 "cpu_s": 1.191132208,594 "d": "87106958227239",595 "doubling_fallbacks": 0,596 "dp_bytes": 946176,597 "dp_count": 28401,598 "engine": "rho_engine 0.1.0",599 "expected_d": "87106958227239",600 "expected_iterations": 12122961.377009576,601 "fruitless_by_length": [602 {603 "count": 8,604 "length": 2605 },606 {607 "count": 456,608 "length": 4609 },610 {611 "count": 8,612 "length": 6613 }614 ],615 "fruitless_cycles": 472,616 "group_ops": 29810769,617 "group_ops_per_cpu_s": 25027254.573238775,618 "group_ops_per_wall_s": 50008090.91921504,619 "iterations": 28964295,620 "label": "g48b-1/t2",621 "lookahead_rejections": 229000,622 "match": true,623 "ok": true,624 "ops": {625 "add": 29810091,626 "dbl": 678,627 "inv": 847911,628 "mul": 205773477629 },630 "params": {631 "alg": "rho",632 "aut3": false,633 "beta": null,634 "cycle_check": 32,635 "dp": 10,636 "instance": {637 "a": "105438428139075",638 "b": "142980687544501",639 "gx": "4768907048255",640 "gy": "945905260195",641 "n": "187123168091869",642 "p": "187123142063729",643 "qx": "160151232076063",644 "qy": "173626818921061"645 },646 "lambda": null,647 "max_walk_len": 65536,648 "mixed": 0,649 "mode": "dp",650 "neg": true,651 "r": 128,652 "seed": 34,653 "threads": 2,654 "walks": 128655 },656 "peak_rss_bytes": 7880704,657 "process_cpu_s": 1.1916409999999997,658 "restarts": 28658,659 "seed": 34,660 "table_entries": 28401,661 "threads": 2,662 "useless_collisions": 0,663 "wall_s": 0.596118917664 },665 {666 "abandoned_walks": 0,667 "bits": 48,668 "class_size": 2,669 "cpu_s": 1.198908958,670 "d": "87106958227239",671 "doubling_fallbacks": 0,672 "dp_bytes": 946176,673 "dp_count": 27965,674 "engine": "rho_engine 0.1.0",675 "expected_d": "87106958227239",676 "expected_iterations": 12122961.377009576,677 "fruitless_by_length": [678 {679 "count": 3,680 "length": 2681 },682 {683 "count": 429,684 "length": 4685 },686 {687 "count": 12,688 "length": 6689 },690 {691 "count": 1,692 "length": 8693 }694 ],695 "fruitless_cycles": 445,696 "group_ops": 29415702,697 "group_ops_per_cpu_s": 24535392.6198623,698 "group_ops_per_wall_s": 97841030.44359359,699 "iterations": 28576138,700 "label": "g48b-1/t4",701 "lookahead_rejections": 226125,702 "match": true,703 "ok": true,704 "ops": {705 "add": 29415051,706 "dbl": 651,707 "inv": 840702,708 "mul": 203030316709 },710 "params": {711 "alg": "rho",712 "aut3": false,713 "beta": null,714 "cycle_check": 32,715 "dp": 10,716 "instance": {717 "a": "105438428139075",718 "b": "142980687544501",719 "gx": "4768907048255",720 "gy": "945905260195",721 "n": "187123168091869",722 "p": "187123142063729",723 "qx": "160151232076063",724 "qy": "173626818921061"725 },726 "lambda": null,727 "max_walk_len": 65536,728 "mixed": 0,729 "mode": "dp",730 "neg": true,731 "r": 128,732 "seed": 34,733 "threads": 4,734 "walks": 128735 },736 "peak_rss_bytes": 7962624,737 "process_cpu_s": 1.1994830000000007,738 "restarts": 28478,739 "seed": 34,740 "table_entries": 27965,741 "threads": 4,742 "useless_collisions": 0,743 "wall_s": 0.300647917744 },745 {746 "abandoned_walks": 0,747 "bits": 48,748 "class_size": 2,749 "cpu_s": 1.1387501260000001,750 "d": "87106958227239",751 "doubling_fallbacks": 0,752 "dp_bytes": 946176,753 "dp_count": 25728,754 "engine": "rho_engine 0.1.0",755 "expected_d": "87106958227239",756 "expected_iterations": 12122961.377009576,757 "fruitless_by_length": [758 {759 "count": 3,760 "length": 2761 },762 {763 "count": 420,764 "length": 4765 },766 {767 "count": 8,768 "length": 6769 },770 {771 "count": 1,772 "length": 8773 }774 ],775 "fruitless_cycles": 432,776 "group_ops": 27081865,777 "group_ops_per_cpu_s": 23782096.161102857,778 "group_ops_per_wall_s": 189069601.59927905,779 "iterations": 26297108,780 "label": "g48b-1/t8",781 "lookahead_rejections": 208256,782 "match": true,783 "ok": true,784 "ops": {785 "add": 27081227,786 "dbl": 638,787 "inv": 785753,788 "mul": 186875507789 },790 "params": {791 "alg": "rho",792 "aut3": false,793 "beta": null,794 "cycle_check": 32,795 "dp": 10,796 "instance": {797 "a": "105438428139075",798 "b": "142980687544501",799 "gx": "4768907048255",800 "gy": "945905260195",801 "n": "187123168091869",802 "p": "187123142063729",803 "qx": "160151232076063",804 "qy": "173626818921061"805 },806 "lambda": null,807 "max_walk_len": 65536,808 "mixed": 0,809 "mode": "dp",810 "neg": true,811 "r": 128,812 "seed": 34,813 "threads": 8,814 "walks": 128815 },816 "peak_rss_bytes": 8142848,817 "process_cpu_s": 1.1396590000000009,818 "restarts": 26754,819 "seed": 34,820 "table_entries": 25728,821 "threads": 8,822 "useless_collisions": 0,823 "wall_s": 0.143237542824 },825 {826 "abandoned_walks": 0,827 "bits": 48,828 "class_size": 2,829 "cpu_s": 0.6361960409999999,830 "d": "87106958227239",831 "doubling_fallbacks": 0,832 "dp_bytes": 946176,833 "dp_count": 13922,834 "engine": "rho_engine 0.1.0",835 "expected_d": "87106958227239",836 "expected_iterations": 12122961.377009576,837 "fruitless_by_length": [838 {839 "count": 6,840 "length": 2841 },842 {843 "count": 230,844 "length": 4845 },846 {847 "count": 1,848 "length": 6849 }850 ],851 "fruitless_cycles": 237,852 "group_ops": 14696027,853 "group_ops_per_cpu_s": 23099840.383948572,854 "group_ops_per_wall_s": 363025455.9029125,855 "iterations": 14237864,856 "label": "g48b-1/t16",857 "lookahead_rejections": 112514,858 "match": true,859 "ok": true,860 "ops": {861 "add": 14695584,862 "dbl": 443,863 "inv": 458946,864 "mul": 101279176865 },866 "params": {867 "alg": "rho",868 "aut3": false,869 "beta": null,870 "cycle_check": 32,871 "dp": 10,872 "instance": {873 "a": "105438428139075",874 "b": "142980687544501",875 "gx": "4768907048255",876 "gy": "945905260195",877 "n": "187123168091869",878 "p": "187123142063729",879 "qx": "160151232076063",880 "qy": "173626818921061"881 },882 "lambda": null,883 "max_walk_len": 65536,884 "mixed": 0,885 "mode": "dp",886 "neg": true,887 "r": 128,888 "seed": 34,889 "threads": 16,890 "walks": 128891 },892 "peak_rss_bytes": 8273920,893 "process_cpu_s": 0.6380140000000001,894 "restarts": 15971,895 "seed": 34,896 "table_entries": 13922,897 "threads": 16,898 "useless_collisions": 0,899 "wall_s": 0.040482084900 },901 {902 "abandoned_walks": 0,903 "bits": 48,904 "class_size": 2,905 "cpu_s": 0.699608708,906 "d": "87106958227239",907 "doubling_fallbacks": 0,908 "dp_bytes": 946176,909 "dp_count": 13043,910 "engine": "rho_engine 0.1.0",911 "expected_d": "87106958227239",912 "expected_iterations": 12122961.377009576,913 "fruitless_by_length": [914 {915 "count": 7,916 "length": 2917 },918 {919 "count": 195,920 "length": 4921 },922 {923 "count": 5,924 "length": 6925 }926 ],927 "fruitless_cycles": 207,928 "group_ops": 13913617,929 "group_ops_per_cpu_s": 19887712.718407158,930 "group_ops_per_wall_s": 526611233.8268579,931 "iterations": 13447621,932 "label": "g48b-1/t28",933 "lookahead_rejections": 106197,934 "match": true,935 "ok": true,936 "ops": {937 "add": 13913204,938 "dbl": 413,939 "inv": 466730,940 "mul": 95759095941 },942 "params": {943 "alg": "rho",944 "aut3": false,945 "beta": null,946 "cycle_check": 32,947 "dp": 10,948 "instance": {949 "a": "105438428139075",950 "b": "142980687544501",951 "gx": "4768907048255",952 "gy": "945905260195",953 "n": "187123168091869",954 "p": "187123142063729",955 "qx": "160151232076063",956 "qy": "173626818921061"957 },958 "lambda": null,959 "max_walk_len": 65536,960 "mixed": 0,961 "mode": "dp",962 "neg": true,963 "r": 128,964 "seed": 34,965 "threads": 28,966 "walks": 128967 },968 "peak_rss_bytes": 8437760,969 "process_cpu_s": 0.703771999999999,970 "restarts": 16628,971 "seed": 34,972 "table_entries": 13043,973 "threads": 28,974 "useless_collisions": 0,975 "wall_s": 0.026421041976 },977 {978 "abandoned_walks": 0,979 "bits": 48,980 "class_size": 2,981 "cpu_s": 0.797977708,982 "d": "39516952702843",983 "doubling_fallbacks": 0,984 "dp_bytes": 946176,985 "dp_count": 19571,986 "engine": "rho_engine 0.1.0",987 "expected_d": "39516952702843",988 "expected_iterations": 11621035.733806845,989 "fruitless_by_length": [990 {991 "count": 8,992 "length": 2993 },994 {995 "count": 293,996 "length": 4997 },998 {999 "count": 4,1000 "length": 61001 }1002 ],1003 "fruitless_cycles": 305,1004 "group_ops": 20488263,1005 "group_ops_per_cpu_s": 25675232.271024793,1006 "group_ops_per_wall_s": 25660407.954995576,1007 "iterations": 19905016,1008 "label": "g48b-2/t1",1009 "lookahead_rejections": 157836,1010 "match": true,1011 "ok": true,1012 "ops": {1013 "add": 20487753,1014 "dbl": 510,1015 "inv": 583680,1016 "mul": 1414195641017 },1018 "params": {1019 "alg": "rho",1020 "aut3": false,1021 "beta": null,1022 "cycle_check": 32,1023 "dp": 10,1024 "instance": {1025 "a": "86071588730789",1026 "b": "42672606382857",1027 "gx": "33226567426188",1028 "gy": "57791093079899",1029 "n": "171949054403473",1030 "p": "171949038934087",1031 "qx": "31512258602784",1032 "qy": "4240617919531"1033 },1034 "lambda": null,1035 "max_walk_len": 65536,1036 "mixed": 0,1037 "mode": "dp",1038 "neg": true,1039 "r": 128,1040 "seed": 34,1041 "threads": 1,1042 "walks": 1281043 },1044 "peak_rss_bytes": 9142272,1045 "process_cpu_s": 0.7984819999999999,1046 "restarts": 19700,1047 "seed": 34,1048 "table_entries": 19571,1049 "threads": 1,1050 "useless_collisions": 0,1051 "wall_s": 0.7984387091052 },1053 {1054 "abandoned_walks": 0,1055 "bits": 48,1056 "class_size": 2,1057 "cpu_s": 0.777609625,1058 "d": "39516952702843",1059 "doubling_fallbacks": 0,1060 "dp_bytes": 946176,1061 "dp_count": 18848,1062 "engine": "rho_engine 0.1.0",1063 "expected_d": "39516952702843",1064 "expected_iterations": 11621035.733806845,1065 "fruitless_by_length": [1066 {1067 "count": 5,1068 "length": 21069 },1070 {1071 "count": 278,1072 "length": 41073 },1074 {1075 "count": 5,1076 "length": 61077 }1078 ],1079 "fruitless_cycles": 288,1080 "group_ops": 19609985,1081 "group_ops_per_cpu_s": 25218289.961367186,1082 "group_ops_per_wall_s": 50358718.31637789,1083 "iterations": 19046937,1084 "label": "g48b-2/t2",1085 "lookahead_rejections": 150423,1086 "match": true,1087 "ok": true,1088 "ops": {1089 "add": 19609492,1090 "dbl": 493,1091 "inv": 564049,1092 "mul": 1353358571093 },1094 "params": {1095 "alg": "rho",1096 "aut3": false,1097 "beta": null,1098 "cycle_check": 32,1099 "dp": 10,1100 "instance": {1101 "a": "86071588730789",1102 "b": "42672606382857",1103 "gx": "33226567426188",1104 "gy": "57791093079899",1105 "n": "171949054403473",1106 "p": "171949038934087",1107 "qx": "31512258602784",1108 "qy": "4240617919531"1109 },1110 "lambda": null,1111 "max_walk_len": 65536,1112 "mixed": 0,1113 "mode": "dp",1114 "neg": true,1115 "r": 128,1116 "seed": 34,1117 "threads": 2,1118 "walks": 1281119 },1120 "peak_rss_bytes": 9175040,1121 "process_cpu_s": 0.7781349999999989,1122 "restarts": 19105,1123 "seed": 34,1124 "table_entries": 18848,1125 "threads": 2,1126 "useless_collisions": 0,1127 "wall_s": 0.3894059591128 },1129 {1130 "abandoned_walks": 0,1131 "bits": 48,1132 "class_size": 2,1133 "cpu_s": 0.332590041,1134 "d": "39516952702843",1135 "doubling_fallbacks": 0,1136 "dp_bytes": 946176,1137 "dp_count": 7727,1138 "engine": "rho_engine 0.1.0",1139 "expected_d": "39516952702843",1140 "expected_iterations": 11621035.733806845,1141 "fruitless_by_length": [1142 {1143 "count": 1,1144 "length": 21145 },1146 {1147 "count": 117,1148 "length": 41149 },1150 {1151 "count": 2,1152 "length": 61153 }1154 ],1155 "fruitless_cycles": 120,1156 "group_ops": 8114146,1157 "group_ops_per_cpu_s": 24396839.952282276,1158 "group_ops_per_wall_s": 96931089.57866304,1159 "iterations": 7872049,1160 "label": "g48b-2/t4",1161 "lookahead_rejections": 62254,1162 "match": true,1163 "ok": true,1164 "ops": {1165 "add": 8113821,1166 "dbl": 325,1167 "inv": 242432,1168 "mul": 559629171169 },1170 "params": {1171 "alg": "rho",1172 "aut3": false,1173 "beta": null,1174 "cycle_check": 32,1175 "dp": 10,1176 "instance": {1177 "a": "86071588730789",1178 "b": "42672606382857",1179 "gx": "33226567426188",1180 "gy": "57791093079899",1181 "n": "171949054403473",1182 "p": "171949038934087",1183 "qx": "31512258602784",1184 "qy": "4240617919531"1185 },1186 "lambda": null,1187 "max_walk_len": 65536,1188 "mixed": 0,1189 "mode": "dp",1190 "neg": true,1191 "r": 128,1192 "seed": 34,1193 "threads": 4,1194 "walks": 1281195 },1196 "peak_rss_bytes": 9256960,1197 "process_cpu_s": 0.3331689999999998,1198 "restarts": 8240,1199 "seed": 34,1200 "table_entries": 7727,1201 "threads": 4,1202 "useless_collisions": 0,1203 "wall_s": 0.0837104591204 },1205 {1206 "abandoned_walks": 0,1207 "bits": 48,1208 "class_size": 2,1209 "cpu_s": 0.24298099999999997,1210 "d": "39516952702843",1211 "doubling_fallbacks": 0,1212 "dp_bytes": 946176,1213 "dp_count": 5533,1214 "engine": "rho_engine 0.1.0",1215 "expected_d": "39516952702843",1216 "expected_iterations": 11621035.733806845,1217 "fruitless_by_length": [1218 {1219 "count": 1,1220 "length": 21221 },1222 {1223 "count": 82,1224 "length": 41225 },1226 {1227 "count": 3,1228 "length": 61229 }1230 ],1231 "fruitless_cycles": 86,1232 "group_ops": 5761526,1233 "group_ops_per_cpu_s": 23711837.551084243,1234 "group_ops_per_wall_s": 185817464.95680323,1235 "iterations": 5573661,1236 "label": "g48b-2/t8",1237 "lookahead_rejections": 44055,1238 "match": true,1239 "ok": true,1240 "ops": {1241 "add": 5761235,1242 "dbl": 291,1243 "inv": 188131,1244 "mul": 396735631245 },1246 "params": {1247 "alg": "rho",1248 "aut3": false,1249 "beta": null,1250 "cycle_check": 32,1251 "dp": 10,1252 "instance": {1253 "a": "86071588730789",1254 "b": "42672606382857",1255 "gx": "33226567426188",1256 "gy": "57791093079899",1257 "n": "171949054403473",1258 "p": "171949038934087",1259 "qx": "31512258602784",1260 "qy": "4240617919531"1261 },1262 "lambda": null,1263 "max_walk_len": 65536,1264 "mixed": 0,1265 "mode": "dp",1266 "neg": true,1267 "r": 128,1268 "seed": 34,1269 "threads": 8,1270 "walks": 1281271 },1272 "peak_rss_bytes": 9404416,1273 "process_cpu_s": 0.24389000000000038,1274 "restarts": 6558,1275 "seed": 34,1276 "table_entries": 5533,1277 "threads": 8,1278 "useless_collisions": 0,1279 "wall_s": 0.0310063751280 },1281 {1282 "abandoned_walks": 0,1283 "bits": 48,1284 "class_size": 2,1285 "cpu_s": 0.503741128,1286 "d": "39516952702843",1287 "doubling_fallbacks": 0,1288 "dp_bytes": 946176,1289 "dp_count": 10952,1290 "engine": "rho_engine 0.1.0",1291 "expected_d": "39516952702843",1292 "expected_iterations": 11621035.733806845,1293 "fruitless_by_length": [1294 {1295 "count": 2,1296 "length": 21297 },1298 {1299 "count": 172,1300 "length": 41301 },1302 {1303 "count": 6,1304 "length": 61305 }1306 ],1307 "fruitless_cycles": 180,1308 "group_ops": 11529538,1309 "group_ops_per_cpu_s": 22887823.445696495,1310 "group_ops_per_wall_s": 358613788.0178507,1311 "iterations": 11159513,1312 "label": "g48b-2/t16",1313 "lookahead_rejections": 88249,1314 "match": true,1315 "ok": true,1316 "ops": {1317 "add": 11529153,1318 "dbl": 385,1319 "inv": 370556,1320 "mul": 794153081321 },1322 "params": {1323 "alg": "rho",1324 "aut3": false,1325 "beta": null,1326 "cycle_check": 32,1327 "dp": 10,1328 "instance": {1329 "a": "86071588730789",1330 "b": "42672606382857",1331 "gx": "33226567426188",1332 "gy": "57791093079899",1333 "n": "171949054403473",1334 "p": "171949038934087",1335 "qx": "31512258602784",1336 "qy": "4240617919531"1337 },1338 "lambda": null,1339 "max_walk_len": 65536,1340 "mixed": 0,1341 "mode": "dp",1342 "neg": true,1343 "r": 128,1344 "seed": 34,1345 "threads": 16,1346 "walks": 1281347 },1348 "peak_rss_bytes": 9502720,1349 "process_cpu_s": 0.5051410000000001,1350 "restarts": 13001,1351 "seed": 34,1352 "table_entries": 10952,1353 "threads": 16,1354 "useless_collisions": 0,1355 "wall_s": 0.0321502921356 },1357 {1358 "abandoned_walks": 0,1359 "bits": 48,1360 "class_size": 2,1361 "cpu_s": 0.908173209,1362 "d": "39516952702843",1363 "doubling_fallbacks": 0,1364 "dp_bytes": 946176,1365 "dp_count": 17086,1366 "engine": "rho_engine 0.1.0",1367 "expected_d": "39516952702843",1368 "expected_iterations": 11621035.733806845,1369 "fruitless_by_length": [1370 {1371 "count": 5,1372 "length": 21373 },1374 {1375 "count": 272,1376 "length": 41377 },1378 {1379 "count": 9,1380 "length": 61381 }1382 ],1383 "fruitless_cycles": 286,1384 "group_ops": 18081762,1385 "group_ops_per_cpu_s": 19910036.7868262,1386 "group_ops_per_wall_s": 532390665.7691498,1387 "iterations": 17497325,1388 "label": "g48b-2/t28",1389 "lookahead_rejections": 138306,1390 "match": true,1391 "ok": true,1392 "ops": {1393 "add": 18081271,1394 "dbl": 491,1395 "inv": 585353,1396 "mul": 1245302421397 },1398 "params": {1399 "alg": "rho",1400 "aut3": false,1401 "beta": null,1402 "cycle_check": 32,1403 "dp": 10,1404 "instance": {1405 "a": "86071588730789",1406 "b": "42672606382857",1407 "gx": "33226567426188",1408 "gy": "57791093079899",1409 "n": "171949054403473",1410 "p": "171949038934087",1411 "qx": "31512258602784",1412 "qy": "4240617919531"1413 },1414 "lambda": null,1415 "max_walk_len": 65536,1416 "mixed": 0,1417 "mode": "dp",1418 "neg": true,1419 "r": 128,1420 "seed": 34,1421 "threads": 28,1422 "walks": 1281423 },1424 "peak_rss_bytes": 9764864,1425 "process_cpu_s": 0.9122730000000008,1426 "restarts": 20671,1427 "seed": 34,1428 "table_entries": 17086,1429 "threads": 28,1430 "useless_collisions": 0,1431 "wall_s": 0.0339633341432 },1433 {1434 "abandoned_walks": 0,1435 "bits": 48,1436 "class_size": 2,1437 "cpu_s": 0.534036,1438 "d": "80011718706413",1439 "doubling_fallbacks": 0,1440 "dp_bytes": 946176,1441 "dp_count": 12810,1442 "engine": "rho_engine 0.1.0",1443 "expected_d": "80011718706413",1444 "expected_iterations": 13996505.35716202,1445 "fruitless_by_length": [1446 {1447 "count": 3,1448 "length": 21449 },1450 {1451 "count": 188,1452 "length": 41453 },1454 {1455 "count": 1,1456 "length": 61457 }1458 ],1459 "fruitless_cycles": 192,1460 "group_ops": 13514398,1461 "group_ops_per_cpu_s": 25306155.390273318,1462 "group_ops_per_wall_s": 25285566.89266522,1463 "iterations": 13129628,1464 "label": "g48b-3/t1",1465 "lookahead_rejections": 103591,1466 "match": true,1467 "ok": true,1468 "ops": {1469 "add": 13514000,1470 "dbl": 398,1471 "inv": 385519,1472 "mul": 932805351473 },1474 "params": {1475 "alg": "rho",1476 "aut3": false,1477 "beta": null,1478 "cycle_check": 32,1479 "dp": 10,1480 "instance": {1481 "a": "156592876908676",1482 "b": "1799694706723",1483 "gx": "37951220547299",1484 "gy": "123794740546348",1485 "n": "249430379828797",1486 "p": "249430369154497",1487 "qx": "162339906357986",1488 "qy": "181602525746795"1489 },1490 "lambda": null,1491 "max_walk_len": 65536,1492 "mixed": 0,1493 "mode": "dp",1494 "neg": true,1495 "r": 128,1496 "seed": 34,1497 "threads": 1,1498 "walks": 1281499 },1500 "peak_rss_bytes": 10354688,1501 "process_cpu_s": 0.5344860000000011,1502 "restarts": 12939,1503 "seed": 34,1504 "table_entries": 12810,1505 "threads": 1,1506 "useless_collisions": 0,1507 "wall_s": 0.5344708331508 },1509 {1510 "abandoned_walks": 0,1511 "bits": 48,1512 "class_size": 2,1513 "cpu_s": 0.5616010010000001,1514 "d": "80011718706413",1515 "doubling_fallbacks": 0,1516 "dp_bytes": 946176,1517 "dp_count": 13373,1518 "engine": "rho_engine 0.1.0",1519 "expected_d": "80011718706413",1520 "expected_iterations": 13996505.35716202,1521 "fruitless_by_length": [1522 {1523 "count": 5,1524 "length": 21525 },1526 {1527 "count": 192,1528 "length": 41529 },1530 {1531 "count": 4,1532 "length": 61533 }1534 ],1535 "fruitless_cycles": 201,1536 "group_ops": 14009571,1537 "group_ops_per_cpu_s": 24945772.844162002,1538 "group_ops_per_wall_s": 49802577.92222508,1539 "iterations": 13605776,1540 "label": "g48b-3/t2",1541 "lookahead_rejections": 107626,1542 "match": true,1543 "ok": true,1544 "ops": {1545 "add": 14009164,1546 "dbl": 407,1547 "inv": 404315,1548 "mul": 966798651549 },1550 "params": {1551 "alg": "rho",1552 "aut3": false,1553 "beta": null,1554 "cycle_check": 32,1555 "dp": 10,1556 "instance": {1557 "a": "156592876908676",1558 "b": "1799694706723",1559 "gx": "37951220547299",1560 "gy": "123794740546348",1561 "n": "249430379828797",1562 "p": "249430369154497",1563 "qx": "162339906357986",1564 "qy": "181602525746795"1565 },1566 "lambda": null,1567 "max_walk_len": 65536,1568 "mixed": 0,1569 "mode": "dp",1570 "neg": true,1571 "r": 128,1572 "seed": 34,1573 "threads": 2,1574 "walks": 1281575 },1576 "peak_rss_bytes": 10387456,1577 "process_cpu_s": 0.5621019999999994,1578 "restarts": 13630,1579 "seed": 34,1580 "table_entries": 13373,1581 "threads": 2,1582 "useless_collisions": 0,1583 "wall_s": 0.2813021251584 },1585 {1586 "abandoned_walks": 0,1587 "bits": 48,1588 "class_size": 2,1589 "cpu_s": 0.287574333,1590 "d": "80011718706413",1591 "doubling_fallbacks": 0,1592 "dp_bytes": 946176,1593 "dp_count": 6532,1594 "engine": "rho_engine 0.1.0",1595 "expected_d": "80011718706413",1596 "expected_iterations": 13996505.35716202,1597 "fruitless_by_length": [1598 {1599 "count": 1,1600 "length": 21601 },1602 {1603 "count": 97,1604 "length": 41605 }1606 ],1607 "fruitless_cycles": 98,1608 "group_ops": 6993740,1609 "group_ops_per_cpu_s": 24319764.30942465,1610 "group_ops_per_wall_s": 96446977.2270899,1611 "iterations": 6785630,1612 "label": "g48b-3/t4",1613 "lookahead_rejections": 53390,1614 "match": true,1615 "ok": true,1616 "ops": {1617 "add": 6993436,1618 "dbl": 304,1619 "inv": 208638,1620 "mul": 482367151621 },1622 "params": {1623 "alg": "rho",1624 "aut3": false,1625 "beta": null,1626 "cycle_check": 32,1627 "dp": 10,1628 "instance": {1629 "a": "156592876908676",1630 "b": "1799694706723",1631 "gx": "37951220547299",1632 "gy": "123794740546348",1633 "n": "249430379828797",1634 "p": "249430369154497",1635 "qx": "162339906357986",1636 "qy": "181602525746795"1637 },1638 "lambda": null,1639 "max_walk_len": 65536,1640 "mixed": 0,1641 "mode": "dp",1642 "neg": true,1643 "r": 128,1644 "seed": 34,1645 "threads": 4,1646 "walks": 1281647 },1648 "peak_rss_bytes": 10436608,1649 "process_cpu_s": 0.2882309999999997,1650 "restarts": 7045,1651 "seed": 34,1652 "table_entries": 6532,1653 "threads": 4,1654 "useless_collisions": 0,1655 "wall_s": 0.0725138331656 },1657 {1658 "abandoned_walks": 0,1659 "bits": 48,1660 "class_size": 2,1661 "cpu_s": 0.502335791,1662 "d": "80011718706413",1663 "doubling_fallbacks": 0,1664 "dp_bytes": 946176,1665 "dp_count": 11033,1666 "engine": "rho_engine 0.1.0",1667 "expected_d": "80011718706413",1668 "expected_iterations": 13996505.35716202,1669 "fruitless_by_length": [1670 {1671 "count": 1,1672 "length": 21673 },1674 {1675 "count": 169,1676 "length": 41677 },1678 {1679 "count": 2,1680 "length": 61681 }1682 ],1683 "fruitless_cycles": 172,1684 "group_ops": 11913727,1685 "group_ops_per_cpu_s": 23716659.67954093,1686 "group_ops_per_wall_s": 186941617.00232953,1687 "iterations": 11560137,1688 "label": "g48b-3/t8",1689 "lookahead_rejections": 91036,1690 "match": true,1691 "ok": true,1692 "ops": {1693 "add": 11913349,1694 "dbl": 378,1695 "inv": 354441,1696 "mul": 821743631697 },1698 "params": {1699 "alg": "rho",1700 "aut3": false,1701 "beta": null,1702 "cycle_check": 32,1703 "dp": 10,1704 "instance": {1705 "a": "156592876908676",1706 "b": "1799694706723",1707 "gx": "37951220547299",1708 "gy": "123794740546348",1709 "n": "249430379828797",1710 "p": "249430369154497",1711 "qx": "162339906357986",1712 "qy": "181602525746795"1713 },1714 "lambda": null,1715 "max_walk_len": 65536,1716 "mixed": 0,1717 "mode": "dp",1718 "neg": true,1719 "r": 128,1720 "seed": 34,1721 "threads": 8,1722 "walks": 1281723 },1724 "peak_rss_bytes": 10600448,1725 "process_cpu_s": 0.5032380000000014,1726 "restarts": 12058,1727 "seed": 34,1728 "table_entries": 11033,1729 "threads": 8,1730 "useless_collisions": 0,1731 "wall_s": 0.0637296671732 },1733 {1734 "abandoned_walks": 0,1735 "bits": 48,1736 "class_size": 2,1737 "cpu_s": 0.6280174590000001,1738 "d": "80011718706413",1739 "doubling_fallbacks": 0,1740 "dp_bytes": 946176,1741 "dp_count": 13478,1742 "engine": "rho_engine 0.1.0",1743 "expected_d": "80011718706413",1744 "expected_iterations": 13996505.35716202,1745 "fruitless_by_length": [1746 {1747 "count": 1,1748 "length": 21749 },1750 {1751 "count": 211,1752 "length": 41753 },1754 {1755 "count": 5,1756 "length": 61757 }1758 ],1759 "fruitless_cycles": 217,1760 "group_ops": 14437610,1761 "group_ops_per_cpu_s": 22989185.719437137,1762 "group_ops_per_wall_s": 360806444.9298977,1763 "iterations": 13990417,1764 "label": "g48b-3/t16",1765 "lookahead_rejections": 110269,1766 "match": true,1767 "ok": true,1768 "ops": {1769 "add": 14437187,1770 "dbl": 423,1771 "inv": 448179,1772 "mul": 995087971773 },1774 "params": {1775 "alg": "rho",1776 "aut3": false,1777 "beta": null,1778 "cycle_check": 32,1779 "dp": 10,1780 "instance": {1781 "a": "156592876908676",1782 "b": "1799694706723",1783 "gx": "37951220547299",1784 "gy": "123794740546348",1785 "n": "249430379828797",1786 "p": "249430369154497",1787 "qx": "162339906357986",1788 "qy": "181602525746795"1789 },1790 "lambda": null,1791 "max_walk_len": 65536,1792 "mixed": 0,1793 "mode": "dp",1794 "neg": true,1795 "r": 128,1796 "seed": 34,1797 "threads": 16,1798 "walks": 1281799 },1800 "peak_rss_bytes": 10665984,1801 "process_cpu_s": 0.6298429999999993,1802 "restarts": 15527,1803 "seed": 34,1804 "table_entries": 13478,1805 "threads": 16,1806 "useless_collisions": 0,1807 "wall_s": 0.0400148341808 },1809 {1810 "abandoned_walks": 0,1811 "bits": 48,1812 "class_size": 2,1813 "cpu_s": 0.513602879,1814 "d": "80011718706413",1815 "doubling_fallbacks": 0,1816 "dp_bytes": 946176,1817 "dp_count": 9379,1818 "engine": "rho_engine 0.1.0",1819 "expected_d": "80011718706413",1820 "expected_iterations": 13996505.35716202,1821 "fruitless_by_length": [1822 {1823 "count": 4,1824 "length": 21825 },1826 {1827 "count": 144,1828 "length": 41829 },1830 {1831 "count": 6,1832 "length": 61833 }1834 ],1835 "fruitless_cycles": 154,1836 "group_ops": 10140916,1837 "group_ops_per_cpu_s": 19744663.46400679,1838 "group_ops_per_wall_s": 518176887.25944185,1839 "iterations": 9782006,1840 "label": "g48b-3/t28",1841 "lookahead_rejections": 76961,1842 "match": true,1843 "ok": true,1844 "ops": {1845 "add": 10140556,1846 "dbl": 360,1847 "inv": 359757,1848 "mul": 697161701849 },1850 "params": {1851 "alg": "rho",1852 "aut3": false,1853 "beta": null,1854 "cycle_check": 32,1855 "dp": 10,1856 "instance": {1857 "a": "156592876908676",1858 "b": "1799694706723",1859 "gx": "37951220547299",1860 "gy": "123794740546348",1861 "n": "249430379828797",1862 "p": "249430369154497",1863 "qx": "162339906357986",1864 "qy": "181602525746795"1865 },1866 "lambda": null,1867 "max_walk_len": 65536,1868 "mixed": 0,1869 "mode": "dp",1870 "neg": true,1871 "r": 128,1872 "seed": 34,1873 "threads": 28,1874 "walks": 1281875 },1876 "peak_rss_bytes": 10878976,1877 "process_cpu_s": 0.5159380000000002,1878 "restarts": 12964,1879 "seed": 34,1880 "table_entries": 9379,1881 "threads": 28,1882 "useless_collisions": 0,1883 "wall_s": 0.0195703751884 },1885 {1886 "abandoned_walks": 0,1887 "bits": 48,1888 "class_size": 2,1889 "cpu_s": 0.35821145900000007,1890 "d": "138644645644198",1891 "doubling_fallbacks": 0,1892 "dp_bytes": 946176,1893 "dp_count": 8707,1894 "engine": "rho_engine 0.1.0",1895 "expected_d": "138644645644198",1896 "expected_iterations": 13377248.62723744,1897 "fruitless_by_length": [1898 {1899 "count": 139,1900 "length": 41901 },1902 {1903 "count": 6,1904 "length": 61905 }1906 ],1907 "fruitless_cycles": 145,1908 "group_ops": 9117256,1909 "group_ops_per_cpu_s": 25452161.763479482,1910 "group_ops_per_wall_s": 25420136.325838134,1911 "iterations": 8854255,1912 "label": "g48b-4/t1",1913 "lookahead_rejections": 69878,1914 "match": true,1915 "ok": true,1916 "ops": {1917 "add": 9116905,1918 "dbl": 351,1919 "inv": 263578,1920 "mul": 629164321921 },1922 "params": {1923 "alg": "rho",1924 "aut3": false,1925 "beta": null,1926 "cycle_check": 32,1927 "dp": 10,1928 "instance": {1929 "a": "220589890778126",1930 "b": "75311103508857",1931 "gx": "190402763812832",1932 "gy": "12239473784584",1933 "n": "227847210720263",1934 "p": "227847185595503",1935 "qx": "58799782171658",1936 "qy": "220505112589278"1937 },1938 "lambda": null,1939 "max_walk_len": 65536,1940 "mixed": 0,1941 "mode": "dp",1942 "neg": true,1943 "r": 128,1944 "seed": 34,1945 "threads": 1,1946 "walks": 1281947 },1948 "peak_rss_bytes": 10878976,1949 "process_cpu_s": 0.3586760000000009,1950 "restarts": 8836,1951 "seed": 34,1952 "table_entries": 8707,1953 "threads": 1,1954 "useless_collisions": 0,1955 "wall_s": 0.358662751956 },1957 {1958 "abandoned_walks": 0,1959 "bits": 48,1960 "class_size": 2,1961 "cpu_s": 0.32520291600000006,1962 "d": "138644645644198",1963 "doubling_fallbacks": 0,1964 "dp_bytes": 946176,1965 "dp_count": 7550,1966 "engine": "rho_engine 0.1.0",1967 "expected_d": "138644645644198",1968 "expected_iterations": 13377248.62723744,1969 "fruitless_by_length": [1970 {1971 "count": 1,1972 "length": 21973 },1974 {1975 "count": 124,1976 "length": 41977 },1978 {1979 "count": 3,1980 "length": 61981 }1982 ],1983 "fruitless_cycles": 128,1984 "group_ops": 7960562,1985 "group_ops_per_cpu_s": 24478753.44389593,1986 "group_ops_per_wall_s": 48824249.709819816,1987 "iterations": 7728418,1988 "label": "g48b-4/t2",1989 "lookahead_rejections": 61290,1990 "match": true,1991 "ok": true,1992 "ops": {1993 "add": 7960228,1994 "dbl": 334,1995 "inv": 232358,1996 "mul": 549255231997 },1998 "params": {1999 "alg": "rho",2000 "aut3": false,2001 "beta": null,2002 "cycle_check": 32,2003 "dp": 10,2004 "instance": {2005 "a": "220589890778126",2006 "b": "75311103508857",2007 "gx": "190402763812832",2008 "gy": "12239473784584",2009 "n": "227847210720263",2010 "p": "227847185595503",2011 "qx": "58799782171658",2012 "qy": "220505112589278"2013 },2014 "lambda": null,2015 "max_walk_len": 65536,2016 "mixed": 0,2017 "mode": "dp",2018 "neg": true,2019 "r": 128,2020 "seed": 34,2021 "threads": 2,2022 "walks": 1282023 },2024 "peak_rss_bytes": 10878976,2025 "process_cpu_s": 0.32569999999999943,2026 "restarts": 7807,2027 "seed": 34,2028 "table_entries": 7550,2029 "threads": 2,2030 "useless_collisions": 0,2031 "wall_s": 0.163045252032 },2033 {2034 "abandoned_walks": 0,2035 "bits": 48,2036 "class_size": 2,2037 "cpu_s": 0.235818083,2038 "d": "138644645644198",2039 "doubling_fallbacks": 0,2040 "dp_bytes": 946176,2041 "dp_count": 5479,2042 "engine": "rho_engine 0.1.0",2043 "expected_d": "138644645644198",2044 "expected_iterations": 13377248.62723744,2045 "fruitless_by_length": [2046 {2047 "count": 1,2048 "length": 22049 },2050 {2051 "count": 85,2052 "length": 42053 },2054 {2055 "count": 3,2056 "length": 62057 }2058 ],2059 "fruitless_cycles": 89,2060 "group_ops": 5756867,2061 "group_ops_per_cpu_s": 24412322.10339018,2062 "group_ops_per_wall_s": 96758810.84792006,2063 "iterations": 5580311,2064 "label": "g48b-4/t4",2065 "lookahead_rejections": 44593,2066 "match": true,2067 "ok": true,2068 "ops": {2069 "add": 5756572,2070 "dbl": 295,2071 "inv": 176360,2072 "mul": 396876212073 },2074 "params": {2075 "alg": "rho",2076 "aut3": false,2077 "beta": null,2078 "cycle_check": 32,2079 "dp": 10,2080 "instance": {2081 "a": "220589890778126",2082 "b": "75311103508857",2083 "gx": "190402763812832",2084 "gy": "12239473784584",2085 "n": "227847210720263",2086 "p": "227847185595503",2087 "qx": "58799782171658",2088 "qy": "220505112589278"2089 },2090 "lambda": null,2091 "max_walk_len": 65536,2092 "mixed": 0,2093 "mode": "dp",2094 "neg": true,2095 "r": 128,2096 "seed": 34,2097 "threads": 4,2098 "walks": 1282099 },2100 "peak_rss_bytes": 10878976,2101 "process_cpu_s": 0.23641899999999794,2102 "restarts": 5992,2103 "seed": 34,2104 "table_entries": 5479,2105 "threads": 4,2106 "useless_collisions": 0,2107 "wall_s": 0.0594970832108 },2109 {2110 "abandoned_walks": 0,2111 "bits": 48,2112 "class_size": 2,2113 "cpu_s": 0.49616187600000006,2114 "d": "138644645644198",2115 "doubling_fallbacks": 0,2116 "dp_bytes": 946176,2117 "dp_count": 11091,2118 "engine": "rho_engine 0.1.0",2119 "expected_d": "138644645644198",2120 "expected_iterations": 13377248.62723744,2121 "fruitless_by_length": [2122 {2123 "count": 2,2124 "length": 22125 },2126 {2127 "count": 169,2128 "length": 42129 },2130 {2131 "count": 5,2132 "length": 62133 },2134 {2135 "count": 1,2136 "length": 82137 }2138 ],2139 "fruitless_cycles": 177,2140 "group_ops": 11774320,2141 "group_ops_per_cpu_s": 23730803.533159807,2142 "group_ops_per_wall_s": 187842998.79001382,2143 "iterations": 11420000,2144 "label": "g48b-4/t8",2145 "lookahead_rejections": 90797,2146 "match": true,2147 "ok": true,2148 "ops": {2149 "add": 11773937,2150 "dbl": 383,2151 "inv": 354353,2152 "mul": 811968102153 },2154 "params": {2155 "alg": "rho",2156 "aut3": false,2157 "beta": null,2158 "cycle_check": 32,2159 "dp": 10,2160 "instance": {2161 "a": "220589890778126",2162 "b": "75311103508857",2163 "gx": "190402763812832",2164 "gy": "12239473784584",2165 "n": "227847210720263",2166 "p": "227847185595503",2167 "qx": "58799782171658",2168 "qy": "220505112589278"2169 },2170 "lambda": null,2171 "max_walk_len": 65536,2172 "mixed": 0,2173 "mode": "dp",2174 "neg": true,2175 "r": 128,2176 "seed": 34,2177 "threads": 8,2178 "walks": 1282179 },2180 "peak_rss_bytes": 10878976,2181 "process_cpu_s": 0.49698700000000073,2182 "restarts": 12116,2183 "seed": 34,2184 "table_entries": 11091,2185 "threads": 8,2186 "useless_collisions": 0,2187 "wall_s": 0.0626817082188 },2189 {2190 "abandoned_walks": 0,2191 "bits": 48,2192 "class_size": 2,2193 "cpu_s": 0.7729915410000001,2194 "d": "138644645644198",2195 "doubling_fallbacks": 0,2196 "dp_bytes": 946176,2197 "dp_count": 16867,2198 "engine": "rho_engine 0.1.0",2199 "expected_d": "138644645644198",2200 "expected_iterations": 13377248.62723744,2201 "fruitless_by_length": [2202 {2203 "count": 4,2204 "length": 22205 },2206 {2207 "count": 274,2208 "length": 42209 },2210 {2211 "count": 8,2212 "length": 62213 }2214 ],2215 "fruitless_cycles": 286,2216 "group_ops": 17782914,2217 "group_ops_per_cpu_s": 23005315.13837096,2218 "group_ops_per_wall_s": 362309676.98926556,2219 "iterations": 17237016,2220 "label": "g48b-4/t16",2221 "lookahead_rejections": 136345,2222 "match": true,2223 "ok": true,2224 "ops": {2225 "add": 17782422,2226 "dbl": 492,2227 "inv": 546728,2228 "mul": 1225869582229 },2230 "params": {2231 "alg": "rho",2232 "aut3": false,2233 "beta": null,2234 "cycle_check": 32,2235 "dp": 10,2236 "instance": {2237 "a": "220589890778126",2238 "b": "75311103508857",2239 "gx": "190402763812832",2240 "gy": "12239473784584",2241 "n": "227847210720263",2242 "p": "227847185595503",2243 "qx": "58799782171658",2244 "qy": "220505112589278"2245 },2246 "lambda": null,2247 "max_walk_len": 65536,2248 "mixed": 0,2249 "mode": "dp",2250 "neg": true,2251 "r": 128,2252 "seed": 34,2253 "threads": 16,2254 "walks": 1282255 },2256 "peak_rss_bytes": 10878976,2257 "process_cpu_s": 0.7744789999999995,2258 "restarts": 18916,2259 "seed": 34,2260 "table_entries": 16867,2261 "threads": 16,2262 "useless_collisions": 0,2263 "wall_s": 0.0490820842264 },2265 {2266 "abandoned_walks": 0,2267 "bits": 48,2268 "class_size": 2,2269 "cpu_s": 0.7453061660000001,2270 "d": "138644645644198",2271 "doubling_fallbacks": 0,2272 "dp_bytes": 946176,2273 "dp_count": 13954,2274 "engine": "rho_engine 0.1.0",2275 "expected_d": "138644645644198",2276 "expected_iterations": 13377248.62723744,2277 "fruitless_by_length": [2278 {2279 "count": 2,2280 "length": 22281 },2282 {2283 "count": 217,2284 "length": 42285 },2286 {2287 "count": 6,2288 "length": 62289 }2290 ],2291 "fruitless_cycles": 225,2292 "group_ops": 14735933,2293 "group_ops_per_cpu_s": 19771650.460221738,2294 "group_ops_per_wall_s": 526148646.16617596,2295 "iterations": 14243652,2296 "label": "g48b-4/t28",2297 "lookahead_rejections": 112434,2298 "match": true,2299 "ok": true,2300 "ops": {2301 "add": 14735502,2302 "dbl": 431,2303 "inv": 493137,2304 "mul": 1014233082305 },2306 "params": {2307 "alg": "rho",2308 "aut3": false,2309 "beta": null,2310 "cycle_check": 32,2311 "dp": 10,2312 "instance": {2313 "a": "220589890778126",2314 "b": "75311103508857",2315 "gx": "190402763812832",2316 "gy": "12239473784584",2317 "n": "227847210720263",2318 "p": "227847185595503",2319 "qx": "58799782171658",2320 "qy": "220505112589278"2321 },2322 "lambda": null,2323 "max_walk_len": 65536,2324 "mixed": 0,2325 "mode": "dp",2326 "neg": true,2327 "r": 128,2328 "seed": 34,2329 "threads": 28,2330 "walks": 1282331 },2332 "peak_rss_bytes": 10960896,2333 "process_cpu_s": 0.7494150000000026,2334 "restarts": 17539,2335 "seed": 34,2336 "table_entries": 13954,2337 "threads": 28,2338 "useless_collisions": 0,2339 "wall_s": 0.0280071672340 },2341 {2342 "abandoned_walks": 0,2343 "bits": 48,2344 "class_size": 2,2345 "cpu_s": 1.011822625,2346 "d": "67796592749690",2347 "doubling_fallbacks": 0,2348 "dp_bytes": 946176,2349 "dp_count": 24852,2350 "engine": "rho_engine 0.1.0",2351 "expected_d": "67796592749690",2352 "expected_iterations": 11888208.953025727,2353 "fruitless_by_length": [2354 {2355 "count": 2,2356 "length": 22357 },2358 {2359 "count": 385,2360 "length": 42361 },2362 {2363 "count": 8,2364 "length": 62365 }2366 ],2367 "fruitless_cycles": 395,2368 "group_ops": 25792667,2369 "group_ops_per_cpu_s": 25491293.002071388,2370 "group_ops_per_wall_s": 25480462.31012853,2371 "iterations": 25057032,2372 "label": "g48b-5/t1",2373 "lookahead_rejections": 197450,2374 "match": true,2375 "ok": true,2376 "ops": {2377 "add": 25792067,2378 "dbl": 600,2379 "inv": 737472,2380 "mul": 1780225412381 },2382 "params": {2383 "alg": "rho",2384 "aut3": false,2385 "beta": null,2386 "cycle_check": 32,2387 "dp": 10,2388 "instance": {2389 "a": "4744165728239",2390 "b": "8994937303156",2391 "gx": "117545183332063",2392 "gy": "92786060093887",2393 "n": "179946323657599",2394 "p": "179946324754219",2395 "qx": "133041906753743",2396 "qy": "30349157465879"2397 },2398 "lambda": null,2399 "max_walk_len": 65536,2400 "mixed": 0,2401 "mode": "dp",2402 "neg": true,2403 "r": 128,2404 "seed": 34,2405 "threads": 1,2406 "walks": 1282407 },2408 "peak_rss_bytes": 10960896,2409 "process_cpu_s": 1.0134109999999978,2410 "restarts": 24981,2411 "seed": 34,2412 "table_entries": 24852,2413 "threads": 1,2414 "useless_collisions": 0,2415 "wall_s": 1.0122527092416 },2417 {2418 "abandoned_walks": 0,2419 "bits": 48,2420 "class_size": 2,2421 "cpu_s": 0.6104919160000001,2422 "d": "67796592749690",2423 "doubling_fallbacks": 0,2424 "dp_bytes": 946176,2425 "dp_count": 14910,2426 "engine": "rho_engine 0.1.0",2427 "expected_d": "67796592749690",2428 "expected_iterations": 11888208.953025727,2429 "fruitless_by_length": [2430 {2431 "count": 2,2432 "length": 22433 },2434 {2435 "count": 227,2436 "length": 42437 },2438 {2439 "count": 4,2440 "length": 62441 }2442 ],2443 "fruitless_cycles": 233,2444 "group_ops": 15598802,2445 "group_ops_per_cpu_s": 25551201.565787807,2446 "group_ops_per_wall_s": 51015273.40602539,2447 "iterations": 15150678,2448 "label": "g48b-5/t2",2449 "lookahead_rejections": 120004,2450 "match": true,2451 "ok": true,2452 "ops": {2453 "add": 15598364,2454 "dbl": 438,2455 "inv": 448591,2456 "mul": 1076535642457 },2458 "params": {2459 "alg": "rho",2460 "aut3": false,2461 "beta": null,2462 "cycle_check": 32,2463 "dp": 10,2464 "instance": {2465 "a": "4744165728239",2466 "b": "8994937303156",2467 "gx": "117545183332063",2468 "gy": "92786060093887",2469 "n": "179946323657599",2470 "p": "179946324754219",2471 "qx": "133041906753743",2472 "qy": "30349157465879"2473 },2474 "lambda": null,2475 "max_walk_len": 65536,2476 "mixed": 0,2477 "mode": "dp",2478 "neg": true,2479 "r": 128,2480 "seed": 34,2481 "threads": 2,2482 "walks": 1282483 },2484 "peak_rss_bytes": 10960896,2485 "process_cpu_s": 0.6109779999999994,2486 "restarts": 15167,2487 "seed": 34,2488 "table_entries": 14910,2489 "threads": 2,2490 "useless_collisions": 0,2491 "wall_s": 0.3057672922492 },2493 {2494 "abandoned_walks": 0,2495 "bits": 48,2496 "class_size": 2,2497 "cpu_s": 1.088941541,2498 "d": "67796592749690",2499 "doubling_fallbacks": 0,2500 "dp_bytes": 946176,2501 "dp_count": 25414,2502 "engine": "rho_engine 0.1.0",2503 "expected_d": "67796592749690",2504 "expected_iterations": 11888208.953025727,2505 "fruitless_by_length": [2506 {2507 "count": 5,2508 "length": 22509 },2510 {2511 "count": 380,2512 "length": 42513 },2514 {2515 "count": 5,2516 "length": 62517 }2518 ],2519 "fruitless_cycles": 390,2520 "group_ops": 26743070,2521 "group_ops_per_cpu_s": 24558774.730405845,2522 "group_ops_per_wall_s": 97920448.34420243,2523 "iterations": 25978670,2524 "label": "g48b-5/t4",2525 "lookahead_rejections": 205828,2526 "match": true,2527 "ok": true,2528 "ops": {2529 "add": 26742475,2530 "dbl": 595,2531 "inv": 765093,2532 "mul": 1845802922533 },2534 "params": {2535 "alg": "rho",2536 "aut3": false,2537 "beta": null,2538 "cycle_check": 32,2539 "dp": 10,2540 "instance": {2541 "a": "4744165728239",2542 "b": "8994937303156",2543 "gx": "117545183332063",2544 "gy": "92786060093887",2545 "n": "179946323657599",2546 "p": "179946324754219",2547 "qx": "133041906753743",2548 "qy": "30349157465879"2549 },2550 "lambda": null,2551 "max_walk_len": 65536,2552 "mixed": 0,2553 "mode": "dp",2554 "neg": true,2555 "r": 128,2556 "seed": 34,2557 "threads": 4,2558 "walks": 1282559 },2560 "peak_rss_bytes": 10960896,2561 "process_cpu_s": 1.0895170000000007,2562 "restarts": 25927,2563 "seed": 34,2564 "table_entries": 25414,2565 "threads": 4,2566 "useless_collisions": 0,2567 "wall_s": 0.2731101672568 },2569 {2570 "abandoned_walks": 0,2571 "bits": 48,2572 "class_size": 2,2573 "cpu_s": 0.29615487500000004,2574 "d": "67796592749690",2575 "doubling_fallbacks": 0,2576 "dp_bytes": 946176,2577 "dp_count": 6627,2578 "engine": "rho_engine 0.1.0",2579 "expected_d": "67796592749690",2580 "expected_iterations": 11888208.953025727,2581 "fruitless_by_length": [2582 {2583 "count": 97,2584 "length": 42585 },2586 {2587 "count": 1,2588 "length": 62589 }2590 ],2591 "fruitless_cycles": 98,2592 "group_ops": 7015220,2593 "group_ops_per_cpu_s": 23687673.552562654,2594 "group_ops_per_wall_s": 186688780.85377783,2595 "iterations": 6794185,2596 "label": "g48b-5/t8",2597 "lookahead_rejections": 53797,2598 "match": true,2599 "ok": true,2600 "ops": {2601 "add": 7014917,2602 "dbl": 303,2603 "inv": 221228,2604 "mul": 483374652605 },2606 "params": {2607 "alg": "rho",2608 "aut3": false,2609 "beta": null,2610 "cycle_check": 32,2611 "dp": 10,2612 "instance": {2613 "a": "4744165728239",2614 "b": "8994937303156",2615 "gx": "117545183332063",2616 "gy": "92786060093887",2617 "n": "179946323657599",2618 "p": "179946324754219",2619 "qx": "133041906753743",2620 "qy": "30349157465879"2621 },2622 "lambda": null,2623 "max_walk_len": 65536,2624 "mixed": 0,2625 "mode": "dp",2626 "neg": true,2627 "r": 128,2628 "seed": 34,2629 "threads": 8,2630 "walks": 1282631 },2632 "peak_rss_bytes": 10960896,2633 "process_cpu_s": 0.2969310000000007,2634 "restarts": 7652,2635 "seed": 34,2636 "table_entries": 6627,2637 "threads": 8,2638 "useless_collisions": 0,2639 "wall_s": 0.0375770842640 },2641 {2642 "abandoned_walks": 0,2643 "bits": 48,2644 "class_size": 2,2645 "cpu_s": 0.5001065010000001,2646 "d": "67796592749690",2647 "doubling_fallbacks": 0,2648 "dp_bytes": 946176,2649 "dp_count": 10689,2650 "engine": "rho_engine 0.1.0",2651 "expected_d": "67796592749690",2652 "expected_iterations": 11888208.953025727,2653 "fruitless_by_length": [2654 {2655 "count": 155,2656 "length": 42657 },2658 {2659 "count": 1,2660 "length": 62661 }2662 ],2663 "fruitless_cycles": 156,2664 "group_ops": 11491860,2665 "group_ops_per_cpu_s": 22978825.464218467,2666 "group_ops_per_wall_s": 359809322.5314078,2667 "iterations": 11127523,2668 "label": "g48b-5/t16",2669 "lookahead_rejections": 88113,2670 "match": true,2671 "ok": true,2672 "ops": {2673 "add": 11491499,2674 "dbl": 361,2675 "inv": 364628,2676 "mul": 791742592677 },2678 "params": {2679 "alg": "rho",2680 "aut3": false,2681 "beta": null,2682 "cycle_check": 32,2683 "dp": 10,2684 "instance": {2685 "a": "4744165728239",2686 "b": "8994937303156",2687 "gx": "117545183332063",2688 "gy": "92786060093887",2689 "n": "179946323657599",2690 "p": "179946324754219",2691 "qx": "133041906753743",2692 "qy": "30349157465879"2693 },2694 "lambda": null,2695 "max_walk_len": 65536,2696 "mixed": 0,2697 "mode": "dp",2698 "neg": true,2699 "r": 128,2700 "seed": 34,2701 "threads": 16,2702 "walks": 1282703 },2704 "peak_rss_bytes": 10960896,2705 "process_cpu_s": 0.5016740000000013,2706 "restarts": 12738,2707 "seed": 34,2708 "table_entries": 10689,2709 "threads": 16,2710 "useless_collisions": 0,2711 "wall_s": 0.031938752712 },2713 {2714 "abandoned_walks": 0,2715 "bits": 48,2716 "class_size": 2,2717 "cpu_s": 0.675352959,2718 "d": "67796592749690",2719 "doubling_fallbacks": 0,2720 "dp_bytes": 946176,2721 "dp_count": 12577,2722 "engine": "rho_engine 0.1.0",2723 "expected_d": "67796592749690",2724 "expected_iterations": 11888208.953025727,2725 "fruitless_by_length": [2726 {2727 "count": 192,2728 "length": 42729 },2730 {2731 "count": 1,2732 "length": 62733 }2734 ],2735 "fruitless_cycles": 193,2736 "group_ops": 13404775,2737 "group_ops_per_cpu_s": 19848547.076551713,2738 "group_ops_per_wall_s": 526368955.2942101,2739 "iterations": 12952862,2740 "label": "g48b-5/t28",2741 "lookahead_rejections": 102446,2742 "match": true,2743 "ok": true,2744 "ops": {2745 "add": 13404377,2746 "dbl": 398,2747 "inv": 452426,2748 "mul": 922460062749 },2750 "params": {2751 "alg": "rho",2752 "aut3": false,2753 "beta": null,2754 "cycle_check": 32,2755 "dp": 10,2756 "instance": {2757 "a": "4744165728239",2758 "b": "8994937303156",2759 "gx": "117545183332063",2760 "gy": "92786060093887",2761 "n": "179946323657599",2762 "p": "179946324754219",2763 "qx": "133041906753743",2764 "qy": "30349157465879"2765 },2766 "lambda": null,2767 "max_walk_len": 65536,2768 "mixed": 0,2769 "mode": "dp",2770 "neg": true,2771 "r": 128,2772 "seed": 34,2773 "threads": 28,2774 "walks": 1282775 },2776 "peak_rss_bytes": 11026432,2777 "process_cpu_s": 0.678720000000002,2778 "restarts": 16162,2779 "seed": 34,2780 "table_entries": 12577,2781 "threads": 28,2782 "useless_collisions": 0,2783 "wall_s": 0.02546652784 },2785 {2786 "abandoned_walks": 0,2787 "bits": 48,2788 "class_size": 2,2789 "cpu_s": 1.086351916,2790 "d": "83513222685244",2791 "doubling_fallbacks": 0,2792 "dp_bytes": 946176,2793 "dp_count": 26428,2794 "engine": "rho_engine 0.1.0",2795 "expected_d": "83513222685244",2796 "expected_iterations": 13809035.112429796,2797 "fruitless_by_length": [2798 {2799 "count": 7,2800 "length": 22801 },2802 {2803 "count": 466,2804 "length": 42805 },2806 {2807 "count": 10,2808 "length": 62809 }2810 ],2811 "fruitless_cycles": 483,2812 "group_ops": 27927797,2813 "group_ops_per_cpu_s": 25707872.91730611,2814 "group_ops_per_wall_s": 25697088.414620318,2815 "iterations": 27139918,2816 "label": "g48b-6/t1",2817 "lookahead_rejections": 214213,2818 "match": true,2819 "ok": true,2820 "ops": {2821 "add": 27927108,2822 "dbl": 689,2823 "inv": 789802,2824 "mul": 1927944062825 },2826 "params": {2827 "alg": "rho",2828 "aut3": false,2829 "beta": null,2830 "cycle_check": 32,2831 "dp": 10,2832 "instance": {2833 "a": "139173762531189",2834 "b": "104770118230481",2835 "gx": "42609406178345",2836 "gy": "162204735681241",2837 "n": "242793349441309",2838 "p": "242793361069141",2839 "qx": "173462583822142",2840 "qy": "7355813501751"2841 },2842 "lambda": null,2843 "max_walk_len": 65536,2844 "mixed": 0,2845 "mode": "dp",2846 "neg": true,2847 "r": 128,2848 "seed": 34,2849 "threads": 1,2850 "walks": 1282851 },2852 "peak_rss_bytes": 11026432,2853 "process_cpu_s": 1.0868399999999987,2854 "restarts": 26557,2855 "seed": 34,2856 "table_entries": 26428,2857 "threads": 1,2858 "useless_collisions": 0,2859 "wall_s": 1.0868078342860 },2861 {2862 "abandoned_walks": 0,2863 "bits": 48,2864 "class_size": 2,2865 "cpu_s": 0.5266197080000001,2866 "d": "83513222685244",2867 "doubling_fallbacks": 0,2868 "dp_bytes": 946176,2869 "dp_count": 12766,2870 "engine": "rho_engine 0.1.0",2871 "expected_d": "83513222685244",2872 "expected_iterations": 13809035.112429796,2873 "fruitless_by_length": [2874 {2875 "count": 4,2876 "length": 22877 },2878 {2879 "count": 247,2880 "length": 42881 },2882 {2883 "count": 4,2884 "length": 62885 }2886 ],2887 "fruitless_cycles": 255,2888 "group_ops": 13502092,2889 "group_ops_per_cpu_s": 25639169.584591385,2890 "group_ops_per_wall_s": 51184227.08628703,2891 "iterations": 13115192,2892 "label": "g48b-6/t2",2893 "lookahead_rejections": 103762,2894 "match": true,2895 "ok": true,2896 "ops": {2897 "add": 13501631,2898 "dbl": 461,2899 "inv": 387691,2900 "mul": 931862152901 },2902 "params": {2903 "alg": "rho",2904 "aut3": false,2905 "beta": null,2906 "cycle_check": 32,2907 "dp": 10,2908 "instance": {2909 "a": "139173762531189",2910 "b": "104770118230481",2911 "gx": "42609406178345",2912 "gy": "162204735681241",2913 "n": "242793349441309",2914 "p": "242793361069141",2915 "qx": "173462583822142",2916 "qy": "7355813501751"2917 },2918 "lambda": null,2919 "max_walk_len": 65536,2920 "mixed": 0,2921 "mode": "dp",2922 "neg": true,2923 "r": 128,2924 "seed": 34,2925 "threads": 2,2926 "walks": 1282927 },2928 "peak_rss_bytes": 11026432,2929 "process_cpu_s": 0.5271159999999995,2930 "restarts": 13023,2931 "seed": 34,2932 "table_entries": 12766,2933 "threads": 2,2934 "useless_collisions": 0,2935 "wall_s": 0.2637942936 },2937 {2938 "abandoned_walks": 0,2939 "bits": 48,2940 "class_size": 2,2941 "cpu_s": 0.5995267510000001,2942 "d": "83513222685244",2943 "doubling_fallbacks": 0,2944 "dp_bytes": 946176,2945 "dp_count": 13949,2946 "engine": "rho_engine 0.1.0",2947 "expected_d": "83513222685244",2948 "expected_iterations": 13809035.112429796,2949 "fruitless_by_length": [2950 {2951 "count": 5,2952 "length": 22953 },2954 {2955 "count": 244,2956 "length": 42957 },2958 {2959 "count": 3,2960 "length": 62961 }2962 ],2963 "fruitless_cycles": 252,2964 "group_ops": 14715217,2965 "group_ops_per_cpu_s": 24544721.274664186,2966 "group_ops_per_wall_s": 97749791.79069962,2967 "iterations": 14288006,2968 "label": "g48b-6/t4",2969 "lookahead_rejections": 113269,2970 "match": true,2971 "ok": true,2972 "ops": {2973 "add": 14714759,2974 "dbl": 458,2975 "inv": 427717,2976 "mul": 1015378692977 },2978 "params": {2979 "alg": "rho",2980 "aut3": false,2981 "beta": null,2982 "cycle_check": 32,2983 "dp": 10,2984 "instance": {2985 "a": "139173762531189",2986 "b": "104770118230481",2987 "gx": "42609406178345",2988 "gy": "162204735681241",2989 "n": "242793349441309",2990 "p": "242793361069141",2991 "qx": "173462583822142",2992 "qy": "7355813501751"2993 },2994 "lambda": null,2995 "max_walk_len": 65536,2996 "mixed": 0,2997 "mode": "dp",2998 "neg": true,2999 "r": 128,3000 "seed": 34,3001 "threads": 4,3002 "walks": 1283003 },3004 "peak_rss_bytes": 11026432,3005 "process_cpu_s": 0.6001149999999988,3006 "restarts": 14462,3007 "seed": 34,3008 "table_entries": 13949,3009 "threads": 4,3010 "useless_collisions": 0,3011 "wall_s": 0.1505396253012 },3013 {3014 "abandoned_walks": 0,3015 "bits": 48,3016 "class_size": 2,3017 "cpu_s": 1.1285316670000003,3018 "d": "83513222685244",3019 "doubling_fallbacks": 0,3020 "dp_bytes": 946176,3021 "dp_count": 25523,3022 "engine": "rho_engine 0.1.0",3023 "expected_d": "83513222685244",3024 "expected_iterations": 13809035.112429796,3025 "fruitless_by_length": [3026 {3027 "count": 7,3028 "length": 23029 },3030 {3031 "count": 428,3032 "length": 43033 },3034 {3035 "count": 6,3036 "length": 63037 }3038 ],3039 "fruitless_cycles": 441,3040 "group_ops": 26821448,3041 "group_ops_per_cpu_s": 23766677.34216092,3042 "group_ops_per_wall_s": 189035086.6899328,3043 "iterations": 26041577,3044 "label": "g48b-6/t8",3045 "lookahead_rejections": 206546,3046 "match": true,3047 "ok": true,3048 "ops": {3049 "add": 26820801,3050 "dbl": 647,3051 "inv": 780606,3052 "mul": 1850690283053 },3054 "params": {3055 "alg": "rho",3056 "aut3": false,3057 "beta": null,3058 "cycle_check": 32,3059 "dp": 10,3060 "instance": {3061 "a": "139173762531189",3062 "b": "104770118230481",3063 "gx": "42609406178345",3064 "gy": "162204735681241",3065 "n": "242793349441309",3066 "p": "242793361069141",3067 "qx": "173462583822142",3068 "qy": "7355813501751"3069 },3070 "lambda": null,3071 "max_walk_len": 65536,3072 "mixed": 0,3073 "mode": "dp",3074 "neg": true,3075 "r": 128,3076 "seed": 34,3077 "threads": 8,3078 "walks": 1283079 },3080 "peak_rss_bytes": 11026432,3081 "process_cpu_s": 1.1293400000000027,3082 "restarts": 26548,3083 "seed": 34,3084 "table_entries": 25523,3085 "threads": 8,3086 "useless_collisions": 0,3087 "wall_s": 0.1418860833088 },3089 {3090 "abandoned_walks": 0,3091 "bits": 48,3092 "class_size": 2,3093 "cpu_s": 0.4880023770000001,3094 "d": "83513222685244",3095 "doubling_fallbacks": 0,3096 "dp_bytes": 946176,3097 "dp_count": 10659,3098 "engine": "rho_engine 0.1.0",3099 "expected_d": "83513222685244",3100 "expected_iterations": 13809035.112429796,3101 "fruitless_by_length": [3102 {3103 "count": 1,3104 "length": 23105 },3106 {3107 "count": 173,3108 "length": 43109 },3110 {3111 "count": 2,3112 "length": 63113 }3114 ],3115 "fruitless_cycles": 176,3116 "group_ops": 11323065,3117 "group_ops_per_cpu_s": 23202889.03019011,3118 "group_ops_per_wall_s": 362674642.06783897,3119 "iterations": 10960225,3120 "label": "g48b-6/t16",3121 "lookahead_rejections": 86422,3122 "match": true,3123 "ok": true,3124 "ops": {3125 "add": 11322683,3126 "dbl": 382,3127 "inv": 363600,3128 "mul": 779943333129 },3130 "params": {3131 "alg": "rho",3132 "aut3": false,3133 "beta": null,3134 "cycle_check": 32,3135 "dp": 10,3136 "instance": {3137 "a": "139173762531189",3138 "b": "104770118230481",3139 "gx": "42609406178345",3140 "gy": "162204735681241",3141 "n": "242793349441309",3142 "p": "242793361069141",3143 "qx": "173462583822142",3144 "qy": "7355813501751"3145 },3146 "lambda": null,3147 "max_walk_len": 65536,3148 "mixed": 0,3149 "mode": "dp",3150 "neg": true,3151 "r": 128,3152 "seed": 34,3153 "threads": 16,3154 "walks": 1283155 },3156 "peak_rss_bytes": 11026432,3157 "process_cpu_s": 0.48966500000000224,3158 "restarts": 12708,3159 "seed": 34,3160 "table_entries": 10659,3161 "threads": 16,3162 "useless_collisions": 0,3163 "wall_s": 0.0312213164 },3165 {3166 "abandoned_walks": 0,3167 "bits": 48,3168 "class_size": 2,3169 "cpu_s": 0.9306725839999997,3170 "d": "83513222685244",3171 "doubling_fallbacks": 0,3172 "dp_bytes": 946176,3173 "dp_count": 17470,3174 "engine": "rho_engine 0.1.0",3175 "expected_d": "83513222685244",3176 "expected_iterations": 13809035.112429796,3177 "fruitless_by_length": [3178 {3179 "count": 4,3180 "length": 23181 },3182 {3183 "count": 290,3184 "length": 43185 },3186 {3187 "count": 4,3188 "length": 63189 }3190 ],3191 "fruitless_cycles": 298,3192 "group_ops": 18549580,3193 "group_ops_per_cpu_s": 19931370.407705065,3194 "group_ops_per_wall_s": 533942992.0194584,3195 "iterations": 17951752,3196 "label": "g48b-6/t28",3197 "lookahead_rejections": 141908,3198 "match": true,3199 "ok": true,3200 "ops": {3201 "add": 18549076,3202 "dbl": 504,3203 "inv": 598765,3204 "mul": 1277589513205 },3206 "params": {3207 "alg": "rho",3208 "aut3": false,3209 "beta": null,3210 "cycle_check": 32,3211 "dp": 10,3212 "instance": {3213 "a": "139173762531189",3214 "b": "104770118230481",3215 "gx": "42609406178345",3216 "gy": "162204735681241",3217 "n": "242793349441309",3218 "p": "242793361069141",3219 "qx": "173462583822142",3220 "qy": "7355813501751"3221 },3222 "lambda": null,3223 "max_walk_len": 65536,3224 "mixed": 0,3225 "mode": "dp",3226 "neg": true,3227 "r": 128,3228 "seed": 34,3229 "threads": 28,3230 "walks": 1283231 },3232 "peak_rss_bytes": 11354112,3233 "process_cpu_s": 0.9349469999999975,3234 "restarts": 21055,3235 "seed": 34,3236 "table_entries": 17470,3237 "threads": 28,3238 "useless_collisions": 0,3239 "wall_s": 0.034740753240 },3241 {3242 "abandoned_walks": 0,3243 "bits": 48,3244 "class_size": 2,3245 "cpu_s": 0.534247875,3246 "d": "96608256724573",3247 "doubling_fallbacks": 0,3248 "dp_bytes": 946176,3249 "dp_count": 13177,3250 "engine": "rho_engine 0.1.0",3251 "expected_d": "96608256724573",3252 "expected_iterations": 11334012.695234837,3253 "fruitless_by_length": [3254 {3255 "count": 2,3256 "length": 23257 },3258 {3259 "count": 209,3260 "length": 43261 },3262 {3263 "count": 3,3264 "length": 63265 },3266 {3267 "count": 1,3268 "length": 83269 }3270 ],3271 "fruitless_cycles": 215,3272 "group_ops": 13893254,3273 "group_ops_per_cpu_s": 26005258.326951697,3274 "group_ops_per_wall_s": 25984155.995599255,3275 "iterations": 13498591,3276 "label": "g48b-7/t1",3277 "lookahead_rejections": 106601,3278 "match": true,3279 "ok": true,3280 "ops": {3281 "add": 13892833,3282 "dbl": 421,3283 "inv": 395440,3284 "mul": 958992863285 },3286 "params": {3287 "alg": "rho",3288 "aut3": false,3289 "beta": null,3290 "cycle_check": 32,3291 "dp": 10,3292 "instance": {3293 "a": "86580983706589",3294 "b": "137667610473599",3295 "gx": "18934857967031",3296 "gy": "94656898407854",3297 "n": "163560153005779",3298 "p": "163560161383081",3299 "qx": "14532010153519",3300 "qy": "142892335077393"3301 },3302 "lambda": null,3303 "max_walk_len": 65536,3304 "mixed": 0,3305 "mode": "dp",3306 "neg": true,3307 "r": 128,3308 "seed": 34,3309 "threads": 1,3310 "walks": 1283311 },3312 "peak_rss_bytes": 11354112,3313 "process_cpu_s": 0.5349310000000003,3314 "restarts": 13306,3315 "seed": 34,3316 "table_entries": 13177,3317 "threads": 1,3318 "useless_collisions": 0,3319 "wall_s": 0.534681753320 },3321 {3322 "abandoned_walks": 0,3323 "bits": 48,3324 "class_size": 2,3325 "cpu_s": 0.416175625,3326 "d": "96608256724573",3327 "doubling_fallbacks": 0,3328 "dp_bytes": 946176,3329 "dp_count": 9804,3330 "engine": "rho_engine 0.1.0",3331 "expected_d": "96608256724573",3332 "expected_iterations": 11334012.695234837,3333 "fruitless_by_length": [3334 {3335 "count": 2,3336 "length": 23337 },3338 {3339 "count": 166,3340 "length": 43341 },3342 {3343 "count": 4,3344 "length": 63345 },3346 {3347 "count": 1,3348 "length": 83349 }3350 ],3351 "fruitless_cycles": 173,3352 "group_ops": 10372361,3353 "group_ops_per_cpu_s": 24923038.200519312,3354 "group_ops_per_wall_s": 49727133.291564055,3355 "iterations": 10073916,3356 "label": "g48b-7/t2",3357 "lookahead_rejections": 79798,3358 "match": true,3359 "ok": true,3360 "ops": {3361 "add": 10371982,3362 "dbl": 379,3363 "inv": 298848,3364 "mul": 715818053365 },3366 "params": {3367 "alg": "rho",3368 "aut3": false,3369 "beta": null,3370 "cycle_check": 32,3371 "dp": 10,3372 "instance": {3373 "a": "86580983706589",3374 "b": "137667610473599",3375 "gx": "18934857967031",3376 "gy": "94656898407854",3377 "n": "163560153005779",3378 "p": "163560161383081",3379 "qx": "14532010153519",3380 "qy": "142892335077393"3381 },3382 "lambda": null,3383 "max_walk_len": 65536,3384 "mixed": 0,3385 "mode": "dp",3386 "neg": true,3387 "r": 128,3388 "seed": 34,3389 "threads": 2,3390 "walks": 1283391 },3392 "peak_rss_bytes": 11354112,3393 "process_cpu_s": 0.41667500000000146,3394 "restarts": 10062,3395 "seed": 34,3396 "table_entries": 9804,3397 "threads": 2,3398 "useless_collisions": 0,3399 "wall_s": 0.2085855413400 },3401 {3402 "abandoned_walks": 0,3403 "bits": 48,3404 "class_size": 2,3405 "cpu_s": 0.586987499,3406 "d": "96608256724573",3407 "doubling_fallbacks": 0,3408 "dp_bytes": 946176,3409 "dp_count": 13616,3410 "engine": "rho_engine 0.1.0",3411 "expected_d": "96608256724573",3412 "expected_iterations": 11334012.695234837,3413 "fruitless_by_length": [3414 {3415 "count": 227,3416 "length": 43417 },3418 {3419 "count": 4,3420 "length": 63421 },3422 {3423 "count": 1,3424 "length": 83425 }3426 ],3427 "fruitless_cycles": 232,3428 "group_ops": 14434164,3429 "group_ops_per_cpu_s": 24590240.89029194,3430 "group_ops_per_wall_s": 97922498.81158212,3431 "iterations": 14017470,3432 "label": "g48b-7/t4",3433 "lookahead_rejections": 110813,3434 "match": true,3435 "ok": true,3436 "ops": {3437 "add": 14433726,3438 "dbl": 438,3439 "inv": 417428,3440 "mul": 996068653441 },3442 "params": {3443 "alg": "rho",3444 "aut3": false,3445 "beta": null,3446 "cycle_check": 32,3447 "dp": 10,3448 "instance": {3449 "a": "86580983706589",3450 "b": "137667610473599",3451 "gx": "18934857967031",3452 "gy": "94656898407854",3453 "n": "163560153005779",3454 "p": "163560161383081",3455 "qx": "14532010153519",3456 "qy": "142892335077393"3457 },3458 "lambda": null,3459 "max_walk_len": 65536,3460 "mixed": 0,3461 "mode": "dp",3462 "neg": true,3463 "r": 128,3464 "seed": 34,3465 "threads": 4,3466 "walks": 1283467 },3468 "peak_rss_bytes": 11354112,3469 "process_cpu_s": 0.5875369999999975,3470 "restarts": 14129,3471 "seed": 34,3472 "table_entries": 13616,3473 "threads": 4,3474 "useless_collisions": 0,3475 "wall_s": 0.1474039593476 },3477 {3478 "abandoned_walks": 0,3479 "bits": 48,3480 "class_size": 2,3481 "cpu_s": 0.4905580830000001,3482 "d": "96608256724573",3483 "doubling_fallbacks": 0,3484 "dp_bytes": 946176,3485 "dp_count": 10929,3486 "engine": "rho_engine 0.1.0",3487 "expected_d": "96608256724573",3488 "expected_iterations": 11334012.695234837,3489 "fruitless_by_length": [3490 {3491 "count": 2,3492 "length": 23493 },3494 {3495 "count": 171,3496 "length": 43497 },3498 {3499 "count": 1,3500 "length": 63501 }3502 ],3503 "fruitless_cycles": 174,3504 "group_ops": 11656096,3505 "group_ops_per_cpu_s": 23760888.67747797,3506 "group_ops_per_wall_s": 187779066.5375852,3507 "iterations": 11307312,3508 "label": "g48b-7/t8",3509 "lookahead_rejections": 89659,3510 "match": true,3511 "ok": true,3512 "ops": {3513 "add": 11655716,3514 "dbl": 380,3515 "inv": 349032,3516 "mul": 803885183517 },3518 "params": {3519 "alg": "rho",3520 "aut3": false,3521 "beta": null,3522 "cycle_check": 32,3523 "dp": 10,3524 "instance": {3525 "a": "86580983706589",3526 "b": "137667610473599",3527 "gx": "18934857967031",3528 "gy": "94656898407854",3529 "n": "163560153005779",3530 "p": "163560161383081",3531 "qx": "14532010153519",3532 "qy": "142892335077393"3533 },3534 "lambda": null,3535 "max_walk_len": 65536,3536 "mixed": 0,3537 "mode": "dp",3538 "neg": true,3539 "r": 128,3540 "seed": 34,3541 "threads": 8,3542 "walks": 1283543 },3544 "peak_rss_bytes": 11354112,3545 "process_cpu_s": 0.4914000000000023,3546 "restarts": 11954,3547 "seed": 34,3548 "table_entries": 10929,3549 "threads": 8,3550 "useless_collisions": 0,3551 "wall_s": 0.0620734583552 },3553 {3554 "abandoned_walks": 0,3555 "bits": 48,3556 "class_size": 2,3557 "cpu_s": 0.441299165,3558 "d": "96608256724573",3559 "doubling_fallbacks": 0,3560 "dp_bytes": 946176,3561 "dp_count": 9716,3562 "engine": "rho_engine 0.1.0",3563 "expected_d": "96608256724573",3564 "expected_iterations": 11334012.695234837,3565 "fruitless_by_length": [3566 {3567 "count": 2,3568 "length": 23569 },3570 {3571 "count": 150,3572 "length": 43573 },3574 {3575 "count": 2,3576 "length": 63577 }3578 ],3579 "fruitless_cycles": 154,3580 "group_ops": 10198099,3581 "group_ops_per_cpu_s": 23109264.2108217,3582 "group_ops_per_wall_s": 360907360.00032276,3583 "iterations": 9864742,3584 "label": "g48b-7/t16",3585 "lookahead_rejections": 78181,3586 "match": true,3587 "ok": true,3588 "ops": {3589 "add": 10197739,3590 "dbl": 360,3591 "inv": 333628,3592 "mul": 702210563593 },3594 "params": {3595 "alg": "rho",3596 "aut3": false,3597 "beta": null,3598 "cycle_check": 32,3599 "dp": 10,3600 "instance": {3601 "a": "86580983706589",3602 "b": "137667610473599",3603 "gx": "18934857967031",3604 "gy": "94656898407854",3605 "n": "163560153005779",3606 "p": "163560161383081",3607 "qx": "14532010153519",3608 "qy": "142892335077393"3609 },3610 "lambda": null,3611 "max_walk_len": 65536,3612 "mixed": 0,3613 "mode": "dp",3614 "neg": true,3615 "r": 128,3616 "seed": 34,3617 "threads": 16,3618 "walks": 1283619 },3620 "peak_rss_bytes": 11354112,3621 "process_cpu_s": 0.44307200000000435,3622 "restarts": 11765,3623 "seed": 34,3624 "table_entries": 9716,3625 "threads": 16,3626 "useless_collisions": 0,3627 "wall_s": 0.0282568333628 },3629 {3630 "abandoned_walks": 0,3631 "bits": 48,3632 "class_size": 2,3633 "cpu_s": 0.529148375,3634 "d": "96608256724573",3635 "doubling_fallbacks": 0,3636 "dp_bytes": 946176,3637 "dp_count": 9852,3638 "engine": "rho_engine 0.1.0",3639 "expected_d": "96608256724573",3640 "expected_iterations": 11334012.695234837,3641 "fruitless_by_length": [3642 {3643 "count": 1,3644 "length": 23645 },3646 {3647 "count": 169,3648 "length": 43649 },3650 {3651 "count": 3,3652 "length": 63653 }3654 ],3655 "fruitless_cycles": 173,3656 "group_ops": 10545081,3657 "group_ops_per_cpu_s": 19928400.98960901,3658 "group_ops_per_wall_s": 524554795.9310978,3659 "iterations": 10173253,3660 "label": "g48b-7/t28",3661 "lookahead_rejections": 80679,3662 "match": true,3663 "ok": true,3664 "ops": {3665 "add": 10544702,3666 "dbl": 379,3667 "inv": 372127,3668 "mul": 725026583669 },3670 "params": {3671 "alg": "rho",3672 "aut3": false,3673 "beta": null,3674 "cycle_check": 32,3675 "dp": 10,3676 "instance": {3677 "a": "86580983706589",3678 "b": "137667610473599",3679 "gx": "18934857967031",3680 "gy": "94656898407854",3681 "n": "163560153005779",3682 "p": "163560161383081",3683 "qx": "14532010153519",3684 "qy": "142892335077393"3685 },3686 "lambda": null,3687 "max_walk_len": 65536,3688 "mixed": 0,3689 "mode": "dp",3690 "neg": true,3691 "r": 128,3692 "seed": 34,3693 "threads": 28,3694 "walks": 1283695 },3696 "peak_rss_bytes": 11370496,3697 "process_cpu_s": 0.5330799999999982,3698 "restarts": 13437,3699 "seed": 34,3700 "table_entries": 9852,3701 "threads": 28,3702 "useless_collisions": 0,3703 "wall_s": 0.0201029163704 },3705 {3706 "abandoned_walks": 0,3707 "bits": 48,3708 "class_size": 2,3709 "cpu_s": 0.521229,3710 "d": "88256088614348",3711 "doubling_fallbacks": 0,3712 "dp_bytes": 946176,3713 "dp_count": 12923,3714 "engine": "rho_engine 0.1.0",3715 "expected_d": "88256088614348",3716 "expected_iterations": 13982271.825026013,3717 "fruitless_by_length": [3718 {3719 "count": 6,3720 "length": 23721 },3722 {3723 "count": 208,3724 "length": 43725 },3726 {3727 "count": 2,3728 "length": 63729 }3730 ],3731 "fruitless_cycles": 216,3732 "group_ops": 13433363,3733 "group_ops_per_cpu_s": 25772478.123818893,3734 "group_ops_per_wall_s": 25750869.988505583,3735 "iterations": 13046975,3736 "label": "g48b-8/t1",3737 "lookahead_rejections": 102921,3738 "match": true,3739 "ok": true,3740 "ops": {3741 "add": 13432941,3742 "dbl": 422,3743 "inv": 387288,3744 "mul": 927052893745 },3746 "params": {3747 "alg": "rho",3748 "aut3": false,3749 "beta": null,3750 "cycle_check": 32,3751 "dp": 10,3752 "instance": {3753 "a": "144007308665878",3754 "b": "168516546766515",3755 "gx": "171991166788104",3756 "gy": "179837085768386",3757 "n": "248923328956121",3758 "p": "248923305756509",3759 "qx": "231351244430570",3760 "qy": "64730608750336"3761 },3762 "lambda": null,3763 "max_walk_len": 65536,3764 "mixed": 0,3765 "mode": "dp",3766 "neg": true,3767 "r": 128,3768 "seed": 34,3769 "threads": 1,3770 "walks": 1283771 },3772 "peak_rss_bytes": 11370496,3773 "process_cpu_s": 0.5221909999999959,3774 "restarts": 13052,3775 "seed": 34,3776 "table_entries": 12923,3777 "threads": 1,3778 "useless_collisions": 0,3779 "wall_s": 0.5216663753780 },3781 {3782 "abandoned_walks": 0,3783 "bits": 48,3784 "class_size": 2,3785 "cpu_s": 0.47745920900000005,3786 "d": "88256088614348",3787 "doubling_fallbacks": 0,3788 "dp_bytes": 946176,3789 "dp_count": 11596,3790 "engine": "rho_engine 0.1.0",3791 "expected_d": "88256088614348",3792 "expected_iterations": 13982271.825026013,3793 "fruitless_by_length": [3794 {3795 "count": 3,3796 "length": 23797 },3798 {3799 "count": 184,3800 "length": 43801 },3802 {3803 "count": 3,3804 "length": 63805 }3806 ],3807 "fruitless_cycles": 190,3808 "group_ops": 12232256,3809 "group_ops_per_cpu_s": 25619478.6264977,3810 "group_ops_per_wall_s": 51140670.4113101,3811 "iterations": 11880159,3812 "label": "g48b-8/t2",3813 "lookahead_rejections": 94186,3814 "match": true,3815 "ok": true,3816 "ops": {3817 "add": 12231860,3818 "dbl": 396,3819 "inv": 352422,3820 "mul": 844171853821 },3822 "params": {3823 "alg": "rho",3824 "aut3": false,3825 "beta": null,3826 "cycle_check": 32,3827 "dp": 10,3828 "instance": {3829 "a": "144007308665878",3830 "b": "168516546766515",3831 "gx": "171991166788104",3832 "gy": "179837085768386",3833 "n": "248923328956121",3834 "p": "248923305756509",3835 "qx": "231351244430570",3836 "qy": "64730608750336"3837 },3838 "lambda": null,3839 "max_walk_len": 65536,3840 "mixed": 0,3841 "mode": "dp",3842 "neg": true,3843 "r": 128,3844 "seed": 34,3845 "threads": 2,3846 "walks": 1283847 },3848 "peak_rss_bytes": 11370496,3849 "process_cpu_s": 0.47795099999999735,3850 "restarts": 11853,3851 "seed": 34,3852 "table_entries": 11596,3853 "threads": 2,3854 "useless_collisions": 0,3855 "wall_s": 0.2391884173856 },3857 {3858 "abandoned_walks": 0,3859 "bits": 48,3860 "class_size": 2,3861 "cpu_s": 0.26656870800000004,3862 "d": "88256088614348",3863 "doubling_fallbacks": 0,3864 "dp_bytes": 946176,3865 "dp_count": 6155,3866 "engine": "rho_engine 0.1.0",3867 "expected_d": "88256088614348",3868 "expected_iterations": 13982271.825026013,3869 "fruitless_by_length": [3870 {3871 "count": 1,3872 "length": 23873 },3874 {3875 "count": 101,3876 "length": 43877 },3878 {3879 "count": 4,3880 "length": 63881 }3882 ],3883 "fruitless_cycles": 106,3884 "group_ops": 6457029,3885 "group_ops_per_cpu_s": 24222756.858618226,3886 "group_ops_per_wall_s": 96149278.16443469,3887 "iterations": 6260782,3888 "label": "g48b-8/t4",3889 "lookahead_rejections": 49780,3890 "match": true,3891 "ok": true,3892 "ops": {3893 "add": 6456717,3894 "dbl": 312,3895 "inv": 196310,3896 "mul": 445205233897 },3898 "params": {3899 "alg": "rho",3900 "aut3": false,3901 "beta": null,3902 "cycle_check": 32,3903 "dp": 10,3904 "instance": {3905 "a": "144007308665878",3906 "b": "168516546766515",3907 "gx": "171991166788104",3908 "gy": "179837085768386",3909 "n": "248923328956121",3910 "p": "248923305756509",3911 "qx": "231351244430570",3912 "qy": "64730608750336"3913 },3914 "lambda": null,3915 "max_walk_len": 65536,3916 "mixed": 0,3917 "mode": "dp",3918 "neg": true,3919 "r": 128,3920 "seed": 34,3921 "threads": 4,3922 "walks": 1283923 },3924 "peak_rss_bytes": 11370496,3925 "process_cpu_s": 0.2671639999999975,3926 "restarts": 6668,3927 "seed": 34,3928 "table_entries": 6155,3929 "threads": 4,3930 "useless_collisions": 0,3931 "wall_s": 0.0671562923932 },3933 {3934 "abandoned_walks": 0,3935 "bits": 48,3936 "class_size": 2,3937 "cpu_s": 0.552683252,3938 "d": "88256088614348",3939 "doubling_fallbacks": 0,3940 "dp_bytes": 946176,3941 "dp_count": 12524,3942 "engine": "rho_engine 0.1.0",3943 "expected_d": "88256088614348",3944 "expected_iterations": 13982271.825026013,3945 "fruitless_by_length": [3946 {3947 "count": 4,3948 "length": 23949 },3950 {3951 "count": 203,3952 "length": 43953 },3954 {3955 "count": 6,3956 "length": 63957 }3958 ],3959 "fruitless_cycles": 213,3960 "group_ops": 13091183,3961 "group_ops_per_cpu_s": 23686592.551206887,3962 "group_ops_per_wall_s": 187541458.81864312,3963 "iterations": 12695848,3964 "label": "g48b-8/t8",3965 "lookahead_rejections": 101144,3966 "match": true,3967 "ok": true,3968 "ops": {3969 "add": 13090764,3970 "dbl": 419,3971 "inv": 395247,3972 "mul": 902731603973 },3974 "params": {3975 "alg": "rho",3976 "aut3": false,3977 "beta": null,3978 "cycle_check": 32,3979 "dp": 10,3980 "instance": {3981 "a": "144007308665878",3982 "b": "168516546766515",3983 "gx": "171991166788104",3984 "gy": "179837085768386",3985 "n": "248923328956121",3986 "p": "248923305756509",3987 "qx": "231351244430570",3988 "qy": "64730608750336"3989 },3990 "lambda": null,3991 "max_walk_len": 65536,3992 "mixed": 0,3993 "mode": "dp",3994 "neg": true,3995 "r": 128,3996 "seed": 34,3997 "threads": 8,3998 "walks": 1283999 },4000 "peak_rss_bytes": 11370496,4001 "process_cpu_s": 0.5535180000000004,4002 "restarts": 13549,4003 "seed": 34,4004 "table_entries": 12524,4005 "threads": 8,4006 "useless_collisions": 0,4007 "wall_s": 0.0698042084008 },4009 {4010 "abandoned_walks": 0,4011 "bits": 48,4012 "class_size": 2,4013 "cpu_s": 1.132111751,4014 "d": "88256088614348",4015 "doubling_fallbacks": 0,4016 "dp_bytes": 946176,4017 "dp_count": 24669,4018 "engine": "rho_engine 0.1.0",4019 "expected_d": "88256088614348",4020 "expected_iterations": 13982271.825026013,4021 "fruitless_by_length": [4022 {4023 "count": 6,4024 "length": 24025 },4026 {4027 "count": 405,4028 "length": 44029 },4030 {4031 "count": 9,4032 "length": 64033 }4034 ],4035 "fruitless_cycles": 420,4036 "group_ops": 26126949,4037 "group_ops_per_cpu_s": 23078065.37377775,4038 "group_ops_per_wall_s": 365106981.710993,4039 "iterations": 25348022,4040 "label": "g48b-8/t16",4041 "lookahead_rejections": 201759,4042 "match": true,4043 "ok": true,4044 "ops": {4045 "add": 26126323,4046 "dbl": 626,4047 "inv": 778892,4048 "mul": 1802034474049 },4050 "params": {4051 "alg": "rho",4052 "aut3": false,4053 "beta": null,4054 "cycle_check": 32,4055 "dp": 10,4056 "instance": {4057 "a": "144007308665878",4058 "b": "168516546766515",4059 "gx": "171991166788104",4060 "gy": "179837085768386",4061 "n": "248923328956121",4062 "p": "248923305756509",4063 "qx": "231351244430570",4064 "qy": "64730608750336"4065 },4066 "lambda": null,4067 "max_walk_len": 65536,4068 "mixed": 0,4069 "mode": "dp",4070 "neg": true,4071 "r": 128,4072 "seed": 34,4073 "threads": 16,4074 "walks": 1284075 },4076 "peak_rss_bytes": 11370496,4077 "process_cpu_s": 1.1337070000000011,4078 "restarts": 26718,4079 "seed": 34,4080 "table_entries": 24669,4081 "threads": 16,4082 "useless_collisions": 0,4083 "wall_s": 0.0715597084084 },4085 {4086 "abandoned_walks": 0,4087 "bits": 48,4088 "class_size": 2,4089 "cpu_s": 0.33389883,4090 "d": "88256088614348",4091 "doubling_fallbacks": 0,4092 "dp_bytes": 946176,4093 "dp_count": 6145,4094 "engine": "rho_engine 0.1.0",4095 "expected_d": "88256088614348",4096 "expected_iterations": 13982271.825026013,4097 "fruitless_by_length": [4098 {4099 "count": 100,4100 "length": 44101 },4102 {4103 "count": 1,4104 "length": 64105 }4106 ],4107 "fruitless_cycles": 101,4108 "group_ops": 6529536,4109 "group_ops_per_cpu_s": 19555432.404480126,4110 "group_ops_per_wall_s": 506576300.89387983,4111 "iterations": 6267299,4112 "label": "g48b-8/t28",4113 "lookahead_rejections": 49628,4114 "match": true,4115 "ok": true,4116 "ops": {4117 "add": 6529229,4118 "dbl": 307,4119 "inv": 262467,4120 "mul": 447665364121 },4122 "params": {4123 "alg": "rho",4124 "aut3": false,4125 "beta": null,4126 "cycle_check": 32,4127 "dp": 10,4128 "instance": {4129 "a": "144007308665878",4130 "b": "168516546766515",4131 "gx": "171991166788104",4132 "gy": "179837085768386",4133 "n": "248923328956121",4134 "p": "248923305756509",4135 "qx": "231351244430570",4136 "qy": "64730608750336"4137 },4138 "lambda": null,4139 "max_walk_len": 65536,4140 "mixed": 0,4141 "mode": "dp",4142 "neg": true,4143 "r": 128,4144 "seed": 34,4145 "threads": 28,4146 "walks": 1284147 },4148 "peak_rss_bytes": 11468800,4149 "process_cpu_s": 0.3396280000000047,4150 "restarts": 9730,4151 "seed": 34,4152 "table_entries": 6145,4153 "threads": 28,4154 "useless_collisions": 0,4155 "wall_s": 0.0128895414156 },4157 {4158 "abandoned_walks": 0,4159 "bits": 48,4160 "class_size": 2,4161 "cpu_s": 0.14895350000000002,4162 "d": "82678809384088",4163 "doubling_fallbacks": 0,4164 "dp_bytes": 946176,4165 "dp_count": 3666,4166 "engine": "rho_engine 0.1.0",4167 "expected_d": "82678809384088",4168 "expected_iterations": 12709458.847992051,4169 "fruitless_by_length": [4170 {4171 "count": 1,4172 "length": 24173 },4174 {4175 "count": 55,4176 "length": 44177 },4178 {4179 "count": 1,4180 "length": 64181 }4182 ],4183 "fruitless_cycles": 57,4184 "group_ops": 3880326,4185 "group_ops_per_cpu_s": 26050586.256784834,4186 "group_ops_per_wall_s": 25978512.62078073,4187 "iterations": 3766039,4188 "label": "g48b-9/t1",4189 "lookahead_rejections": 29578,4190 "match": true,4191 "ok": true,4192 "ops": {4193 "add": 3880063,4194 "dbl": 263,4195 "inv": 114649,4196 "mul": 267675674197 },4198 "params": {4199 "alg": "rho",4200 "aut3": false,4201 "beta": null,4202 "cycle_check": 32,4203 "dp": 10,4204 "instance": {4205 "a": "188383789581001",4206 "b": "189524500555193",4207 "gx": "27337526026738",4208 "gy": "124232439248390",4209 "n": "205666821921331",4210 "p": "205666843977949",4211 "qx": "180890228516820",4212 "qy": "75084286796472"4213 },4214 "lambda": null,4215 "max_walk_len": 65536,4216 "mixed": 0,4217 "mode": "dp",4218 "neg": true,4219 "r": 128,4220 "seed": 34,4221 "threads": 1,4222 "walks": 1284223 },4224 "peak_rss_bytes": 11468800,4225 "process_cpu_s": 0.14939099999999428,4226 "restarts": 3795,4227 "seed": 34,4228 "table_entries": 3666,4229 "threads": 1,4230 "useless_collisions": 0,4231 "wall_s": 0.149366754232 },4233 {4234 "abandoned_walks": 0,4235 "bits": 48,4236 "class_size": 2,4237 "cpu_s": 0.303764333,4238 "d": "82678809384088",4239 "doubling_fallbacks": 0,4240 "dp_bytes": 946176,4241 "dp_count": 7379,4242 "engine": "rho_engine 0.1.0",4243 "expected_d": "82678809384088",4244 "expected_iterations": 12709458.847992051,4245 "fruitless_by_length": [4246 {4247 "count": 1,4248 "length": 24249 },4250 {4251 "count": 108,4252 "length": 44253 },4254 {4255 "count": 3,4256 "length": 64257 }4258 ],4259 "fruitless_cycles": 112,4260 "group_ops": 7772143,4261 "group_ops_per_cpu_s": 25586094.7308781,4262 "group_ops_per_wall_s": 51024567.86426275,4263 "iterations": 7545749,4264 "label": "g48b-9/t2",4265 "lookahead_rejections": 59302,4266 "match": true,4267 "ok": true,4268 "ops": {4269 "add": 7771825,4270 "dbl": 318,4271 "inv": 227073,4272 "mul": 536245134273 },4274 "params": {4275 "alg": "rho",4276 "aut3": false,4277 "beta": null,4278 "cycle_check": 32,4279 "dp": 10,4280 "instance": {4281 "a": "188383789581001",4282 "b": "189524500555193",4283 "gx": "27337526026738",4284 "gy": "124232439248390",4285 "n": "205666821921331",4286 "p": "205666843977949",4287 "qx": "180890228516820",4288 "qy": "75084286796472"4289 },4290 "lambda": null,4291 "max_walk_len": 65536,4292 "mixed": 0,4293 "mode": "dp",4294 "neg": true,4295 "r": 128,4296 "seed": 34,4297 "threads": 2,4298 "walks": 1284299 },4300 "peak_rss_bytes": 11468800,4301 "process_cpu_s": 0.30422299999999325,4302 "restarts": 7636,4303 "seed": 34,4304 "table_entries": 7379,4305 "threads": 2,4306 "useless_collisions": 0,4307 "wall_s": 0.1523215844308 },4309 {4310 "abandoned_walks": 0,4311 "bits": 48,4312 "class_size": 2,4313 "cpu_s": 0.6333267499999999,4314 "d": "82678809384088",4315 "doubling_fallbacks": 0,4316 "dp_bytes": 946176,4317 "dp_count": 14841,4318 "engine": "rho_engine 0.1.0",4319 "expected_d": "82678809384088",4320 "expected_iterations": 12709458.847992051,4321 "fruitless_by_length": [4322 {4323 "count": 1,4324 "length": 24325 },4326 {4327 "count": 215,4328 "length": 44329 },4330 {4331 "count": 5,4332 "length": 64333 }4334 ],4335 "fruitless_cycles": 221,4336 "group_ops": 15543595,4337 "group_ops_per_cpu_s": 24542773.536724925,4338 "group_ops_per_wall_s": 97749185.85711026,4339 "iterations": 15091582,4340 "label": "g48b-9/t4",4341 "lookahead_rejections": 119142,4342 "match": true,4343 "ok": true,4344 "ops": {4345 "add": 15543168,4346 "dbl": 427,4347 "inv": 452820,4348 "mul": 1072493434349 },4350 "params": {4351 "alg": "rho",4352 "aut3": false,4353 "beta": null,4354 "cycle_check": 32,4355 "dp": 10,4356 "instance": {4357 "a": "188383789581001",4358 "b": "189524500555193",4359 "gx": "27337526026738",4360 "gy": "124232439248390",4361 "n": "205666821921331",4362 "p": "205666843977949",4363 "qx": "180890228516820",4364 "qy": "75084286796472"4365 },4366 "lambda": null,4367 "max_walk_len": 65536,4368 "mixed": 0,4369 "mode": "dp",4370 "neg": true,4371 "r": 128,4372 "seed": 34,4373 "threads": 4,4374 "walks": 1284375 },4376 "peak_rss_bytes": 11468800,4377 "process_cpu_s": 0.6338820000000069,4378 "restarts": 15354,4379 "seed": 34,4380 "table_entries": 14841,4381 "threads": 4,4382 "useless_collisions": 0,4383 "wall_s": 0.1590150844384 },4385 {4386 "abandoned_walks": 0,4387 "bits": 48,4388 "class_size": 2,4389 "cpu_s": 0.30171833300000006,4390 "d": "82678809384088",4391 "doubling_fallbacks": 0,4392 "dp_bytes": 946176,4393 "dp_count": 6800,4394 "engine": "rho_engine 0.1.0",4395 "expected_d": "82678809384088",4396 "expected_iterations": 12709458.847992051,4397 "fruitless_by_length": [4398 {4399 "count": 2,4400 "length": 24401 },4402 {4403 "count": 100,4404 "length": 44405 },4406 {4407 "count": 1,4408 "length": 64409 }4410 ],4411 "fruitless_cycles": 103,4412 "group_ops": 7144924,4413 "group_ops_per_cpu_s": 23680775.14202625,4414 "group_ops_per_wall_s": 186503658.2122402,4415 "iterations": 6918734,4416 "label": "g48b-9/t8",4417 "lookahead_rejections": 54972,4418 "match": true,4419 "ok": true,4420 "ops": {4421 "add": 7144615,4422 "dbl": 309,4423 "inv": 226218,4424 "mul": 492276274425 },4426 "params": {4427 "alg": "rho",4428 "aut3": false,4429 "beta": null,4430 "cycle_check": 32,4431 "dp": 10,4432 "instance": {4433 "a": "188383789581001",4434 "b": "189524500555193",4435 "gx": "27337526026738",4436 "gy": "124232439248390",4437 "n": "205666821921331",4438 "p": "205666843977949",4439 "qx": "180890228516820",4440 "qy": "75084286796472"4441 },4442 "lambda": null,4443 "max_walk_len": 65536,4444 "mixed": 0,4445 "mode": "dp",4446 "neg": true,4447 "r": 128,4448 "seed": 34,4449 "threads": 8,4450 "walks": 1284451 },4452 "peak_rss_bytes": 11468800,4453 "process_cpu_s": 0.30248399999999975,4454 "restarts": 7825,4455 "seed": 34,4456 "table_entries": 6800,4457 "threads": 8,4458 "useless_collisions": 0,4459 "wall_s": 0.0383098334460 },4461 {4462 "abandoned_walks": 0,4463 "bits": 48,4464 "class_size": 2,4465 "cpu_s": 0.18722137600000002,4466 "d": "82678809384088",4467 "doubling_fallbacks": 0,4468 "dp_bytes": 946176,4469 "dp_count": 4044,4470 "engine": "rho_engine 0.1.0",4471 "expected_d": "82678809384088",4472 "expected_iterations": 12709458.847992051,4473 "fruitless_by_length": [4474 {4475 "count": 1,4476 "length": 24477 },4478 {4479 "count": 65,4480 "length": 44481 }4482 ],4483 "fruitless_cycles": 66,4484 "group_ops": 4235503,4485 "group_ops_per_cpu_s": 22622966.941552654,4486 "group_ops_per_wall_s": 345313711.8429842,4487 "iterations": 4069471,4488 "label": "g48b-9/t16",4489 "lookahead_rejections": 32109,4490 "match": true,4491 "ok": true,4492 "ops": {4493 "add": 4235231,4494 "dbl": 272,4495 "inv": 166296,4496 "mul": 290543824497 },4498 "params": {4499 "alg": "rho",4500 "aut3": false,4501 "beta": null,4502 "cycle_check": 32,4503 "dp": 10,4504 "instance": {4505 "a": "188383789581001",4506 "b": "189524500555193",4507 "gx": "27337526026738",4508 "gy": "124232439248390",4509 "n": "205666821921331",4510 "p": "205666843977949",4511 "qx": "180890228516820",4512 "qy": "75084286796472"4513 },4514 "lambda": null,4515 "max_walk_len": 65536,4516 "mixed": 0,4517 "mode": "dp",4518 "neg": true,4519 "r": 128,4520 "seed": 34,4521 "threads": 16,4522 "walks": 1284523 },4524 "peak_rss_bytes": 11468800,4525 "process_cpu_s": 0.1887310000000113,4526 "restarts": 6093,4527 "seed": 34,4528 "table_entries": 4044,4529 "threads": 16,4530 "useless_collisions": 0,4531 "wall_s": 0.0122656674532 },4533 {4534 "abandoned_walks": 0,4535 "bits": 48,4536 "class_size": 2,4537 "cpu_s": 0.3392966670000001,4538 "d": "82678809384088",4539 "doubling_fallbacks": 0,4540 "dp_bytes": 946176,4541 "dp_count": 6218,4542 "engine": "rho_engine 0.1.0",4543 "expected_d": "82678809384088",4544 "expected_iterations": 12709458.847992051,4545 "fruitless_by_length": [4546 {4547 "count": 1,4548 "length": 24549 },4550 {4551 "count": 105,4552 "length": 44553 },4554 {4555 "count": 2,4556 "length": 64557 }4558 ],4559 "fruitless_cycles": 108,4560 "group_ops": 6609017,4561 "group_ops_per_cpu_s": 19478579.198657434,4562 "group_ops_per_wall_s": 506375029.92922336,4563 "iterations": 6345250,4564 "label": "g48b-9/t28",4565 "lookahead_rejections": 50181,4566 "match": true,4567 "ok": true,4568 "ops": {4569 "add": 6608703,4570 "dbl": 314,4571 "inv": 264097,4572 "mul": 453177624573 },4574 "params": {4575 "alg": "rho",4576 "aut3": false,4577 "beta": null,4578 "cycle_check": 32,4579 "dp": 10,4580 "instance": {4581 "a": "188383789581001",4582 "b": "189524500555193",4583 "gx": "27337526026738",4584 "gy": "124232439248390",4585 "n": "205666821921331",4586 "p": "205666843977949",4587 "qx": "180890228516820",4588 "qy": "75084286796472"4589 },4590 "lambda": null,4591 "max_walk_len": 65536,4592 "mixed": 0,4593 "mode": "dp",4594 "neg": true,4595 "r": 128,4596 "seed": 34,4597 "threads": 28,4598 "walks": 1284599 },4600 "peak_rss_bytes": 11468800,4601 "process_cpu_s": 0.34305499999999256,4602 "restarts": 9803,4603 "seed": 34,4604 "table_entries": 6218,4605 "threads": 28,4606 "useless_collisions": 0,4607 "wall_s": 0.0130516254608 },4609 {4610 "abandoned_walks": 0,4611 "bits": 48,4612 "class_size": 2,4613 "cpu_s": 0.420995458,4614 "d": "8617047018652",4615 "doubling_fallbacks": 0,4616 "dp_bytes": 1892352,4617 "dp_count": 10252,4618 "engine": "rho_engine 0.1.0",4619 "expected_d": "8617047018652",4620 "expected_iterations": 14376350.09837267,4621 "fruitless_by_length": [4622 {4623 "count": 3,4624 "length": 24625 },4626 {4627 "count": 159,4628 "length": 44629 },4630 {4631 "count": 1,4632 "length": 64633 }4634 ],4635 "fruitless_cycles": 163,4636 "group_ops": 10728361,4637 "group_ops_per_cpu_s": 25483317.684629273,4638 "group_ops_per_wall_s": 25455549.008944638,4639 "iterations": 10419434,4640 "label": "g48b-10/t1",4641 "lookahead_rejections": 82505,4642 "match": true,4643 "ok": true,4644 "ops": {4645 "add": 10727996,4646 "dbl": 365,4647 "inv": 309281,4648 "mul": 740377044649 },4650 "params": {4651 "alg": "rho",4652 "aut3": false,4653 "beta": null,4654 "cycle_check": 32,4655 "dp": 10,4656 "instance": {4657 "a": "115822396024987",4658 "b": "144684570553148",4659 "gx": "162052997094996",4660 "gy": "56868253272028",4661 "n": "263152438830431",4662 "p": "263152436309489",4663 "qx": "134157663575307",4664 "qy": "9160684787257"4665 },4666 "lambda": null,4667 "max_walk_len": 65536,4668 "mixed": 0,4669 "mode": "dp",4670 "neg": true,4671 "r": 128,4672 "seed": 34,4673 "threads": 1,4674 "walks": 1284675 },4676 "peak_rss_bytes": 11468800,4677 "process_cpu_s": 0.42178899999999686,4678 "restarts": 10381,4679 "seed": 34,4680 "table_entries": 10252,4681 "threads": 1,4682 "useless_collisions": 0,4683 "wall_s": 0.4214547094684 },4685 {4686 "abandoned_walks": 0,4687 "bits": 48,4688 "class_size": 2,4689 "cpu_s": 0.1409455,4690 "d": "8617047018652",4691 "doubling_fallbacks": 0,4692 "dp_bytes": 1892352,4693 "dp_count": 3202,4694 "engine": "rho_engine 0.1.0",4695 "expected_d": "8617047018652",4696 "expected_iterations": 14376350.09837267,4697 "fruitless_by_length": [4698 {4699 "count": 42,4700 "length": 44701 }4702 ],4703 "fruitless_cycles": 42,4704 "group_ops": 3386992,4705 "group_ops_per_cpu_s": 24030508.24609512,4706 "group_ops_per_wall_s": 47717498.44248562,4707 "iterations": 3283366,4708 "label": "g48b-10/t2",4709 "lookahead_rejections": 25900,4710 "match": true,4711 "ok": true,4712 "ops": {4713 "add": 3386748,4714 "dbl": 244,4715 "inv": 103788,4716 "mul": 233495774717 },4718 "params": {4719 "alg": "rho",4720 "aut3": false,4721 "beta": null,4722 "cycle_check": 32,4723 "dp": 10,4724 "instance": {4725 "a": "115822396024987",4726 "b": "144684570553148",4727 "gx": "162052997094996",4728 "gy": "56868253272028",4729 "n": "263152438830431",4730 "p": "263152436309489",4731 "qx": "134157663575307",4732 "qy": "9160684787257"4733 },4734 "lambda": null,4735 "max_walk_len": 65536,4736 "mixed": 0,4737 "mode": "dp",4738 "neg": true,4739 "r": 128,4740 "seed": 34,4741 "threads": 2,4742 "walks": 1284743 },4744 "peak_rss_bytes": 11468800,4745 "process_cpu_s": 0.14144899999999438,4746 "restarts": 3459,4747 "seed": 34,4748 "table_entries": 3202,4749 "threads": 2,4750 "useless_collisions": 0,4751 "wall_s": 0.0709800834752 },4753 {4754 "abandoned_walks": 0,4755 "bits": 48,4756 "class_size": 2,4757 "cpu_s": 0.27417783300000004,4758 "d": "8617047018652",4759 "doubling_fallbacks": 0,4760 "dp_bytes": 1892352,4761 "dp_count": 6242,4762 "engine": "rho_engine 0.1.0",4763 "expected_d": "8617047018652",4764 "expected_iterations": 14376350.09837267,4765 "fruitless_by_length": [4766 {4767 "count": 1,4768 "length": 24769 },4770 {4771 "count": 96,4772 "length": 44773 }4774 ],4775 "fruitless_cycles": 97,4776 "group_ops": 6685264,4777 "group_ops_per_cpu_s": 24382948.5660863,4778 "group_ops_per_wall_s": 96735128.07507345,4779 "iterations": 6485669,4780 "label": "g48b-10/t4",4781 "lookahead_rejections": 51136,4782 "match": true,4783 "ok": true,4784 "ops": {4785 "add": 6684965,4786 "dbl": 299,4787 "inv": 200009,4788 "mul": 461068694789 },4790 "params": {4791 "alg": "rho",4792 "aut3": false,4793 "beta": null,4794 "cycle_check": 32,4795 "dp": 10,4796 "instance": {4797 "a": "115822396024987",4798 "b": "144684570553148",4799 "gx": "162052997094996",4800 "gy": "56868253272028",4801 "n": "263152438830431",4802 "p": "263152436309489",4803 "qx": "134157663575307",4804 "qy": "9160684787257"4805 },4806 "lambda": null,4807 "max_walk_len": 65536,4808 "mixed": 0,4809 "mode": "dp",4810 "neg": true,4811 "r": 128,4812 "seed": 34,4813 "threads": 4,4814 "walks": 1284815 },4816 "peak_rss_bytes": 11468800,4817 "process_cpu_s": 0.274753000000004,4818 "restarts": 6755,4819 "seed": 34,4820 "table_entries": 6242,4821 "threads": 4,4822 "useless_collisions": 0,4823 "wall_s": 0.0691089594824 },4825 {4826 "abandoned_walks": 0,4827 "bits": 48,4828 "class_size": 2,4829 "cpu_s": 0.422562416,4830 "d": "8617047018652",4831 "doubling_fallbacks": 0,4832 "dp_bytes": 1892352,4833 "dp_count": 9541,4834 "engine": "rho_engine 0.1.0",4835 "expected_d": "8617047018652",4836 "expected_iterations": 14376350.09837267,4837 "fruitless_by_length": [4838 {4839 "count": 1,4840 "length": 24841 },4842 {4843 "count": 140,4844 "length": 44845 }4846 ],4847 "fruitless_cycles": 141,4848 "group_ops": 10064981,4849 "group_ops_per_cpu_s": 23818921.46319042,4850 "group_ops_per_wall_s": 188260389.1687206,4851 "iterations": 9757181,4852 "label": "g48b-10/t8",4853 "lookahead_rejections": 77381,4854 "match": true,4855 "ok": true,4856 "ops": {4857 "add": 10064638,4858 "dbl": 343,4859 "inv": 307952,4860 "mul": 693888934861 },4862 "params": {4863 "alg": "rho",4864 "aut3": false,4865 "beta": null,4866 "cycle_check": 32,4867 "dp": 10,4868 "instance": {4869 "a": "115822396024987",4870 "b": "144684570553148",4871 "gx": "162052997094996",4872 "gy": "56868253272028",4873 "n": "263152438830431",4874 "p": "263152436309489",4875 "qx": "134157663575307",4876 "qy": "9160684787257"4877 },4878 "lambda": null,4879 "max_walk_len": 65536,4880 "mixed": 0,4881 "mode": "dp",4882 "neg": true,4883 "r": 128,4884 "seed": 34,4885 "threads": 8,4886 "walks": 1284887 },4888 "peak_rss_bytes": 11468800,4889 "process_cpu_s": 0.4233130000000003,4890 "restarts": 10566,4891 "seed": 34,4892 "table_entries": 9541,4893 "threads": 8,4894 "useless_collisions": 0,4895 "wall_s": 0.0534630844896 },4897 {4898 "abandoned_walks": 0,4899 "bits": 48,4900 "class_size": 2,4901 "cpu_s": 0.8102815010000001,4902 "d": "8617047018652",4903 "doubling_fallbacks": 0,4904 "dp_bytes": 1892352,4905 "dp_count": 17941,4906 "engine": "rho_engine 0.1.0",4907 "expected_d": "8617047018652",4908 "expected_iterations": 14376350.09837267,4909 "fruitless_by_length": [4910 {4911 "count": 1,4912 "length": 24913 },4914 {4915 "count": 265,4916 "length": 44917 },4918 {4919 "count": 1,4920 "length": 64921 }4922 ],4923 "fruitless_cycles": 267,4924 "group_ops": 18872554,4925 "group_ops_per_cpu_s": 23291354.88926829,4926 "group_ops_per_wall_s": 367465212.8410446,4927 "iterations": 18294694,4928 "label": "g48b-10/t16",4929 "lookahead_rejections": 144790,4930 "match": true,4931 "ok": true,4932 "ops": {4933 "add": 18872085,4934 "dbl": 469,4935 "inv": 578458,4936 "mul": 1301050144937 },4938 "params": {4939 "alg": "rho",4940 "aut3": false,4941 "beta": null,4942 "cycle_check": 32,4943 "dp": 10,4944 "instance": {4945 "a": "115822396024987",4946 "b": "144684570553148",4947 "gx": "162052997094996",4948 "gy": "56868253272028",4949 "n": "263152438830431",4950 "p": "263152436309489",4951 "qx": "134157663575307",4952 "qy": "9160684787257"4953 },4954 "lambda": null,4955 "max_walk_len": 65536,4956 "mixed": 0,4957 "mode": "dp",4958 "neg": true,4959 "r": 128,4960 "seed": 34,4961 "threads": 16,4962 "walks": 1284963 },4964 "peak_rss_bytes": 11468800,4965 "process_cpu_s": 0.8116130000000013,4966 "restarts": 19990,4967 "seed": 34,4968 "table_entries": 17941,4969 "threads": 16,4970 "useless_collisions": 0,4971 "wall_s": 0.051358754972 },4973 {4974 "abandoned_walks": 0,4975 "bits": 48,4976 "class_size": 2,4977 "cpu_s": 1.3031157500000001,4978 "d": "8617047018652",4979 "doubling_fallbacks": 0,4980 "dp_bytes": 1892352,4981 "dp_count": 24637,4982 "engine": "rho_engine 0.1.0",4983 "expected_d": "8617047018652",4984 "expected_iterations": 14376350.09837267,4985 "fruitless_by_length": [4986 {4987 "count": 3,4988 "length": 24989 },4990 {4991 "count": 387,4992 "length": 44993 },4994 {4995 "count": 4,4996 "length": 64997 }4998 ],4999 "fruitless_cycles": 394,5000 "group_ops": 26042228,5001 "group_ops_per_cpu_s": 19984585.406169787,5002 "group_ops_per_wall_s": 539873290.3065151,5003 "iterations": 25232621,5004 "label": "g48b-10/t28",5005 "lookahead_rejections": 199770,5006 "match": true,5007 "ok": true,5008 "ops": {5009 "add": 26041632,5010 "dbl": 596,5011 "inv": 810503,5012 "mul": 1794833405013 },5014 "params": {5015 "alg": "rho",5016 "aut3": false,5017 "beta": null,5018 "cycle_check": 32,5019 "dp": 10,5020 "instance": {5021 "a": "115822396024987",5022 "b": "144684570553148",5023 "gx": "162052997094996",5024 "gy": "56868253272028",5025 "n": "263152438830431",5026 "p": "263152436309489",5027 "qx": "134157663575307",5028 "qy": "9160684787257"5029 },5030 "lambda": null,5031 "max_walk_len": 65536,5032 "mixed": 0,5033 "mode": "dp",5034 "neg": true,5035 "r": 128,5036 "seed": 34,5037 "threads": 28,5038 "walks": 1285039 },5040 "peak_rss_bytes": 11485184,5041 "process_cpu_s": 1.3076300000000032,5042 "restarts": 28222,5043 "seed": 34,5044 "table_entries": 24637,5045 "threads": 28,5046 "useless_collisions": 0,5047 "wall_s": 0.0482376675048 },5049 {5050 "abandoned_walks": 0,5051 "bits": 48,5052 "class_size": 2,5053 "cpu_s": 0.26482125000000006,5054 "d": "69308680577628",5055 "doubling_fallbacks": 0,5056 "dp_bytes": 946176,5057 "dp_count": 6458,5058 "engine": "rho_engine 0.1.0",5059 "expected_d": "69308680577628",5060 "expected_iterations": 13390470.09632237,5061 "fruitless_by_length": [5062 {5063 "count": 103,5064 "length": 45065 },5066 {5067 "count": 2,5068 "length": 65069 }5070 ],5071 "fruitless_cycles": 105,5072 "group_ops": 6887708,5073 "group_ops_per_cpu_s": 26008894.67895797,5074 "group_ops_per_wall_s": 25965047.076950252,5075 "iterations": 6690714,5076 "label": "g48b-11/t1",5077 "lookahead_rejections": 52347,5078 "match": true,5079 "ok": true,5080 "ops": {5081 "add": 6887398,5082 "dbl": 310,5083 "inv": 197856,5084 "mul": 475357425085 },5086 "params": {5087 "alg": "rho",5088 "aut3": false,5089 "beta": null,5090 "cycle_check": 32,5091 "dp": 10,5092 "instance": {5093 "a": "29952611926036",5094 "b": "227185076563145",5095 "gx": "216520204820015",5096 "gy": "139554333874428",5097 "n": "228297821101177",5098 "p": "228297814327103",5099 "qx": "74911321486253",5100 "qy": "51225068804026"5101 },5102 "lambda": null,5103 "max_walk_len": 65536,5104 "mixed": 0,5105 "mode": "dp",5106 "neg": true,5107 "r": 128,5108 "seed": 34,5109 "threads": 1,5110 "walks": 1285111 },5112 "peak_rss_bytes": 11485184,5113 "process_cpu_s": 0.2652870000000078,5114 "restarts": 6587,5115 "seed": 34,5116 "table_entries": 6458,5117 "threads": 1,5118 "useless_collisions": 0,5119 "wall_s": 0.2652684585120 },5121 {5122 "abandoned_walks": 0,5123 "bits": 48,5124 "class_size": 2,5125 "cpu_s": 0.22900758300000001,5126 "d": "69308680577628",5127 "doubling_fallbacks": 0,5128 "dp_bytes": 946176,5129 "dp_count": 5296,5130 "engine": "rho_engine 0.1.0",5131 "expected_d": "69308680577628",5132 "expected_iterations": 13390470.09632237,5133 "fruitless_by_length": [5134 {5135 "count": 1,5136 "length": 25137 },5138 {5139 "count": 87,5140 "length": 45141 },5142 {5143 "count": 1,5144 "length": 65145 }5146 ],5147 "fruitless_cycles": 89,5148 "group_ops": 5532357,5149 "group_ops_per_cpu_s": 24157964.2364943,5150 "group_ops_per_wall_s": 48117842.699023865,5151 "iterations": 5367655,5152 "label": "g48b-11/t2",5153 "lookahead_rejections": 42202,5154 "match": true,5155 "ok": true,5156 "ops": {5157 "add": 5532063,5158 "dbl": 294,5159 "inv": 165210,5160 "mul": 381568375161 },5162 "params": {5163 "alg": "rho",5164 "aut3": false,5165 "beta": null,5166 "cycle_check": 32,5167 "dp": 10,5168 "instance": {5169 "a": "29952611926036",5170 "b": "227185076563145",5171 "gx": "216520204820015",5172 "gy": "139554333874428",5173 "n": "228297821101177",5174 "p": "228297814327103",5175 "qx": "74911321486253",5176 "qy": "51225068804026"5177 },5178 "lambda": null,5179 "max_walk_len": 65536,5180 "mixed": 0,5181 "mode": "dp",5182 "neg": true,5183 "r": 128,5184 "seed": 34,5185 "threads": 2,5186 "walks": 1285187 },5188 "peak_rss_bytes": 11485184,5189 "process_cpu_s": 0.2295170000000013,5190 "restarts": 5553,5191 "seed": 34,5192 "table_entries": 5296,5193 "threads": 2,5194 "useless_collisions": 0,5195 "wall_s": 0.1149751675196 },5197 {5198 "abandoned_walks": 0,5199 "bits": 48,5200 "class_size": 2,5201 "cpu_s": 0.45466316700000003,5202 "d": "69308680577628",5203 "doubling_fallbacks": 0,5204 "dp_bytes": 946176,5205 "dp_count": 10660,5206 "engine": "rho_engine 0.1.0",5207 "expected_d": "69308680577628",5208 "expected_iterations": 13390470.09632237,5209 "fruitless_by_length": [5210 {5211 "count": 2,5212 "length": 25213 },5214 {5215 "count": 169,5216 "length": 45217 },5218 {5219 "count": 4,5220 "length": 65221 }5222 ],5223 "fruitless_cycles": 175,5224 "group_ops": 11110623,5225 "group_ops_per_cpu_s": 24437042.20271707,5226 "group_ops_per_wall_s": 97207041.33922409,5227 "iterations": 10782217,5228 "label": "g48b-11/t4",5229 "lookahead_rejections": 85232,5230 "match": true,5231 "ok": true,5232 "ops": {5233 "add": 11110243,5234 "dbl": 380,5235 "inv": 328958,5236 "mul": 766414755237 },5238 "params": {5239 "alg": "rho",5240 "aut3": false,5241 "beta": null,5242 "cycle_check": 32,5243 "dp": 10,5244 "instance": {5245 "a": "29952611926036",5246 "b": "227185076563145",5247 "gx": "216520204820015",5248 "gy": "139554333874428",5249 "n": "228297821101177",5250 "p": "228297814327103",5251 "qx": "74911321486253",5252 "qy": "51225068804026"5253 },5254 "lambda": null,5255 "max_walk_len": 65536,5256 "mixed": 0,5257 "mode": "dp",5258 "neg": true,5259 "r": 128,5260 "seed": 34,5261 "threads": 4,5262 "walks": 1285263 },5264 "peak_rss_bytes": 11485184,5265 "process_cpu_s": 0.4552919999999929,5266 "restarts": 11173,5267 "seed": 34,5268 "table_entries": 10660,5269 "threads": 4,5270 "useless_collisions": 0,5271 "wall_s": 0.1142985415272 },5273 {5274 "abandoned_walks": 0,5275 "bits": 48,5276 "class_size": 2,5277 "cpu_s": 0.9286699570000001,5278 "d": "69308680577628",5279 "doubling_fallbacks": 0,5280 "dp_bytes": 946176,5281 "dp_count": 20919,5282 "engine": "rho_engine 0.1.0",5283 "expected_d": "69308680577628",5284 "expected_iterations": 13390470.09632237,5285 "fruitless_by_length": [5286 {5287 "count": 4,5288 "length": 25289 },5290 {5291 "count": 314,5292 "length": 45293 },5294 {5295 "count": 9,5296 "length": 65297 }5298 ],5299 "fruitless_cycles": 327,5300 "group_ops": 22050587,5301 "group_ops_per_cpu_s": 23744266.55432334,5302 "group_ops_per_wall_s": 188282563.25993365,5303 "iterations": 21406765,5304 "label": "g48b-11/t8",5305 "lookahead_rejections": 169431,5306 "match": true,5307 "ok": true,5308 "ops": {5309 "add": 22050055,5310 "dbl": 532,5311 "inv": 644610,5312 "mul": 1521382565313 },5314 "params": {5315 "alg": "rho",5316 "aut3": false,5317 "beta": null,5318 "cycle_check": 32,5319 "dp": 10,5320 "instance": {5321 "a": "29952611926036",5322 "b": "227185076563145",5323 "gx": "216520204820015",5324 "gy": "139554333874428",5325 "n": "228297821101177",5326 "p": "228297814327103",5327 "qx": "74911321486253",5328 "qy": "51225068804026"5329 },5330 "lambda": null,5331 "max_walk_len": 65536,5332 "mixed": 0,5333 "mode": "dp",5334 "neg": true,5335 "r": 128,5336 "seed": 34,5337 "threads": 8,5338 "walks": 1285339 },5340 "peak_rss_bytes": 11485184,5341 "process_cpu_s": 0.9295419999999979,5342 "restarts": 21944,5343 "seed": 34,5344 "table_entries": 20919,5345 "threads": 8,5346 "useless_collisions": 0,5347 "wall_s": 0.1171143345348 },5349 {5350 "abandoned_walks": 0,5351 "bits": 48,5352 "class_size": 2,5353 "cpu_s": 0.36088612400000003,5354 "d": "69308680577628",5355 "doubling_fallbacks": 0,5356 "dp_bytes": 946176,5357 "dp_count": 7761,5358 "engine": "rho_engine 0.1.0",5359 "expected_d": "69308680577628",5360 "expected_iterations": 13390470.09632237,5361 "fruitless_by_length": [5362 {5363 "count": 2,5364 "length": 25365 },5366 {5367 "count": 109,5368 "length": 45369 },5370 {5371 "count": 2,5372 "length": 65373 }5374 ],5375 "fruitless_cycles": 113,5376 "group_ops": 8222673,5377 "group_ops_per_cpu_s": 22784674.868796006,5378 "group_ops_per_wall_s": 354209263.679373,5379 "iterations": 7945576,5380 "label": "g48b-11/t16",5381 "lookahead_rejections": 63060,5382 "match": true,5383 "ok": true,5384 "ops": {5385 "add": 8222355,5386 "dbl": 318,5387 "inv": 277172,5388 "mul": 565863085389 },5390 "params": {5391 "alg": "rho",5392 "aut3": false,5393 "beta": null,5394 "cycle_check": 32,5395 "dp": 10,5396 "instance": {5397 "a": "29952611926036",5398 "b": "227185076563145",5399 "gx": "216520204820015",5400 "gy": "139554333874428",5401 "n": "228297821101177",5402 "p": "228297814327103",5403 "qx": "74911321486253",5404 "qy": "51225068804026"5405 },5406 "lambda": null,5407 "max_walk_len": 65536,5408 "mixed": 0,5409 "mode": "dp",5410 "neg": true,5411 "r": 128,5412 "seed": 34,5413 "threads": 16,5414 "walks": 1285415 },5416 "peak_rss_bytes": 11485184,5417 "process_cpu_s": 0.3625649999999965,5418 "restarts": 9810,5419 "seed": 34,5420 "table_entries": 7761,5421 "threads": 16,5422 "useless_collisions": 0,5423 "wall_s": 0.0232141675424 },5425 {5426 "abandoned_walks": 0,5427 "bits": 48,5428 "class_size": 2,5429 "cpu_s": 0.44913141399999995,5430 "d": "69308680577628",5431 "doubling_fallbacks": 0,5432 "dp_bytes": 946176,5433 "dp_count": 8300,5434 "engine": "rho_engine 0.1.0",5435 "expected_d": "69308680577628",5436 "expected_iterations": 13390470.09632237,5437 "fruitless_by_length": [5438 {5439 "count": 1,5440 "length": 25441 },5442 {5443 "count": 125,5444 "length": 45445 },5446 {5447 "count": 1,5448 "length": 65449 }5450 ],5451 "fruitless_cycles": 127,5452 "group_ops": 8879180,5453 "group_ops_per_cpu_s": 19769670.353096258,5454 "group_ops_per_wall_s": 516814795.1198865,5455 "iterations": 8552973,5456 "label": "g48b-11/t28",5457 "lookahead_rejections": 67701,5458 "match": true,5459 "ok": true,5460 "ops": {5461 "add": 8878848,5462 "dbl": 332,5463 "inv": 326492,5464 "mul": 609963545465 },5466 "params": {5467 "alg": "rho",5468 "aut3": false,5469 "beta": null,5470 "cycle_check": 32,5471 "dp": 10,5472 "instance": {5473 "a": "29952611926036",5474 "b": "227185076563145",5475 "gx": "216520204820015",5476 "gy": "139554333874428",5477 "n": "228297821101177",5478 "p": "228297814327103",5479 "qx": "74911321486253",5480 "qy": "51225068804026"5481 },5482 "lambda": null,5483 "max_walk_len": 65536,5484 "mixed": 0,5485 "mode": "dp",5486 "neg": true,5487 "r": 128,5488 "seed": 34,5489 "threads": 28,5490 "walks": 1285491 },5492 "peak_rss_bytes": 11485184,5493 "process_cpu_s": 0.45309199999999805,5494 "restarts": 11885,5495 "seed": 34,5496 "table_entries": 8300,5497 "threads": 28,5498 "useless_collisions": 0,5499 "wall_s": 0.0171805845500 },5501 {5502 "abandoned_walks": 0,5503 "bits": 48,5504 "class_size": 2,5505 "cpu_s": 0.11828812500000001,5506 "d": "134774575671927",5507 "doubling_fallbacks": 0,5508 "dp_bytes": 946176,5509 "dp_count": 2852,5510 "engine": "rho_engine 0.1.0",5511 "expected_d": "134774575671927",5512 "expected_iterations": 11524971.446307162,5513 "fruitless_by_length": [5514 {5515 "count": 2,5516 "length": 25517 },5518 {5519 "count": 36,5520 "length": 45521 },5522 {5523 "count": 1,5524 "length": 65525 }5526 ],5527 "fruitless_cycles": 39,5528 "group_ops": 3007266,5529 "group_ops_per_cpu_s": 25423228.240366478,5530 "group_ops_per_wall_s": 25331411.39370456,5531 "iterations": 2916969,5532 "label": "g48b-12/t1",5533 "lookahead_rejections": 23004,5534 "match": true,5535 "ok": true,5536 "ops": {5537 "add": 3007021,5538 "dbl": 245,5539 "inv": 90457,5540 "mul": 207385495541 },5542 "params": {5543 "alg": "rho",5544 "aut3": false,5545 "beta": null,5546 "cycle_check": 32,5547 "dp": 10,5548 "instance": {5549 "a": "119872861587018",5550 "b": "124428532410388",5551 "gx": "60543193524197",5552 "gy": "60514484357132",5553 "n": "169118000306527",5554 "p": "169117981573031",5555 "qx": "34564652698289",5556 "qy": "129642375579524"5557 },5558 "lambda": null,5559 "max_walk_len": 65536,5560 "mixed": 0,5561 "mode": "dp",5562 "neg": true,5563 "r": 128,5564 "seed": 34,5565 "threads": 1,5566 "walks": 1285567 },5568 "peak_rss_bytes": 11485184,5569 "process_cpu_s": 0.11892099999999317,5570 "restarts": 2981,5571 "seed": 34,5572 "table_entries": 2852,5573 "threads": 1,5574 "useless_collisions": 0,5575 "wall_s": 0.1187168755576 },5577 {5578 "abandoned_walks": 0,5579 "bits": 48,5580 "class_size": 2,5581 "cpu_s": 0.23528937600000002,5582 "d": "134774575671927",5583 "doubling_fallbacks": 0,5584 "dp_bytes": 946176,5585 "dp_count": 5610,5586 "engine": "rho_engine 0.1.0",5587 "expected_d": "134774575671927",5588 "expected_iterations": 11524971.446307162,5589 "fruitless_by_length": [5590 {5591 "count": 2,5592 "length": 25593 },5594 {5595 "count": 79,5596 "length": 45597 },5598 {5599 "count": 1,5600 "length": 65601 }5602 ],5603 "fruitless_cycles": 82,5604 "group_ops": 6005666,5605 "group_ops_per_cpu_s": 25524594.87163585,5606 "group_ops_per_wall_s": 50852630.803864434,5607 "iterations": 5830555,5608 "label": "g48b-12/t2",5609 "lookahead_rejections": 46083,5610 "match": true,5611 "ok": true,5612 "ops": {5613 "add": 6005378,5614 "dbl": 288,5615 "inv": 175350,5616 "mul": 414369795617 },5618 "params": {5619 "alg": "rho",5620 "aut3": false,5621 "beta": null,5622 "cycle_check": 32,5623 "dp": 10,5624 "instance": {5625 "a": "119872861587018",5626 "b": "124428532410388",5627 "gx": "60543193524197",5628 "gy": "60514484357132",5629 "n": "169118000306527",5630 "p": "169117981573031",5631 "qx": "34564652698289",5632 "qy": "129642375579524"5633 },5634 "lambda": null,5635 "max_walk_len": 65536,5636 "mixed": 0,5637 "mode": "dp",5638 "neg": true,5639 "r": 128,5640 "seed": 34,5641 "threads": 2,5642 "walks": 1285643 },5644 "peak_rss_bytes": 11485184,5645 "process_cpu_s": 0.23577399999999926,5646 "restarts": 5867,5647 "seed": 34,5648 "table_entries": 5610,5649 "threads": 2,5650 "useless_collisions": 0,5651 "wall_s": 0.1180994165652 },5653 {5654 "abandoned_walks": 0,5655 "bits": 48,5656 "class_size": 2,5657 "cpu_s": 0.386064041,5658 "d": "134774575671927",5659 "doubling_fallbacks": 0,5660 "dp_bytes": 946176,5661 "dp_count": 8900,5662 "engine": "rho_engine 0.1.0",5663 "expected_d": "134774575671927",5664 "expected_iterations": 11524971.446307162,5665 "fruitless_by_length": [5666 {5667 "count": 4,5668 "length": 25669 },5670 {5671 "count": 125,5672 "length": 45673 },5674 {5675 "count": 1,5676 "length": 65677 },5678 {5679 "count": 1,5680 "length": 85681 }5682 ],5683 "fruitless_cycles": 131,5684 "group_ops": 9496236,5685 "group_ops_per_cpu_s": 24597566.70267045,5686 "group_ops_per_wall_s": 97824837.0120179,5687 "iterations": 9218230,5688 "label": "g48b-12/t4",5689 "lookahead_rejections": 73057,5690 "match": true,5691 "ok": true,5692 "ops": {5693 "add": 9495899,5694 "dbl": 337,5695 "inv": 278195,5696 "mul": 655169835697 },5698 "params": {5699 "alg": "rho",5700 "aut3": false,5701 "beta": null,5702 "cycle_check": 32,5703 "dp": 10,5704 "instance": {5705 "a": "119872861587018",5706 "b": "124428532410388",5707 "gx": "60543193524197",5708 "gy": "60514484357132",5709 "n": "169118000306527",5710 "p": "169117981573031",5711 "qx": "34564652698289",5712 "qy": "129642375579524"5713 },5714 "lambda": null,5715 "max_walk_len": 65536,5716 "mixed": 0,5717 "mode": "dp",5718 "neg": true,5719 "r": 128,5720 "seed": 34,5721 "threads": 4,5722 "walks": 1285723 },5724 "peak_rss_bytes": 11485184,5725 "process_cpu_s": 0.3866599999999991,5726 "restarts": 9413,5727 "seed": 34,5728 "table_entries": 8900,5729 "threads": 4,5730 "useless_collisions": 0,5731 "wall_s": 0.0970738755732 },5733 {5734 "abandoned_walks": 0,5735 "bits": 48,5736 "class_size": 2,5737 "cpu_s": 0.804855331,5738 "d": "134774575671927",5739 "doubling_fallbacks": 0,5740 "dp_bytes": 946176,5741 "dp_count": 18102,5742 "engine": "rho_engine 0.1.0",5743 "expected_d": "134774575671927",5744 "expected_iterations": 11524971.446307162,5745 "fruitless_by_length": [5746 {5747 "count": 8,5748 "length": 25749 },5750 {5751 "count": 288,5752 "length": 45753 },5754 {5755 "count": 4,5756 "length": 65757 },5758 {5759 "count": 1,5760 "length": 85761 }5762 ],5763 "fruitless_cycles": 301,5764 "group_ops": 19122019,5765 "group_ops_per_cpu_s": 23758330.55145658,5766 "group_ops_per_wall_s": 188362573.42027846,5767 "iterations": 18561782,5768 "label": "g48b-12/t8",5769 "lookahead_rejections": 147326,5770 "match": true,5771 "ok": true,5772 "ops": {5773 "add": 19121512,5774 "dbl": 507,5775 "inv": 560588,5776 "mul": 1319264685777 },5778 "params": {5779 "alg": "rho",5780 "aut3": false,5781 "beta": null,5782 "cycle_check": 32,5783 "dp": 10,5784 "instance": {5785 "a": "119872861587018",5786 "b": "124428532410388",5787 "gx": "60543193524197",5788 "gy": "60514484357132",5789 "n": "169118000306527",5790 "p": "169117981573031",5791 "qx": "34564652698289",5792 "qy": "129642375579524"5793 },5794 "lambda": null,5795 "max_walk_len": 65536,5796 "mixed": 0,5797 "mode": "dp",5798 "neg": true,5799 "r": 128,5800 "seed": 34,5801 "threads": 8,5802 "walks": 1285803 },5804 "peak_rss_bytes": 11485184,5805 "process_cpu_s": 0.8057779999999966,5806 "restarts": 19127,5807 "seed": 34,5808 "table_entries": 18102,5809 "threads": 8,5810 "useless_collisions": 0,5811 "wall_s": 0.1015170835812 },5813 {5814 "abandoned_walks": 0,5815 "bits": 48,5816 "class_size": 2,5817 "cpu_s": 1.09896046,5818 "d": "134774575671927",5819 "doubling_fallbacks": 0,5820 "dp_bytes": 946176,5821 "dp_count": 24290,5822 "engine": "rho_engine 0.1.0",5823 "expected_d": "134774575671927",5824 "expected_iterations": 11524971.446307162,5825 "fruitless_by_length": [5826 {5827 "count": 8,5828 "length": 25829 },5830 {5831 "count": 379,5832 "length": 45833 },5834 {5835 "count": 8,5836 "length": 65837 },5838 {5839 "count": 1,5840 "length": 85841 }5842 ],5843 "fruitless_cycles": 396,5844 "group_ops": 25581630,5845 "group_ops_per_cpu_s": 23278025.85363262,5846 "group_ops_per_wall_s": 367851653.01179916,5847 "iterations": 24817714,5848 "label": "g48b-12/t16",5849 "lookahead_rejections": 196531,5850 "match": true,5851 "ok": true,5852 "ops": {5853 "add": 25581028,5854 "dbl": 602,5855 "inv": 764814,5856 "mul": 1764335575857 },5858 "params": {5859 "alg": "rho",5860 "aut3": false,5861 "beta": null,5862 "cycle_check": 32,5863 "dp": 10,5864 "instance": {5865 "a": "119872861587018",5866 "b": "124428532410388",5867 "gx": "60543193524197",5868 "gy": "60514484357132",5869 "n": "169118000306527",5870 "p": "169117981573031",5871 "qx": "34564652698289",5872 "qy": "129642375579524"5873 },5874 "lambda": null,5875 "max_walk_len": 65536,5876 "mixed": 0,5877 "mode": "dp",5878 "neg": true,5879 "r": 128,5880 "seed": 34,5881 "threads": 16,5882 "walks": 1285883 },5884 "peak_rss_bytes": 11485184,5885 "process_cpu_s": 1.1008859999999956,5886 "restarts": 26339,5887 "seed": 34,5888 "table_entries": 24290,5889 "threads": 16,5890 "useless_collisions": 0,5891 "wall_s": 0.0695433335892 },5893 {5894 "abandoned_walks": 0,5895 "bits": 48,5896 "class_size": 2,5897 "cpu_s": 0.6875188730000001,5898 "d": "134774575671927",5899 "doubling_fallbacks": 0,5900 "dp_bytes": 946176,5901 "dp_count": 12879,5902 "engine": "rho_engine 0.1.0",5903 "expected_d": "134774575671927",5904 "expected_iterations": 11524971.446307162,5905 "fruitless_by_length": [5906 {5907 "count": 7,5908 "length": 25909 },5910 {5911 "count": 182,5912 "length": 45913 },5914 {5915 "count": 5,5916 "length": 65917 },5918 {5919 "count": 1,5920 "length": 85921 }5922 ],5923 "fruitless_cycles": 195,5924 "group_ops": 13681365,5925 "group_ops_per_cpu_s": 19899620.995567925,5926 "group_ops_per_wall_s": 531539630.8149558,5927 "iterations": 13220580,5928 "label": "g48b-12/t28",5929 "lookahead_rejections": 104966,5930 "match": true,5931 "ok": true,5932 "ops": {5933 "add": 13680964,5934 "dbl": 401,5935 "inv": 460919,5936 "mul": 941527495937 },5938 "params": {5939 "alg": "rho",5940 "aut3": false,5941 "beta": null,5942 "cycle_check": 32,5943 "dp": 10,5944 "instance": {5945 "a": "119872861587018",5946 "b": "124428532410388",5947 "gx": "60543193524197",5948 "gy": "60514484357132",5949 "n": "169118000306527",5950 "p": "169117981573031",5951 "qx": "34564652698289",5952 "qy": "129642375579524"5953 },5954 "lambda": null,5955 "max_walk_len": 65536,5956 "mixed": 0,5957 "mode": "dp",5958 "neg": true,5959 "r": 128,5960 "seed": 34,5961 "threads": 28,5962 "walks": 1285963 },5964 "peak_rss_bytes": 11485184,5965 "process_cpu_s": 0.6902899999999974,5966 "restarts": 16464,5967 "seed": 34,5968 "table_entries": 12879,5969 "threads": 28,5970 "useless_collisions": 0,5971 "wall_s": 0.0257391255972 },5973 {5974 "abandoned_walks": 0,5975 "bits": 48,5976 "class_size": 2,5977 "cpu_s": 0.647390875,5978 "d": "165671099562460",5979 "doubling_fallbacks": 0,5980 "dp_bytes": 1892352,5981 "dp_count": 15586,5982 "engine": "rho_engine 0.1.0",5983 "expected_d": "165671099562460",5984 "expected_iterations": 14269542.971983079,5985 "fruitless_by_length": [5986 {5987 "count": 2,5988 "length": 25989 },5990 {5991 "count": 226,5992 "length": 45993 },5994 {5995 "count": 2,5996 "length": 65997 }5998 ],5999 "fruitless_cycles": 230,6000 "group_ops": 16505332,6001 "group_ops_per_cpu_s": 25495157.00232877,6002 "group_ops_per_wall_s": 25475242.31468918,6003 "iterations": 16036915,6004 "label": "g48b-13/t1",6005 "lookahead_rejections": 127575,6006 "match": true,6007 "ok": true,6008 "ops": {6009 "add": 16504895,6010 "dbl": 437,6011 "inv": 468280,6012 "mul": 1139350026013 },6014 "params": {6015 "alg": "rho",6016 "aut3": false,6017 "beta": null,6018 "cycle_check": 32,6019 "dp": 10,6020 "instance": {6021 "a": "52122977526662",6022 "b": "213960984641490",6023 "gx": "255176875507395",6024 "gy": "90189922162434",6025 "n": "259256853553693",6026 "p": "259256836408733",6027 "qx": "27791587719942",6028 "qy": "147351552247989"6029 },6030 "lambda": null,6031 "max_walk_len": 65536,6032 "mixed": 0,6033 "mode": "dp",6034 "neg": true,6035 "r": 128,6036 "seed": 34,6037 "threads": 1,6038 "walks": 1286039 },6040 "peak_rss_bytes": 11698176,6041 "process_cpu_s": 0.6506849999999957,6042 "restarts": 15715,6043 "seed": 34,6044 "table_entries": 15586,6045 "threads": 1,6046 "useless_collisions": 0,6047 "wall_s": 0.6478969586048 },6049 {6050 "abandoned_walks": 0,6051 "bits": 48,6052 "class_size": 2,6053 "cpu_s": 1.307830709,6054 "d": "165671099562460",6055 "doubling_fallbacks": 0,6056 "dp_bytes": 1892352,6057 "dp_count": 30959,6058 "engine": "rho_engine 0.1.0",6059 "expected_d": "165671099562460",6060 "expected_iterations": 14269542.971983079,6061 "fruitless_by_length": [6062 {6063 "count": 5,6064 "length": 26065 },6066 {6067 "count": 455,6068 "length": 46069 },6070 {6071 "count": 3,6072 "length": 66073 }6074 ],6075 "fruitless_cycles": 463,6076 "group_ops": 32775126,6077 "group_ops_per_cpu_s": 25060679.317631774,6078 "group_ops_per_wall_s": 50066278.94409821,6079 "iterations": 31848574,6080 "label": "g48b-13/t2",6081 "lookahead_rejections": 252706,6082 "match": true,6083 "ok": true,6084 "ops": {6085 "add": 32774456,6086 "dbl": 670,6087 "inv": 926955,6088 "mul": 2262557036089 },6090 "params": {6091 "alg": "rho",6092 "aut3": false,6093 "beta": null,6094 "cycle_check": 32,6095 "dp": 10,6096 "instance": {6097 "a": "52122977526662",6098 "b": "213960984641490",6099 "gx": "255176875507395",6100 "gy": "90189922162434",6101 "n": "259256853553693",6102 "p": "259256836408733",6103 "qx": "27791587719942",6104 "qy": "147351552247989"6105 },6106 "lambda": null,6107 "max_walk_len": 65536,6108 "mixed": 0,6109 "mode": "dp",6110 "neg": true,6111 "r": 128,6112 "seed": 34,6113 "threads": 2,6114 "walks": 1286115 },6116 "peak_rss_bytes": 11698176,6117 "process_cpu_s": 1.308323999999999,6118 "restarts": 31216,6119 "seed": 34,6120 "table_entries": 30959,6121 "threads": 2,6122 "useless_collisions": 0,6123 "wall_s": 0.654634756124 },6125 {6126 "abandoned_walks": 0,6127 "bits": 48,6128 "class_size": 2,6129 "cpu_s": 0.498002541,6130 "d": "165671099562460",6131 "doubling_fallbacks": 0,6132 "dp_bytes": 1892352,6133 "dp_count": 11428,6134 "engine": "rho_engine 0.1.0",6135 "expected_d": "165671099562460",6136 "expected_iterations": 14269542.971983079,6137 "fruitless_by_length": [6138 {6139 "count": 2,6140 "length": 26141 },6142 {6143 "count": 164,6144 "length": 46145 },6146 {6147 "count": 5,6148 "length": 66149 }6150 ],6151 "fruitless_cycles": 171,6152 "group_ops": 12125931,6153 "group_ops_per_cpu_s": 24349134.7968845,6154 "group_ops_per_wall_s": 96837239.89487948,6155 "iterations": 11772443,6156 "label": "g48b-13/t4",6157 "lookahead_rejections": 93255,6158 "match": true,6159 "ok": true,6160 "ops": {6161 "add": 12125553,6162 "dbl": 378,6163 "inv": 353793,6164 "mul": 836656136165 },6166 "params": {6167 "alg": "rho",6168 "aut3": false,6169 "beta": null,6170 "cycle_check": 32,6171 "dp": 10,6172 "instance": {6173 "a": "52122977526662",6174 "b": "213960984641490",6175 "gx": "255176875507395",6176 "gy": "90189922162434",6177 "n": "259256853553693",6178 "p": "259256836408733",6179 "qx": "27791587719942",6180 "qy": "147351552247989"6181 },6182 "lambda": null,6183 "max_walk_len": 65536,6184 "mixed": 0,6185 "mode": "dp",6186 "neg": true,6187 "r": 128,6188 "seed": 34,6189 "threads": 4,6190 "walks": 1286191 },6192 "peak_rss_bytes": 11698176,6193 "process_cpu_s": 0.49863600000000474,6194 "restarts": 11941,6195 "seed": 34,6196 "table_entries": 11428,6197 "threads": 4,6198 "useless_collisions": 0,6199 "wall_s": 0.1252197096200 },6201 {6202 "abandoned_walks": 0,6203 "bits": 48,6204 "class_size": 2,6205 "cpu_s": 0.964185957,6206 "d": "165671099562460",6207 "doubling_fallbacks": 0,6208 "dp_bytes": 1892352,6209 "dp_count": 21574,6210 "engine": "rho_engine 0.1.0",6211 "expected_d": "165671099562460",6212 "expected_iterations": 14269542.971983079,6213 "fruitless_by_length": [6214 {6215 "count": 3,6216 "length": 26217 },6218 {6219 "count": 311,6220 "length": 46221 },6222 {6223 "count": 8,6224 "length": 66225 }6226 ],6227 "fruitless_cycles": 322,6228 "group_ops": 22883415,6229 "group_ops_per_cpu_s": 23733404.15701574,6230 "group_ops_per_wall_s": 188589083.1309222,6231 "iterations": 22218324,6232 "label": "g48b-13/t8",6233 "lookahead_rejections": 175757,6234 "match": true,6235 "ok": true,6236 "ops": {6237 "add": 22882886,6238 "dbl": 529,6239 "inv": 665908,6240 "mul": 1578962276241 },6242 "params": {6243 "alg": "rho",6244 "aut3": false,6245 "beta": null,6246 "cycle_check": 32,6247 "dp": 10,6248 "instance": {6249 "a": "52122977526662",6250 "b": "213960984641490",6251 "gx": "255176875507395",6252 "gy": "90189922162434",6253 "n": "259256853553693",6254 "p": "259256836408733",6255 "qx": "27791587719942",6256 "qy": "147351552247989"6257 },6258 "lambda": null,6259 "max_walk_len": 65536,6260 "mixed": 0,6261 "mode": "dp",6262 "neg": true,6263 "r": 128,6264 "seed": 34,6265 "threads": 8,6266 "walks": 1286267 },6268 "peak_rss_bytes": 11698176,6269 "process_cpu_s": 0.9650199999999955,6270 "restarts": 22599,6271 "seed": 34,6272 "table_entries": 21574,6273 "threads": 8,6274 "useless_collisions": 0,6275 "wall_s": 0.1213400836276 },6277 {6278 "abandoned_walks": 0,6279 "bits": 48,6280 "class_size": 2,6281 "cpu_s": 1.0928042480000002,6282 "d": "165671099562460",6283 "doubling_fallbacks": 0,6284 "dp_bytes": 1892352,6285 "dp_count": 23600,6286 "engine": "rho_engine 0.1.0",6287 "expected_d": "165671099562460",6288 "expected_iterations": 14269542.971983079,6289 "fruitless_by_length": [6290 {6291 "count": 8,6292 "length": 26293 },6294 {6295 "count": 344,6296 "length": 46297 },6298 {6299 "count": 10,6300 "length": 66301 }6302 ],6303 "fruitless_cycles": 362,6304 "group_ops": 25135885,6305 "group_ops_per_cpu_s": 23001269.48262009,6306 "group_ops_per_wall_s": 363677668.4728664,6307 "iterations": 24387776,6308 "label": "g48b-13/t16",6309 "lookahead_rejections": 193011,6310 "match": true,6311 "ok": true,6312 "ops": {6313 "add": 25135316,6314 "dbl": 569,6315 "inv": 748964,6316 "mul": 1733689276317 },6318 "params": {6319 "alg": "rho",6320 "aut3": false,6321 "beta": null,6322 "cycle_check": 32,6323 "dp": 10,6324 "instance": {6325 "a": "52122977526662",6326 "b": "213960984641490",6327 "gx": "255176875507395",6328 "gy": "90189922162434",6329 "n": "259256853553693",6330 "p": "259256836408733",6331 "qx": "27791587719942",6332 "qy": "147351552247989"6333 },6334 "lambda": null,6335 "max_walk_len": 65536,6336 "mixed": 0,6337 "mode": "dp",6338 "neg": true,6339 "r": 128,6340 "seed": 34,6341 "threads": 16,6342 "walks": 1286343 },6344 "peak_rss_bytes": 11698176,6345 "process_cpu_s": 1.094622000000001,6346 "restarts": 25649,6347 "seed": 34,6348 "table_entries": 23600,6349 "threads": 16,6350 "useless_collisions": 0,6351 "wall_s": 0.0691158336352 },6353 {6354 "abandoned_walks": 0,6355 "bits": 48,6356 "class_size": 2,6357 "cpu_s": 1.9786976260000004,6358 "d": "165671099562460",6359 "doubling_fallbacks": 0,6360 "dp_bytes": 1892352,6361 "dp_count": 37007,6362 "engine": "rho_engine 0.1.0",6363 "expected_d": "165671099562460",6364 "expected_iterations": 14269542.971983079,6365 "fruitless_by_length": [6366 {6367 "count": 11,6368 "length": 26369 },6370 {6371 "count": 568,6372 "length": 46373 },6374 {6375 "count": 14,6376 "length": 66377 }6378 ],6379 "fruitless_cycles": 593,6380 "group_ops": 39445157,6381 "group_ops_per_cpu_s": 19934908.942979645,6382 "group_ops_per_wall_s": 541383197.0641541,6383 "iterations": 38266851,6384 "label": "g48b-13/t28",6385 "lookahead_rejections": 302307,6386 "match": true,6387 "ok": true,6388 "ops": {6389 "add": 39444357,6390 "dbl": 800,6391 "inv": 1180311,6392 "mul": 2720442786393 },6394 "params": {6395 "alg": "rho",6396 "aut3": false,6397 "beta": null,6398 "cycle_check": 32,6399 "dp": 10,6400 "instance": {6401 "a": "52122977526662",6402 "b": "213960984641490",6403 "gx": "255176875507395",6404 "gy": "90189922162434",6405 "n": "259256853553693",6406 "p": "259256836408733",6407 "qx": "27791587719942",6408 "qy": "147351552247989"6409 },6410 "lambda": null,6411 "max_walk_len": 65536,6412 "mixed": 0,6413 "mode": "dp",6414 "neg": true,6415 "r": 128,6416 "seed": 34,6417 "threads": 28,6418 "walks": 1286419 },6420 "peak_rss_bytes": 11894784,6421 "process_cpu_s": 1.984256000000002,6422 "restarts": 40592,6423 "seed": 34,6424 "table_entries": 37007,6425 "threads": 28,6426 "useless_collisions": 0,6427 "wall_s": 0.0728599586428 },6429 {6430 "abandoned_walks": 0,6431 "bits": 48,6432 "class_size": 2,6433 "cpu_s": 0.44291604100000004,6434 "d": "52688634050452",6435 "doubling_fallbacks": 0,6436 "dp_bytes": 946176,6437 "dp_count": 11195,6438 "engine": "rho_engine 0.1.0",6439 "expected_d": "52688634050452",6440 "expected_iterations": 10734787.431362247,6441 "fruitless_by_length": [6442 {6443 "count": 3,6444 "length": 26445 },6446 {6447 "count": 175,6448 "length": 46449 },6450 {6451 "count": 5,6452 "length": 66453 },6454 {6455 "count": 1,6456 "length": 86457 }6458 ],6459 "fruitless_cycles": 184,6460 "group_ops": 11493940,6461 "group_ops_per_cpu_s": 25950606.74264448,6462 "group_ops_per_wall_s": 25925144.88778398,6463 "iterations": 11160145,6464 "label": "g48b-14/t1",6465 "lookahead_rejections": 88406,6466 "match": true,6467 "ok": true,6468 "ops": {6469 "add": 11493551,6470 "dbl": 389,6471 "inv": 334196,6472 "mul": 793099396473 },6474 "params": {6475 "alg": "rho",6476 "aut3": false,6477 "beta": null,6478 "cycle_check": 32,6479 "dp": 10,6480 "instance": {6481 "a": "132119629016393",6482 "b": "114230712385793",6483 "gx": "121807479157859",6484 "gy": "119372756927010",6485 "n": "146722600799129",6486 "p": "146722597289263",6487 "qx": "75044994010358",6488 "qy": "96650089790448"6489 },6490 "lambda": null,6491 "max_walk_len": 65536,6492 "mixed": 0,6493 "mode": "dp",6494 "neg": true,6495 "r": 128,6496 "seed": 34,6497 "threads": 1,6498 "walks": 1286499 },6500 "peak_rss_bytes": 11894784,6501 "process_cpu_s": 0.4433829999999972,6502 "restarts": 11324,6503 "seed": 34,6504 "table_entries": 11195,6505 "threads": 1,6506 "useless_collisions": 0,6507 "wall_s": 0.4433510426508 },6509 {6510 "abandoned_walks": 0,6511 "bits": 48,6512 "class_size": 2,6513 "cpu_s": 0.507608291,6514 "d": "52688634050452",6515 "doubling_fallbacks": 0,6516 "dp_bytes": 946176,6517 "dp_count": 12309,6518 "engine": "rho_engine 0.1.0",6519 "expected_d": "52688634050452",6520 "expected_iterations": 10734787.431362247,6521 "fruitless_by_length": [6522 {6523 "count": 4,6524 "length": 26525 },6526 {6527 "count": 202,6528 "length": 46529 },6530 {6531 "count": 5,6532 "length": 66533 },6534 {6535 "count": 1,6536 "length": 86537 }6538 ],6539 "fruitless_cycles": 212,6540 "group_ops": 12946283,6541 "group_ops_per_cpu_s": 25504475.06382436,6542 "group_ops_per_wall_s": 50915336.74854798,6543 "iterations": 12574885,6544 "label": "g48b-14/t2",6545 "lookahead_rejections": 99346,6546 "match": true,6547 "ok": true,6548 "ops": {6549 "add": 12945866,6550 "dbl": 417,6551 "inv": 372140,6552 "mul": 893483686553 },6554 "params": {6555 "alg": "rho",6556 "aut3": false,6557 "beta": null,6558 "cycle_check": 32,6559 "dp": 10,6560 "instance": {6561 "a": "132119629016393",6562 "b": "114230712385793",6563 "gx": "121807479157859",6564 "gy": "119372756927010",6565 "n": "146722600799129",6566 "p": "146722597289263",6567 "qx": "75044994010358",6568 "qy": "96650089790448"6569 },6570 "lambda": null,6571 "max_walk_len": 65536,6572 "mixed": 0,6573 "mode": "dp",6574 "neg": true,6575 "r": 128,6576 "seed": 34,6577 "threads": 2,6578 "walks": 1286579 },6580 "peak_rss_bytes": 11894784,6581 "process_cpu_s": 0.5080889999999982,6582 "restarts": 12566,6583 "seed": 34,6584 "table_entries": 12309,6585 "threads": 2,6586 "useless_collisions": 0,6587 "wall_s": 0.2542707926588 },6589 {6590 "abandoned_walks": 0,6591 "bits": 48,6592 "class_size": 2,6593 "cpu_s": 0.468067583,6594 "d": "52688634050452",6595 "doubling_fallbacks": 0,6596 "dp_bytes": 946176,6597 "dp_count": 11039,6598 "engine": "rho_engine 0.1.0",6599 "expected_d": "52688634050452",6600 "expected_iterations": 10734787.431362247,6601 "fruitless_by_length": [6602 {6603 "count": 4,6604 "length": 26605 },6606 {6607 "count": 166,6608 "length": 46609 },6610 {6611 "count": 3,6612 "length": 66613 },6614 {6615 "count": 1,6616 "length": 86617 }6618 ],6619 "fruitless_cycles": 174,6620 "group_ops": 11514992,6621 "group_ops_per_cpu_s": 24601131.15759183,6622 "group_ops_per_wall_s": 97884449.09144424,6623 "iterations": 11175976,6624 "label": "g48b-14/t4",6625 "lookahead_rejections": 88653,6626 "match": true,6627 "ok": true,6628 "ops": {6629 "add": 11514613,6630 "dbl": 379,6631 "inv": 339246,6632 "mul": 794374836633 },6634 "params": {6635 "alg": "rho",6636 "aut3": false,6637 "beta": null,6638 "cycle_check": 32,6639 "dp": 10,6640 "instance": {6641 "a": "132119629016393",6642 "b": "114230712385793",6643 "gx": "121807479157859",6644 "gy": "119372756927010",6645 "n": "146722600799129",6646 "p": "146722597289263",6647 "qx": "75044994010358",6648 "qy": "96650089790448"6649 },6650 "lambda": null,6651 "max_walk_len": 65536,6652 "mixed": 0,6653 "mode": "dp",6654 "neg": true,6655 "r": 128,6656 "seed": 34,6657 "threads": 4,6658 "walks": 1286659 },6660 "peak_rss_bytes": 11894784,6661 "process_cpu_s": 0.4686309999999949,6662 "restarts": 11552,6663 "seed": 34,6664 "table_entries": 11039,6665 "threads": 4,6666 "useless_collisions": 0,6667 "wall_s": 0.1176386256668 },6669 {6670 "abandoned_walks": 0,6671 "bits": 48,6672 "class_size": 2,6673 "cpu_s": 0.4166428340000001,6674 "d": "52688634050452",6675 "doubling_fallbacks": 0,6676 "dp_bytes": 946176,6677 "dp_count": 9449,6678 "engine": "rho_engine 0.1.0",6679 "expected_d": "52688634050452",6680 "expected_iterations": 10734787.431362247,6681 "fruitless_by_length": [6682 {6683 "count": 3,6684 "length": 26685 },6686 {6687 "count": 146,6688 "length": 46689 },6690 {6691 "count": 1,6692 "length": 66693 }6694 ],6695 "fruitless_cycles": 150,6696 "group_ops": 9905854,6697 "group_ops_per_cpu_s": 23775409.51538362,6698 "group_ops_per_wall_s": 187832025.635183,6699 "iterations": 9602333,6700 "label": "g48b-14/t8",6701 "lookahead_rejections": 76249,6702 "match": true,6703 "ok": true,6704 "ops": {6705 "add": 9905499,6706 "dbl": 355,6707 "inv": 303638,6708 "mul": 682898376709 },6710 "params": {6711 "alg": "rho",6712 "aut3": false,6713 "beta": null,6714 "cycle_check": 32,6715 "dp": 10,6716 "instance": {6717 "a": "132119629016393",6718 "b": "114230712385793",6719 "gx": "121807479157859",6720 "gy": "119372756927010",6721 "n": "146722600799129",6722 "p": "146722597289263",6723 "qx": "75044994010358",6724 "qy": "96650089790448"6725 },6726 "lambda": null,6727 "max_walk_len": 65536,6728 "mixed": 0,6729 "mode": "dp",6730 "neg": true,6731 "r": 128,6732 "seed": 34,6733 "threads": 8,6734 "walks": 1286735 },6736 "peak_rss_bytes": 11894784,6737 "process_cpu_s": 0.41737400000000235,6738 "restarts": 10474,6739 "seed": 34,6740 "table_entries": 9449,6741 "threads": 8,6742 "useless_collisions": 0,6743 "wall_s": 0.0527378336744 },6745 {6746 "abandoned_walks": 0,6747 "bits": 48,6748 "class_size": 2,6749 "cpu_s": 0.6806565430000001,6750 "d": "52688634050452",6751 "doubling_fallbacks": 0,6752 "dp_bytes": 946176,6753 "dp_count": 15189,6754 "engine": "rho_engine 0.1.0",6755 "expected_d": "52688634050452",6756 "expected_iterations": 10734787.431362247,6757 "fruitless_by_length": [6758 {6759 "count": 5,6760 "length": 26761 },6762 {6763 "count": 232,6764 "length": 46765 },6766 {6767 "count": 3,6768 "length": 66769 }6770 ],6771 "fruitless_cycles": 240,6772 "group_ops": 15854144,6773 "group_ops_per_cpu_s": 23292428.70438402,6774 "group_ops_per_wall_s": 366451530.70711815,6775 "iterations": 15360608,6776 "label": "g48b-14/t16",6777 "lookahead_rejections": 121571,6778 "match": true,6779 "ok": true,6780 "ops": {6781 "add": 15853699,6782 "dbl": 445,6783 "inv": 494129,6784 "mul": 1092642636785 },6786 "params": {6787 "alg": "rho",6788 "aut3": false,6789 "beta": null,6790 "cycle_check": 32,6791 "dp": 10,6792 "instance": {6793 "a": "132119629016393",6794 "b": "114230712385793",6795 "gx": "121807479157859",6796 "gy": "119372756927010",6797 "n": "146722600799129",6798 "p": "146722597289263",6799 "qx": "75044994010358",6800 "qy": "96650089790448"6801 },6802 "lambda": null,6803 "max_walk_len": 65536,6804 "mixed": 0,6805 "mode": "dp",6806 "neg": true,6807 "r": 128,6808 "seed": 34,6809 "threads": 16,6810 "walks": 1286811 },6812 "peak_rss_bytes": 11894784,6813 "process_cpu_s": 0.6823070000000087,6814 "restarts": 17238,6815 "seed": 34,6816 "table_entries": 15189,6817 "threads": 16,6818 "useless_collisions": 0,6819 "wall_s": 0.0432639596820 },6821 {6822 "abandoned_walks": 0,6823 "bits": 48,6824 "class_size": 2,6825 "cpu_s": 1.1969290840000002,6826 "d": "52688634050452",6827 "doubling_fallbacks": 0,6828 "dp_bytes": 946176,6829 "dp_count": 22893,6830 "engine": "rho_engine 0.1.0",6831 "expected_d": "52688634050452",6832 "expected_iterations": 10734787.431362247,6833 "fruitless_by_length": [6834 {6835 "count": 8,6836 "length": 26837 },6838 {6839 "count": 351,6840 "length": 46841 },6842 {6843 "count": 7,6844 "length": 66845 }6846 ],6847 "fruitless_cycles": 366,6848 "group_ops": 24092352,6849 "group_ops_per_cpu_s": 20128470.702279296,6850 "group_ops_per_wall_s": 530104183.79692423,6851 "iterations": 23338345,6852 "label": "g48b-14/t28",6853 "lookahead_rejections": 184666,6854 "match": true,6855 "ok": true,6856 "ops": {6857 "add": 24091781,6858 "dbl": 571,6859 "inv": 754959,6860 "mul": 1660245476861 },6862 "params": {6863 "alg": "rho",6864 "aut3": false,6865 "beta": null,6866 "cycle_check": 32,6867 "dp": 10,6868 "instance": {6869 "a": "132119629016393",6870 "b": "114230712385793",6871 "gx": "121807479157859",6872 "gy": "119372756927010",6873 "n": "146722600799129",6874 "p": "146722597289263",6875 "qx": "75044994010358",6876 "qy": "96650089790448"6877 },6878 "lambda": null,6879 "max_walk_len": 65536,6880 "mixed": 0,6881 "mode": "dp",6882 "neg": true,6883 "r": 128,6884 "seed": 34,6885 "threads": 28,6886 "walks": 1286887 },6888 "peak_rss_bytes": 11976704,6889 "process_cpu_s": 1.2026949999999985,6890 "restarts": 26478,6891 "seed": 34,6892 "table_entries": 22893,6893 "threads": 28,6894 "useless_collisions": 0,6895 "wall_s": 0.0454483346896 },6897 {6898 "abandoned_walks": 0,6899 "bits": 48,6900 "class_size": 2,6901 "cpu_s": 0.7581085830000001,6902 "d": "151933740789151",6903 "doubling_fallbacks": 0,6904 "dp_bytes": 946176,6905 "dp_count": 18223,6906 "engine": "rho_engine 0.1.0",6907 "expected_d": "151933740789151",6908 "expected_iterations": 14079747.323178487,6909 "fruitless_by_length": [6910 {6911 "count": 4,6912 "length": 26913 },6914 {6915 "count": 290,6916 "length": 46917 },6918 {6919 "count": 7,6920 "length": 66921 }6922 ],6923 "fruitless_cycles": 301,6924 "group_ops": 19285484,6925 "group_ops_per_cpu_s": 25438946.91665824,6926 "group_ops_per_wall_s": 25423234.32175733,6927 "iterations": 18739603,6928 "label": "g48b-15/t1",6929 "lookahead_rejections": 148203,6930 "match": true,6931 "ok": true,6932 "ops": {6933 "add": 19284976,6934 "dbl": 508,6935 "inv": 546761,6936 "mul": 1331280696937 },6938 "params": {6939 "alg": "rho",6940 "aut3": false,6941 "beta": null,6942 "cycle_check": 32,6943 "dp": 10,6944 "instance": {6945 "a": "56104117393529",6946 "b": "223877639661921",6947 "gx": "109204760147121",6948 "gy": "223406690502816",6949 "n": "252406096580383",6950 "p": "252406073881697",6951 "qx": "26199967639168",6952 "qy": "82553873901172"6953 },6954 "lambda": null,6955 "max_walk_len": 65536,6956 "mixed": 0,6957 "mode": "dp",6958 "neg": true,6959 "r": 128,6960 "seed": 34,6961 "threads": 1,6962 "walks": 1286963 },6964 "peak_rss_bytes": 11976704,6965 "process_cpu_s": 0.7585540000000037,6966 "restarts": 18352,6967 "seed": 34,6968 "table_entries": 18223,6969 "threads": 1,6970 "useless_collisions": 0,6971 "wall_s": 0.7585771256972 },6973 {6974 "abandoned_walks": 0,6975 "bits": 48,6976 "class_size": 2,6977 "cpu_s": 0.791231334,6978 "d": "151933740789151",6979 "doubling_fallbacks": 0,6980 "dp_bytes": 946176,6981 "dp_count": 19357,6982 "engine": "rho_engine 0.1.0",6983 "expected_d": "151933740789151",6984 "expected_iterations": 14079747.323178487,6985 "fruitless_by_length": [6986 {6987 "count": 8,6988 "length": 26989 },6990 {6991 "count": 308,6992 "length": 46993 },6994 {6995 "count": 3,6996 "length": 66997 }6998 ],6999 "fruitless_cycles": 319,7000 "group_ops": 20250462,7001 "group_ops_per_cpu_s": 25593604.714345146,7002 "group_ops_per_wall_s": 51112533.43459559,7003 "iterations": 19669856,7004 "label": "g48b-15/t2",7005 "lookahead_rejections": 155754,7006 "match": true,7007 "ok": true,7008 "ops": {7009 "add": 20249936,7010 "dbl": 526,7011 "inv": 581337,7012 "mul": 1397606777013 },7014 "params": {7015 "alg": "rho",7016 "aut3": false,7017 "beta": null,7018 "cycle_check": 32,7019 "dp": 10,7020 "instance": {7021 "a": "56104117393529",7022 "b": "223877639661921",7023 "gx": "109204760147121",7024 "gy": "223406690502816",7025 "n": "252406096580383",7026 "p": "252406073881697",7027 "qx": "26199967639168",7028 "qy": "82553873901172"7029 },7030 "lambda": null,7031 "max_walk_len": 65536,7032 "mixed": 0,7033 "mode": "dp",7034 "neg": true,7035 "r": 128,7036 "seed": 34,7037 "threads": 2,7038 "walks": 1287039 },7040 "peak_rss_bytes": 11976704,7041 "process_cpu_s": 0.7917909999999964,7042 "restarts": 19614,7043 "seed": 34,7044 "table_entries": 19357,7045 "threads": 2,7046 "useless_collisions": 0,7047 "wall_s": 0.3961936667048 },7049 {7050 "abandoned_walks": 0,7051 "bits": 48,7052 "class_size": 2,7053 "cpu_s": 0.7522399590000001,7054 "d": "151933740789151",7055 "doubling_fallbacks": 0,7056 "dp_bytes": 946176,7057 "dp_count": 17612,7058 "engine": "rho_engine 0.1.0",7059 "expected_d": "151933740789151",7060 "expected_iterations": 14079747.323178487,7061 "fruitless_by_length": [7062 {7063 "count": 5,7064 "length": 27065 },7066 {7067 "count": 284,7068 "length": 47069 },7070 {7071 "count": 3,7072 "length": 67073 }7074 ],7075 "fruitless_cycles": 292,7076 "group_ops": 18491515,7077 "group_ops_per_cpu_s": 24581936.62642162,7078 "group_ops_per_wall_s": 97960744.13170244,7079 "iterations": 17956528,7080 "label": "g48b-15/t4",7081 "lookahead_rejections": 142095,7082 "match": true,7083 "ok": true,7084 "ops": {7085 "add": 18491016,7086 "dbl": 499,7087 "inv": 535747,7088 "mul": 1276016597089 },7090 "params": {7091 "alg": "rho",7092 "aut3": false,7093 "beta": null,7094 "cycle_check": 32,7095 "dp": 10,7096 "instance": {7097 "a": "56104117393529",7098 "b": "223877639661921",7099 "gx": "109204760147121",7100 "gy": "223406690502816",7101 "n": "252406096580383",7102 "p": "252406073881697",7103 "qx": "26199967639168",7104 "qy": "82553873901172"7105 },7106 "lambda": null,7107 "max_walk_len": 65536,7108 "mixed": 0,7109 "mode": "dp",7110 "neg": true,7111 "r": 128,7112 "seed": 34,7113 "threads": 4,7114 "walks": 1287115 },7116 "peak_rss_bytes": 11976704,7117 "process_cpu_s": 0.7528259999999989,7118 "restarts": 18125,7119 "seed": 34,7120 "table_entries": 17612,7121 "threads": 4,7122 "useless_collisions": 0,7123 "wall_s": 0.1887645427124 },7125 {7126 "abandoned_walks": 0,7127 "bits": 48,7128 "class_size": 2,7129 "cpu_s": 0.596747541,7130 "d": "151933740789151",7131 "doubling_fallbacks": 0,7132 "dp_bytes": 946176,7133 "dp_count": 13552,7134 "engine": "rho_engine 0.1.0",7135 "expected_d": "151933740789151",7136 "expected_iterations": 14079747.323178487,7137 "fruitless_by_length": [7138 {7139 "count": 3,7140 "length": 27141 },7142 {7143 "count": 225,7144 "length": 47145 },7146 {7147 "count": 2,7148 "length": 67149 }7150 ],7151 "fruitless_cycles": 230,7152 "group_ops": 14128172,7153 "group_ops_per_cpu_s": 23675291.524996832,7154 "group_ops_per_wall_s": 187606751.66276875,7155 "iterations": 13703365,7156 "label": "g48b-15/t8",7157 "lookahead_rejections": 108224,7158 "match": true,7159 "ok": true,7160 "ops": {7161 "add": 14127735,7162 "dbl": 437,7163 "inv": 425634,7164 "mul": 974275547165 },7166 "params": {7167 "alg": "rho",7168 "aut3": false,7169 "beta": null,7170 "cycle_check": 32,7171 "dp": 10,7172 "instance": {7173 "a": "56104117393529",7174 "b": "223877639661921",7175 "gx": "109204760147121",7176 "gy": "223406690502816",7177 "n": "252406096580383",7178 "p": "252406073881697",7179 "qx": "26199967639168",7180 "qy": "82553873901172"7181 },7182 "lambda": null,7183 "max_walk_len": 65536,7184 "mixed": 0,7185 "mode": "dp",7186 "neg": true,7187 "r": 128,7188 "seed": 34,7189 "threads": 8,7190 "walks": 1287191 },7192 "peak_rss_bytes": 11976704,7193 "process_cpu_s": 0.597529999999999,7194 "restarts": 14577,7195 "seed": 34,7196 "table_entries": 13552,7197 "threads": 8,7198 "useless_collisions": 0,7199 "wall_s": 0.0753073757200 },7201 {7202 "abandoned_walks": 0,7203 "bits": 48,7204 "class_size": 2,7205 "cpu_s": 0.35743429300000007,7206 "d": "151933740789151",7207 "doubling_fallbacks": 0,7208 "dp_bytes": 946176,7209 "dp_count": 7776,7210 "engine": "rho_engine 0.1.0",7211 "expected_d": "151933740789151",7212 "expected_iterations": 14079747.323178487,7213 "fruitless_by_length": [7214 {7215 "count": 7,7216 "length": 27217 },7218 {7219 "count": 131,7220 "length": 47221 }7222 ],7223 "fruitless_cycles": 138,7224 "group_ops": 8163202,7225 "group_ops_per_cpu_s": 22838329.05758709,7226 "group_ops_per_wall_s": 355232654.65978384,7227 "iterations": 7886429,7228 "label": "g48b-15/t16",7229 "lookahead_rejections": 62297,7230 "match": true,7231 "ok": true,7232 "ops": {7233 "add": 8162857,7234 "dbl": 345,7235 "inv": 277264,7236 "mul": 561689667237 },7238 "params": {7239 "alg": "rho",7240 "aut3": false,7241 "beta": null,7242 "cycle_check": 32,7243 "dp": 10,7244 "instance": {7245 "a": "56104117393529",7246 "b": "223877639661921",7247 "gx": "109204760147121",7248 "gy": "223406690502816",7249 "n": "252406096580383",7250 "p": "252406073881697",7251 "qx": "26199967639168",7252 "qy": "82553873901172"7253 },7254 "lambda": null,7255 "max_walk_len": 65536,7256 "mixed": 0,7257 "mode": "dp",7258 "neg": true,7259 "r": 128,7260 "seed": 34,7261 "threads": 16,7262 "walks": 1287263 },7264 "peak_rss_bytes": 11976704,7265 "process_cpu_s": 0.35892100000000227,7266 "restarts": 9825,7267 "seed": 34,7268 "table_entries": 7776,7269 "threads": 16,7270 "useless_collisions": 0,7271 "wall_s": 0.0229798757272 },7273 {7274 "abandoned_walks": 0,7275 "bits": 48,7276 "class_size": 2,7277 "cpu_s": 0.756231583,7278 "d": "151933740789151",7279 "doubling_fallbacks": 0,7280 "dp_bytes": 946176,7281 "dp_count": 14142,7282 "engine": "rho_engine 0.1.0",7283 "expected_d": "151933740789151",7284 "expected_iterations": 14079747.323178487,7285 "fruitless_by_length": [7286 {7287 "count": 10,7288 "length": 27289 },7290 {7291 "count": 239,7292 "length": 47293 },7294 {7295 "count": 3,7296 "length": 67297 }7298 ],7299 "fruitless_cycles": 252,7300 "group_ops": 14899624,7301 "group_ops_per_cpu_s": 19702461.96395635,7302 "group_ops_per_wall_s": 526125193.9076272,7303 "iterations": 14401581,7304 "label": "g48b-15/t28",7305 "lookahead_rejections": 113743,7306 "match": true,7307 "ok": true,7308 "ops": {7309 "add": 14899165,7310 "dbl": 459,7311 "inv": 498967,7312 "mul": 1025487687313 },7314 "params": {7315 "alg": "rho",7316 "aut3": false,7317 "beta": null,7318 "cycle_check": 32,7319 "dp": 10,7320 "instance": {7321 "a": "56104117393529",7322 "b": "223877639661921",7323 "gx": "109204760147121",7324 "gy": "223406690502816",7325 "n": "252406096580383",7326 "p": "252406073881697",7327 "qx": "26199967639168",7328 "qy": "82553873901172"7329 },7330 "lambda": null,7331 "max_walk_len": 65536,7332 "mixed": 0,7333 "mode": "dp",7334 "neg": true,7335 "r": 128,7336 "seed": 34,7337 "threads": 28,7338 "walks": 1287339 },7340 "peak_rss_bytes": 11976704,7341 "process_cpu_s": 0.7602570000000028,7342 "restarts": 17727,7343 "seed": 34,7344 "table_entries": 14142,7345 "threads": 28,7346 "useless_collisions": 0,7347 "wall_s": 0.0283195417348 },7349 {7350 "abandoned_walks": 0,7351 "bits": 48,7352 "class_size": 2,7353 "cpu_s": 0.9515372920000001,7354 "d": "248183019793816",7355 "doubling_fallbacks": 0,7356 "dp_bytes": 1892352,7357 "dp_count": 23560,7358 "engine": "rho_engine 0.1.0",7359 "expected_d": "248183019793816",7360 "expected_iterations": 14519254.967423491,7361 "fruitless_by_length": [7362 {7363 "count": 7,7364 "length": 27365 },7366 {7367 "count": 365,7368 "length": 47369 },7370 {7371 "count": 4,7372 "length": 67373 }7374 ],7375 "fruitless_cycles": 376,7376 "group_ops": 24932834,7377 "group_ops_per_cpu_s": 26202687.17749845,7378 "group_ops_per_wall_s": 26190650.932536505,7379 "iterations": 24229517,7380 "label": "g48b-16/t1",7381 "lookahead_rejections": 190937,7382 "match": true,7383 "ok": true,7384 "ops": {7385 "add": 24932251,7386 "dbl": 583,7387 "inv": 705044,7388 "mul": 1721188877389 },7390 "params": {7391 "alg": "rho",7392 "aut3": false,7393 "beta": null,7394 "cycle_check": 32,7395 "dp": 10,7396 "instance": {7397 "a": "21668544333435",7398 "b": "73683169907369",7399 "gx": "124017009840903",7400 "gy": "219481321506556",7401 "n": "268410055731659",7402 "p": "268410044051519",7403 "qx": "45479131457197",7404 "qy": "79970058056073"7405 },7406 "lambda": null,7407 "max_walk_len": 65536,7408 "mixed": 0,7409 "mode": "dp",7410 "neg": true,7411 "r": 128,7412 "seed": 34,7413 "threads": 1,7414 "walks": 1287415 },7416 "peak_rss_bytes": 11976704,7417 "process_cpu_s": 0.9519680000000008,7418 "restarts": 23690,7419 "seed": 34,7420 "table_entries": 23560,7421 "threads": 1,7422 "useless_collisions": 0,7423 "wall_s": 0.9519745837424 },7425 {7426 "abandoned_walks": 0,7427 "bits": 48,7428 "class_size": 2,7429 "cpu_s": 0.5863562920000001,7430 "d": "248183019793816",7431 "doubling_fallbacks": 0,7432 "dp_bytes": 1892352,7433 "dp_count": 14187,7434 "engine": "rho_engine 0.1.0",7435 "expected_d": "248183019793816",7436 "expected_iterations": 14519254.967423491,7437 "fruitless_by_length": [7438 {7439 "count": 5,7440 "length": 27441 },7442 {7443 "count": 259,7444 "length": 47445 },7446 {7447 "count": 1,7448 "length": 67449 }7450 ],7451 "fruitless_cycles": 265,7452 "group_ops": 15061494,7453 "group_ops_per_cpu_s": 25686590.568725403,7454 "group_ops_per_wall_s": 51282067.34594002,7455 "iterations": 14631898,7456 "label": "g48b-16/t2",7457 "lookahead_rejections": 115805,7458 "match": true,7459 "ok": true,7460 "ops": {7461 "add": 15061022,7462 "dbl": 472,7463 "inv": 430332,7464 "mul": 1039568637465 },7466 "params": {7467 "alg": "rho",7468 "aut3": false,7469 "beta": null,7470 "cycle_check": 32,7471 "dp": 10,7472 "instance": {7473 "a": "21668544333435",7474 "b": "73683169907369",7475 "gx": "124017009840903",7476 "gy": "219481321506556",7477 "n": "268410055731659",7478 "p": "268410044051519",7479 "qx": "45479131457197",7480 "qy": "79970058056073"7481 },7482 "lambda": null,7483 "max_walk_len": 65536,7484 "mixed": 0,7485 "mode": "dp",7486 "neg": true,7487 "r": 128,7488 "seed": 34,7489 "threads": 2,7490 "walks": 1287491 },7492 "peak_rss_bytes": 11976704,7493 "process_cpu_s": 0.586864999999996,7494 "restarts": 14444,7495 "seed": 34,7496 "table_entries": 14187,7497 "threads": 2,7498 "useless_collisions": 0,7499 "wall_s": 0.2936990417500 },7501 {7502 "abandoned_walks": 0,7503 "bits": 48,7504 "class_size": 2,7505 "cpu_s": 1.2210618750000002,7506 "d": "248183019793816",7507 "doubling_fallbacks": 0,7508 "dp_bytes": 1892352,7509 "dp_count": 28338,7510 "engine": "rho_engine 0.1.0",7511 "expected_d": "248183019793816",7512 "expected_iterations": 14519254.967423491,7513 "fruitless_by_length": [7514 {7515 "count": 10,7516 "length": 27517 },7518 {7519 "count": 490,7520 "length": 47521 },7522 {7523 "count": 3,7524 "length": 67525 }7526 ],7527 "fruitless_cycles": 503,7528 "group_ops": 30032300,7529 "group_ops_per_cpu_s": 24595231.916482527,7530 "group_ops_per_wall_s": 98071591.56628397,7531 "iterations": 29178308,7532 "label": "g48b-16/t4",7533 "lookahead_rejections": 230826,7534 "match": true,7535 "ok": true,7536 "ops": {7537 "add": 30031590,7538 "dbl": 710,7539 "inv": 855447,7540 "mul": 2072979327541 },7542 "params": {7543 "alg": "rho",7544 "aut3": false,7545 "beta": null,7546 "cycle_check": 32,7547 "dp": 10,7548 "instance": {7549 "a": "21668544333435",7550 "b": "73683169907369",7551 "gx": "124017009840903",7552 "gy": "219481321506556",7553 "n": "268410055731659",7554 "p": "268410044051519",7555 "qx": "45479131457197",7556 "qy": "79970058056073"7557 },7558 "lambda": null,7559 "max_walk_len": 65536,7560 "mixed": 0,7561 "mode": "dp",7562 "neg": true,7563 "r": 128,7564 "seed": 34,7565 "threads": 4,7566 "walks": 1287567 },7568 "peak_rss_bytes": 11976704,7569 "process_cpu_s": 1.2216420000000028,7570 "restarts": 28851,7571 "seed": 34,7572 "table_entries": 28338,7573 "threads": 4,7574 "useless_collisions": 0,7575 "wall_s": 0.3062283337576 },7577 {7578 "abandoned_walks": 0,7579 "bits": 48,7580 "class_size": 2,7581 "cpu_s": 0.857777541,7582 "d": "248183019793816",7583 "doubling_fallbacks": 0,7584 "dp_bytes": 1892352,7585 "dp_count": 19118,7586 "engine": "rho_engine 0.1.0",7587 "expected_d": "248183019793816",7588 "expected_iterations": 14519254.967423491,7589 "fruitless_by_length": [7590 {7591 "count": 8,7592 "length": 27593 },7594 {7595 "count": 344,7596 "length": 47597 },7598 {7599 "count": 6,7600 "length": 67601 }7602 ],7603 "fruitless_cycles": 358,7604 "group_ops": 20438722,7605 "group_ops_per_cpu_s": 23827532.224931497,7606 "group_ops_per_wall_s": 188975991.66012704,7607 "iterations": 19845140,7608 "label": "g48b-16/t8",7609 "lookahead_rejections": 157054,7610 "match": true,7611 "ok": true,7612 "ops": {7613 "add": 20438157,7614 "dbl": 565,7615 "inv": 594591,7616 "mul": 1410291677617 },7618 "params": {7619 "alg": "rho",7620 "aut3": false,7621 "beta": null,7622 "cycle_check": 32,7623 "dp": 10,7624 "instance": {7625 "a": "21668544333435",7626 "b": "73683169907369",7627 "gx": "124017009840903",7628 "gy": "219481321506556",7629 "n": "268410055731659",7630 "p": "268410044051519",7631 "qx": "45479131457197",7632 "qy": "79970058056073"7633 },7634 "lambda": null,7635 "max_walk_len": 65536,7636 "mixed": 0,7637 "mode": "dp",7638 "neg": true,7639 "r": 128,7640 "seed": 34,7641 "threads": 8,7642 "walks": 1287643 },7644 "peak_rss_bytes": 11976704,7645 "process_cpu_s": 0.8586320000000072,7646 "restarts": 20144,7647 "seed": 34,7648 "table_entries": 19118,7649 "threads": 8,7650 "useless_collisions": 0,7651 "wall_s": 0.1081551257652 },7653 {7654 "abandoned_walks": 0,7655 "bits": 48,7656 "class_size": 2,7657 "cpu_s": 0.309790583,7658 "d": "248183019793816",7659 "doubling_fallbacks": 0,7660 "dp_bytes": 1892352,7661 "dp_count": 6718,7662 "engine": "rho_engine 0.1.0",7663 "expected_d": "248183019793816",7664 "expected_iterations": 14519254.967423491,7665 "fruitless_by_length": [7666 {7667 "count": 3,7668 "length": 27669 },7670 {7671 "count": 105,7672 "length": 47673 },7674 {7675 "count": 3,7676 "length": 67677 }7678 ],7679 "fruitless_cycles": 111,7680 "group_ops": 7219695,7681 "group_ops_per_cpu_s": 23305082.194832243,7682 "group_ops_per_wall_s": 360712718.5033407,7683 "iterations": 6972648,7684 "label": "g48b-16/t16",7685 "lookahead_rejections": 55120,7686 "match": true,7687 "ok": true,7688 "ops": {7689 "add": 7219377,7690 "dbl": 318,7691 "inv": 247395,7692 "mul": 496681957693 },7694 "params": {7695 "alg": "rho",7696 "aut3": false,7697 "beta": null,7698 "cycle_check": 32,7699 "dp": 10,7700 "instance": {7701 "a": "21668544333435",7702 "b": "73683169907369",7703 "gx": "124017009840903",7704 "gy": "219481321506556",7705 "n": "268410055731659",7706 "p": "268410044051519",7707 "qx": "45479131457197",7708 "qy": "79970058056073"7709 },7710 "lambda": null,7711 "max_walk_len": 65536,7712 "mixed": 0,7713 "mode": "dp",7714 "neg": true,7715 "r": 128,7716 "seed": 34,7717 "threads": 16,7718 "walks": 1287719 },7720 "peak_rss_bytes": 11976704,7721 "process_cpu_s": 0.3117170000000016,7722 "restarts": 8767,7723 "seed": 34,7724 "table_entries": 6718,7725 "threads": 16,7726 "useless_collisions": 0,7727 "wall_s": 0.0200150837728 },7729 {7730 "abandoned_walks": 0,7731 "bits": 48,7732 "class_size": 2,7733 "cpu_s": 0.6718202510000002,7734 "d": "248183019793816",7735 "doubling_fallbacks": 0,7736 "dp_bytes": 1892352,7737 "dp_count": 12660,7738 "engine": "rho_engine 0.1.0",7739 "expected_d": "248183019793816",7740 "expected_iterations": 14519254.967423491,7741 "fruitless_by_length": [7742 {7743 "count": 5,7744 "length": 27745 },7746 {7747 "count": 205,7748 "length": 47749 },7750 {7751 "count": 4,7752 "length": 67753 }7754 ],7755 "fruitless_cycles": 214,7756 "group_ops": 13395002,7757 "group_ops_per_cpu_s": 19938371.878581546,7758 "group_ops_per_wall_s": 531977819.367842,7759 "iterations": 12940290,7760 "label": "g48b-16/t28",7761 "lookahead_rejections": 101947,7762 "match": true,7763 "ok": true,7764 "ops": {7765 "add": 13394581,7766 "dbl": 421,7767 "inv": 455734,7768 "mul": 921644687769 },7770 "params": {7771 "alg": "rho",7772 "aut3": false,7773 "beta": null,7774 "cycle_check": 32,7775 "dp": 10,7776 "instance": {7777 "a": "21668544333435",7778 "b": "73683169907369",7779 "gx": "124017009840903",7780 "gy": "219481321506556",7781 "n": "268410055731659",7782 "p": "268410044051519",7783 "qx": "45479131457197",7784 "qy": "79970058056073"7785 },7786 "lambda": null,7787 "max_walk_len": 65536,7788 "mixed": 0,7789 "mode": "dp",7790 "neg": true,7791 "r": 128,7792 "seed": 34,7793 "threads": 28,7794 "walks": 1287795 },7796 "peak_rss_bytes": 11993088,7797 "process_cpu_s": 0.6761240000000015,7798 "restarts": 16245,7799 "seed": 34,7800 "table_entries": 12660,7801 "threads": 28,7802 "useless_collisions": 0,7803 "wall_s": 0.0251796257804 },7805 {7806 "abandoned_walks": 0,7807 "bits": 48,7808 "class_size": 2,7809 "cpu_s": 0.31994350000000005,7810 "d": "11408247732620",7811 "doubling_fallbacks": 0,7812 "dp_bytes": 1892352,7813 "dp_count": 7681,7814 "engine": "rho_engine 0.1.0",7815 "expected_d": "11408247732620",7816 "expected_iterations": 14464553.806469325,7817 "fruitless_by_length": [7818 {7819 "count": 114,7820 "length": 47821 },7822 {7823 "count": 3,7824 "length": 67825 }7826 ],7827 "fruitless_cycles": 117,7828 "group_ops": 8278861,7829 "group_ops_per_cpu_s": 25876009.35790225,7830 "group_ops_per_wall_s": 25840737.871545617,7831 "iterations": 8043910,7832 "label": "g48b-17/t1",7833 "lookahead_rejections": 63821,7834 "match": true,7835 "ok": true,7836 "ops": {7837 "add": 8278541,7838 "dbl": 320,7839 "inv": 235062,7840 "mul": 571476567841 },7842 "params": {7843 "alg": "rho",7844 "aut3": false,7845 "beta": null,7846 "cycle_check": 32,7847 "dp": 10,7848 "instance": {7849 "a": "249963558656828",7850 "b": "30849541913349",7851 "gx": "100475090845214",7852 "gy": "119289858602940",7853 "n": "266391400656191",7854 "p": "266391424416323",7855 "qx": "202470047725198",7856 "qy": "191437629313769"7857 },7858 "lambda": null,7859 "max_walk_len": 65536,7860 "mixed": 0,7861 "mode": "dp",7862 "neg": true,7863 "r": 128,7864 "seed": 34,7865 "threads": 1,7866 "walks": 1287867 },7868 "peak_rss_bytes": 11993088,7869 "process_cpu_s": 0.32079399999999936,7870 "restarts": 7810,7871 "seed": 34,7872 "table_entries": 7681,7873 "threads": 1,7874 "useless_collisions": 0,7875 "wall_s": 0.3203802097876 },7877 {7878 "abandoned_walks": 0,7879 "bits": 48,7880 "class_size": 2,7881 "cpu_s": 0.649995709,7882 "d": "11408247732620",7883 "doubling_fallbacks": 0,7884 "dp_bytes": 1892352,7885 "dp_count": 15553,7886 "engine": "rho_engine 0.1.0",7887 "expected_d": "11408247732620",7888 "expected_iterations": 14464553.806469325,7889 "fruitless_by_length": [7890 {7891 "count": 1,7892 "length": 27893 },7894 {7895 "count": 244,7896 "length": 47897 },7898 {7899 "count": 6,7900 "length": 67901 }7902 ],7903 "fruitless_cycles": 251,7904 "group_ops": 16495975,7905 "group_ops_per_cpu_s": 25378590.614665117,7906 "group_ops_per_wall_s": 50667340.348376885,7907 "iterations": 16025712,7908 "label": "g48b-17/t2",7909 "lookahead_rejections": 127245,7910 "match": true,7911 "ok": true,7912 "ops": {7913 "add": 16495521,7914 "dbl": 454,7915 "inv": 470480,7916 "mul": 1138608427917 },7918 "params": {7919 "alg": "rho",7920 "aut3": false,7921 "beta": null,7922 "cycle_check": 32,7923 "dp": 10,7924 "instance": {7925 "a": "249963558656828",7926 "b": "30849541913349",7927 "gx": "100475090845214",7928 "gy": "119289858602940",7929 "n": "266391400656191",7930 "p": "266391424416323",7931 "qx": "202470047725198",7932 "qy": "191437629313769"7933 },7934 "lambda": null,7935 "max_walk_len": 65536,7936 "mixed": 0,7937 "mode": "dp",7938 "neg": true,7939 "r": 128,7940 "seed": 34,7941 "threads": 2,7942 "walks": 1287943 },7944 "peak_rss_bytes": 11993088,7945 "process_cpu_s": 0.6505599999999987,7946 "restarts": 15810,7947 "seed": 34,7948 "table_entries": 15553,7949 "threads": 2,7950 "useless_collisions": 0,7951 "wall_s": 0.3255741257952 },7953 {7954 "abandoned_walks": 0,7955 "bits": 48,7956 "class_size": 2,7957 "cpu_s": 0.34898324900000005,7958 "d": "11408247732620",7959 "doubling_fallbacks": 0,7960 "dp_bytes": 1892352,7961 "dp_count": 8152,7962 "engine": "rho_engine 0.1.0",7963 "expected_d": "11408247732620",7964 "expected_iterations": 14464553.806469325,7965 "fruitless_by_length": [7966 {7967 "count": 1,7968 "length": 27969 },7970 {7971 "count": 107,7972 "length": 47973 },7974 {7975 "count": 3,7976 "length": 67977 }7978 ],7979 "fruitless_cycles": 111,7980 "group_ops": 8567918,7981 "group_ops_per_cpu_s": 24551086.69126981,7982 "group_ops_per_wall_s": 97534404.99869065,7983 "iterations": 8312483,7984 "label": "g48b-17/t4",7985 "lookahead_rejections": 65938,7986 "match": true,7987 "ok": true,7988 "ops": {7989 "add": 8567604,7990 "dbl": 314,7991 "inv": 255514,7992 "mul": 590942727993 },7994 "params": {7995 "alg": "rho",7996 "aut3": false,7997 "beta": null,7998 "cycle_check": 32,7999 "dp": 10,8000 "instance": {8001 "a": "249963558656828",8002 "b": "30849541913349",8003 "gx": "100475090845214",8004 "gy": "119289858602940",8005 "n": "266391400656191",8006 "p": "266391424416323",8007 "qx": "202470047725198",8008 "qy": "191437629313769"8009 },8010 "lambda": null,8011 "max_walk_len": 65536,8012 "mixed": 0,8013 "mode": "dp",8014 "neg": true,8015 "r": 128,8016 "seed": 34,8017 "threads": 4,8018 "walks": 1288019 },8020 "peak_rss_bytes": 11993088,8021 "process_cpu_s": 0.34959200000000124,8022 "restarts": 8665,8023 "seed": 34,8024 "table_entries": 8152,8025 "threads": 4,8026 "useless_collisions": 0,8027 "wall_s": 0.0878450848028 },8029 {8030 "abandoned_walks": 0,8031 "bits": 48,8032 "class_size": 2,8033 "cpu_s": 0.528109998,8034 "d": "11408247732620",8035 "doubling_fallbacks": 0,8036 "dp_bytes": 1892352,8037 "dp_count": 12042,8038 "engine": "rho_engine 0.1.0",8039 "expected_d": "11408247732620",8040 "expected_iterations": 14464553.806469325,8041 "fruitless_by_length": [8042 {8043 "count": 5,8044 "length": 28045 },8046 {8047 "count": 182,8048 "length": 48049 },8050 {8051 "count": 3,8052 "length": 68053 }8054 ],8055 "fruitless_cycles": 190,8056 "group_ops": 12528845,8057 "group_ops_per_cpu_s": 23723930.71035932,8058 "group_ops_per_wall_s": 187804967.62201706,8059 "iterations": 12148540,8060 "label": "g48b-17/t8",8061 "lookahead_rejections": 96135,8062 "match": true,8063 "ok": true,8064 "ops": {8065 "add": 12528452,8066 "dbl": 393,8067 "inv": 380787,8068 "mul": 863852718069 },8070 "params": {8071 "alg": "rho",8072 "aut3": false,8073 "beta": null,8074 "cycle_check": 32,8075 "dp": 10,8076 "instance": {8077 "a": "249963558656828",8078 "b": "30849541913349",8079 "gx": "100475090845214",8080 "gy": "119289858602940",8081 "n": "266391400656191",8082 "p": "266391424416323",8083 "qx": "202470047725198",8084 "qy": "191437629313769"8085 },8086 "lambda": null,8087 "max_walk_len": 65536,8088 "mixed": 0,8089 "mode": "dp",8090 "neg": true,8091 "r": 128,8092 "seed": 34,8093 "threads": 8,8094 "walks": 1288095 },8096 "peak_rss_bytes": 11993088,8097 "process_cpu_s": 0.5288929999999965,8098 "restarts": 13067,8099 "seed": 34,8100 "table_entries": 12042,8101 "threads": 8,8102 "useless_collisions": 0,8103 "wall_s": 0.0667128104 },8105 {8106 "abandoned_walks": 0,8107 "bits": 48,8108 "class_size": 2,8109 "cpu_s": 0.745283752,8110 "d": "11408247732620",8111 "doubling_fallbacks": 0,8112 "dp_bytes": 1892352,8113 "dp_count": 16427,8114 "engine": "rho_engine 0.1.0",8115 "expected_d": "11408247732620",8116 "expected_iterations": 14464553.806469325,8117 "fruitless_by_length": [8118 {8119 "count": 7,8120 "length": 28121 },8122 {8123 "count": 276,8124 "length": 48125 },8126 {8127 "count": 4,8128 "length": 68129 }8130 ],8131 "fruitless_cycles": 287,8132 "group_ops": 17199000,8133 "group_ops_per_cpu_s": 23077116.539634425,8134 "group_ops_per_wall_s": 363421218.0601265,8135 "iterations": 16666707,8136 "label": "g48b-17/t16",8137 "lookahead_rejections": 131928,8138 "match": true,8139 "ok": true,8140 "ops": {8141 "add": 17198510,8142 "dbl": 490,8143 "inv": 533044,8144 "mul": 1185448618145 },8146 "params": {8147 "alg": "rho",8148 "aut3": false,8149 "beta": null,8150 "cycle_check": 32,8151 "dp": 10,8152 "instance": {8153 "a": "249963558656828",8154 "b": "30849541913349",8155 "gx": "100475090845214",8156 "gy": "119289858602940",8157 "n": "266391400656191",8158 "p": "266391424416323",8159 "qx": "202470047725198",8160 "qy": "191437629313769"8161 },8162 "lambda": null,8163 "max_walk_len": 65536,8164 "mixed": 0,8165 "mode": "dp",8166 "neg": true,8167 "r": 128,8168 "seed": 34,8169 "threads": 16,8170 "walks": 1288171 },8172 "peak_rss_bytes": 11993088,8173 "process_cpu_s": 0.746949000000015,8174 "restarts": 18476,8175 "seed": 34,8176 "table_entries": 16427,8177 "threads": 16,8178 "useless_collisions": 0,8179 "wall_s": 0.047325258180 },8181 {8182 "abandoned_walks": 0,8183 "bits": 48,8184 "class_size": 2,8185 "cpu_s": 1.126930583,8186 "d": "11408247732620",8187 "doubling_fallbacks": 0,8188 "dp_bytes": 1892352,8189 "dp_count": 21274,8190 "engine": "rho_engine 0.1.0",8191 "expected_d": "11408247732620",8192 "expected_iterations": 14464553.806469325,8193 "fruitless_by_length": [8194 {8195 "count": 7,8196 "length": 28197 },8198 {8199 "count": 347,8200 "length": 48201 },8202 {8203 "count": 4,8204 "length": 68205 },8206 {8207 "count": 1,8208 "length": 88209 }8210 ],8211 "fruitless_cycles": 359,8212 "group_ops": 22444901,8213 "group_ops_per_cpu_s": 19916844.336808633,8214 "group_ops_per_wall_s": 535968299.95597607,8215 "iterations": 21735302,8216 "label": "g48b-17/t28",8217 "lookahead_rejections": 172305,8218 "match": true,8219 "ok": true,8220 "ops": {8221 "add": 22444339,8222 "dbl": 562,8223 "inv": 710248,8224 "mul": 1546442858225 },8226 "params": {8227 "alg": "rho",8228 "aut3": false,8229 "beta": null,8230 "cycle_check": 32,8231 "dp": 10,8232 "instance": {8233 "a": "249963558656828",8234 "b": "30849541913349",8235 "gx": "100475090845214",8236 "gy": "119289858602940",8237 "n": "266391400656191",8238 "p": "266391424416323",8239 "qx": "202470047725198",8240 "qy": "191437629313769"8241 },8242 "lambda": null,8243 "max_walk_len": 65536,8244 "mixed": 0,8245 "mode": "dp",8246 "neg": true,8247 "r": 128,8248 "seed": 34,8249 "threads": 28,8250 "walks": 1288251 },8252 "peak_rss_bytes": 11993088,8253 "process_cpu_s": 1.1312420000000003,8254 "restarts": 24859,8255 "seed": 34,8256 "table_entries": 21274,8257 "threads": 28,8258 "useless_collisions": 0,8259 "wall_s": 0.0418772928260 },8261 {8262 "abandoned_walks": 0,8263 "bits": 48,8264 "class_size": 2,8265 "cpu_s": 0.49782991600000004,8266 "d": "36264377692748",8267 "doubling_fallbacks": 0,8268 "dp_bytes": 946176,8269 "dp_count": 12239,8270 "engine": "rho_engine 0.1.0",8271 "expected_d": "36264377692748",8272 "expected_iterations": 10560434.095820269,8273 "fruitless_by_length": [8274 {8275 "count": 4,8276 "length": 28277 },8278 {8279 "count": 213,8280 "length": 48281 },8282 {8283 "count": 4,8284 "length": 68285 }8286 ],8287 "fruitless_cycles": 221,8288 "group_ops": 12952692,8289 "group_ops_per_cpu_s": 26018307.827045087,8290 "group_ops_per_wall_s": 25995619.10920081,8291 "iterations": 12584783,8292 "label": "g48b-18/t1",8293 "lookahead_rejections": 99989,8294 "match": true,8295 "ok": true,8296 "ops": {8297 "add": 12952266,8298 "dbl": 426,8299 "inv": 368135,8300 "mul": 894093078301 },8302 "params": {8303 "alg": "rho",8304 "aut3": false,8305 "beta": null,8306 "cycle_check": 32,8307 "dp": 10,8308 "instance": {8309 "a": "47780525461975",8310 "b": "107622871784497",8311 "gx": "133671458610479",8312 "gy": "106890150800030",8313 "n": "141995198727919",8314 "p": "141995211403847",8315 "qx": "63150932616693",8316 "qy": "24535713422701"8317 },8318 "lambda": null,8319 "max_walk_len": 65536,8320 "mixed": 0,8321 "mode": "dp",8322 "neg": true,8323 "r": 128,8324 "seed": 34,8325 "threads": 1,8326 "walks": 1288327 },8328 "peak_rss_bytes": 11993088,8329 "process_cpu_s": 0.4982830000000007,8330 "restarts": 12368,8331 "seed": 34,8332 "table_entries": 12239,8333 "threads": 1,8334 "useless_collisions": 0,8335 "wall_s": 0.4982644178336 },8337 {8338 "abandoned_walks": 0,8339 "bits": 48,8340 "class_size": 2,8341 "cpu_s": 0.445825625,8342 "d": "36264377692748",8343 "doubling_fallbacks": 0,8344 "dp_bytes": 946176,8345 "dp_count": 10526,8346 "engine": "rho_engine 0.1.0",8347 "expected_d": "36264377692748",8348 "expected_iterations": 10560434.095820269,8349 "fruitless_by_length": [8350 {8351 "count": 1,8352 "length": 28353 },8354 {8355 "count": 178,8356 "length": 48357 },8358 {8359 "count": 3,8360 "length": 68361 }8362 ],8363 "fruitless_cycles": 182,8364 "group_ops": 11130038,8365 "group_ops_per_cpu_s": 24965002.852853063,8366 "group_ops_per_wall_s": 49819530.151511505,8367 "iterations": 10810236,8368 "label": "g48b-18/t2",8369 "lookahead_rejections": 85918,8370 "match": true,8371 "ok": true,8372 "ops": {8373 "add": 11129651,8374 "dbl": 387,8375 "inv": 319925,8376 "mul": 768136368377 },8378 "params": {8379 "alg": "rho",8380 "aut3": false,8381 "beta": null,8382 "cycle_check": 32,8383 "dp": 10,8384 "instance": {8385 "a": "47780525461975",8386 "b": "107622871784497",8387 "gx": "133671458610479",8388 "gy": "106890150800030",8389 "n": "141995198727919",8390 "p": "141995211403847",8391 "qx": "63150932616693",8392 "qy": "24535713422701"8393 },8394 "lambda": null,8395 "max_walk_len": 65536,8396 "mixed": 0,8397 "mode": "dp",8398 "neg": true,8399 "r": 128,8400 "seed": 34,8401 "threads": 2,8402 "walks": 1288403 },8404 "peak_rss_bytes": 11993088,8405 "process_cpu_s": 0.44634700000000294,8406 "restarts": 10783,8407 "seed": 34,8408 "table_entries": 10526,8409 "threads": 2,8410 "useless_collisions": 0,8411 "wall_s": 0.2234071258412 },8413 {8414 "abandoned_walks": 0,8415 "bits": 48,8416 "class_size": 2,8417 "cpu_s": 0.579811584,8418 "d": "36264377692748",8419 "doubling_fallbacks": 0,8420 "dp_bytes": 946176,8421 "dp_count": 13664,8422 "engine": "rho_engine 0.1.0",8423 "expected_d": "36264377692748",8424 "expected_iterations": 10560434.095820269,8425 "fruitless_by_length": [8426 {8427 "count": 5,8428 "length": 28429 },8430 {8431 "count": 234,8432 "length": 48433 },8434 {8435 "count": 6,8436 "length": 68437 }8438 ],8439 "fruitless_cycles": 245,8440 "group_ops": 14228276,8441 "group_ops_per_cpu_s": 24539482.122523446,8442 "group_ops_per_wall_s": 97706576.93694313,8443 "iterations": 13812257,8444 "label": "g48b-18/t4",8445 "lookahead_rejections": 109628,8446 "match": true,8447 "ok": true,8448 "ops": {8449 "add": 14227826,8450 "dbl": 450,8451 "inv": 416391,8452 "mul": 981667508453 },8454 "params": {8455 "alg": "rho",8456 "aut3": false,8457 "beta": null,8458 "cycle_check": 32,8459 "dp": 10,8460 "instance": {8461 "a": "47780525461975",8462 "b": "107622871784497",8463 "gx": "133671458610479",8464 "gy": "106890150800030",8465 "n": "141995198727919",8466 "p": "141995211403847",8467 "qx": "63150932616693",8468 "qy": "24535713422701"8469 },8470 "lambda": null,8471 "max_walk_len": 65536,8472 "mixed": 0,8473 "mode": "dp",8474 "neg": true,8475 "r": 128,8476 "seed": 34,8477 "threads": 4,8478 "walks": 1288479 },8480 "peak_rss_bytes": 11993088,8481 "process_cpu_s": 0.5803709999999995,8482 "restarts": 14177,8483 "seed": 34,8484 "table_entries": 13664,8485 "threads": 4,8486 "useless_collisions": 0,8487 "wall_s": 0.14562258488 },8489 {8490 "abandoned_walks": 0,8491 "bits": 48,8492 "class_size": 2,8493 "cpu_s": 0.5184838750000001,8494 "d": "36264377692748",8495 "doubling_fallbacks": 0,8496 "dp_bytes": 946176,8497 "dp_count": 11768,8498 "engine": "rho_engine 0.1.0",8499 "expected_d": "36264377692748",8500 "expected_iterations": 10560434.095820269,8501 "fruitless_by_length": [8502 {8503 "count": 5,8504 "length": 28505 },8506 {8507 "count": 202,8508 "length": 48509 },8510 {8511 "count": 4,8512 "length": 68513 }8514 ],8515 "fruitless_cycles": 211,8516 "group_ops": 12329648,8517 "group_ops_per_cpu_s": 23780195.67146615,8518 "group_ops_per_wall_s": 188391820.27341187,8519 "iterations": 11958302,8520 "label": "g48b-18/t8",8521 "lookahead_rejections": 94865,8522 "match": true,8523 "ok": true,8524 "ops": {8525 "add": 12329232,8526 "dbl": 416,8527 "inv": 371709,8528 "mul": 850241548529 },8530 "params": {8531 "alg": "rho",8532 "aut3": false,8533 "beta": null,8534 "cycle_check": 32,8535 "dp": 10,8536 "instance": {8537 "a": "47780525461975",8538 "b": "107622871784497",8539 "gx": "133671458610479",8540 "gy": "106890150800030",8541 "n": "141995198727919",8542 "p": "141995211403847",8543 "qx": "63150932616693",8544 "qy": "24535713422701"8545 },8546 "lambda": null,8547 "max_walk_len": 65536,8548 "mixed": 0,8549 "mode": "dp",8550 "neg": true,8551 "r": 128,8552 "seed": 34,8553 "threads": 8,8554 "walks": 1288555 },8556 "peak_rss_bytes": 11993088,8557 "process_cpu_s": 0.5193119999999993,8558 "restarts": 12793,8559 "seed": 34,8560 "table_entries": 11768,8561 "threads": 8,8562 "useless_collisions": 0,8563 "wall_s": 0.0654468338564 },8565 {8566 "abandoned_walks": 0,8567 "bits": 48,8568 "class_size": 2,8569 "cpu_s": 0.24226250099999996,8570 "d": "36264377692748",8571 "doubling_fallbacks": 0,8572 "dp_bytes": 946176,8573 "dp_count": 5269,8574 "engine": "rho_engine 0.1.0",8575 "expected_d": "36264377692748",8576 "expected_iterations": 10560434.095820269,8577 "fruitless_by_length": [8578 {8579 "count": 3,8580 "length": 28581 },8582 {8583 "count": 79,8584 "length": 48585 },8586 {8587 "count": 2,8588 "length": 68589 }8590 ],8591 "fruitless_cycles": 84,8592 "group_ops": 5634811,8593 "group_ops_per_cpu_s": 23259113.46882364,8594 "group_ops_per_wall_s": 358683369.5444881,8595 "iterations": 5432287,8596 "label": "g48b-18/t16",8597 "lookahead_rejections": 42828,8598 "match": true,8599 "ok": true,8600 "ops": {8601 "add": 5634522,8602 "dbl": 289,8603 "inv": 202894,8604 "mul": 387260208605 },8606 "params": {8607 "alg": "rho",8608 "aut3": false,8609 "beta": null,8610 "cycle_check": 32,8611 "dp": 10,8612 "instance": {8613 "a": "47780525461975",8614 "b": "107622871784497",8615 "gx": "133671458610479",8616 "gy": "106890150800030",8617 "n": "141995198727919",8618 "p": "141995211403847",8619 "qx": "63150932616693",8620 "qy": "24535713422701"8621 },8622 "lambda": null,8623 "max_walk_len": 65536,8624 "mixed": 0,8625 "mode": "dp",8626 "neg": true,8627 "r": 128,8628 "seed": 34,8629 "threads": 16,8630 "walks": 1288631 },8632 "peak_rss_bytes": 11993088,8633 "process_cpu_s": 0.24364699999999573,8634 "restarts": 7318,8635 "seed": 34,8636 "table_entries": 5269,8637 "threads": 16,8638 "useless_collisions": 0,8639 "wall_s": 0.0157097088640 },8641 {8642 "abandoned_walks": 0,8643 "bits": 48,8644 "class_size": 2,8645 "cpu_s": 0.5152544560000001,8646 "d": "36264377692748",8647 "doubling_fallbacks": 0,8648 "dp_bytes": 946176,8649 "dp_count": 9654,8650 "engine": "rho_engine 0.1.0",8651 "expected_d": "36264377692748",8652 "expected_iterations": 10560434.095820269,8653 "fruitless_by_length": [8654 {8655 "count": 3,8656 "length": 28657 },8658 {8659 "count": 146,8660 "length": 48661 },8662 {8663 "count": 3,8664 "length": 68665 }8666 ],8667 "fruitless_cycles": 152,8668 "group_ops": 10273558,8669 "group_ops_per_cpu_s": 19938804.760186292,8670 "group_ops_per_wall_s": 526189125.1378591,8671 "iterations": 9909286,8672 "label": "g48b-18/t28",8673 "lookahead_rejections": 78044,8674 "match": true,8675 "ok": true,8676 "ops": {8677 "add": 10273201,8678 "dbl": 357,8679 "inv": 365018,8680 "mul": 706258588681 },8682 "params": {8683 "alg": "rho",8684 "aut3": false,8685 "beta": null,8686 "cycle_check": 32,8687 "dp": 10,8688 "instance": {8689 "a": "47780525461975",8690 "b": "107622871784497",8691 "gx": "133671458610479",8692 "gy": "106890150800030",8693 "n": "141995198727919",8694 "p": "141995211403847",8695 "qx": "63150932616693",8696 "qy": "24535713422701"8697 },8698 "lambda": null,8699 "max_walk_len": 65536,8700 "mixed": 0,8701 "mode": "dp",8702 "neg": true,8703 "r": 128,8704 "seed": 34,8705 "threads": 28,8706 "walks": 1288707 },8708 "peak_rss_bytes": 12009472,8709 "process_cpu_s": 0.5198080000000118,8710 "restarts": 13239,8711 "seed": 34,8712 "table_entries": 9654,8713 "threads": 28,8714 "useless_collisions": 0,8715 "wall_s": 0.0195244598716 },8717 {8718 "abandoned_walks": 0,8719 "bits": 48,8720 "class_size": 2,8721 "cpu_s": 0.38910241700000003,8722 "d": "79165545003525",8723 "doubling_fallbacks": 0,8724 "dp_bytes": 946176,8725 "dp_count": 9390,8726 "engine": "rho_engine 0.1.0",8727 "expected_d": "79165545003525",8728 "expected_iterations": 12223247.3077211,8729 "fruitless_by_length": [8730 {8731 "count": 3,8732 "length": 28733 },8734 {8735 "count": 148,8736 "length": 48737 }8738 ],8739 "fruitless_cycles": 151,8740 "group_ops": 10075067,8741 "group_ops_per_cpu_s": 25893097.960375812,8742 "group_ops_per_wall_s": 25865173.38536285,8743 "iterations": 9790334,8744 "label": "g48b-19/t1",8745 "lookahead_rejections": 77433,8746 "match": true,8747 "ok": true,8748 "ops": {8749 "add": 10074710,8750 "dbl": 357,8751 "inv": 285145,8752 "mul": 695503048753 },8754 "params": {8755 "alg": "rho",8756 "aut3": false,8757 "beta": null,8758 "cycle_check": 32,8759 "dp": 10,8760 "instance": {8761 "a": "186158924317983",8762 "b": "13829208706852",8763 "gx": "44516198903207",8764 "gy": "160036696956152",8765 "n": "190231887097123",8766 "p": "190231898941813",8767 "qx": "145685877278522",8768 "qy": "60834686422889"8769 },8770 "lambda": null,8771 "max_walk_len": 65536,8772 "mixed": 0,8773 "mode": "dp",8774 "neg": true,8775 "r": 128,8776 "seed": 34,8777 "threads": 1,8778 "walks": 1288779 },8780 "peak_rss_bytes": 12009472,8781 "process_cpu_s": 0.3895339999999976,8782 "restarts": 9519,8783 "seed": 34,8784 "table_entries": 9390,8785 "threads": 1,8786 "useless_collisions": 0,8787 "wall_s": 0.38952258788 },8789 {8790 "abandoned_walks": 0,8791 "bits": 48,8792 "class_size": 2,8793 "cpu_s": 0.726338792,8794 "d": "79165545003525",8795 "doubling_fallbacks": 0,8796 "dp_bytes": 946176,8797 "dp_count": 16935,8798 "engine": "rho_engine 0.1.0",8799 "expected_d": "79165545003525",8800 "expected_iterations": 12223247.3077211,8801 "fruitless_by_length": [8802 {8803 "count": 7,8804 "length": 28805 },8806 {8807 "count": 256,8808 "length": 48809 },8810 {8811 "count": 1,8812 "length": 68813 },8814 {8815 "count": 1,8816 "length": 88817 }8818 ],8819 "fruitless_cycles": 265,8820 "group_ops": 17980505,8821 "group_ops_per_cpu_s": 24754983.75969984,8822 "group_ops_per_wall_s": 49445458.08758788,8823 "iterations": 17470664,8824 "label": "g48b-19/t2",8825 "lookahead_rejections": 138223,8826 "match": true,8827 "ok": true,8828 "ops": {8829 "add": 17980034,8830 "dbl": 471,8831 "inv": 510512,8832 "mul": 1241166738833 },8834 "params": {8835 "alg": "rho",8836 "aut3": false,8837 "beta": null,8838 "cycle_check": 32,8839 "dp": 10,8840 "instance": {8841 "a": "186158924317983",8842 "b": "13829208706852",8843 "gx": "44516198903207",8844 "gy": "160036696956152",8845 "n": "190231887097123",8846 "p": "190231898941813",8847 "qx": "145685877278522",8848 "qy": "60834686422889"8849 },8850 "lambda": null,8851 "max_walk_len": 65536,8852 "mixed": 0,8853 "mode": "dp",8854 "neg": true,8855 "r": 128,8856 "seed": 34,8857 "threads": 2,8858 "walks": 1288859 },8860 "peak_rss_bytes": 12009472,8861 "process_cpu_s": 0.7268339999999966,8862 "restarts": 17192,8863 "seed": 34,8864 "table_entries": 16935,8865 "threads": 2,8866 "useless_collisions": 0,8867 "wall_s": 0.3636432088868 },8869 {8870 "abandoned_walks": 0,8871 "bits": 48,8872 "class_size": 2,8873 "cpu_s": 0.130753333,8874 "d": "79165545003525",8875 "doubling_fallbacks": 0,8876 "dp_bytes": 946176,8877 "dp_count": 3015,8878 "engine": "rho_engine 0.1.0",8879 "expected_d": "79165545003525",8880 "expected_iterations": 12223247.3077211,8881 "fruitless_by_length": [8882 {8883 "count": 45,8884 "length": 48885 }8886 ],8887 "fruitless_cycles": 45,8888 "group_ops": 3180552,8889 "group_ops_per_cpu_s": 24324825.432939444,8890 "group_ops_per_wall_s": 95857264.73318346,8891 "iterations": 3077182,8892 "label": "g48b-19/t4",8893 "lookahead_rejections": 24355,8894 "match": true,8895 "ok": true,8896 "ops": {8897 "add": 3180301,8898 "dbl": 251,8899 "inv": 103469,8900 "mul": 219026308901 },8902 "params": {8903 "alg": "rho",8904 "aut3": false,8905 "beta": null,8906 "cycle_check": 32,8907 "dp": 10,8908 "instance": {8909 "a": "186158924317983",8910 "b": "13829208706852",8911 "gx": "44516198903207",8912 "gy": "160036696956152",8913 "n": "190231887097123",8914 "p": "190231898941813",8915 "qx": "145685877278522",8916 "qy": "60834686422889"8917 },8918 "lambda": null,8919 "max_walk_len": 65536,8920 "mixed": 0,8921 "mode": "dp",8922 "neg": true,8923 "r": 128,8924 "seed": 34,8925 "threads": 4,8926 "walks": 1288927 },8928 "peak_rss_bytes": 12009472,8929 "process_cpu_s": 0.1313600000000008,8930 "restarts": 3528,8931 "seed": 34,8932 "table_entries": 3015,8933 "threads": 4,8934 "useless_collisions": 0,8935 "wall_s": 0.0331800838936 },8937 {8938 "abandoned_walks": 0,8939 "bits": 48,8940 "class_size": 2,8941 "cpu_s": 0.268776336,8942 "d": "79165545003525",8943 "doubling_fallbacks": 0,8944 "dp_bytes": 946176,8945 "dp_count": 5974,8946 "engine": "rho_engine 0.1.0",8947 "expected_d": "79165545003525",8948 "expected_iterations": 12223247.3077211,8949 "fruitless_by_length": [8950 {8951 "count": 1,8952 "length": 28953 },8954 {8955 "count": 103,8956 "length": 48957 },8958 {8959 "count": 1,8960 "length": 68961 }8962 ],8963 "fruitless_cycles": 105,8964 "group_ops": 6373648,8965 "group_ops_per_cpu_s": 23713575.736816354,8966 "group_ops_per_wall_s": 186176624.13169253,8967 "iterations": 6171462,8968 "label": "g48b-19/t8",8969 "lookahead_rejections": 48716,8970 "match": true,8971 "ok": true,8972 "ops": {8973 "add": 6373337,8974 "dbl": 311,8975 "inv": 202591,8976 "mul": 439106198977 },8978 "params": {8979 "alg": "rho",8980 "aut3": false,8981 "beta": null,8982 "cycle_check": 32,8983 "dp": 10,8984 "instance": {8985 "a": "186158924317983",8986 "b": "13829208706852",8987 "gx": "44516198903207",8988 "gy": "160036696956152",8989 "n": "190231887097123",8990 "p": "190231898941813",8991 "qx": "145685877278522",8992 "qy": "60834686422889"8993 },8994 "lambda": null,8995 "max_walk_len": 65536,8996 "mixed": 0,8997 "mode": "dp",8998 "neg": true,8999 "r": 128,9000 "seed": 34,9001 "threads": 8,9002 "walks": 1289003 },9004 "peak_rss_bytes": 12009472,9005 "process_cpu_s": 0.26960400000000107,9006 "restarts": 6999,9007 "seed": 34,9008 "table_entries": 5974,9009 "threads": 8,9010 "useless_collisions": 0,9011 "wall_s": 0.0342344169012 },9013 {9014 "abandoned_walks": 0,9015 "bits": 48,9016 "class_size": 2,9017 "cpu_s": 0.551043666,9018 "d": "79165545003525",9019 "doubling_fallbacks": 0,9020 "dp_bytes": 946176,9021 "dp_count": 12010,9022 "engine": "rho_engine 0.1.0",9023 "expected_d": "79165545003525",9024 "expected_iterations": 12223247.3077211,9025 "fruitless_by_length": [9026 {9027 "count": 5,9028 "length": 29029 },9030 {9031 "count": 228,9032 "length": 49033 },9034 {9035 "count": 2,9036 "length": 69037 }9038 ],9039 "fruitless_cycles": 235,9040 "group_ops": 12611062,9041 "group_ops_per_cpu_s": 22885776.17005038,9042 "group_ops_per_wall_s": 358670864.6300162,9043 "iterations": 12209686,9044 "label": "g48b-19/t16",9045 "lookahead_rejections": 96396,9046 "match": true,9047 "ok": true,9048 "ops": {9049 "add": 12610621,9050 "dbl": 441,9051 "inv": 402298,9052 "mul": 868771439053 },9054 "params": {9055 "alg": "rho",9056 "aut3": false,9057 "beta": null,9058 "cycle_check": 32,9059 "dp": 10,9060 "instance": {9061 "a": "186158924317983",9062 "b": "13829208706852",9063 "gx": "44516198903207",9064 "gy": "160036696956152",9065 "n": "190231887097123",9066 "p": "190231898941813",9067 "qx": "145685877278522",9068 "qy": "60834686422889"9069 },9070 "lambda": null,9071 "max_walk_len": 65536,9072 "mixed": 0,9073 "mode": "dp",9074 "neg": true,9075 "r": 128,9076 "seed": 34,9077 "threads": 16,9078 "walks": 1289079 },9080 "peak_rss_bytes": 12009472,9081 "process_cpu_s": 0.5528340000000043,9082 "restarts": 14059,9083 "seed": 34,9084 "table_entries": 12010,9085 "threads": 16,9086 "useless_collisions": 0,9087 "wall_s": 0.0351605429088 },9089 {9090 "abandoned_walks": 0,9091 "bits": 48,9092 "class_size": 2,9093 "cpu_s": 0.07718624999999998,9094 "d": "79165545003525",9095 "doubling_fallbacks": 0,9096 "dp_bytes": 946176,9097 "dp_count": 1279,9098 "engine": "rho_engine 0.1.0",9099 "expected_d": "79165545003525",9100 "expected_iterations": 12223247.3077211,9101 "fruitless_by_length": [9102 {9103 "count": 24,9104 "length": 49105 }9106 ],9107 "fruitless_cycles": 24,9108 "group_ops": 1429547,9109 "group_ops_per_cpu_s": 18520746.894686557,9110 "group_ops_per_wall_s": 409813000.1195428,9111 "iterations": 1311420,9112 "label": "g48b-19/t28",9113 "lookahead_rejections": 10428,9114 "match": true,9115 "ok": true,9116 "ops": {9117 "add": 1429317,9118 "dbl": 230,9119 "inv": 118145,9120 "mul": 95602119121 },9122 "params": {9123 "alg": "rho",9124 "aut3": false,9125 "beta": null,9126 "cycle_check": 32,9127 "dp": 10,9128 "instance": {9129 "a": "186158924317983",9130 "b": "13829208706852",9131 "gx": "44516198903207",9132 "gy": "160036696956152",9133 "n": "190231887097123",9134 "p": "190231898941813",9135 "qx": "145685877278522",9136 "qy": "60834686422889"9137 },9138 "lambda": null,9139 "max_walk_len": 65536,9140 "mixed": 0,9141 "mode": "dp",9142 "neg": true,9143 "r": 128,9144 "seed": 34,9145 "threads": 28,9146 "walks": 1289147 },9148 "peak_rss_bytes": 12173312,9149 "process_cpu_s": 0.08153999999998973,9150 "restarts": 4864,9151 "seed": 34,9152 "table_entries": 1279,9153 "threads": 28,9154 "useless_collisions": 0,9155 "wall_s": 0.0034882919156 }9157 ]9158 },9159 "elapsed_s": 22.549160}