1{2 "experiment": "ecdlp_study",3 "timestamp_utc": "2026-11-01T06:43:18+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 5629 ],30 "per_size": 12,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": 72,47 "n_ok": 72,48 "runs": [49 {50 "abandoned_walks": 0,51 "bits": 56,52 "class_size": 2,53 "cpu_s": 7.899837,54 "d": "50387522357489380",55 "doubling_fallbacks": 0,56 "dp_bytes": 3784704,57 "dp_count": 49261,58 "engine": "rho_engine 0.1.0",59 "expected_d": "50387522357489380",60 "expected_iterations": 208015876.71303192,61 "fruitless_by_length": [62 {63 "count": 40,64 "length": 265 },66 {67 "count": 3166,68 "length": 469 },70 {71 "count": 49,72 "length": 673 }74 ],75 "fruitless_cycles": 3255,76 "group_ops": 205649822,77 "group_ops_per_cpu_s": 26032160.157228563,78 "group_ops_per_wall_s": 26029625.646413483,79 "iterations": 202798238,80 "label": "g56b-0/t1",81 "lookahead_rejections": 1603123,82 "match": true,83 "ok": true,84 "ops": {85 "add": 205646352,86 "dbl": 3470,87 "inv": 2861683,88 "mul": 143137807189 },90 "params": {91 "alg": "rho",92 "aut3": false,93 "beta": null,94 "cycle_check": 32,95 "dp": 12,96 "instance": {97 "a": "20528913689362308",98 "b": "40759541751769381",99 "gx": "14784971168294451",100 "gy": "17117773247940063",101 "n": "55093845365658613",102 "p": "55093845637922107",103 "qx": "28227494683722322",104 "qy": "28488125790677952"105 },106 "lambda": null,107 "max_walk_len": 262144,108 "mixed": 0,109 "mode": "dp",110 "neg": true,111 "r": 128,112 "seed": 34,113 "threads": 1,114 "walks": 128115 },116 "peak_rss_bytes": 6832128,117 "process_cpu_s": 7.900473,118 "restarts": 49390,119 "seed": 34,120 "table_entries": 49261,121 "threads": 1,122 "useless_collisions": 0,123 "wall_s": 7.900606209124 },125 {126 "abandoned_walks": 0,127 "bits": 56,128 "class_size": 2,129 "cpu_s": 9.029587334,130 "d": "50387522357489380",131 "doubling_fallbacks": 0,132 "dp_bytes": 3784704,133 "dp_count": 55641,134 "engine": "rho_engine 0.1.0",135 "expected_d": "50387522357489380",136 "expected_iterations": 208015876.71303192,137 "fruitless_by_length": [138 {139 "count": 55,140 "length": 2141 },142 {143 "count": 3545,144 "length": 4145 },146 {147 "count": 57,148 "length": 6149 },150 {151 "count": 1,152 "length": 8153 }154 ],155 "fruitless_cycles": 3658,156 "group_ops": 231308122,157 "group_ops_per_cpu_s": 25616688.054949377,158 "group_ops_per_wall_s": 51224658.15961875,159 "iterations": 228092980,160 "label": "g56b-0/t2",161 "lookahead_rejections": 1803033,162 "match": true,163 "ok": true,164 "ops": {165 "add": 231304249,166 "dbl": 3873,167 "inv": 3226536,168 "mul": 1609935677169 },170 "params": {171 "alg": "rho",172 "aut3": false,173 "beta": null,174 "cycle_check": 32,175 "dp": 12,176 "instance": {177 "a": "20528913689362308",178 "b": "40759541751769381",179 "gx": "14784971168294451",180 "gy": "17117773247940063",181 "n": "55093845365658613",182 "p": "55093845637922107",183 "qx": "28227494683722322",184 "qy": "28488125790677952"185 },186 "lambda": null,187 "max_walk_len": 262144,188 "mixed": 0,189 "mode": "dp",190 "neg": true,191 "r": 128,192 "seed": 34,193 "threads": 2,194 "walks": 128195 },196 "peak_rss_bytes": 6930432,197 "process_cpu_s": 9.030255999999998,198 "restarts": 55898,199 "seed": 34,200 "table_entries": 55641,201 "threads": 2,202 "useless_collisions": 0,203 "wall_s": 4.515562042204 },205 {206 "abandoned_walks": 0,207 "bits": 56,208 "class_size": 2,209 "cpu_s": 3.8614540830000004,210 "d": "50387522357489380",211 "doubling_fallbacks": 0,212 "dp_bytes": 3784704,213 "dp_count": 23385,214 "engine": "rho_engine 0.1.0",215 "expected_d": "50387522357489380",216 "expected_iterations": 208015876.71303192,217 "fruitless_by_length": [218 {219 "count": 21,220 "length": 2221 },222 {223 "count": 1558,224 "length": 4225 },226 {227 "count": 27,228 "length": 6229 }230 ],231 "fruitless_cycles": 1606,232 "group_ops": 97052409,233 "group_ops_per_cpu_s": 25133643.159780644,234 "group_ops_per_wall_s": 100372998.73050183,235 "iterations": 95689406,236 "label": "g56b-0/t4",237 "lookahead_rejections": 756880,238 "match": true,239 "ok": true,240 "ops": {241 "add": 97050588,242 "dbl": 1821,243 "inv": 1367688,244 "mul": 675443354245 },246 "params": {247 "alg": "rho",248 "aut3": false,249 "beta": null,250 "cycle_check": 32,251 "dp": 12,252 "instance": {253 "a": "20528913689362308",254 "b": "40759541751769381",255 "gx": "14784971168294451",256 "gy": "17117773247940063",257 "n": "55093845365658613",258 "p": "55093845637922107",259 "qx": "28227494683722322",260 "qy": "28488125790677952"261 },262 "lambda": null,263 "max_walk_len": 262144,264 "mixed": 0,265 "mode": "dp",266 "neg": true,267 "r": 128,268 "seed": 34,269 "threads": 4,270 "walks": 128271 },272 "peak_rss_bytes": 7061504,273 "process_cpu_s": 3.8621750000000006,274 "restarts": 23898,275 "seed": 34,276 "table_entries": 23385,277 "threads": 4,278 "useless_collisions": 0,279 "wall_s": 0.9669175280 },281 {282 "abandoned_walks": 0,283 "bits": 56,284 "class_size": 2,285 "cpu_s": 6.879209208000001,286 "d": "50387522357489380",287 "doubling_fallbacks": 0,288 "dp_bytes": 3784704,289 "dp_count": 40371,290 "engine": "rho_engine 0.1.0",291 "expected_d": "50387522357489380",292 "expected_iterations": 208015876.71303192,293 "fruitless_by_length": [294 {295 "count": 39,296 "length": 2297 },298 {299 "count": 2597,300 "length": 4301 },302 {303 "count": 38,304 "length": 6305 }306 ],307 "fruitless_cycles": 2674,308 "group_ops": 168589983,309 "group_ops_per_cpu_s": 24507174.86596317,310 "group_ops_per_wall_s": 195522262.32893473,311 "iterations": 166228047,312 "label": "g56b-0/t8",313 "lookahead_rejections": 1314823,314 "match": true,315 "ok": true,316 "ops": {317 "add": 168587094,318 "dbl": 2889,319 "inv": 2369462,320 "mul": 1173338342321 },322 "params": {323 "alg": "rho",324 "aut3": false,325 "beta": null,326 "cycle_check": 32,327 "dp": 12,328 "instance": {329 "a": "20528913689362308",330 "b": "40759541751769381",331 "gx": "14784971168294451",332 "gy": "17117773247940063",333 "n": "55093845365658613",334 "p": "55093845637922107",335 "qx": "28227494683722322",336 "qy": "28488125790677952"337 },338 "lambda": null,339 "max_walk_len": 262144,340 "mixed": 0,341 "mode": "dp",342 "neg": true,343 "r": 128,344 "seed": 34,345 "threads": 8,346 "walks": 128347 },348 "peak_rss_bytes": 7307264,349 "process_cpu_s": 6.8802359999999965,350 "restarts": 41396,351 "seed": 34,352 "table_entries": 40371,353 "threads": 8,354 "useless_collisions": 0,355 "wall_s": 0.862254666356 },357 {358 "abandoned_walks": 0,359 "bits": 56,360 "class_size": 2,361 "cpu_s": 3.6147556259999996,362 "d": "50387522357489380",363 "doubling_fallbacks": 0,364 "dp_bytes": 3784704,365 "dp_count": 21403,366 "engine": "rho_engine 0.1.0",367 "expected_d": "50387522357489380",368 "expected_iterations": 208015876.71303192,369 "fruitless_by_length": [370 {371 "count": 23,372 "length": 2373 },374 {375 "count": 1354,376 "length": 4377 },378 {379 "count": 29,380 "length": 6381 }382 ],383 "fruitless_cycles": 1406,384 "group_ops": 88400127,385 "group_ops_per_cpu_s": 24455353.59684091,386 "group_ops_per_wall_s": 389598071.6827073,387 "iterations": 87115861,388 "label": "g56b-0/t16",389 "lookahead_rejections": 689289,390 "match": true,391 "ok": true,392 "ops": {393 "add": 88398506,394 "dbl": 1621,395 "inv": 1288033,396 "mul": 615058536397 },398 "params": {399 "alg": "rho",400 "aut3": false,401 "beta": null,402 "cycle_check": 32,403 "dp": 12,404 "instance": {405 "a": "20528913689362308",406 "b": "40759541751769381",407 "gx": "14784971168294451",408 "gy": "17117773247940063",409 "n": "55093845365658613",410 "p": "55093845637922107",411 "qx": "28227494683722322",412 "qy": "28488125790677952"413 },414 "lambda": null,415 "max_walk_len": 262144,416 "mixed": 0,417 "mode": "dp",418 "neg": true,419 "r": 128,420 "seed": 34,421 "threads": 16,422 "walks": 128423 },424 "peak_rss_bytes": 7585792,425 "process_cpu_s": 3.6171279999999975,426 "restarts": 23452,427 "seed": 34,428 "table_entries": 21403,429 "threads": 16,430 "useless_collisions": 0,431 "wall_s": 0.226900833432 },433 {434 "abandoned_walks": 0,435 "bits": 56,436 "class_size": 2,437 "cpu_s": 6.873101376999999,438 "d": "50387522357489380",439 "doubling_fallbacks": 0,440 "dp_bytes": 3784704,441 "dp_count": 35534,442 "engine": "rho_engine 0.1.0",443 "expected_d": "50387522357489380",444 "expected_iterations": 208015876.71303192,445 "fruitless_by_length": [446 {447 "count": 35,448 "length": 2449 },450 {451 "count": 2198,452 "length": 4453 },454 {455 "count": 42,456 "length": 6457 },458 {459 "count": 1,460 "length": 8461 }462 ],463 "fruitless_cycles": 2276,464 "group_ops": 145886737,465 "group_ops_per_cpu_s": 21225750.79253047,466 "group_ops_per_wall_s": 581626512.6420043,467 "iterations": 143758845,468 "label": "g56b-0/t28",469 "lookahead_rejections": 1137944,470 "match": true,471 "ok": true,472 "ops": {473 "add": 145884246,474 "dbl": 2491,475 "inv": 2133405,476 "mul": 1014999787477 },478 "params": {479 "alg": "rho",480 "aut3": false,481 "beta": null,482 "cycle_check": 32,483 "dp": 12,484 "instance": {485 "a": "20528913689362308",486 "b": "40759541751769381",487 "gx": "14784971168294451",488 "gy": "17117773247940063",489 "n": "55093845365658613",490 "p": "55093845637922107",491 "qx": "28227494683722322",492 "qy": "28488125790677952"493 },494 "lambda": null,495 "max_walk_len": 262144,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": 8142848,505 "process_cpu_s": 6.877850999999996,506 "restarts": 39119,507 "seed": 34,508 "table_entries": 35534,509 "threads": 28,510 "useless_collisions": 0,511 "wall_s": 0.250825459512 },513 {514 "abandoned_walks": 0,515 "bits": 56,516 "class_size": 2,517 "cpu_s": 3.679669375,518 "d": "387071716982309",519 "doubling_fallbacks": 0,520 "dp_bytes": 7569408,521 "dp_count": 23312,522 "engine": "rho_engine 0.1.0",523 "expected_d": "387071716982309",524 "expected_iterations": 236940828.17985234,525 "fruitless_by_length": [526 {527 "count": 17,528 "length": 2529 },530 {531 "count": 1489,532 "length": 4533 },534 {535 "count": 23,536 "length": 6537 },538 {539 "count": 1,540 "length": 8541 }542 ],543 "fruitless_cycles": 1530,544 "group_ops": 96294922,545 "group_ops_per_cpu_s": 26169449.53104652,546 "group_ops_per_wall_s": 26162685.492340602,547 "iterations": 94949208,548 "label": "g56b-1/t1",549 "lookahead_rejections": 750064,550 "match": true,551 "ok": true,552 "ops": {553 "add": 96293184,554 "dbl": 1738,555 "inv": 1350992,556 "mul": 670194819557 },558 "params": {559 "alg": "rho",560 "aut3": false,561 "beta": null,562 "cycle_check": 32,563 "dp": 12,564 "instance": {565 "a": "31186449774815646",566 "b": "20021668074014897",567 "gx": "68542677954682616",568 "gy": "64309870186440537",569 "n": "71480885332990459",570 "p": "71480885189783779",571 "qx": "63796214451076545",572 "qy": "60229371538536681"573 },574 "lambda": null,575 "max_walk_len": 262144,576 "mixed": 0,577 "mode": "dp",578 "neg": true,579 "r": 128,580 "seed": 34,581 "threads": 1,582 "walks": 128583 },584 "peak_rss_bytes": 16400384,585 "process_cpu_s": 3.680229000000004,586 "restarts": 23441,587 "seed": 34,588 "table_entries": 23312,589 "threads": 1,590 "useless_collisions": 0,591 "wall_s": 3.680620708592 },593 {594 "abandoned_walks": 0,595 "bits": 56,596 "class_size": 2,597 "cpu_s": 7.4703691249999995,598 "d": "387071716982309",599 "doubling_fallbacks": 0,600 "dp_bytes": 7569408,601 "dp_count": 46398,602 "engine": "rho_engine 0.1.0",603 "expected_d": "387071716982309",604 "expected_iterations": 236940828.17985234,605 "fruitless_by_length": [606 {607 "count": 37,608 "length": 2609 },610 {611 "count": 2958,612 "length": 4613 },614 {615 "count": 45,616 "length": 6617 },618 {619 "count": 1,620 "length": 8621 }622 ],623 "fruitless_cycles": 3041,624 "group_ops": 192905387,625 "group_ops_per_cpu_s": 25822738.31080603,626 "group_ops_per_wall_s": 51633844.8929424,627 "iterations": 190220684,628 "label": "g56b-1/t2",629 "lookahead_rejections": 1502740,630 "match": true,631 "ok": true,632 "ops": {633 "add": 192902138,634 "dbl": 3249,635 "inv": 2695074,636 "mul": 1342630498637 },638 "params": {639 "alg": "rho",640 "aut3": false,641 "beta": null,642 "cycle_check": 32,643 "dp": 12,644 "instance": {645 "a": "31186449774815646",646 "b": "20021668074014897",647 "gx": "68542677954682616",648 "gy": "64309870186440537",649 "n": "71480885332990459",650 "p": "71480885189783779",651 "qx": "63796214451076545",652 "qy": "60229371538536681"653 },654 "lambda": null,655 "max_walk_len": 262144,656 "mixed": 0,657 "mode": "dp",658 "neg": true,659 "r": 128,660 "seed": 34,661 "threads": 2,662 "walks": 128663 },664 "peak_rss_bytes": 16449536,665 "process_cpu_s": 7.471062000000003,666 "restarts": 46655,667 "seed": 34,668 "table_entries": 46398,669 "threads": 2,670 "useless_collisions": 0,671 "wall_s": 3.736026672 },673 {674 "abandoned_walks": 0,675 "bits": 56,676 "class_size": 2,677 "cpu_s": 9.107868584,678 "d": "387071716982309",679 "doubling_fallbacks": 0,680 "dp_bytes": 7569408,681 "dp_count": 55052,682 "engine": "rho_engine 0.1.0",683 "expected_d": "387071716982309",684 "expected_iterations": 236940828.17985234,685 "fruitless_by_length": [686 {687 "count": 44,688 "length": 2689 },690 {691 "count": 3552,692 "length": 4693 },694 {695 "count": 54,696 "length": 6697 }698 ],699 "fruitless_cycles": 3650,700 "group_ops": 229704411,701 "group_ops_per_cpu_s": 25220435.372061357,702 "group_ops_per_wall_s": 100752566.07362154,703 "iterations": 226506567,704 "label": "g56b-1/t4",705 "lookahead_rejections": 1791468,706 "match": true,707 "ok": true,708 "ops": {709 "add": 229700553,710 "dbl": 3858,711 "inv": 3208293,712 "mul": 1598757312713 },714 "params": {715 "alg": "rho",716 "aut3": false,717 "beta": null,718 "cycle_check": 32,719 "dp": 12,720 "instance": {721 "a": "31186449774815646",722 "b": "20021668074014897",723 "gx": "68542677954682616",724 "gy": "64309870186440537",725 "n": "71480885332990459",726 "p": "71480885189783779",727 "qx": "63796214451076545",728 "qy": "60229371538536681"729 },730 "lambda": null,731 "max_walk_len": 262144,732 "mixed": 0,733 "mode": "dp",734 "neg": true,735 "r": 128,736 "seed": 34,737 "threads": 4,738 "walks": 128739 },740 "peak_rss_bytes": 16531456,741 "process_cpu_s": 9.108649999999997,742 "restarts": 55565,743 "seed": 34,744 "table_entries": 55052,745 "threads": 4,746 "useless_collisions": 0,747 "wall_s": 2.279886458748 },749 {750 "abandoned_walks": 0,751 "bits": 56,752 "class_size": 2,753 "cpu_s": 5.868045042000001,754 "d": "387071716982309",755 "doubling_fallbacks": 0,756 "dp_bytes": 7569408,757 "dp_count": 35002,758 "engine": "rho_engine 0.1.0",759 "expected_d": "387071716982309",760 "expected_iterations": 236940828.17985234,761 "fruitless_by_length": [762 {763 "count": 33,764 "length": 2765 },766 {767 "count": 2240,768 "length": 4769 },770 {771 "count": 24,772 "length": 6773 }774 ],775 "fruitless_cycles": 2297,776 "group_ops": 144415501,777 "group_ops_per_cpu_s": 24610496.33504159,778 "group_ops_per_wall_s": 196236988.11555746,779 "iterations": 142375286,780 "label": "g56b-1/t8",781 "lookahead_rejections": 1126357,782 "match": true,783 "ok": true,784 "ops": {785 "add": 144412996,786 "dbl": 2505,787 "inv": 2046469,788 "mul": 1005024088789 },790 "params": {791 "alg": "rho",792 "aut3": false,793 "beta": null,794 "cycle_check": 32,795 "dp": 12,796 "instance": {797 "a": "31186449774815646",798 "b": "20021668074014897",799 "gx": "68542677954682616",800 "gy": "64309870186440537",801 "n": "71480885332990459",802 "p": "71480885189783779",803 "qx": "63796214451076545",804 "qy": "60229371538536681"805 },806 "lambda": null,807 "max_walk_len": 262144,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": 16646144,817 "process_cpu_s": 5.869031,818 "restarts": 36027,819 "seed": 34,820 "table_entries": 35002,821 "threads": 8,822 "useless_collisions": 0,823 "wall_s": 0.735923958824 },825 {826 "abandoned_walks": 0,827 "bits": 56,828 "class_size": 2,829 "cpu_s": 11.828410622,830 "d": "387071716982309",831 "doubling_fallbacks": 0,832 "dp_bytes": 7569408,833 "dp_count": 70253,834 "engine": "rho_engine 0.1.0",835 "expected_d": "387071716982309",836 "expected_iterations": 236940828.17985234,837 "fruitless_by_length": [838 {839 "count": 71,840 "length": 2841 },842 {843 "count": 4360,844 "length": 4845 },846 {847 "count": 58,848 "length": 6849 },850 {851 "count": 2,852 "length": 8853 }854 ],855 "fruitless_cycles": 4491,856 "group_ops": 289561014,857 "group_ops_per_cpu_s": 24480128.671001427,858 "group_ops_per_wall_s": 390831034.5376929,859 "iterations": 285472581,860 "label": "g56b-1/t16",861 "lookahead_rejections": 2258950,862 "match": true,863 "ok": true,864 "ops": {865 "add": 289556315,866 "dbl": 4699,867 "inv": 4099939,868 "mul": 2015140764869 },870 "params": {871 "alg": "rho",872 "aut3": false,873 "beta": null,874 "cycle_check": 32,875 "dp": 12,876 "instance": {877 "a": "31186449774815646",878 "b": "20021668074014897",879 "gx": "68542677954682616",880 "gy": "64309870186440537",881 "n": "71480885332990459",882 "p": "71480885189783779",883 "qx": "63796214451076545",884 "qy": "60229371538536681"885 },886 "lambda": null,887 "max_walk_len": 262144,888 "mixed": 0,889 "mode": "dp",890 "neg": true,891 "r": 128,892 "seed": 34,893 "threads": 16,894 "walks": 128895 },896 "peak_rss_bytes": 16760832,897 "process_cpu_s": 11.830330000000004,898 "restarts": 72302,899 "seed": 34,900 "table_entries": 70253,901 "threads": 16,902 "useless_collisions": 0,903 "wall_s": 0.740885417904 },905 {906 "abandoned_walks": 0,907 "bits": 56,908 "class_size": 2,909 "cpu_s": 20.353864625000003,910 "d": "387071716982309",911 "doubling_fallbacks": 0,912 "dp_bytes": 7569408,913 "dp_count": 104639,914 "engine": "rho_engine 0.1.0",915 "expected_d": "387071716982309",916 "expected_iterations": 236940828.17985234,917 "fruitless_by_length": [918 {919 "count": 116,920 "length": 2921 },922 {923 "count": 6657,924 "length": 4925 },926 {927 "count": 97,928 "length": 6929 },930 {931 "count": 2,932 "length": 8933 }934 ],935 "fruitless_cycles": 6872,936 "group_ops": 433651616,937 "group_ops_per_cpu_s": 21305615.6159828,938 "group_ops_per_wall_s": 581375040.7333043,939 "iterations": 427531714,940 "label": "g56b-1/t28",941 "lookahead_rejections": 3383210,942 "match": true,943 "ok": true,944 "ops": {945 "add": 433644536,946 "dbl": 7080,947 "inv": 6137739,948 "mul": 3017920882949 },950 "params": {951 "alg": "rho",952 "aut3": false,953 "beta": null,954 "cycle_check": 32,955 "dp": 12,956 "instance": {957 "a": "31186449774815646",958 "b": "20021668074014897",959 "gx": "68542677954682616",960 "gy": "64309870186440537",961 "n": "71480885332990459",962 "p": "71480885189783779",963 "qx": "63796214451076545",964 "qy": "60229371538536681"965 },966 "lambda": null,967 "max_walk_len": 262144,968 "mixed": 0,969 "mode": "dp",970 "neg": true,971 "r": 128,972 "seed": 34,973 "threads": 28,974 "walks": 128975 },976 "peak_rss_bytes": 16990208,977 "process_cpu_s": 20.357974,978 "restarts": 108224,979 "seed": 34,980 "table_entries": 104639,981 "threads": 28,982 "useless_collisions": 0,983 "wall_s": 0.745906834984 },985 {986 "abandoned_walks": 0,987 "bits": 56,988 "class_size": 2,989 "cpu_s": 4.6251575,990 "d": "26330878751216195",991 "doubling_fallbacks": 0,992 "dp_bytes": 3784704,993 "dp_count": 29050,994 "engine": "rho_engine 0.1.0",995 "expected_d": "26330878751216195",996 "expected_iterations": 169410728.96446696,997 "fruitless_by_length": [998 {999 "count": 34,1000 "length": 21001 },1002 {1003 "count": 1820,1004 "length": 41005 },1006 {1007 "count": 27,1008 "length": 61009 }1010 ],1011 "fruitless_cycles": 1881,1012 "group_ops": 120473107,1013 "group_ops_per_cpu_s": 26047352.333407022,1014 "group_ops_per_wall_s": 26043694.138277512,1015 "iterations": 118797453,1016 "label": "g56b-2/t1",1017 "lookahead_rejections": 939290,1018 "match": true,1019 "ok": true,1020 "ops": {1021 "add": 120471012,1022 "dbl": 2095,1023 "inv": 1681244,1024 "mul": 8385059261025 },1026 "params": {1027 "alg": "rho",1028 "aut3": false,1029 "beta": null,1030 "cycle_check": 32,1031 "dp": 12,1032 "instance": {1033 "a": "11336102865792359",1034 "b": "11481300650139407",1035 "gx": "16517008715667066",1036 "gy": "5514251710426671",1037 "n": "36541968680092951",1038 "p": "36541968691324601",1039 "qx": "4195699706559593",1040 "qy": "24010460413484619"1041 },1042 "lambda": null,1043 "max_walk_len": 262144,1044 "mixed": 0,1045 "mode": "dp",1046 "neg": true,1047 "r": 128,1048 "seed": 34,1049 "threads": 1,1050 "walks": 1281051 },1052 "peak_rss_bytes": 16990208,1053 "process_cpu_s": 4.625761999999995,1054 "restarts": 29179,1055 "seed": 34,1056 "table_entries": 29050,1057 "threads": 1,1058 "useless_collisions": 0,1059 "wall_s": 4.6258071671060 },1061 {1062 "abandoned_walks": 0,1063 "bits": 56,1064 "class_size": 2,1065 "cpu_s": 9.498230208,1066 "d": "26330878751216195",1067 "doubling_fallbacks": 0,1068 "dp_bytes": 3784704,1069 "dp_count": 58287,1070 "engine": "rho_engine 0.1.0",1071 "expected_d": "26330878751216195",1072 "expected_iterations": 169410728.96446696,1073 "fruitless_by_length": [1074 {1075 "count": 60,1076 "length": 21077 },1078 {1079 "count": 3662,1080 "length": 41081 },1082 {1083 "count": 55,1084 "length": 61085 },1086 {1087 "count": 2,1088 "length": 81089 }1090 ],1091 "fruitless_cycles": 3779,1092 "group_ops": 241685121,1093 "group_ops_per_cpu_s": 25445279.35282488,1094 "group_ops_per_wall_s": 50879191.10853473,1095 "iterations": 238326230,1096 "label": "g56b-2/t2",1097 "lookahead_rejections": 1885025,1098 "match": true,1099 "ok": true,1100 "ops": {1101 "add": 241681128,1102 "dbl": 3993,1103 "inv": 3369494,1104 "mul": 16821678851105 },1106 "params": {1107 "alg": "rho",1108 "aut3": false,1109 "beta": null,1110 "cycle_check": 32,1111 "dp": 12,1112 "instance": {1113 "a": "11336102865792359",1114 "b": "11481300650139407",1115 "gx": "16517008715667066",1116 "gy": "5514251710426671",1117 "n": "36541968680092951",1118 "p": "36541968691324601",1119 "qx": "4195699706559593",1120 "qy": "24010460413484619"1121 },1122 "lambda": null,1123 "max_walk_len": 262144,1124 "mixed": 0,1125 "mode": "dp",1126 "neg": true,1127 "r": 128,1128 "seed": 34,1129 "threads": 2,1130 "walks": 1281131 },1132 "peak_rss_bytes": 16990208,1133 "process_cpu_s": 9.498936999999984,1134 "restarts": 58544,1135 "seed": 34,1136 "table_entries": 58287,1137 "threads": 2,1138 "useless_collisions": 0,1139 "wall_s": 4.7501761671140 },1141 {1142 "abandoned_walks": 0,1143 "bits": 56,1144 "class_size": 2,1145 "cpu_s": 2.1347261250000003,1146 "d": "26330878751216195",1147 "doubling_fallbacks": 0,1148 "dp_bytes": 3784704,1149 "dp_count": 12785,1150 "engine": "rho_engine 0.1.0",1151 "expected_d": "26330878751216195",1152 "expected_iterations": 169410728.96446696,1153 "fruitless_by_length": [1154 {1155 "count": 20,1156 "length": 21157 },1158 {1159 "count": 796,1160 "length": 41161 },1162 {1163 "count": 14,1164 "length": 61165 }1166 ],1167 "fruitless_cycles": 830,1168 "group_ops": 53262056,1169 "group_ops_per_cpu_s": 24950299.420727797,1170 "group_ops_per_wall_s": 99534268.24533707,1171 "iterations": 52508748,1172 "label": "g56b-2/t4",1173 "lookahead_rejections": 415258,1174 "match": true,1175 "ok": true,1176 "ops": {1177 "add": 53261012,1178 "dbl": 1044,1179 "inv": 755684,1180 "mul": 3706604361181 },1182 "params": {1183 "alg": "rho",1184 "aut3": false,1185 "beta": null,1186 "cycle_check": 32,1187 "dp": 12,1188 "instance": {1189 "a": "11336102865792359",1190 "b": "11481300650139407",1191 "gx": "16517008715667066",1192 "gy": "5514251710426671",1193 "n": "36541968680092951",1194 "p": "36541968691324601",1195 "qx": "4195699706559593",1196 "qy": "24010460413484619"1197 },1198 "lambda": null,1199 "max_walk_len": 262144,1200 "mixed": 0,1201 "mode": "dp",1202 "neg": true,1203 "r": 128,1204 "seed": 34,1205 "threads": 4,1206 "walks": 1281207 },1208 "peak_rss_bytes": 16990208,1209 "process_cpu_s": 2.1354820000000103,1210 "restarts": 13298,1211 "seed": 34,1212 "table_entries": 12785,1213 "threads": 4,1214 "useless_collisions": 0,1215 "wall_s": 0.535112751216 },1217 {1218 "abandoned_walks": 0,1219 "bits": 56,1220 "class_size": 2,1221 "cpu_s": 4.364642582,1222 "d": "26330878751216195",1223 "doubling_fallbacks": 0,1224 "dp_bytes": 3784704,1225 "dp_count": 25422,1226 "engine": "rho_engine 0.1.0",1227 "expected_d": "26330878751216195",1228 "expected_iterations": 169410728.96446696,1229 "fruitless_by_length": [1230 {1231 "count": 30,1232 "length": 21233 },1234 {1235 "count": 1576,1236 "length": 41237 },1238 {1239 "count": 25,1240 "length": 61241 }1242 ],1243 "fruitless_cycles": 1631,1244 "group_ops": 106258062,1245 "group_ops_per_cpu_s": 24345192.075569592,1246 "group_ops_per_wall_s": 194276032.955857,1247 "iterations": 104761866,1248 "label": "g56b-2/t8",1249 "lookahead_rejections": 827823,1250 "match": true,1251 "ok": true,1252 "ops": {1253 "add": 106256217,1254 "dbl": 1845,1255 "inv": 1501477,1256 "mul": 7394933951257 },1258 "params": {1259 "alg": "rho",1260 "aut3": false,1261 "beta": null,1262 "cycle_check": 32,1263 "dp": 12,1264 "instance": {1265 "a": "11336102865792359",1266 "b": "11481300650139407",1267 "gx": "16517008715667066",1268 "gy": "5514251710426671",1269 "n": "36541968680092951",1270 "p": "36541968691324601",1271 "qx": "4195699706559593",1272 "qy": "24010460413484619"1273 },1274 "lambda": null,1275 "max_walk_len": 262144,1276 "mixed": 0,1277 "mode": "dp",1278 "neg": true,1279 "r": 128,1280 "seed": 34,1281 "threads": 8,1282 "walks": 1281283 },1284 "peak_rss_bytes": 16990208,1285 "process_cpu_s": 4.365717999999987,1286 "restarts": 26447,1287 "seed": 34,1288 "table_entries": 25422,1289 "threads": 8,1290 "useless_collisions": 0,1291 "wall_s": 0.546943751292 },1293 {1294 "abandoned_walks": 0,1295 "bits": 56,1296 "class_size": 2,1297 "cpu_s": 8.773464294000002,1298 "d": "26330878751216195",1299 "doubling_fallbacks": 0,1300 "dp_bytes": 3784704,1301 "dp_count": 51102,1302 "engine": "rho_engine 0.1.0",1303 "expected_d": "26330878751216195",1304 "expected_iterations": 169410728.96446696,1305 "fruitless_by_length": [1306 {1307 "count": 57,1308 "length": 21309 },1310 {1311 "count": 3235,1312 "length": 41313 },1314 {1315 "count": 45,1316 "length": 61317 }1318 ],1319 "fruitless_cycles": 3337,1320 "group_ops": 212137516,1321 "group_ops_per_cpu_s": 24179447.125017267,1322 "group_ops_per_wall_s": 385778077.19320947,1323 "iterations": 209146387,1324 "label": "g56b-2/t16",1325 "lookahead_rejections": 1652311,1326 "match": true,1327 "ok": true,1328 "ops": {1329 "add": 212133965,1330 "dbl": 3551,1331 "inv": 3002425,1332 "mul": 14763334911333 },1334 "params": {1335 "alg": "rho",1336 "aut3": false,1337 "beta": null,1338 "cycle_check": 32,1339 "dp": 12,1340 "instance": {1341 "a": "11336102865792359",1342 "b": "11481300650139407",1343 "gx": "16517008715667066",1344 "gy": "5514251710426671",1345 "n": "36541968680092951",1346 "p": "36541968691324601",1347 "qx": "4195699706559593",1348 "qy": "24010460413484619"1349 },1350 "lambda": null,1351 "max_walk_len": 262144,1352 "mixed": 0,1353 "mode": "dp",1354 "neg": true,1355 "r": 128,1356 "seed": 34,1357 "threads": 16,1358 "walks": 1281359 },1360 "peak_rss_bytes": 16990208,1361 "process_cpu_s": 8.77587100000001,1362 "restarts": 53151,1363 "seed": 34,1364 "table_entries": 51102,1365 "threads": 16,1366 "useless_collisions": 0,1367 "wall_s": 0.5498952081368 },1369 {1370 "abandoned_walks": 0,1371 "bits": 56,1372 "class_size": 2,1373 "cpu_s": 2.9707697929999997,1374 "d": "26330878751216195",1375 "doubling_fallbacks": 0,1376 "dp_bytes": 3784704,1377 "dp_count": 15110,1378 "engine": "rho_engine 0.1.0",1379 "expected_d": "26330878751216195",1380 "expected_iterations": 169410728.96446696,1381 "fruitless_by_length": [1382 {1383 "count": 16,1384 "length": 21385 },1386 {1387 "count": 932,1388 "length": 41389 },1390 {1391 "count": 8,1392 "length": 61393 }1394 ],1395 "fruitless_cycles": 956,1396 "group_ops": 62715972,1397 "group_ops_per_cpu_s": 21111017.133598547,1398 "group_ops_per_wall_s": 576928260.949637,1399 "iterations": 61754196,1400 "label": "g56b-2/t28",1401 "lookahead_rejections": 488325,1402 "match": true,1403 "ok": true,1404 "ops": {1405 "add": 62714802,1406 "dbl": 1170,1407 "inv": 964508,1408 "mul": 4361547951409 },1410 "params": {1411 "alg": "rho",1412 "aut3": false,1413 "beta": null,1414 "cycle_check": 32,1415 "dp": 12,1416 "instance": {1417 "a": "11336102865792359",1418 "b": "11481300650139407",1419 "gx": "16517008715667066",1420 "gy": "5514251710426671",1421 "n": "36541968680092951",1422 "p": "36541968691324601",1423 "qx": "4195699706559593",1424 "qy": "24010460413484619"1425 },1426 "lambda": null,1427 "max_walk_len": 262144,1428 "mixed": 0,1429 "mode": "dp",1430 "neg": true,1431 "r": 128,1432 "seed": 34,1433 "threads": 28,1434 "walks": 1281435 },1436 "peak_rss_bytes": 16990208,1437 "process_cpu_s": 2.9754839999999945,1438 "restarts": 18695,1439 "seed": 34,1440 "table_entries": 15110,1441 "threads": 28,1442 "useless_collisions": 0,1443 "wall_s": 0.1087067081444 },1445 {1446 "abandoned_walks": 0,1447 "bits": 56,1448 "class_size": 2,1449 "cpu_s": 13.605726083,1450 "d": "48742791841968097",1451 "doubling_fallbacks": 0,1452 "dp_bytes": 3784704,1453 "dp_count": 85696,1454 "engine": "rho_engine 0.1.0",1455 "expected_d": "48742791841968097",1456 "expected_iterations": 211306187.62945345,1457 "fruitless_by_length": [1458 {1459 "count": 85,1460 "length": 21461 },1462 {1463 "count": 5336,1464 "length": 41465 },1466 {1467 "count": 87,1468 "length": 61469 },1470 {1471 "count": 4,1472 "length": 81473 }1474 ],1475 "fruitless_cycles": 5512,1476 "group_ops": 355380196,1477 "group_ops_per_cpu_s": 26119899.359435014,1478 "group_ops_per_wall_s": 26118231.022401668,1479 "iterations": 350441476,1480 "label": "g56b-3/t1",1481 "lookahead_rejections": 2771340,1482 "match": true,1483 "ok": true,1484 "ops": {1485 "add": 355374469,1486 "dbl": 5727,1487 "inv": 4954557,1488 "mul": 24735035381489 },1490 "params": {1491 "alg": "rho",1492 "aut3": false,1493 "beta": null,1494 "cycle_check": 32,1495 "dp": 12,1496 "instance": {1497 "a": "56700677092015278",1498 "b": "47166927960047756",1499 "gx": "35891805145748593",1500 "gy": "35626011912978387",1501 "n": "56850533921988113",1502 "p": "56850534038358637",1503 "qx": "19908255325934568",1504 "qy": "55555436581045530"1505 },1506 "lambda": null,1507 "max_walk_len": 262144,1508 "mixed": 0,1509 "mode": "dp",1510 "neg": true,1511 "r": 128,1512 "seed": 34,1513 "threads": 1,1514 "walks": 1281515 },1516 "peak_rss_bytes": 16990208,1517 "process_cpu_s": 13.606331000000011,1518 "restarts": 85825,1519 "seed": 34,1520 "table_entries": 85696,1521 "threads": 1,1522 "useless_collisions": 0,1523 "wall_s": 13.6065951671524 },1525 {1526 "abandoned_walks": 0,1527 "bits": 56,1528 "class_size": 2,1529 "cpu_s": 0.7539191250000001,1530 "d": "48742791841968097",1531 "doubling_fallbacks": 0,1532 "dp_bytes": 3784704,1533 "dp_count": 4710,1534 "engine": "rho_engine 0.1.0",1535 "expected_d": "48742791841968097",1536 "expected_iterations": 211306187.62945345,1537 "fruitless_by_length": [1538 {1539 "count": 3,1540 "length": 21541 },1542 {1543 "count": 307,1544 "length": 41545 },1546 {1547 "count": 4,1548 "length": 61549 }1550 ],1551 "fruitless_cycles": 314,1552 "group_ops": 19577680,1553 "group_ops_per_cpu_s": 25967878.18587305,1554 "group_ops_per_wall_s": 51860470.89716998,1555 "iterations": 19295922,1556 "label": "g56b-3/t2",1557 "lookahead_rejections": 152573,1558 "match": true,1559 "ok": true,1560 "ops": {1561 "add": 19577151,1562 "dbl": 529,1563 "inv": 282697,1564 "mul": 1362251781565 },1566 "params": {1567 "alg": "rho",1568 "aut3": false,1569 "beta": null,1570 "cycle_check": 32,1571 "dp": 12,1572 "instance": {1573 "a": "56700677092015278",1574 "b": "47166927960047756",1575 "gx": "35891805145748593",1576 "gy": "35626011912978387",1577 "n": "56850533921988113",1578 "p": "56850534038358637",1579 "qx": "19908255325934568",1580 "qy": "55555436581045530"1581 },1582 "lambda": null,1583 "max_walk_len": 262144,1584 "mixed": 0,1585 "mode": "dp",1586 "neg": true,1587 "r": 128,1588 "seed": 34,1589 "threads": 2,1590 "walks": 1281591 },1592 "peak_rss_bytes": 16990208,1593 "process_cpu_s": 0.7545100000000105,1594 "restarts": 4967,1595 "seed": 34,1596 "table_entries": 4710,1597 "threads": 2,1598 "useless_collisions": 0,1599 "wall_s": 0.3775067921600 },1601 {1602 "abandoned_walks": 0,1603 "bits": 56,1604 "class_size": 2,1605 "cpu_s": 1.578846542,1606 "d": "48742791841968097",1607 "doubling_fallbacks": 0,1608 "dp_bytes": 3784704,1609 "dp_count": 9463,1610 "engine": "rho_engine 0.1.0",1611 "expected_d": "48742791841968097",1612 "expected_iterations": 211306187.62945345,1613 "fruitless_by_length": [1614 {1615 "count": 7,1616 "length": 21617 },1618 {1619 "count": 581,1620 "length": 41621 },1622 {1623 "count": 9,1624 "length": 61625 },1626 {1627 "count": 1,1628 "length": 81629 }1630 ],1631 "fruitless_cycles": 598,1632 "group_ops": 39353437,1633 "group_ops_per_cpu_s": 24925435.090195104,1634 "group_ops_per_wall_s": 99463926.15037772,1635 "iterations": 38791489,1636 "label": "g56b-3/t4",1637 "lookahead_rejections": 306450,1638 "match": true,1639 "ok": true,1640 "ops": {1641 "add": 39352624,1642 "dbl": 813,1643 "inv": 563954,1644 "mul": 2738453461645 },1646 "params": {1647 "alg": "rho",1648 "aut3": false,1649 "beta": null,1650 "cycle_check": 32,1651 "dp": 12,1652 "instance": {1653 "a": "56700677092015278",1654 "b": "47166927960047756",1655 "gx": "35891805145748593",1656 "gy": "35626011912978387",1657 "n": "56850533921988113",1658 "p": "56850534038358637",1659 "qx": "19908255325934568",1660 "qy": "55555436581045530"1661 },1662 "lambda": null,1663 "max_walk_len": 262144,1664 "mixed": 0,1665 "mode": "dp",1666 "neg": true,1667 "r": 128,1668 "seed": 34,1669 "threads": 4,1670 "walks": 1281671 },1672 "peak_rss_bytes": 16990208,1673 "process_cpu_s": 1.5795379999999852,1674 "restarts": 9976,1675 "seed": 34,1676 "table_entries": 9463,1677 "threads": 4,1678 "useless_collisions": 0,1679 "wall_s": 0.3956553751680 },1681 {1682 "abandoned_walks": 0,1683 "bits": 56,1684 "class_size": 2,1685 "cpu_s": 3.2138498750000006,1686 "d": "48742791841968097",1687 "doubling_fallbacks": 0,1688 "dp_bytes": 3784704,1689 "dp_count": 18710,1690 "engine": "rho_engine 0.1.0",1691 "expected_d": "48742791841968097",1692 "expected_iterations": 211306187.62945345,1693 "fruitless_by_length": [1694 {1695 "count": 23,1696 "length": 21697 },1698 {1699 "count": 1154,1700 "length": 41701 },1702 {1703 "count": 19,1704 "length": 61705 },1706 {1707 "count": 1,1708 "length": 81709 }1710 ],1711 "fruitless_cycles": 1197,1712 "group_ops": 78133879,1713 "group_ops_per_cpu_s": 24311614.43096342,1714 "group_ops_per_wall_s": 193754588.14521226,1715 "iterations": 77022701,1716 "label": "g56b-3/t8",1717 "lookahead_rejections": 609605,1718 "match": true,1719 "ok": true,1720 "ops": {1721 "add": 78132467,1722 "dbl": 1412,1723 "inv": 1114094,1724 "mul": 5437257691725 },1726 "params": {1727 "alg": "rho",1728 "aut3": false,1729 "beta": null,1730 "cycle_check": 32,1731 "dp": 12,1732 "instance": {1733 "a": "56700677092015278",1734 "b": "47166927960047756",1735 "gx": "35891805145748593",1736 "gy": "35626011912978387",1737 "n": "56850533921988113",1738 "p": "56850534038358637",1739 "qx": "19908255325934568",1740 "qy": "55555436581045530"1741 },1742 "lambda": null,1743 "max_walk_len": 262144,1744 "mixed": 0,1745 "mode": "dp",1746 "neg": true,1747 "r": 128,1748 "seed": 34,1749 "threads": 8,1750 "walks": 1281751 },1752 "peak_rss_bytes": 16990208,1753 "process_cpu_s": 3.214844000000028,1754 "restarts": 19735,1755 "seed": 34,1756 "table_entries": 18710,1757 "threads": 8,1758 "useless_collisions": 0,1759 "wall_s": 0.4032620841760 },1761 {1762 "abandoned_walks": 0,1763 "bits": 56,1764 "class_size": 2,1765 "cpu_s": 6.491188499,1766 "d": "48742791841968097",1767 "doubling_fallbacks": 0,1768 "dp_bytes": 3784704,1769 "dp_count": 37701,1770 "engine": "rho_engine 0.1.0",1771 "expected_d": "48742791841968097",1772 "expected_iterations": 211306187.62945345,1773 "fruitless_by_length": [1774 {1775 "count": 35,1776 "length": 21777 },1778 {1779 "count": 2376,1780 "length": 41781 },1782 {1783 "count": 37,1784 "length": 61785 },1786 {1787 "count": 1,1788 "length": 81789 }1790 ],1791 "fruitless_cycles": 2449,1792 "group_ops": 156889301,1793 "group_ops_per_cpu_s": 24169580.196934596,1794 "group_ops_per_wall_s": 385364565.7513344,1795 "iterations": 154658522,1796 "label": "g56b-3/t16",1797 "lookahead_rejections": 1224589,1798 "match": true,1799 "ok": true,1800 "ops": {1801 "add": 156886637,1802 "dbl": 2664,1803 "inv": 2236321,1804 "mul": 10917800501805 },1806 "params": {1807 "alg": "rho",1808 "aut3": false,1809 "beta": null,1810 "cycle_check": 32,1811 "dp": 12,1812 "instance": {1813 "a": "56700677092015278",1814 "b": "47166927960047756",1815 "gx": "35891805145748593",1816 "gy": "35626011912978387",1817 "n": "56850533921988113",1818 "p": "56850534038358637",1819 "qx": "19908255325934568",1820 "qy": "55555436581045530"1821 },1822 "lambda": null,1823 "max_walk_len": 262144,1824 "mixed": 0,1825 "mode": "dp",1826 "neg": true,1827 "r": 128,1828 "seed": 34,1829 "threads": 16,1830 "walks": 1281831 },1832 "peak_rss_bytes": 16990208,1833 "process_cpu_s": 6.492710000000017,1834 "restarts": 39750,1835 "seed": 34,1836 "table_entries": 37701,1837 "threads": 16,1838 "useless_collisions": 0,1839 "wall_s": 0.4071191671840 },1841 {1842 "abandoned_walks": 0,1843 "bits": 56,1844 "class_size": 2,1845 "cpu_s": 12.655468292,1846 "d": "48742791841968097",1847 "doubling_fallbacks": 0,1848 "dp_bytes": 3784704,1849 "dp_count": 64902,1850 "engine": "rho_engine 0.1.0",1851 "expected_d": "48742791841968097",1852 "expected_iterations": 211306187.62945345,1853 "fruitless_by_length": [1854 {1855 "count": 54,1856 "length": 21857 },1858 {1859 "count": 4133,1860 "length": 41861 },1862 {1863 "count": 74,1864 "length": 61865 },1866 {1867 "count": 1,1868 "length": 81869 }1870 ],1871 "fruitless_cycles": 4262,1872 "group_ops": 269297885,1873 "group_ops_per_cpu_s": 21279171.87941859,1874 "group_ops_per_wall_s": 579717499.829151,1875 "iterations": 265466443,1876 "label": "g56b-3/t28",1877 "lookahead_rejections": 2101264,1878 "match": true,1879 "ok": true,1880 "ops": {1881 "add": 269293408,1882 "dbl": 4477,1883 "inv": 3841977,1884 "mul": 18740095871885 },1886 "params": {1887 "alg": "rho",1888 "aut3": false,1889 "beta": null,1890 "cycle_check": 32,1891 "dp": 12,1892 "instance": {1893 "a": "56700677092015278",1894 "b": "47166927960047756",1895 "gx": "35891805145748593",1896 "gy": "35626011912978387",1897 "n": "56850533921988113",1898 "p": "56850534038358637",1899 "qx": "19908255325934568",1900 "qy": "55555436581045530"1901 },1902 "lambda": null,1903 "max_walk_len": 262144,1904 "mixed": 0,1905 "mode": "dp",1906 "neg": true,1907 "r": 128,1908 "seed": 34,1909 "threads": 28,1910 "walks": 1281911 },1912 "peak_rss_bytes": 16990208,1913 "process_cpu_s": 12.65950700000002,1914 "restarts": 68487,1915 "seed": 34,1916 "table_entries": 64902,1917 "threads": 28,1918 "useless_collisions": 0,1919 "wall_s": 0.4645329581920 },1921 {1922 "abandoned_walks": 0,1923 "bits": 56,1924 "class_size": 2,1925 "cpu_s": 1.733484166,1926 "d": "25295776470607517",1927 "doubling_fallbacks": 0,1928 "dp_bytes": 3784704,1929 "dp_count": 10692,1930 "engine": "rho_engine 0.1.0",1931 "expected_d": "25295776470607517",1932 "expected_iterations": 170064300.12150025,1933 "fruitless_by_length": [1934 {1935 "count": 4,1936 "length": 21937 },1938 {1939 "count": 688,1940 "length": 41941 },1942 {1943 "count": 9,1944 "length": 61945 },1946 {1947 "count": 1,1948 "length": 81949 }1950 ],1951 "fruitless_cycles": 702,1952 "group_ops": 45331850,1953 "group_ops_per_cpu_s": 26150714.779589165,1954 "group_ops_per_wall_s": 26142120.66177347,1955 "iterations": 44703040,1956 "label": "g56b-4/t1",1957 "lookahead_rejections": 353182,1958 "match": true,1959 "ok": true,1960 "ops": {1961 "add": 45330934,1962 "dbl": 916,1963 "inv": 631152,1964 "mul": 3155204251965 },1966 "params": {1967 "alg": "rho",1968 "aut3": false,1969 "beta": null,1970 "cycle_check": 32,1971 "dp": 12,1972 "instance": {1973 "a": "16132398560478124",1974 "b": "5159991224733009",1975 "gx": "21911463354954208",1976 "gy": "2276128536172658",1977 "n": "36824463722586899",1978 "p": "36824463576249247",1979 "qx": "8746543998899447",1980 "qy": "19085742760833701"1981 },1982 "lambda": null,1983 "max_walk_len": 262144,1984 "mixed": 0,1985 "mode": "dp",1986 "neg": true,1987 "r": 128,1988 "seed": 34,1989 "threads": 1,1990 "walks": 1281991 },1992 "peak_rss_bytes": 16990208,1993 "process_cpu_s": 1.7340240000000051,1994 "restarts": 10821,1995 "seed": 34,1996 "table_entries": 10692,1997 "threads": 1,1998 "useless_collisions": 0,1999 "wall_s": 1.7340540422000 },2001 {2002 "abandoned_walks": 0,2003 "bits": 56,2004 "class_size": 2,2005 "cpu_s": 3.5323562070000003,2006 "d": "25295776470607517",2007 "doubling_fallbacks": 0,2008 "dp_bytes": 3784704,2009 "dp_count": 21622,2010 "engine": "rho_engine 0.1.0",2011 "expected_d": "25295776470607517",2012 "expected_iterations": 170064300.12150025,2013 "fruitless_by_length": [2014 {2015 "count": 18,2016 "length": 22017 },2018 {2019 "count": 1394,2020 "length": 42021 },2022 {2023 "count": 25,2024 "length": 62025 },2026 {2027 "count": 1,2028 "length": 82029 }2030 ],2031 "fruitless_cycles": 1438,2032 "group_ops": 90124652,2033 "group_ops_per_cpu_s": 25514032.7641368,2034 "group_ops_per_wall_s": 51008534.3054942,2035 "iterations": 88868026,2036 "label": "g56b-4/t2",2037 "lookahead_rejections": 703166,2038 "match": true,2039 "ok": true,2040 "ops": {2041 "add": 90123000,2042 "dbl": 1652,2043 "inv": 1260466,2044 "mul": 6272668052045 },2046 "params": {2047 "alg": "rho",2048 "aut3": false,2049 "beta": null,2050 "cycle_check": 32,2051 "dp": 12,2052 "instance": {2053 "a": "16132398560478124",2054 "b": "5159991224733009",2055 "gx": "21911463354954208",2056 "gy": "2276128536172658",2057 "n": "36824463722586899",2058 "p": "36824463576249247",2059 "qx": "8746543998899447",2060 "qy": "19085742760833701"2061 },2062 "lambda": null,2063 "max_walk_len": 262144,2064 "mixed": 0,2065 "mode": "dp",2066 "neg": true,2067 "r": 128,2068 "seed": 34,2069 "threads": 2,2070 "walks": 1282071 },2072 "peak_rss_bytes": 16990208,2073 "process_cpu_s": 3.533006999999998,2074 "restarts": 21879,2075 "seed": 34,2076 "table_entries": 21622,2077 "threads": 2,2078 "useless_collisions": 0,2079 "wall_s": 1.76685437499999992080 },2081 {2082 "abandoned_walks": 0,2083 "bits": 56,2084 "class_size": 2,2085 "cpu_s": 6.511529583,2086 "d": "25295776470607517",2087 "doubling_fallbacks": 0,2088 "dp_bytes": 3784704,2089 "dp_count": 39221,2090 "engine": "rho_engine 0.1.0",2091 "expected_d": "25295776470607517",2092 "expected_iterations": 170064300.12150025,2093 "fruitless_by_length": [2094 {2095 "count": 40,2096 "length": 22097 },2098 {2099 "count": 2598,2100 "length": 42101 },2102 {2103 "count": 44,2104 "length": 62105 },2106 {2107 "count": 1,2108 "length": 82109 }2110 ],2111 "fruitless_cycles": 2683,2112 "group_ops": 163322436,2113 "group_ops_per_cpu_s": 25082038.546886843,2114 "group_ops_per_wall_s": 100190273.59491345,2115 "iterations": 161046479,2116 "label": "g56b-4/t4",2117 "lookahead_rejections": 1274562,2118 "match": true,2119 "ok": true,2120 "ops": {2121 "add": 163319539,2122 "dbl": 2897,2123 "inv": 2283007,2124 "mul": 11367281962125 },2126 "params": {2127 "alg": "rho",2128 "aut3": false,2129 "beta": null,2130 "cycle_check": 32,2131 "dp": 12,2132 "instance": {2133 "a": "16132398560478124",2134 "b": "5159991224733009",2135 "gx": "21911463354954208",2136 "gy": "2276128536172658",2137 "n": "36824463722586899",2138 "p": "36824463576249247",2139 "qx": "8746543998899447",2140 "qy": "19085742760833701"2141 },2142 "lambda": null,2143 "max_walk_len": 262144,2144 "mixed": 0,2145 "mode": "dp",2146 "neg": true,2147 "r": 128,2148 "seed": 34,2149 "threads": 4,2150 "walks": 1282151 },2152 "peak_rss_bytes": 16990208,2153 "process_cpu_s": 6.512270000000001,2154 "restarts": 39734,2155 "seed": 34,2156 "table_entries": 39221,2157 "threads": 4,2158 "useless_collisions": 0,2159 "wall_s": 1.6301226672160 },2161 {2162 "abandoned_walks": 0,2163 "bits": 56,2164 "class_size": 2,2165 "cpu_s": 6.311472247999999,2166 "d": "25295776470607517",2167 "doubling_fallbacks": 0,2168 "dp_bytes": 3784704,2169 "dp_count": 37221,2170 "engine": "rho_engine 0.1.0",2171 "expected_d": "25295776470607517",2172 "expected_iterations": 170064300.12150025,2173 "fruitless_by_length": [2174 {2175 "count": 33,2176 "length": 22177 },2178 {2179 "count": 2452,2180 "length": 42181 },2182 {2183 "count": 40,2184 "length": 62185 },2186 {2187 "count": 1,2188 "length": 82189 }2190 ],2191 "fruitless_cycles": 2526,2192 "group_ops": 154879002,2193 "group_ops_per_cpu_s": 24539282.7401053,2194 "group_ops_per_wall_s": 195890384.48827747,2195 "iterations": 152706097,2196 "label": "g56b-4/t8",2197 "lookahead_rejections": 1208508,2198 "match": true,2199 "ok": true,2200 "ops": {2201 "add": 154876262,2202 "dbl": 2740,2203 "inv": 2179536,2204 "mul": 10779036082205 },2206 "params": {2207 "alg": "rho",2208 "aut3": false,2209 "beta": null,2210 "cycle_check": 32,2211 "dp": 12,2212 "instance": {2213 "a": "16132398560478124",2214 "b": "5159991224733009",2215 "gx": "21911463354954208",2216 "gy": "2276128536172658",2217 "n": "36824463722586899",2218 "p": "36824463576249247",2219 "qx": "8746543998899447",2220 "qy": "19085742760833701"2221 },2222 "lambda": null,2223 "max_walk_len": 262144,2224 "mixed": 0,2225 "mode": "dp",2226 "neg": true,2227 "r": 128,2228 "seed": 34,2229 "threads": 8,2230 "walks": 1282231 },2232 "peak_rss_bytes": 16990208,2233 "process_cpu_s": 6.31243699999996,2234 "restarts": 38246,2235 "seed": 34,2236 "table_entries": 37221,2237 "threads": 8,2238 "useless_collisions": 0,2239 "wall_s": 0.7906411662240 },2241 {2242 "abandoned_walks": 0,2243 "bits": 56,2244 "class_size": 2,2245 "cpu_s": 5.022947665,2246 "d": "25295776470607517",2247 "doubling_fallbacks": 0,2248 "dp_bytes": 3784704,2249 "dp_count": 29679,2250 "engine": "rho_engine 0.1.0",2251 "expected_d": "25295776470607517",2252 "expected_iterations": 170064300.12150025,2253 "fruitless_by_length": [2254 {2255 "count": 23,2256 "length": 22257 },2258 {2259 "count": 1905,2260 "length": 42261 },2262 {2263 "count": 38,2264 "length": 62265 }2266 ],2267 "fruitless_cycles": 1966,2268 "group_ops": 123013012,2269 "group_ops_per_cpu_s": 24490203.801476397,2270 "group_ops_per_wall_s": 390510834.93416584,2271 "iterations": 121252825,2272 "label": "g56b-4/t16",2273 "lookahead_rejections": 959623,2274 "match": true,2275 "ok": true,2276 "ops": {2277 "add": 123010832,2278 "dbl": 2180,2279 "inv": 1765223,2280 "mul": 8559914522281 },2282 "params": {2283 "alg": "rho",2284 "aut3": false,2285 "beta": null,2286 "cycle_check": 32,2287 "dp": 12,2288 "instance": {2289 "a": "16132398560478124",2290 "b": "5159991224733009",2291 "gx": "21911463354954208",2292 "gy": "2276128536172658",2293 "n": "36824463722586899",2294 "p": "36824463576249247",2295 "qx": "8746543998899447",2296 "qy": "19085742760833701"2297 },2298 "lambda": null,2299 "max_walk_len": 262144,2300 "mixed": 0,2301 "mode": "dp",2302 "neg": true,2303 "r": 128,2304 "seed": 34,2305 "threads": 16,2306 "walks": 1282307 },2308 "peak_rss_bytes": 16990208,2309 "process_cpu_s": 5.024772999999982,2310 "restarts": 31728,2311 "seed": 34,2312 "table_entries": 29679,2313 "threads": 16,2314 "useless_collisions": 0,2315 "wall_s": 0.3150053752316 },2317 {2318 "abandoned_walks": 0,2319 "bits": 56,2320 "class_size": 2,2321 "cpu_s": 6.0263215830000005,2322 "d": "25295776470607517",2323 "doubling_fallbacks": 0,2324 "dp_bytes": 3784704,2325 "dp_count": 30516,2326 "engine": "rho_engine 0.1.0",2327 "expected_d": "25295776470607517",2328 "expected_iterations": 170064300.12150025,2329 "fruitless_by_length": [2330 {2331 "count": 31,2332 "length": 22333 },2334 {2335 "count": 1992,2336 "length": 42337 },2338 {2339 "count": 31,2340 "length": 62341 }2342 ],2343 "fruitless_cycles": 2054,2344 "group_ops": 127782850,2345 "group_ops_per_cpu_s": 21204120.66300445,2346 "group_ops_per_wall_s": 583199943.4320538,2347 "iterations": 125927119,2348 "label": "g56b-4/t28",2349 "lookahead_rejections": 995526,2350 "match": true,2351 "ok": true,2352 "ops": {2353 "add": 127780582,2354 "dbl": 2268,2355 "inv": 1862096,2356 "mul": 8890696632357 },2358 "params": {2359 "alg": "rho",2360 "aut3": false,2361 "beta": null,2362 "cycle_check": 32,2363 "dp": 12,2364 "instance": {2365 "a": "16132398560478124",2366 "b": "5159991224733009",2367 "gx": "21911463354954208",2368 "gy": "2276128536172658",2369 "n": "36824463722586899",2370 "p": "36824463576249247",2371 "qx": "8746543998899447",2372 "qy": "19085742760833701"2373 },2374 "lambda": null,2375 "max_walk_len": 262144,2376 "mixed": 0,2377 "mode": "dp",2378 "neg": true,2379 "r": 128,2380 "seed": 34,2381 "threads": 28,2382 "walks": 1282383 },2384 "peak_rss_bytes": 16990208,2385 "process_cpu_s": 6.031102999999973,2386 "restarts": 34101,2387 "seed": 34,2388 "table_entries": 30516,2389 "threads": 28,2390 "useless_collisions": 0,2391 "wall_s": 0.2191064172392 },2393 {2394 "abandoned_walks": 0,2395 "bits": 56,2396 "class_size": 2,2397 "cpu_s": 3.9841699170000004,2398 "d": "20833530400606715",2399 "doubling_fallbacks": 0,2400 "dp_bytes": 3784704,2401 "dp_count": 25099,2402 "engine": "rho_engine 0.1.0",2403 "expected_d": "20833530400606715",2404 "expected_iterations": 171346208.10445878,2405 "fruitless_by_length": [2406 {2407 "count": 16,2408 "length": 22409 },2410 {2411 "count": 1624,2412 "length": 42413 },2414 {2415 "count": 27,2416 "length": 62417 }2418 ],2419 "fruitless_cycles": 1667,2420 "group_ops": 104246547,2421 "group_ops_per_cpu_s": 26165186.016588256,2422 "group_ops_per_wall_s": 26161468.64619884,2423 "iterations": 102795608,2424 "label": "g56b-5/t1",2425 "lookahead_rejections": 813216,2426 "match": true,2427 "ok": true,2428 "ops": {2429 "add": 104244666,2430 "dbl": 1881,2431 "inv": 1455541,2432 "mul": 7255647432433 },2434 "params": {2435 "alg": "rho",2436 "aut3": false,2437 "beta": null,2438 "cycle_check": 32,2439 "dp": 12,2440 "instance": {2441 "a": "3205829217079975",2442 "b": "19144635302153944",2443 "gx": "28172759685591731",2444 "gy": "18243921166644232",2445 "n": "37381705738620629",2446 "p": "37381705673799481",2447 "qx": "31973160565080049",2448 "qy": "36723304394384875"2449 },2450 "lambda": null,2451 "max_walk_len": 262144,2452 "mixed": 0,2453 "mode": "dp",2454 "neg": true,2455 "r": 128,2456 "seed": 34,2457 "threads": 1,2458 "walks": 1282459 },2460 "peak_rss_bytes": 16990208,2461 "process_cpu_s": 3.9847179999999867,2462 "restarts": 25228,2463 "seed": 34,2464 "table_entries": 25099,2465 "threads": 1,2466 "useless_collisions": 0,2467 "wall_s": 3.9847360412468 },2469 {2470 "abandoned_walks": 0,2471 "bits": 56,2472 "class_size": 2,2473 "cpu_s": 2.563267459,2474 "d": "20833530400606715",2475 "doubling_fallbacks": 0,2476 "dp_bytes": 3784704,2477 "dp_count": 15696,2478 "engine": "rho_engine 0.1.0",2479 "expected_d": "20833530400606715",2480 "expected_iterations": 171346208.10445878,2481 "fruitless_by_length": [2482 {2483 "count": 14,2484 "length": 22485 },2486 {2487 "count": 1037,2488 "length": 42489 },2490 {2491 "count": 26,2492 "length": 62493 },2494 {2495 "count": 1,2496 "length": 82497 }2498 ],2499 "fruitless_cycles": 1078,2500 "group_ops": 65073536,2501 "group_ops_per_cpu_s": 25386947.34001225,2502 "group_ops_per_wall_s": 50728439.95234187,2503 "iterations": 64161208,2504 "label": "g56b-5/t2",2505 "lookahead_rejections": 507694,2506 "match": true,2507 "ok": true,2508 "ops": {2509 "add": 65072244,2510 "dbl": 1292,2511 "inv": 915295,2512 "mul": 4528910612513 },2514 "params": {2515 "alg": "rho",2516 "aut3": false,2517 "beta": null,2518 "cycle_check": 32,2519 "dp": 12,2520 "instance": {2521 "a": "3205829217079975",2522 "b": "19144635302153944",2523 "gx": "28172759685591731",2524 "gy": "18243921166644232",2525 "n": "37381705738620629",2526 "p": "37381705673799481",2527 "qx": "31973160565080049",2528 "qy": "36723304394384875"2529 },2530 "lambda": null,2531 "max_walk_len": 262144,2532 "mixed": 0,2533 "mode": "dp",2534 "neg": true,2535 "r": 128,2536 "seed": 34,2537 "threads": 2,2538 "walks": 1282539 },2540 "peak_rss_bytes": 16990208,2541 "process_cpu_s": 2.5638600000000054,2542 "restarts": 15953,2543 "seed": 34,2544 "table_entries": 15696,2545 "threads": 2,2546 "useless_collisions": 0,2547 "wall_s": 1.2827821252548 },2549 {2550 "abandoned_walks": 0,2551 "bits": 56,2552 "class_size": 2,2553 "cpu_s": 5.189006416,2554 "d": "20833530400606715",2555 "doubling_fallbacks": 0,2556 "dp_bytes": 3784704,2557 "dp_count": 31829,2558 "engine": "rho_engine 0.1.0",2559 "expected_d": "20833530400606715",2560 "expected_iterations": 171346208.10445878,2561 "fruitless_by_length": [2562 {2563 "count": 25,2564 "length": 22565 },2566 {2567 "count": 2009,2568 "length": 42569 },2570 {2571 "count": 47,2572 "length": 62573 },2574 {2575 "count": 1,2576 "length": 82577 }2578 ],2579 "fruitless_cycles": 2082,2580 "group_ops": 130403724,2581 "group_ops_per_cpu_s": 25130769.466367915,2582 "group_ops_per_wall_s": 100376409.63874665,2583 "iterations": 128571274,2584 "label": "g56b-5/t4",2585 "lookahead_rejections": 1015994,2586 "match": true,2587 "ok": true,2588 "ops": {2589 "add": 130401428,2590 "dbl": 2296,2591 "inv": 1839338,2592 "mul": 9075470362593 },2594 "params": {2595 "alg": "rho",2596 "aut3": false,2597 "beta": null,2598 "cycle_check": 32,2599 "dp": 12,2600 "instance": {2601 "a": "3205829217079975",2602 "b": "19144635302153944",2603 "gx": "28172759685591731",2604 "gy": "18243921166644232",2605 "n": "37381705738620629",2606 "p": "37381705673799481",2607 "qx": "31973160565080049",2608 "qy": "36723304394384875"2609 },2610 "lambda": null,2611 "max_walk_len": 262144,2612 "mixed": 0,2613 "mode": "dp",2614 "neg": true,2615 "r": 128,2616 "seed": 34,2617 "threads": 4,2618 "walks": 1282619 },2620 "peak_rss_bytes": 16990208,2621 "process_cpu_s": 5.189749000000006,2622 "restarts": 32342,2623 "seed": 34,2624 "table_entries": 31829,2625 "threads": 4,2626 "useless_collisions": 0,2627 "wall_s": 1.2991471252628 },2629 {2630 "abandoned_walks": 0,2631 "bits": 56,2632 "class_size": 2,2633 "cpu_s": 5.904329168,2634 "d": "20833530400606715",2635 "doubling_fallbacks": 0,2636 "dp_bytes": 3784704,2637 "dp_count": 35111,2638 "engine": "rho_engine 0.1.0",2639 "expected_d": "20833530400606715",2640 "expected_iterations": 171346208.10445878,2641 "fruitless_by_length": [2642 {2643 "count": 27,2644 "length": 22645 },2646 {2647 "count": 2333,2648 "length": 42649 },2650 {2651 "count": 43,2652 "length": 62653 },2654 {2655 "count": 1,2656 "length": 82657 }2658 ],2659 "fruitless_cycles": 2404,2660 "group_ops": 145027353,2661 "group_ops_per_cpu_s": 24562884.092914786,2662 "group_ops_per_wall_s": 195981320.4217263,2663 "iterations": 142985010,2664 "label": "g56b-5/t8",2665 "lookahead_rejections": 1130473,2666 "match": true,2667 "ok": true,2668 "ops": {2669 "add": 145024735,2670 "dbl": 2618,2671 "inv": 2049864,2672 "mul": 10093043532673 },2674 "params": {2675 "alg": "rho",2676 "aut3": false,2677 "beta": null,2678 "cycle_check": 32,2679 "dp": 12,2680 "instance": {2681 "a": "3205829217079975",2682 "b": "19144635302153944",2683 "gx": "28172759685591731",2684 "gy": "18243921166644232",2685 "n": "37381705738620629",2686 "p": "37381705673799481",2687 "qx": "31973160565080049",2688 "qy": "36723304394384875"2689 },2690 "lambda": null,2691 "max_walk_len": 262144,2692 "mixed": 0,2693 "mode": "dp",2694 "neg": true,2695 "r": 128,2696 "seed": 34,2697 "threads": 8,2698 "walks": 1282699 },2700 "peak_rss_bytes": 16990208,2701 "process_cpu_s": 5.905333999999982,2702 "restarts": 36136,2703 "seed": 34,2704 "table_entries": 35111,2705 "threads": 8,2706 "useless_collisions": 0,2707 "wall_s": 0.7400062708 },2709 {2710 "abandoned_walks": 0,2711 "bits": 56,2712 "class_size": 2,2713 "cpu_s": 11.865510877999998,2714 "d": "20833530400606715",2715 "doubling_fallbacks": 0,2716 "dp_bytes": 3784704,2717 "dp_count": 69486,2718 "engine": "rho_engine 0.1.0",2719 "expected_d": "20833530400606715",2720 "expected_iterations": 171346208.10445878,2721 "fruitless_by_length": [2722 {2723 "count": 67,2724 "length": 22725 },2726 {2727 "count": 4530,2728 "length": 42729 },2730 {2731 "count": 83,2732 "length": 62733 },2734 {2735 "count": 1,2736 "length": 82737 },2738 {2739 "count": 1,2740 "length": 102741 }2742 ],2743 "fruitless_cycles": 4682,2744 "group_ops": 290446879,2745 "group_ops_per_cpu_s": 24478244.720041633,2746 "group_ops_per_wall_s": 390733915.6849167,2747 "iterations": 286381085,2748 "label": "g56b-5/t16",2749 "lookahead_rejections": 2264863,2750 "match": true,2751 "ok": true,2752 "ops": {2753 "add": 290441983,2754 "dbl": 4896,2755 "inv": 4079532,2756 "mul": 20214389762757 },2758 "params": {2759 "alg": "rho",2760 "aut3": false,2761 "beta": null,2762 "cycle_check": 32,2763 "dp": 12,2764 "instance": {2765 "a": "3205829217079975",2766 "b": "19144635302153944",2767 "gx": "28172759685591731",2768 "gy": "18243921166644232",2769 "n": "37381705738620629",2770 "p": "37381705673799481",2771 "qx": "31973160565080049",2772 "qy": "36723304394384875"2773 },2774 "lambda": null,2775 "max_walk_len": 262144,2776 "mixed": 0,2777 "mode": "dp",2778 "neg": true,2779 "r": 128,2780 "seed": 34,2781 "threads": 16,2782 "walks": 1282783 },2784 "peak_rss_bytes": 16990208,2785 "process_cpu_s": 11.867482000000024,2786 "restarts": 71535,2787 "seed": 34,2788 "table_entries": 69486,2789 "threads": 16,2790 "useless_collisions": 0,2791 "wall_s": 0.743336752792 },2793 {2794 "abandoned_walks": 0,2795 "bits": 56,2796 "class_size": 2,2797 "cpu_s": 6.193730125,2798 "d": "20833530400606715",2799 "doubling_fallbacks": 0,2800 "dp_bytes": 3784704,2801 "dp_count": 31644,2802 "engine": "rho_engine 0.1.0",2803 "expected_d": "20833530400606715",2804 "expected_iterations": 171346208.10445878,2805 "fruitless_by_length": [2806 {2807 "count": 34,2808 "length": 22809 },2810 {2811 "count": 1994,2812 "length": 42813 },2814 {2815 "count": 30,2816 "length": 62817 },2818 {2819 "count": 1,2820 "length": 82821 },2822 {2823 "count": 1,2824 "length": 102825 }2826 ],2827 "fruitless_cycles": 2060,2828 "group_ops": 131773746,2829 "group_ops_per_cpu_s": 21275345.12169272,2830 "group_ops_per_wall_s": 582628511.9287442,2831 "iterations": 129858165,2832 "label": "g56b-5/t28",2833 "lookahead_rejections": 1026759,2834 "match": true,2835 "ok": true,2836 "ops": {2837 "add": 131771472,2838 "dbl": 2274,2839 "inv": 1921707,2840 "mul": 9168306072841 },2842 "params": {2843 "alg": "rho",2844 "aut3": false,2845 "beta": null,2846 "cycle_check": 32,2847 "dp": 12,2848 "instance": {2849 "a": "3205829217079975",2850 "b": "19144635302153944",2851 "gx": "28172759685591731",2852 "gy": "18243921166644232",2853 "n": "37381705738620629",2854 "p": "37381705673799481",2855 "qx": "31973160565080049",2856 "qy": "36723304394384875"2857 },2858 "lambda": null,2859 "max_walk_len": 262144,2860 "mixed": 0,2861 "mode": "dp",2862 "neg": true,2863 "r": 128,2864 "seed": 34,2865 "threads": 28,2866 "walks": 1282867 },2868 "peak_rss_bytes": 16990208,2869 "process_cpu_s": 6.198279999999983,2870 "restarts": 35229,2871 "seed": 34,2872 "table_entries": 31644,2873 "threads": 28,2874 "useless_collisions": 0,2875 "wall_s": 0.2261711252876 },2877 {2878 "abandoned_walks": 0,2879 "bits": 56,2880 "class_size": 2,2881 "cpu_s": 15.997906917,2882 "d": "36701801994878106",2883 "doubling_fallbacks": 0,2884 "dp_bytes": 7569408,2885 "dp_count": 99924,2886 "engine": "rho_engine 0.1.0",2887 "expected_d": "36701801994878106",2888 "expected_iterations": 233267097.62343204,2889 "fruitless_by_length": [2890 {2891 "count": 103,2892 "length": 22893 },2894 {2895 "count": 6326,2896 "length": 42897 },2898 {2899 "count": 94,2900 "length": 62901 },2902 {2903 "count": 5,2904 "length": 82905 }2906 ],2907 "fruitless_cycles": 6528,2908 "group_ops": 415474496,2909 "group_ops_per_cpu_s": 25970553.407739896,2910 "group_ops_per_wall_s": 25968647.506023426,2911 "iterations": 409705073,2912 "label": "g56b-6/t1",2913 "lookahead_rejections": 3240116,2914 "match": true,2915 "ok": true,2916 "ops": {2917 "add": 415467753,2918 "dbl": 6743,2919 "inv": 5788244,2920 "mul": 28917866382921 },2922 "params": {2923 "alg": "rho",2924 "aut3": false,2925 "beta": null,2926 "cycle_check": 32,2927 "dp": 12,2928 "instance": {2929 "a": "43543479109457891",2930 "b": "36155361392104635",2931 "gx": "42626047369311996",2932 "gy": "35121290751868282",2933 "n": "69281469411998059",2934 "p": "69281469580316951",2935 "qx": "51509879397823700",2936 "qy": "5072157630125903"2937 },2938 "lambda": null,2939 "max_walk_len": 262144,2940 "mixed": 0,2941 "mode": "dp",2942 "neg": true,2943 "r": 128,2944 "seed": 34,2945 "threads": 1,2946 "walks": 1282947 },2948 "peak_rss_bytes": 16990208,2949 "process_cpu_s": 15.998496999999986,2950 "restarts": 100053,2951 "seed": 34,2952 "table_entries": 99924,2953 "threads": 1,2954 "useless_collisions": 0,2955 "wall_s": 15.9990810422956 },2957 {2958 "abandoned_walks": 0,2959 "bits": 56,2960 "class_size": 2,2961 "cpu_s": 15.860846333,2962 "d": "36701801994878106",2963 "doubling_fallbacks": 0,2964 "dp_bytes": 7569408,2965 "dp_count": 98204,2966 "engine": "rho_engine 0.1.0",2967 "expected_d": "36701801994878106",2968 "expected_iterations": 233267097.62343204,2969 "fruitless_by_length": [2970 {2971 "count": 102,2972 "length": 22973 },2974 {2975 "count": 6202,2976 "length": 42977 },2978 {2979 "count": 93,2980 "length": 62981 },2982 {2983 "count": 3,2984 "length": 82985 }2986 ],2987 "fruitless_cycles": 6400,2988 "group_ops": 407247929,2989 "group_ops_per_cpu_s": 25676305.06278104,2990 "group_ops_per_wall_s": 51346835.53022833,2991 "iterations": 401582666,2992 "label": "g56b-6/t2",2993 "lookahead_rejections": 3176285,2994 "match": true,2995 "ok": true,2996 "ops": {2997 "add": 407241314,2998 "dbl": 6615,2999 "inv": 5683327,3000 "mul": 28344895693001 },3002 "params": {3003 "alg": "rho",3004 "aut3": false,3005 "beta": null,3006 "cycle_check": 32,3007 "dp": 12,3008 "instance": {3009 "a": "43543479109457891",3010 "b": "36155361392104635",3011 "gx": "42626047369311996",3012 "gy": "35121290751868282",3013 "n": "69281469411998059",3014 "p": "69281469580316951",3015 "qx": "51509879397823700",3016 "qy": "5072157630125903"3017 },3018 "lambda": null,3019 "max_walk_len": 262144,3020 "mixed": 0,3021 "mode": "dp",3022 "neg": true,3023 "r": 128,3024 "seed": 34,3025 "threads": 2,3026 "walks": 1283027 },3028 "peak_rss_bytes": 16990208,3029 "process_cpu_s": 15.861515999999995,3030 "restarts": 98461,3031 "seed": 34,3032 "table_entries": 98204,3033 "threads": 2,3034 "useless_collisions": 0,3035 "wall_s": 7.9313150423036 },3037 {3038 "abandoned_walks": 0,3039 "bits": 56,3040 "class_size": 2,3041 "cpu_s": 7.17434725,3042 "d": "36701801994878106",3043 "doubling_fallbacks": 0,3044 "dp_bytes": 7569408,3045 "dp_count": 42891,3046 "engine": "rho_engine 0.1.0",3047 "expected_d": "36701801994878106",3048 "expected_iterations": 233267097.62343204,3049 "fruitless_by_length": [3050 {3051 "count": 40,3052 "length": 23053 },3054 {3055 "count": 2715,3056 "length": 43057 },3058 {3059 "count": 45,3060 "length": 63061 },3062 {3063 "count": 1,3064 "length": 83065 }3066 ],3067 "fruitless_cycles": 2801,3068 "group_ops": 178862324,3069 "group_ops_per_cpu_s": 24930814.995050594,3070 "group_ops_per_wall_s": 99564101.38066006,3071 "iterations": 176368077,3072 "label": "g56b-6/t4",3073 "lookahead_rejections": 1394986,3074 "match": true,3075 "ok": true,3076 "ops": {3077 "add": 178859308,3078 "dbl": 3016,3079 "inv": 2502123,3080 "mul": 12448771193081 },3082 "params": {3083 "alg": "rho",3084 "aut3": false,3085 "beta": null,3086 "cycle_check": 32,3087 "dp": 12,3088 "instance": {3089 "a": "43543479109457891",3090 "b": "36155361392104635",3091 "gx": "42626047369311996",3092 "gy": "35121290751868282",3093 "n": "69281469411998059",3094 "p": "69281469580316951",3095 "qx": "51509879397823700",3096 "qy": "5072157630125903"3097 },3098 "lambda": null,3099 "max_walk_len": 262144,3100 "mixed": 0,3101 "mode": "dp",3102 "neg": true,3103 "r": 128,3104 "seed": 34,3105 "threads": 4,3106 "walks": 1283107 },3108 "peak_rss_bytes": 16990208,3109 "process_cpu_s": 7.17506000000003,3110 "restarts": 43404,3111 "seed": 34,3112 "table_entries": 42891,3113 "threads": 4,3114 "useless_collisions": 0,3115 "wall_s": 1.79645395799999993116 },3117 {3118 "abandoned_walks": 0,3119 "bits": 56,3120 "class_size": 2,3121 "cpu_s": 11.856346999000001,3122 "d": "36701801994878106",3123 "doubling_fallbacks": 0,3124 "dp_bytes": 7569408,3125 "dp_count": 69342,3126 "engine": "rho_engine 0.1.0",3127 "expected_d": "36701801994878106",3128 "expected_iterations": 233267097.62343204,3129 "fruitless_by_length": [3130 {3131 "count": 69,3132 "length": 23133 },3134 {3135 "count": 4374,3136 "length": 43137 },3138 {3139 "count": 56,3140 "length": 63141 },3142 {3143 "count": 2,3144 "length": 83145 }3146 ],3147 "fruitless_cycles": 4501,3148 "group_ops": 288001163,3149 "group_ops_per_cpu_s": 24290885.128808297,3150 "group_ops_per_wall_s": 193893863.49863037,3151 "iterations": 283973532,3152 "label": "g56b-6/t8",3153 "lookahead_rejections": 2247527,3154 "match": true,3155 "ok": true,3156 "ops": {3157 "add": 287996447,3158 "dbl": 4716,3159 "inv": 4038815,3160 "mul": 20044408853161 },3162 "params": {3163 "alg": "rho",3164 "aut3": false,3165 "beta": null,3166 "cycle_check": 32,3167 "dp": 12,3168 "instance": {3169 "a": "43543479109457891",3170 "b": "36155361392104635",3171 "gx": "42626047369311996",3172 "gy": "35121290751868282",3173 "n": "69281469411998059",3174 "p": "69281469580316951",3175 "qx": "51509879397823700",3176 "qy": "5072157630125903"3177 },3178 "lambda": null,3179 "max_walk_len": 262144,3180 "mixed": 0,3181 "mode": "dp",3182 "neg": true,3183 "r": 128,3184 "seed": 34,3185 "threads": 8,3186 "walks": 1283187 },3188 "peak_rss_bytes": 16990208,3189 "process_cpu_s": 11.857485999999994,3190 "restarts": 70367,3191 "seed": 34,3192 "table_entries": 69342,3193 "threads": 8,3194 "useless_collisions": 0,3195 "wall_s": 1.4853547083196 },3197 {3198 "abandoned_walks": 0,3199 "bits": 56,3200 "class_size": 2,3201 "cpu_s": 8.744070248,3202 "d": "36701801994878106",3203 "doubling_fallbacks": 0,3204 "dp_bytes": 7569408,3205 "dp_count": 50975,3206 "engine": "rho_engine 0.1.0",3207 "expected_d": "36701801994878106",3208 "expected_iterations": 233267097.62343204,3209 "fruitless_by_length": [3210 {3211 "count": 50,3212 "length": 23213 },3214 {3215 "count": 3181,3216 "length": 43217 },3218 {3219 "count": 39,3220 "length": 63221 }3222 ],3223 "fruitless_cycles": 3270,3224 "group_ops": 211644451,3225 "group_ops_per_cpu_s": 24204340.198251344,3226 "group_ops_per_wall_s": 386287662.26640356,3227 "iterations": 208652891,3228 "label": "g56b-6/t16",3229 "lookahead_rejections": 1648955,3230 "match": true,3231 "ok": true,3232 "ops": {3233 "add": 211640966,3234 "dbl": 3485,3235 "inv": 3001993,3236 "mul": 14728752003237 },3238 "params": {3239 "alg": "rho",3240 "aut3": false,3241 "beta": null,3242 "cycle_check": 32,3243 "dp": 12,3244 "instance": {3245 "a": "43543479109457891",3246 "b": "36155361392104635",3247 "gx": "42626047369311996",3248 "gy": "35121290751868282",3249 "n": "69281469411998059",3250 "p": "69281469580316951",3251 "qx": "51509879397823700",3252 "qy": "5072157630125903"3253 },3254 "lambda": null,3255 "max_walk_len": 262144,3256 "mixed": 0,3257 "mode": "dp",3258 "neg": true,3259 "r": 128,3260 "seed": 34,3261 "threads": 16,3262 "walks": 1283263 },3264 "peak_rss_bytes": 16990208,3265 "process_cpu_s": 8.745773999999983,3266 "restarts": 53024,3267 "seed": 34,3268 "table_entries": 50975,3269 "threads": 16,3270 "useless_collisions": 0,3271 "wall_s": 0.5478933753272 },3273 {3274 "abandoned_walks": 0,3275 "bits": 56,3276 "class_size": 2,3277 "cpu_s": 14.226666087,3278 "d": "36701801994878106",3279 "doubling_fallbacks": 0,3280 "dp_bytes": 7569408,3281 "dp_count": 72690,3282 "engine": "rho_engine 0.1.0",3283 "expected_d": "36701801994878106",3284 "expected_iterations": 233267097.62343204,3285 "fruitless_by_length": [3286 {3287 "count": 79,3288 "length": 23289 },3290 {3291 "count": 4643,3292 "length": 43293 },3294 {3295 "count": 67,3296 "length": 63297 }3298 ],3299 "fruitless_cycles": 4789,3300 "group_ops": 301981610,3301 "group_ops_per_cpu_s": 21226449.552783407,3302 "group_ops_per_wall_s": 581830297.7269758,3303 "iterations": 297697032,3304 "label": "g56b-6/t28",3305 "lookahead_rejections": 2355094,3306 "match": true,3307 "ok": true,3308 "ops": {3309 "add": 301976606,3310 "dbl": 5004,3311 "inv": 4297674,3312 "mul": 21014934443313 },3314 "params": {3315 "alg": "rho",3316 "aut3": false,3317 "beta": null,3318 "cycle_check": 32,3319 "dp": 12,3320 "instance": {3321 "a": "43543479109457891",3322 "b": "36155361392104635",3323 "gx": "42626047369311996",3324 "gy": "35121290751868282",3325 "n": "69281469411998059",3326 "p": "69281469580316951",3327 "qx": "51509879397823700",3328 "qy": "5072157630125903"3329 },3330 "lambda": null,3331 "max_walk_len": 262144,3332 "mixed": 0,3333 "mode": "dp",3334 "neg": true,3335 "r": 128,3336 "seed": 34,3337 "threads": 28,3338 "walks": 1283339 },3340 "peak_rss_bytes": 16990208,3341 "process_cpu_s": 14.232589000000019,3342 "restarts": 76275,3343 "seed": 34,3344 "table_entries": 72690,3345 "threads": 28,3346 "useless_collisions": 0,3347 "wall_s": 0.5190200843348 },3349 {3350 "abandoned_walks": 0,3351 "bits": 56,3352 "class_size": 2,3353 "cpu_s": 11.59091475,3354 "d": "6737304137076210",3355 "doubling_fallbacks": 0,3356 "dp_bytes": 3784704,3357 "dp_count": 72907,3358 "engine": "rho_engine 0.1.0",3359 "expected_d": "6737304137076210",3360 "expected_iterations": 192174943.94830614,3361 "fruitless_by_length": [3362 {3363 "count": 85,3364 "length": 23365 },3366 {3367 "count": 4595,3368 "length": 43369 },3370 {3371 "count": 63,3372 "length": 63373 },3374 {3375 "count": 4,3376 "length": 83377 }3378 ],3379 "fruitless_cycles": 4747,3380 "group_ops": 302851338,3381 "group_ops_per_cpu_s": 26128337.97263499,3382 "group_ops_per_wall_s": 26126620.286302287,3383 "iterations": 298647666,3384 "label": "g56b-7/t1",3385 "lookahead_rejections": 2361065,3386 "match": true,3387 "ok": true,3388 "ops": {3389 "add": 302846379,3390 "dbl": 4959,3391 "inv": 4218077,3392 "mul": 21079112463393 },3394 "params": {3395 "alg": "rho",3396 "aut3": false,3397 "beta": null,3398 "cycle_check": 32,3399 "dp": 12,3400 "instance": {3401 "a": "8118772270661172",3402 "b": "46564455481802070",3403 "gx": "37967753966075644",3404 "gy": "30740363483081067",3405 "n": "47022275837492231",3406 "p": "47022275827212407",3407 "qx": "25873868243172807",3408 "qy": "19184239426877354"3409 },3410 "lambda": null,3411 "max_walk_len": 262144,3412 "mixed": 0,3413 "mode": "dp",3414 "neg": true,3415 "r": 128,3416 "seed": 34,3417 "threads": 1,3418 "walks": 1283419 },3420 "peak_rss_bytes": 16990208,3421 "process_cpu_s": 11.591492000000017,3422 "restarts": 73036,3423 "seed": 34,3424 "table_entries": 72907,3425 "threads": 1,3426 "useless_collisions": 0,3427 "wall_s": 11.5916767913428 },3429 {3430 "abandoned_walks": 0,3431 "bits": 56,3432 "class_size": 2,3433 "cpu_s": 6.348334583,3434 "d": "6737304137076210",3435 "doubling_fallbacks": 0,3436 "dp_bytes": 3784704,3437 "dp_count": 38496,3438 "engine": "rho_engine 0.1.0",3439 "expected_d": "6737304137076210",3440 "expected_iterations": 192174943.94830614,3441 "fruitless_by_length": [3442 {3443 "count": 43,3444 "length": 23445 },3446 {3447 "count": 2423,3448 "length": 43449 },3450 {3451 "count": 35,3452 "length": 63453 },3454 {3455 "count": 2,3456 "length": 83457 }3458 ],3459 "fruitless_cycles": 2503,3460 "group_ops": 160364418,3461 "group_ops_per_cpu_s": 25260864.23192544,3462 "group_ops_per_wall_s": 50508629.890657574,3463 "iterations": 158134126,3464 "label": "g56b-7/t2",3465 "lookahead_rejections": 1250570,3466 "match": true,3467 "ok": true,3468 "ops": {3469 "add": 160361703,3470 "dbl": 2715,3471 "inv": 2237480,3472 "mul": 11161554873473 },3474 "params": {3475 "alg": "rho",3476 "aut3": false,3477 "beta": null,3478 "cycle_check": 32,3479 "dp": 12,3480 "instance": {3481 "a": "8118772270661172",3482 "b": "46564455481802070",3483 "gx": "37967753966075644",3484 "gy": "30740363483081067",3485 "n": "47022275837492231",3486 "p": "47022275827212407",3487 "qx": "25873868243172807",3488 "qy": "19184239426877354"3489 },3490 "lambda": null,3491 "max_walk_len": 262144,3492 "mixed": 0,3493 "mode": "dp",3494 "neg": true,3495 "r": 128,3496 "seed": 34,3497 "threads": 2,3498 "walks": 1283499 },3500 "peak_rss_bytes": 16990208,3501 "process_cpu_s": 6.3489830000000325,3502 "restarts": 38753,3503 "seed": 34,3504 "table_entries": 38496,3505 "threads": 2,3506 "useless_collisions": 0,3507 "wall_s": 3.1749904593508 },3509 {3510 "abandoned_walks": 0,3511 "bits": 56,3512 "class_size": 2,3513 "cpu_s": 4.599457374,3514 "d": "6737304137076210",3515 "doubling_fallbacks": 0,3516 "dp_bytes": 3784704,3517 "dp_count": 27482,3518 "engine": "rho_engine 0.1.0",3519 "expected_d": "6737304137076210",3520 "expected_iterations": 192174943.94830614,3521 "fruitless_by_length": [3522 {3523 "count": 37,3524 "length": 23525 },3526 {3527 "count": 1758,3528 "length": 43529 },3530 {3531 "count": 32,3532 "length": 63533 }3534 ],3535 "fruitless_cycles": 1827,3536 "group_ops": 114795234,3537 "group_ops_per_cpu_s": 24958429.802810907,3538 "group_ops_per_wall_s": 99658426.96141495,3539 "iterations": 113191044,3540 "label": "g56b-7/t4",3541 "lookahead_rejections": 895523,3542 "match": true,3543 "ok": true,3544 "ops": {3545 "add": 114793195,3546 "dbl": 2039,3547 "inv": 1609151,3548 "mul": 7989592093549 },3550 "params": {3551 "alg": "rho",3552 "aut3": false,3553 "beta": null,3554 "cycle_check": 32,3555 "dp": 12,3556 "instance": {3557 "a": "8118772270661172",3558 "b": "46564455481802070",3559 "gx": "37967753966075644",3560 "gy": "30740363483081067",3561 "n": "47022275837492231",3562 "p": "47022275827212407",3563 "qx": "25873868243172807",3564 "qy": "19184239426877354"3565 },3566 "lambda": null,3567 "max_walk_len": 262144,3568 "mixed": 0,3569 "mode": "dp",3570 "neg": true,3571 "r": 128,3572 "seed": 34,3573 "threads": 4,3574 "walks": 1283575 },3576 "peak_rss_bytes": 16990208,3577 "process_cpu_s": 4.600222999999971,3578 "restarts": 27995,3579 "seed": 34,3580 "table_entries": 27482,3581 "threads": 4,3582 "useless_collisions": 0,3583 "wall_s": 1.1518868753584 },3585 {3586 "abandoned_walks": 0,3587 "bits": 56,3588 "class_size": 2,3589 "cpu_s": 0.531718627,3590 "d": "6737304137076210",3591 "doubling_fallbacks": 0,3592 "dp_bytes": 3784704,3593 "dp_count": 3131,3594 "engine": "rho_engine 0.1.0",3595 "expected_d": "6737304137076210",3596 "expected_iterations": 192174943.94830614,3597 "fruitless_by_length": [3598 {3599 "count": 6,3600 "length": 23601 },3602 {3603 "count": 194,3604 "length": 43605 },3606 {3607 "count": 6,3608 "length": 63609 }3610 ],3611 "fruitless_cycles": 206,3612 "group_ops": 12881404,3613 "group_ops_per_cpu_s": 24225978.45156927,3614 "group_ops_per_wall_s": 191487025.30645922,3615 "iterations": 12672984,3616 "label": "g56b-7/t8",3617 "lookahead_rejections": 99902,3618 "match": true,3619 "ok": true,3620 "ops": {3621 "add": 12880986,3622 "dbl": 418,3623 "inv": 209344,3624 "mul": 895384723625 },3626 "params": {3627 "alg": "rho",3628 "aut3": false,3629 "beta": null,3630 "cycle_check": 32,3631 "dp": 12,3632 "instance": {3633 "a": "8118772270661172",3634 "b": "46564455481802070",3635 "gx": "37967753966075644",3636 "gy": "30740363483081067",3637 "n": "47022275837492231",3638 "p": "47022275827212407",3639 "qx": "25873868243172807",3640 "qy": "19184239426877354"3641 },3642 "lambda": null,3643 "max_walk_len": 262144,3644 "mixed": 0,3645 "mode": "dp",3646 "neg": true,3647 "r": 128,3648 "seed": 34,3649 "threads": 8,3650 "walks": 1283651 },3652 "peak_rss_bytes": 16990208,3653 "process_cpu_s": 0.5327440000000365,3654 "restarts": 4156,3655 "seed": 34,3656 "table_entries": 3131,3657 "threads": 8,3658 "useless_collisions": 0,3659 "wall_s": 0.0672703753660 },3661 {3662 "abandoned_walks": 0,3663 "bits": 56,3664 "class_size": 2,3665 "cpu_s": 1.0637073340000003,3666 "d": "6737304137076210",3667 "doubling_fallbacks": 0,3668 "dp_bytes": 3784704,3669 "dp_count": 6166,3670 "engine": "rho_engine 0.1.0",3671 "expected_d": "6737304137076210",3672 "expected_iterations": 192174943.94830614,3673 "fruitless_by_length": [3674 {3675 "count": 8,3676 "length": 23677 },3678 {3679 "count": 376,3680 "length": 43681 },3682 {3683 "count": 9,3684 "length": 63685 },3686 {3687 "count": 1,3688 "length": 103689 }3690 ],3691 "fruitless_cycles": 394,3692 "group_ops": 25572941,3693 "group_ops_per_cpu_s": 24041331.84250471,3694 "group_ops_per_wall_s": 380060502.47820884,3695 "iterations": 25164304,3696 "label": "g56b-7/t16",3697 "lookahead_rejections": 197831,3698 "match": true,3699 "ok": true,3700 "ops": {3701 "add": 25572335,3702 "dbl": 606,3703 "inv": 410939,3704 "mul": 1777755243705 },3706 "params": {3707 "alg": "rho",3708 "aut3": false,3709 "beta": null,3710 "cycle_check": 32,3711 "dp": 12,3712 "instance": {3713 "a": "8118772270661172",3714 "b": "46564455481802070",3715 "gx": "37967753966075644",3716 "gy": "30740363483081067",3717 "n": "47022275837492231",3718 "p": "47022275827212407",3719 "qx": "25873868243172807",3720 "qy": "19184239426877354"3721 },3722 "lambda": null,3723 "max_walk_len": 262144,3724 "mixed": 0,3725 "mode": "dp",3726 "neg": true,3727 "r": 128,3728 "seed": 34,3729 "threads": 16,3730 "walks": 1283731 },3732 "peak_rss_bytes": 16990208,3733 "process_cpu_s": 1.0658379999999852,3734 "restarts": 8215,3735 "seed": 34,3736 "table_entries": 6166,3737 "threads": 16,3738 "useless_collisions": 0,3739 "wall_s": 0.06728653740 },3741 {3742 "abandoned_walks": 0,3743 "bits": 56,3744 "class_size": 2,3745 "cpu_s": 2.2573314160000004,3746 "d": "6737304137076210",3747 "doubling_fallbacks": 0,3748 "dp_bytes": 3784704,3749 "dp_count": 11449,3750 "engine": "rho_engine 0.1.0",3751 "expected_d": "6737304137076210",3752 "expected_iterations": 192174943.94830614,3753 "fruitless_by_length": [3754 {3755 "count": 11,3756 "length": 23757 },3758 {3759 "count": 733,3760 "length": 43761 },3762 {3763 "count": 11,3764 "length": 63765 },3766 {3767 "count": 1,3768 "length": 103769 }3770 ],3771 "fruitless_cycles": 756,3772 "group_ops": 47742896,3773 "group_ops_per_cpu_s": 21150149.092684224,3774 "group_ops_per_wall_s": 569702201.286943,3775 "iterations": 46989408,3776 "label": "g56b-7/t28",3777 "lookahead_rejections": 370847,3778 "match": true,3779 "ok": true,3780 "ops": {3781 "add": 47741928,3782 "dbl": 968,3783 "inv": 756452,3784 "mul": 3319373323785 },3786 "params": {3787 "alg": "rho",3788 "aut3": false,3789 "beta": null,3790 "cycle_check": 32,3791 "dp": 12,3792 "instance": {3793 "a": "8118772270661172",3794 "b": "46564455481802070",3795 "gx": "37967753966075644",3796 "gy": "30740363483081067",3797 "n": "47022275837492231",3798 "p": "47022275827212407",3799 "qx": "25873868243172807",3800 "qy": "19184239426877354"3801 },3802 "lambda": null,3803 "max_walk_len": 262144,3804 "mixed": 0,3805 "mode": "dp",3806 "neg": true,3807 "r": 128,3808 "seed": 34,3809 "threads": 28,3810 "walks": 1283811 },3812 "peak_rss_bytes": 16990208,3813 "process_cpu_s": 2.26172200000002,3814 "restarts": 15034,3815 "seed": 34,3816 "table_entries": 11449,3817 "threads": 28,3818 "useless_collisions": 0,3819 "wall_s": 0.083803253820 },3821 {3822 "abandoned_walks": 0,3823 "bits": 56,3824 "class_size": 2,3825 "cpu_s": 18.654703,3826 "d": "30740291990457636",3827 "doubling_fallbacks": 0,3828 "dp_bytes": 7569408,3829 "dp_count": 118837,3830 "engine": "rho_engine 0.1.0",3831 "expected_d": "30740291990457636",3832 "expected_iterations": 230260674.5624446,3833 "fruitless_by_length": [3834 {3835 "count": 116,3836 "length": 23837 },3838 {3839 "count": 7473,3840 "length": 43841 },3842 {3843 "count": 100,3844 "length": 63845 },3846 {3847 "count": 2,3848 "length": 83849 }3850 ],3851 "fruitless_cycles": 7691,3852 "group_ops": 491189767,3853 "group_ops_per_cpu_s": 26330613.08990017,3854 "group_ops_per_wall_s": 26329240.620921336,3855 "iterations": 484350250,3856 "label": "g56b-8/t1",3857 "lookahead_rejections": 3833178,3858 "match": true,3859 "ok": true,3860 "ops": {3861 "add": 491181862,3862 "dbl": 7905,3863 "inv": 6858884,3864 "mul": 34187171033865 },3866 "params": {3867 "alg": "rho",3868 "aut3": false,3869 "beta": null,3870 "cycle_check": 32,3871 "dp": 12,3872 "instance": {3873 "a": "40840882328942645",3874 "b": "19502494487481554",3875 "gx": "51978926022459920",3876 "gy": "995257310613273",3877 "n": "67507132968837139",3878 "p": "67507132730506549",3879 "qx": "60520720491601791",3880 "qy": "34739603267401854"3881 },3882 "lambda": null,3883 "max_walk_len": 262144,3884 "mixed": 0,3885 "mode": "dp",3886 "neg": true,3887 "r": 128,3888 "seed": 34,3889 "threads": 1,3890 "walks": 1283891 },3892 "peak_rss_bytes": 21299200,3893 "process_cpu_s": 18.65531599999997,3894 "restarts": 118966,3895 "seed": 34,3896 "table_entries": 118837,3897 "threads": 1,3898 "useless_collisions": 0,3899 "wall_s": 18.6556754173900 },3901 {3902 "abandoned_walks": 0,3903 "bits": 56,3904 "class_size": 2,3905 "cpu_s": 6.255979291000001,3906 "d": "30740291990457636",3907 "doubling_fallbacks": 0,3908 "dp_bytes": 3784704,3909 "dp_count": 38608,3910 "engine": "rho_engine 0.1.0",3911 "expected_d": "30740291990457636",3912 "expected_iterations": 230260674.5624446,3913 "fruitless_by_length": [3914 {3915 "count": 41,3916 "length": 23917 },3918 {3919 "count": 2410,3920 "length": 43921 },3922 {3923 "count": 41,3924 "length": 63925 },3926 {3927 "count": 2,3928 "length": 83929 }3930 ],3931 "fruitless_cycles": 2494,3932 "group_ops": 159537231,3933 "group_ops_per_cpu_s": 25501559.960326917,3934 "group_ops_per_wall_s": 50985677.406767316,3935 "iterations": 157308041,3936 "label": "g56b-8/t2",3937 "lookahead_rejections": 1244245,3938 "match": true,3939 "ok": true,3940 "ops": {3941 "add": 159534523,3942 "dbl": 2708,3943 "inv": 2236174,3944 "mul": 11103574583945 },3946 "params": {3947 "alg": "rho",3948 "aut3": false,3949 "beta": null,3950 "cycle_check": 32,3951 "dp": 12,3952 "instance": {3953 "a": "40840882328942645",3954 "b": "19502494487481554",3955 "gx": "51978926022459920",3956 "gy": "995257310613273",3957 "n": "67507132968837139",3958 "p": "67507132730506549",3959 "qx": "60520720491601791",3960 "qy": "34739603267401854"3961 },3962 "lambda": null,3963 "max_walk_len": 262144,3964 "mixed": 0,3965 "mode": "dp",3966 "neg": true,3967 "r": 128,3968 "seed": 34,3969 "threads": 2,3970 "walks": 1283971 },3972 "peak_rss_bytes": 21331968,3973 "process_cpu_s": 6.256676000000027,3974 "restarts": 38865,3975 "seed": 34,3976 "table_entries": 38608,3977 "threads": 2,3978 "useless_collisions": 0,3979 "wall_s": 3.129059753980 },3981 {3982 "abandoned_walks": 0,3983 "bits": 56,3984 "class_size": 2,3985 "cpu_s": 7.512875666000001,3986 "d": "30740291990457636",3987 "doubling_fallbacks": 0,3988 "dp_bytes": 3784704,3989 "dp_count": 45466,3990 "engine": "rho_engine 0.1.0",3991 "expected_d": "30740291990457636",3992 "expected_iterations": 230260674.5624446,3993 "fruitless_by_length": [3994 {3995 "count": 44,3996 "length": 23997 },3998 {3999 "count": 2770,4000 "length": 44001 },4002 {4003 "count": 52,4004 "length": 64005 },4006 {4007 "count": 2,4008 "length": 84009 }4010 ],4011 "fruitless_cycles": 2868,4012 "group_ops": 187294357,4013 "group_ops_per_cpu_s": 24929782.592784356,4014 "group_ops_per_wall_s": 99585139.57600296,4015 "iterations": 184669399,4016 "label": "g56b-8/t4",4017 "lookahead_rejections": 1460850,4018 "match": true,4019 "ok": true,4020 "ops": {4021 "add": 187291275,4022 "dbl": 3082,4023 "inv": 2632674,4024 "mul": 13035131284025 },4026 "params": {4027 "alg": "rho",4028 "aut3": false,4029 "beta": null,4030 "cycle_check": 32,4031 "dp": 12,4032 "instance": {4033 "a": "40840882328942645",4034 "b": "19502494487481554",4035 "gx": "51978926022459920",4036 "gy": "995257310613273",4037 "n": "67507132968837139",4038 "p": "67507132730506549",4039 "qx": "60520720491601791",4040 "qy": "34739603267401854"4041 },4042 "lambda": null,4043 "max_walk_len": 262144,4044 "mixed": 0,4045 "mode": "dp",4046 "neg": true,4047 "r": 128,4048 "seed": 34,4049 "threads": 4,4050 "walks": 1284051 },4052 "peak_rss_bytes": 21413888,4053 "process_cpu_s": 7.513646999999992,4054 "restarts": 45979,4055 "seed": 34,4056 "table_entries": 45466,4057 "threads": 4,4058 "useless_collisions": 0,4059 "wall_s": 1.8807460414060 },4061 {4062 "abandoned_walks": 0,4063 "bits": 56,4064 "class_size": 2,4065 "cpu_s": 7.337727417,4066 "d": "30740291990457636",4067 "doubling_fallbacks": 0,4068 "dp_bytes": 3784704,4069 "dp_count": 43153,4070 "engine": "rho_engine 0.1.0",4071 "expected_d": "30740291990457636",4072 "expected_iterations": 230260674.5624446,4073 "fruitless_by_length": [4074 {4075 "count": 46,4076 "length": 24077 },4078 {4079 "count": 2706,4080 "length": 44081 },4082 {4083 "count": 45,4084 "length": 64085 },4086 {4087 "count": 2,4088 "length": 84089 }4090 ],4091 "fruitless_cycles": 2799,4092 "group_ops": 178234696,4093 "group_ops_per_cpu_s": 24290176.763321433,4094 "group_ops_per_wall_s": 193882579.14698023,4095 "iterations": 175724844,4096 "label": "g56b-8/t8",4097 "lookahead_rejections": 1391287,4098 "match": true,4099 "ok": true,4100 "ops": {4101 "add": 178231683,4102 "dbl": 3013,4103 "inv": 2516353,4104 "mul": 12404174284105 },4106 "params": {4107 "alg": "rho",4108 "aut3": false,4109 "beta": null,4110 "cycle_check": 32,4111 "dp": 12,4112 "instance": {4113 "a": "40840882328942645",4114 "b": "19502494487481554",4115 "gx": "51978926022459920",4116 "gy": "995257310613273",4117 "n": "67507132968837139",4118 "p": "67507132730506549",4119 "qx": "60520720491601791",4120 "qy": "34739603267401854"4121 },4122 "lambda": null,4123 "max_walk_len": 262144,4124 "mixed": 0,4125 "mode": "dp",4126 "neg": true,4127 "r": 128,4128 "seed": 34,4129 "threads": 8,4130 "walks": 1284131 },4132 "peak_rss_bytes": 21544960,4133 "process_cpu_s": 7.338774999999998,4134 "restarts": 44178,4135 "seed": 34,4136 "table_entries": 43153,4137 "threads": 8,4138 "useless_collisions": 0,4139 "wall_s": 0.9192919594140 },4141 {4142 "abandoned_walks": 0,4143 "bits": 56,4144 "class_size": 2,4145 "cpu_s": 7.348283875000001,4146 "d": "30740291990457636",4147 "doubling_fallbacks": 0,4148 "dp_bytes": 3784704,4149 "dp_count": 42878,4150 "engine": "rho_engine 0.1.0",4151 "expected_d": "30740291990457636",4152 "expected_iterations": 230260674.5624446,4153 "fruitless_by_length": [4154 {4155 "count": 36,4156 "length": 24157 },4158 {4159 "count": 2744,4160 "length": 44161 },4162 {4163 "count": 43,4164 "length": 64165 }4166 ],4167 "fruitless_cycles": 2823,4168 "group_ops": 177792141,4169 "group_ops_per_cpu_s": 24195056.15520331,4170 "group_ops_per_wall_s": 385937005.6150651,4171 "iterations": 175267726,4172 "label": "g56b-8/t16",4173 "lookahead_rejections": 1387331,4174 "match": true,4175 "ok": true,4176 "ops": {4177 "add": 177789104,4178 "dbl": 3037,4179 "inv": 2531379,4180 "mul": 12372532024181 },4182 "params": {4183 "alg": "rho",4184 "aut3": false,4185 "beta": null,4186 "cycle_check": 32,4187 "dp": 12,4188 "instance": {4189 "a": "40840882328942645",4190 "b": "19502494487481554",4191 "gx": "51978926022459920",4192 "gy": "995257310613273",4193 "n": "67507132968837139",4194 "p": "67507132730506549",4195 "qx": "60520720491601791",4196 "qy": "34739603267401854"4197 },4198 "lambda": null,4199 "max_walk_len": 262144,4200 "mixed": 0,4201 "mode": "dp",4202 "neg": true,4203 "r": 128,4204 "seed": 34,4205 "threads": 16,4206 "walks": 1284207 },4208 "peak_rss_bytes": 21774336,4209 "process_cpu_s": 7.3503370000000245,4210 "restarts": 44927,4211 "seed": 34,4212 "table_entries": 42878,4213 "threads": 16,4214 "useless_collisions": 0,4215 "wall_s": 0.4606765834216 },4217 {4218 "abandoned_walks": 0,4219 "bits": 56,4220 "class_size": 2,4221 "cpu_s": 11.550593581000003,4222 "d": "30740291990457636",4223 "doubling_fallbacks": 0,4224 "dp_bytes": 3784704,4225 "dp_count": 58894,4226 "engine": "rho_engine 0.1.0",4227 "expected_d": "30740291990457636",4228 "expected_iterations": 230260674.5624446,4229 "fruitless_by_length": [4230 {4231 "count": 62,4232 "length": 24233 },4234 {4235 "count": 3790,4236 "length": 44237 },4238 {4239 "count": 53,4240 "length": 64241 },4242 {4243 "count": 1,4244 "length": 84245 }4246 ],4247 "fruitless_cycles": 3906,4248 "group_ops": 245385421,4249 "group_ops_per_cpu_s": 21244399.19725368,4250 "group_ops_per_wall_s": 572864246.58573,4251 "iterations": 241891805,4252 "label": "g56b-8/t28",4253 "lookahead_rejections": 1913171,4254 "match": true,4255 "ok": true,4256 "ops": {4257 "add": 245381301,4258 "dbl": 4120,4259 "inv": 3504777,4260 "mul": 17075901964261 },4262 "params": {4263 "alg": "rho",4264 "aut3": false,4265 "beta": null,4266 "cycle_check": 32,4267 "dp": 12,4268 "instance": {4269 "a": "40840882328942645",4270 "b": "19502494487481554",4271 "gx": "51978926022459920",4272 "gy": "995257310613273",4273 "n": "67507132968837139",4274 "p": "67507132730506549",4275 "qx": "60520720491601791",4276 "qy": "34739603267401854"4277 },4278 "lambda": null,4279 "max_walk_len": 262144,4280 "mixed": 0,4281 "mode": "dp",4282 "neg": true,4283 "r": 128,4284 "seed": 34,4285 "threads": 28,4286 "walks": 1284287 },4288 "peak_rss_bytes": 21856256,4289 "process_cpu_s": 11.55355899999995,4290 "restarts": 62479,4291 "seed": 34,4292 "table_entries": 58894,4293 "threads": 28,4294 "useless_collisions": 0,4295 "wall_s": 0.4283482914296 },4297 {4298 "abandoned_walks": 0,4299 "bits": 56,4300 "class_size": 2,4301 "cpu_s": 3.893724292,4302 "d": "26754344405679755",4303 "doubling_fallbacks": 0,4304 "dp_bytes": 3784704,4305 "dp_count": 24510,4306 "engine": "rho_engine 0.1.0",4307 "expected_d": "26754344405679755",4308 "expected_iterations": 188595592.91265193,4309 "fruitless_by_length": [4310 {4311 "count": 19,4312 "length": 24313 },4314 {4315 "count": 1639,4316 "length": 44317 },4318 {4319 "count": 20,4320 "length": 64321 }4322 ],4323 "fruitless_cycles": 1678,4324 "group_ops": 101604648,4325 "group_ops_per_cpu_s": 26094463.906639643,4326 "group_ops_per_wall_s": 26088717.376017794,4327 "iterations": 100187470,4328 "label": "g56b-9/t1",4329 "lookahead_rejections": 793438,4330 "match": true,4331 "ok": true,4332 "ops": {4333 "add": 101602756,4334 "dbl": 1892,4335 "inv": 1421079,4336 "mul": 7071677514337 },4338 "params": {4339 "alg": "rho",4340 "aut3": false,4341 "beta": null,4342 "cycle_check": 32,4343 "dp": 12,4344 "instance": {4345 "a": "7092050085840733",4346 "b": "26001799571521043",4347 "gx": "9975444942799635",4348 "gy": "8261368376121214",4349 "n": "45286963127357737",4350 "p": "45286963000515479",4351 "qx": "3012210369440444",4352 "qy": "36810103225432996"4353 },4354 "lambda": null,4355 "max_walk_len": 262144,4356 "mixed": 0,4357 "mode": "dp",4358 "neg": true,4359 "r": 128,4360 "seed": 34,4361 "threads": 1,4362 "walks": 1284363 },4364 "peak_rss_bytes": 21856256,4365 "process_cpu_s": 3.8944480000000112,4366 "restarts": 24639,4367 "seed": 34,4368 "table_entries": 24510,4369 "threads": 1,4370 "useless_collisions": 0,4371 "wall_s": 3.8945819584372 },4373 {4374 "abandoned_walks": 0,4375 "bits": 56,4376 "class_size": 2,4377 "cpu_s": 7.961721667,4378 "d": "26754344405679755",4379 "doubling_fallbacks": 0,4380 "dp_bytes": 3784704,4381 "dp_count": 49081,4382 "engine": "rho_engine 0.1.0",4383 "expected_d": "26754344405679755",4384 "expected_iterations": 188595592.91265193,4385 "fruitless_by_length": [4386 {4387 "count": 36,4388 "length": 24389 },4390 {4391 "count": 3161,4392 "length": 44393 },4394 {4395 "count": 44,4396 "length": 64397 }4398 ],4399 "fruitless_cycles": 3241,4400 "group_ops": 203262313,4401 "group_ops_per_cpu_s": 25529944.59006124,4402 "group_ops_per_wall_s": 51046305.41931204,4403 "iterations": 200431812,4404 "label": "g56b-9/t2",4405 "lookahead_rejections": 1584975,4406 "match": true,4407 "ok": true,4408 "ops": {4409 "add": 203258858,4410 "dbl": 3455,4411 "inv": 2840057,4412 "mul": 14147145774413 },4414 "params": {4415 "alg": "rho",4416 "aut3": false,4417 "beta": null,4418 "cycle_check": 32,4419 "dp": 12,4420 "instance": {4421 "a": "7092050085840733",4422 "b": "26001799571521043",4423 "gx": "9975444942799635",4424 "gy": "8261368376121214",4425 "n": "45286963127357737",4426 "p": "45286963000515479",4427 "qx": "3012210369440444",4428 "qy": "36810103225432996"4429 },4430 "lambda": null,4431 "max_walk_len": 262144,4432 "mixed": 0,4433 "mode": "dp",4434 "neg": true,4435 "r": 128,4436 "seed": 34,4437 "threads": 2,4438 "walks": 1284439 },4440 "peak_rss_bytes": 21856256,4441 "process_cpu_s": 7.962374000000011,4442 "restarts": 49338,4443 "seed": 34,4444 "table_entries": 49081,4445 "threads": 2,4446 "useless_collisions": 0,4447 "wall_s": 3.9819201674448 },4449 {4450 "abandoned_walks": 0,4451 "bits": 56,4452 "class_size": 2,4453 "cpu_s": 11.457831082999999,4454 "d": "26754344405679755",4455 "doubling_fallbacks": 0,4456 "dp_bytes": 3784704,4457 "dp_count": 69743,4458 "engine": "rho_engine 0.1.0",4459 "expected_d": "26754344405679755",4460 "expected_iterations": 188595592.91265193,4461 "fruitless_by_length": [4462 {4463 "count": 65,4464 "length": 24465 },4466 {4467 "count": 4345,4468 "length": 44469 },4470 {4471 "count": 71,4472 "length": 64473 }4474 ],4475 "fruitless_cycles": 4481,4476 "group_ops": 287649615,4477 "group_ops_per_cpu_s": 25105066.824277606,4478 "group_ops_per_wall_s": 100301460.67143187,4479 "iterations": 283634512,4480 "label": "g56b-9/t4",4481 "lookahead_rejections": 2243152,4482 "match": true,4483 "ok": true,4484 "ops": {4485 "add": 287644920,4486 "dbl": 4695,4487 "inv": 4027881,4488 "mul": 20020181114489 },4490 "params": {4491 "alg": "rho",4492 "aut3": false,4493 "beta": null,4494 "cycle_check": 32,4495 "dp": 12,4496 "instance": {4497 "a": "7092050085840733",4498 "b": "26001799571521043",4499 "gx": "9975444942799635",4500 "gy": "8261368376121214",4501 "n": "45286963127357737",4502 "p": "45286963000515479",4503 "qx": "3012210369440444",4504 "qy": "36810103225432996"4505 },4506 "lambda": null,4507 "max_walk_len": 262144,4508 "mixed": 0,4509 "mode": "dp",4510 "neg": true,4511 "r": 128,4512 "seed": 34,4513 "threads": 4,4514 "walks": 1284515 },4516 "peak_rss_bytes": 21856256,4517 "process_cpu_s": 11.458530000000053,4518 "restarts": 70256,4519 "seed": 34,4520 "table_entries": 69743,4521 "threads": 4,4522 "useless_collisions": 0,4523 "wall_s": 2.86785070799999974524 },4525 {4526 "abandoned_walks": 0,4527 "bits": 56,4528 "class_size": 2,4529 "cpu_s": 10.251916458,4530 "d": "26754344405679755",4531 "doubling_fallbacks": 0,4532 "dp_bytes": 3784704,4533 "dp_count": 60006,4534 "engine": "rho_engine 0.1.0",4535 "expected_d": "26754344405679755",4536 "expected_iterations": 188595592.91265193,4537 "fruitless_by_length": [4538 {4539 "count": 57,4540 "length": 24541 },4542 {4543 "count": 3857,4544 "length": 44545 },4546 {4547 "count": 75,4548 "length": 64549 },4550 {4551 "count": 2,4552 "length": 84553 }4554 ],4555 "fruitless_cycles": 3991,4556 "group_ops": 250410800,4557 "group_ops_per_cpu_s": 24425755.030864883,4558 "group_ops_per_wall_s": 195010571.753244,4559 "iterations": 246916009,4560 "label": "g56b-9/t8",4561 "lookahead_rejections": 1955172,4562 "match": true,4563 "ok": true,4564 "ops": {4565 "add": 250406595,4566 "dbl": 4205,4567 "inv": 3504004,4568 "mul": 17428495994569 },4570 "params": {4571 "alg": "rho",4572 "aut3": false,4573 "beta": null,4574 "cycle_check": 32,4575 "dp": 12,4576 "instance": {4577 "a": "7092050085840733",4578 "b": "26001799571521043",4579 "gx": "9975444942799635",4580 "gy": "8261368376121214",4581 "n": "45286963127357737",4582 "p": "45286963000515479",4583 "qx": "3012210369440444",4584 "qy": "36810103225432996"4585 },4586 "lambda": null,4587 "max_walk_len": 262144,4588 "mixed": 0,4589 "mode": "dp",4590 "neg": true,4591 "r": 128,4592 "seed": 34,4593 "threads": 8,4594 "walks": 1284595 },4596 "peak_rss_bytes": 21856256,4597 "process_cpu_s": 10.252843999999982,4598 "restarts": 61031,4599 "seed": 34,4600 "table_entries": 60006,4601 "threads": 8,4602 "useless_collisions": 0,4603 "wall_s": 1.28408833300000014604 },4605 {4606 "abandoned_walks": 0,4607 "bits": 56,4608 "class_size": 2,4609 "cpu_s": 9.580561501,4610 "d": "26754344405679755",4611 "doubling_fallbacks": 0,4612 "dp_bytes": 3784704,4613 "dp_count": 55023,4614 "engine": "rho_engine 0.1.0",4615 "expected_d": "26754344405679755",4616 "expected_iterations": 188595592.91265193,4617 "fruitless_by_length": [4618 {4619 "count": 52,4620 "length": 24621 },4622 {4623 "count": 3592,4624 "length": 44625 },4626 {4627 "count": 64,4628 "length": 64629 },4630 {4631 "count": 3,4632 "length": 84633 }4634 ],4635 "fruitless_cycles": 3711,4636 "group_ops": 232514436,4637 "group_ops_per_cpu_s": 24269395.48122838,4638 "group_ops_per_wall_s": 387230061.3843449,4639 "iterations": 229260409,4640 "label": "g56b-9/t16",4641 "lookahead_rejections": 1813998,4642 "match": true,4643 "ok": true,4644 "ops": {4645 "add": 232510511,4646 "dbl": 3925,4647 "inv": 3263942,4648 "mul": 16182503964649 },4650 "params": {4651 "alg": "rho",4652 "aut3": false,4653 "beta": null,4654 "cycle_check": 32,4655 "dp": 12,4656 "instance": {4657 "a": "7092050085840733",4658 "b": "26001799571521043",4659 "gx": "9975444942799635",4660 "gy": "8261368376121214",4661 "n": "45286963127357737",4662 "p": "45286963000515479",4663 "qx": "3012210369440444",4664 "qy": "36810103225432996"4665 },4666 "lambda": null,4667 "max_walk_len": 262144,4668 "mixed": 0,4669 "mode": "dp",4670 "neg": true,4671 "r": 128,4672 "seed": 34,4673 "threads": 16,4674 "walks": 1284675 },4676 "peak_rss_bytes": 21856256,4677 "process_cpu_s": 9.582898000000057,4678 "restarts": 57072,4679 "seed": 34,4680 "table_entries": 55023,4681 "threads": 16,4682 "useless_collisions": 0,4683 "wall_s": 0.6004555414684 },4685 {4686 "abandoned_walks": 0,4687 "bits": 56,4688 "class_size": 2,4689 "cpu_s": 10.565423208000002,4690 "d": "26754344405679755",4691 "doubling_fallbacks": 0,4692 "dp_bytes": 3784704,4693 "dp_count": 53617,4694 "engine": "rho_engine 0.1.0",4695 "expected_d": "26754344405679755",4696 "expected_iterations": 188595592.91265193,4697 "fruitless_by_length": [4698 {4699 "count": 65,4700 "length": 24701 },4702 {4703 "count": 3457,4704 "length": 44705 },4706 {4707 "count": 67,4708 "length": 64709 },4710 {4711 "count": 1,4712 "length": 84713 }4714 ],4715 "fruitless_cycles": 3590,4716 "group_ops": 225275474,4717 "group_ops_per_cpu_s": 21321954.602767292,4718 "group_ops_per_wall_s": 577110144.2039138,4719 "iterations": 222075670,4720 "label": "g56b-9/t28",4721 "lookahead_rejections": 1756543,4722 "match": true,4723 "ok": true,4724 "ops": {4725 "add": 225271670,4726 "dbl": 3804,4727 "inv": 3210005,4728 "mul": 15676792024729 },4730 "params": {4731 "alg": "rho",4732 "aut3": false,4733 "beta": null,4734 "cycle_check": 32,4735 "dp": 12,4736 "instance": {4737 "a": "7092050085840733",4738 "b": "26001799571521043",4739 "gx": "9975444942799635",4740 "gy": "8261368376121214",4741 "n": "45286963127357737",4742 "p": "45286963000515479",4743 "qx": "3012210369440444",4744 "qy": "36810103225432996"4745 },4746 "lambda": null,4747 "max_walk_len": 262144,4748 "mixed": 0,4749 "mode": "dp",4750 "neg": true,4751 "r": 128,4752 "seed": 34,4753 "threads": 28,4754 "walks": 1284755 },4756 "peak_rss_bytes": 21856256,4757 "process_cpu_s": 10.569912000000045,4758 "restarts": 57202,4759 "seed": 34,4760 "table_entries": 53617,4761 "threads": 28,4762 "useless_collisions": 0,4763 "wall_s": 0.3903509174764 },4765 {4766 "abandoned_walks": 0,4767 "bits": 56,4768 "class_size": 2,4769 "cpu_s": 9.330655291000001,4770 "d": "46214474940601090",4771 "doubling_fallbacks": 0,4772 "dp_bytes": 3784704,4773 "dp_count": 59016,4774 "engine": "rho_engine 0.1.0",4775 "expected_d": "46214474940601090",4776 "expected_iterations": 227131835.05350822,4777 "fruitless_by_length": [4778 {4779 "count": 67,4780 "length": 24781 },4782 {4783 "count": 3731,4784 "length": 44785 },4786 {4787 "count": 51,4788 "length": 64789 },4790 {4791 "count": 1,4792 "length": 84793 }4794 ],4795 "fruitless_cycles": 3850,4796 "group_ops": 245117931,4797 "group_ops_per_cpu_s": 26270173.246720575,4798 "group_ops_per_wall_s": 26268005.277811054,4799 "iterations": 241709475,4800 "label": "g56b-10/t1",4801 "lookahead_rejections": 1911799,4802 "match": true,4803 "ok": true,4804 "ops": {4805 "add": 245113866,4806 "dbl": 4065,4807 "inv": 3419278,4808 "mul": 17060530074809 },4810 "params": {4811 "alg": "rho",4812 "aut3": false,4813 "beta": null,4814 "cycle_check": 32,4815 "dp": 12,4816 "instance": {4817 "a": "38163452923886127",4818 "b": "11246482657549668",4819 "gx": "47026493758970680",4820 "gy": "20248302734593672",4821 "n": "65684989982167397",4822 "p": "65684989828908533",4823 "qx": "42442923471753448",4824 "qy": "5260973683360220"4825 },4826 "lambda": null,4827 "max_walk_len": 262144,4828 "mixed": 0,4829 "mode": "dp",4830 "neg": true,4831 "r": 128,4832 "seed": 34,4833 "threads": 1,4834 "walks": 1284835 },4836 "peak_rss_bytes": 21856256,4837 "process_cpu_s": 9.33122400000002,4838 "restarts": 59145,4839 "seed": 34,4840 "table_entries": 59016,4841 "threads": 1,4842 "useless_collisions": 0,4843 "wall_s": 9.3314253754844 },4845 {4846 "abandoned_walks": 0,4847 "bits": 56,4848 "class_size": 2,4849 "cpu_s": 1.9479407920000003,4850 "d": "46214474940601090",4851 "doubling_fallbacks": 0,4852 "dp_bytes": 3784704,4853 "dp_count": 11858,4854 "engine": "rho_engine 0.1.0",4855 "expected_d": "46214474940601090",4856 "expected_iterations": 227131835.05350822,4857 "fruitless_by_length": [4858 {4859 "count": 12,4860 "length": 24861 },4862 {4863 "count": 767,4864 "length": 44865 },4866 {4867 "count": 12,4868 "length": 64869 }4870 ],4871 "fruitless_cycles": 791,4872 "group_ops": 50108302,4873 "group_ops_per_cpu_s": 25723729.49208201,4874 "group_ops_per_wall_s": 51417639.33115811,4875 "iterations": 49408210,4876 "label": "g56b-10/t2",4877 "lookahead_rejections": 390481,4878 "match": true,4879 "ok": true,4880 "ops": {4881 "add": 50107296,4882 "dbl": 1006,4883 "inv": 702635,4884 "mul": 3487459524885 },4886 "params": {4887 "alg": "rho",4888 "aut3": false,4889 "beta": null,4890 "cycle_check": 32,4891 "dp": 12,4892 "instance": {4893 "a": "38163452923886127",4894 "b": "11246482657549668",4895 "gx": "47026493758970680",4896 "gy": "20248302734593672",4897 "n": "65684989982167397",4898 "p": "65684989828908533",4899 "qx": "42442923471753448",4900 "qy": "5260973683360220"4901 },4902 "lambda": null,4903 "max_walk_len": 262144,4904 "mixed": 0,4905 "mode": "dp",4906 "neg": true,4907 "r": 128,4908 "seed": 34,4909 "threads": 2,4910 "walks": 1284911 },4912 "peak_rss_bytes": 21856256,4913 "process_cpu_s": 1.9485429999999724,4914 "restarts": 12115,4915 "seed": 34,4916 "table_entries": 11858,4917 "threads": 2,4918 "useless_collisions": 0,4919 "wall_s": 0.974535254920 },4921 {4922 "abandoned_walks": 0,4923 "bits": 56,4924 "class_size": 2,4925 "cpu_s": 3.9987897500000003,4926 "d": "46214474940601090",4927 "doubling_fallbacks": 0,4928 "dp_bytes": 3784704,4929 "dp_count": 23960,4930 "engine": "rho_engine 0.1.0",4931 "expected_d": "46214474940601090",4932 "expected_iterations": 227131835.05350822,4933 "fruitless_by_length": [4934 {4935 "count": 27,4936 "length": 24937 },4938 {4939 "count": 1585,4940 "length": 44941 },4942 {4943 "count": 29,4944 "length": 64945 }4946 ],4947 "fruitless_cycles": 1641,4948 "group_ops": 100446872,4949 "group_ops_per_cpu_s": 25119318.163701903,4950 "group_ops_per_wall_s": 100325803.83622065,4951 "iterations": 99043017,4952 "label": "g56b-10/t4",4953 "lookahead_rejections": 782387,4954 "match": true,4955 "ok": true,4956 "ops": {4957 "add": 100445016,4958 "dbl": 1856,4959 "inv": 1409605,4960 "mul": 6990906464961 },4962 "params": {4963 "alg": "rho",4964 "aut3": false,4965 "beta": null,4966 "cycle_check": 32,4967 "dp": 12,4968 "instance": {4969 "a": "38163452923886127",4970 "b": "11246482657549668",4971 "gx": "47026493758970680",4972 "gy": "20248302734593672",4973 "n": "65684989982167397",4974 "p": "65684989828908533",4975 "qx": "42442923471753448",4976 "qy": "5260973683360220"4977 },4978 "lambda": null,4979 "max_walk_len": 262144,4980 "mixed": 0,4981 "mode": "dp",4982 "neg": true,4983 "r": 128,4984 "seed": 34,4985 "threads": 4,4986 "walks": 1284987 },4988 "peak_rss_bytes": 21856256,4989 "process_cpu_s": 3.999510999999984,4990 "restarts": 24473,4991 "seed": 34,4992 "table_entries": 23960,4993 "threads": 4,4994 "useless_collisions": 0,4995 "wall_s": 1.001206754996 },4997 {4998 "abandoned_walks": 0,4999 "bits": 56,5000 "class_size": 2,5001 "cpu_s": 8.182687835000001,5002 "d": "46214474940601090",5003 "doubling_fallbacks": 0,5004 "dp_bytes": 3784704,5005 "dp_count": 47731,5006 "engine": "rho_engine 0.1.0",5007 "expected_d": "46214474940601090",5008 "expected_iterations": 227131835.05350822,5009 "fruitless_by_length": [5010 {5011 "count": 51,5012 "length": 25013 },5014 {5015 "count": 3137,5016 "length": 45017 },5018 {5019 "count": 45,5020 "length": 65021 }5022 ],5023 "fruitless_cycles": 3233,5024 "group_ops": 200781820,5025 "group_ops_per_cpu_s": 24537392.11963962,5026 "group_ops_per_wall_s": 195829384.55447543,5027 "iterations": 197982972,5028 "label": "g56b-10/t8",5029 "lookahead_rejections": 1564647,5030 "match": true,5031 "ok": true,5032 "ops": {5033 "add": 200778372,5034 "dbl": 3448,5035 "inv": 2809394,5036 "mul": 13974345215037 },5038 "params": {5039 "alg": "rho",5040 "aut3": false,5041 "beta": null,5042 "cycle_check": 32,5043 "dp": 12,5044 "instance": {5045 "a": "38163452923886127",5046 "b": "11246482657549668",5047 "gx": "47026493758970680",5048 "gy": "20248302734593672",5049 "n": "65684989982167397",5050 "p": "65684989828908533",5051 "qx": "42442923471753448",5052 "qy": "5260973683360220"5053 },5054 "lambda": null,5055 "max_walk_len": 262144,5056 "mixed": 0,5057 "mode": "dp",5058 "neg": true,5059 "r": 128,5060 "seed": 34,5061 "threads": 8,5062 "walks": 1285063 },5064 "peak_rss_bytes": 21856256,5065 "process_cpu_s": 8.18373200000002,5066 "restarts": 48756,5067 "seed": 34,5068 "table_entries": 47731,5069 "threads": 8,5070 "useless_collisions": 0,5071 "wall_s": 1.0252895425072 },5073 {5074 "abandoned_walks": 0,5075 "bits": 56,5076 "class_size": 2,5077 "cpu_s": 16.472328376,5078 "d": "46214474940601090",5079 "doubling_fallbacks": 0,5080 "dp_bytes": 3784704,5081 "dp_count": 95947,5082 "engine": "rho_engine 0.1.0",5083 "expected_d": "46214474940601090",5084 "expected_iterations": 227131835.05350822,5085 "fruitless_by_length": [5086 {5087 "count": 94,5088 "length": 25089 },5090 {5091 "count": 6133,5092 "length": 45093 },5094 {5095 "count": 93,5096 "length": 65097 },5098 {5099 "count": 1,5100 "length": 85101 }5102 ],5103 "fruitless_cycles": 6321,5104 "group_ops": 399559142,5105 "group_ops_per_cpu_s": 24256385.18608901,5106 "group_ops_per_wall_s": 387167022.455378,5107 "iterations": 393967129,5108 "label": "g56b-10/t16",5109 "lookahead_rejections": 3115241,5110 "match": true,5111 "ok": true,5112 "ops": {5113 "add": 399552606,5114 "dbl": 6536,5115 "inv": 5610730,5116 "mul": 27808372015117 },5118 "params": {5119 "alg": "rho",5120 "aut3": false,5121 "beta": null,5122 "cycle_check": 32,5123 "dp": 12,5124 "instance": {5125 "a": "38163452923886127",5126 "b": "11246482657549668",5127 "gx": "47026493758970680",5128 "gy": "20248302734593672",5129 "n": "65684989982167397",5130 "p": "65684989828908533",5131 "qx": "42442923471753448",5132 "qy": "5260973683360220"5133 },5134 "lambda": null,5135 "max_walk_len": 262144,5136 "mixed": 0,5137 "mode": "dp",5138 "neg": true,5139 "r": 128,5140 "seed": 34,5141 "threads": 16,5142 "walks": 1285143 },5144 "peak_rss_bytes": 21856256,5145 "process_cpu_s": 16.47429900000003,5146 "restarts": 97996,5147 "seed": 34,5148 "table_entries": 95947,5149 "threads": 16,5150 "useless_collisions": 0,5151 "wall_s": 1.0320071675152 },5153 {5154 "abandoned_walks": 0,5155 "bits": 56,5156 "class_size": 2,5157 "cpu_s": 22.817558336,5158 "d": "46214474940601090",5159 "doubling_fallbacks": 0,5160 "dp_bytes": 7569408,5161 "dp_count": 117042,5162 "engine": "rho_engine 0.1.0",5163 "expected_d": "46214474940601090",5164 "expected_iterations": 227131835.05350822,5165 "fruitless_by_length": [5166 {5167 "count": 121,5168 "length": 25169 },5170 {5171 "count": 7347,5172 "length": 45173 },5174 {5175 "count": 109,5176 "length": 65177 },5178 {5179 "count": 1,5180 "length": 85181 }5182 ],5183 "fruitless_cycles": 7578,5184 "group_ops": 486391849,5185 "group_ops_per_cpu_s": 21316559.898199268,5186 "group_ops_per_wall_s": 576772595.7883848,5187 "iterations": 479551312,5188 "label": "g56b-10/t28",5189 "lookahead_rejections": 3792906,5190 "match": true,5191 "ok": true,5192 "ops": {5193 "add": 486384056,5194 "dbl": 7793,5195 "inv": 6861820,5196 "mul": 33850448835197 },5198 "params": {5199 "alg": "rho",5200 "aut3": false,5201 "beta": null,5202 "cycle_check": 32,5203 "dp": 12,5204 "instance": {5205 "a": "38163452923886127",5206 "b": "11246482657549668",5207 "gx": "47026493758970680",5208 "gy": "20248302734593672",5209 "n": "65684989982167397",5210 "p": "65684989828908533",5211 "qx": "42442923471753448",5212 "qy": "5260973683360220"5213 },5214 "lambda": null,5215 "max_walk_len": 262144,5216 "mixed": 0,5217 "mode": "dp",5218 "neg": true,5219 "r": 128,5220 "seed": 34,5221 "threads": 28,5222 "walks": 1285223 },5224 "peak_rss_bytes": 22085632,5225 "process_cpu_s": 22.821911,5226 "restarts": 120627,5227 "seed": 34,5228 "table_entries": 117042,5229 "threads": 28,5230 "useless_collisions": 0,5231 "wall_s": 0.8432991665232 },5233 {5234 "abandoned_walks": 0,5235 "bits": 56,5236 "class_size": 2,5237 "cpu_s": 10.320338208999999,5238 "d": "7920816622484317",5239 "doubling_fallbacks": 0,5240 "dp_bytes": 3784704,5241 "dp_count": 65456,5242 "engine": "rho_engine 0.1.0",5243 "expected_d": "7920816622484317",5244 "expected_iterations": 184597593.9635297,5245 "fruitless_by_length": [5246 {5247 "count": 66,5248 "length": 25249 },5250 {5251 "count": 4160,5252 "length": 45253 },5254 {5255 "count": 61,5256 "length": 65257 },5258 {5259 "count": 1,5260 "length": 85261 }5262 ],5263 "fruitless_cycles": 4288,5264 "group_ops": 271218652,5265 "group_ops_per_cpu_s": 26280015.878111426,5266 "group_ops_per_wall_s": 26277847.667707108,5267 "iterations": 267448359,5268 "label": "g56b-11/t1",5269 "lookahead_rejections": 2116506,5270 "match": true,5271 "ok": true,5272 "ops": {5273 "add": 271214152,5274 "dbl": 4500,5275 "inv": 3781290,5276 "mul": 18877262075277 },5278 "params": {5279 "alg": "rho",5280 "aut3": false,5281 "beta": null,5282 "cycle_check": 32,5283 "dp": 12,5284 "instance": {5285 "a": "25739882437223610",5286 "b": "15705252912235883",5287 "gx": "14691547573479830",5288 "gy": "26899646152027941",5289 "n": "43387256661918107",5290 "p": "43387256991501739",5291 "qx": "17793650438868692",5292 "qy": "33435696477152538"5293 },5294 "lambda": null,5295 "max_walk_len": 262144,5296 "mixed": 0,5297 "mode": "dp",5298 "neg": true,5299 "r": 128,5300 "seed": 34,5301 "threads": 1,5302 "walks": 1285303 },5304 "peak_rss_bytes": 22085632,5305 "process_cpu_s": 10.32100899999989,5306 "restarts": 65585,5307 "seed": 34,5308 "table_entries": 65456,5309 "threads": 1,5310 "useless_collisions": 0,5311 "wall_s": 10.321189755312 },5313 {5314 "abandoned_walks": 0,5315 "bits": 56,5316 "class_size": 2,5317 "cpu_s": 1.7629930830000002,5318 "d": "7920816622484317",5319 "doubling_fallbacks": 0,5320 "dp_bytes": 3784704,5321 "dp_count": 10616,5322 "engine": "rho_engine 0.1.0",5323 "expected_d": "7920816622484317",5324 "expected_iterations": 184597593.9635297,5325 "fruitless_by_length": [5326 {5327 "count": 13,5328 "length": 25329 },5330 {5331 "count": 695,5332 "length": 45333 },5334 {5335 "count": 12,5336 "length": 65337 }5338 ],5339 "fruitless_cycles": 720,5340 "group_ops": 44741097,5341 "group_ops_per_cpu_s": 25377919.76124276,5342 "group_ops_per_wall_s": 50724430.33136588,5343 "iterations": 44114366,5344 "label": "g56b-11/t2",5345 "lookahead_rejections": 349179,5346 "match": true,5347 "ok": true,5348 "ops": {5349 "add": 44740165,5350 "dbl": 932,5351 "inv": 628536,5352 "mul": 3113865885353 },5354 "params": {5355 "alg": "rho",5356 "aut3": false,5357 "beta": null,5358 "cycle_check": 32,5359 "dp": 12,5360 "instance": {5361 "a": "25739882437223610",5362 "b": "15705252912235883",5363 "gx": "14691547573479830",5364 "gy": "26899646152027941",5365 "n": "43387256661918107",5366 "p": "43387256991501739",5367 "qx": "17793650438868692",5368 "qy": "33435696477152538"5369 },5370 "lambda": null,5371 "max_walk_len": 262144,5372 "mixed": 0,5373 "mode": "dp",5374 "neg": true,5375 "r": 128,5376 "seed": 34,5377 "threads": 2,5378 "walks": 1285379 },5380 "peak_rss_bytes": 22085632,5381 "process_cpu_s": 1.7635799999999335,5382 "restarts": 10873,5383 "seed": 34,5384 "table_entries": 10616,5385 "threads": 2,5386 "useless_collisions": 0,5387 "wall_s": 0.8820423755388 },5389 {5390 "abandoned_walks": 0,5391 "bits": 56,5392 "class_size": 2,5393 "cpu_s": 3.543700959,5394 "d": "7920816622484317",5395 "doubling_fallbacks": 0,5396 "dp_bytes": 3784704,5397 "dp_count": 21454,5398 "engine": "rho_engine 0.1.0",5399 "expected_d": "7920816622484317",5400 "expected_iterations": 184597593.9635297,5401 "fruitless_by_length": [5402 {5403 "count": 24,5404 "length": 25405 },5406 {5407 "count": 1373,5408 "length": 45409 },5410 {5411 "count": 21,5412 "length": 65413 }5414 ],5415 "fruitless_cycles": 1418,5416 "group_ops": 90112305,5417 "group_ops_per_cpu_s": 25428868.305363122,5418 "group_ops_per_wall_s": 101554902.03149688,5419 "iterations": 88852188,5420 "label": "g56b-11/t4",5421 "lookahead_rejections": 703272,5422 "match": true,5423 "ok": true,5424 "ops": {5425 "add": 90110675,5426 "dbl": 1630,5427 "inv": 1263613,5428 "mul": 6271673985429 },5430 "params": {5431 "alg": "rho",5432 "aut3": false,5433 "beta": null,5434 "cycle_check": 32,5435 "dp": 12,5436 "instance": {5437 "a": "25739882437223610",5438 "b": "15705252912235883",5439 "gx": "14691547573479830",5440 "gy": "26899646152027941",5441 "n": "43387256661918107",5442 "p": "43387256991501739",5443 "qx": "17793650438868692",5444 "qy": "33435696477152538"5445 },5446 "lambda": null,5447 "max_walk_len": 262144,5448 "mixed": 0,5449 "mode": "dp",5450 "neg": true,5451 "r": 128,5452 "seed": 34,5453 "threads": 4,5454 "walks": 1285455 },5456 "peak_rss_bytes": 22085632,5457 "process_cpu_s": 3.54439600000012,5458 "restarts": 21967,5459 "seed": 34,5460 "table_entries": 21454,5461 "threads": 4,5462 "useless_collisions": 0,5463 "wall_s": 0.8873265464 },5465 {5466 "abandoned_walks": 0,5467 "bits": 56,5468 "class_size": 2,5469 "cpu_s": 7.240281208,5470 "d": "7920816622484317",5471 "doubling_fallbacks": 0,5472 "dp_bytes": 3784704,5473 "dp_count": 42682,5474 "engine": "rho_engine 0.1.0",5475 "expected_d": "7920816622484317",5476 "expected_iterations": 184597593.9635297,5477 "fruitless_by_length": [5478 {5479 "count": 40,5480 "length": 25481 },5482 {5483 "count": 2720,5484 "length": 45485 },5486 {5487 "count": 43,5488 "length": 65489 },5490 {5491 "count": 2,5492 "length": 85493 }5494 ],5495 "fruitless_cycles": 2805,5496 "group_ops": 179467640,5497 "group_ops_per_cpu_s": 24787385.3023417,5498 "group_ops_per_wall_s": 197752186.01184344,5499 "iterations": 176963784,5500 "label": "g56b-11/t8",5501 "lookahead_rejections": 1399856,5502 "match": true,5503 "ok": true,5504 "ops": {5505 "add": 179464623,5506 "dbl": 3017,5507 "inv": 2511555,5508 "mul": 12490862895509 },5510 "params": {5511 "alg": "rho",5512 "aut3": false,5513 "beta": null,5514 "cycle_check": 32,5515 "dp": 12,5516 "instance": {5517 "a": "25739882437223610",5518 "b": "15705252912235883",5519 "gx": "14691547573479830",5520 "gy": "26899646152027941",5521 "n": "43387256661918107",5522 "p": "43387256991501739",5523 "qx": "17793650438868692",5524 "qy": "33435696477152538"5525 },5526 "lambda": null,5527 "max_walk_len": 262144,5528 "mixed": 0,5529 "mode": "dp",5530 "neg": true,5531 "r": 128,5532 "seed": 34,5533 "threads": 8,5534 "walks": 1285535 },5536 "peak_rss_bytes": 22085632,5537 "process_cpu_s": 7.241330999999946,5538 "restarts": 43707,5539 "seed": 34,5540 "table_entries": 42682,5541 "threads": 8,5542 "useless_collisions": 0,5543 "wall_s": 0.9075380845544 },5545 {5546 "abandoned_walks": 0,5547 "bits": 56,5548 "class_size": 2,5549 "cpu_s": 7.926431375000001,5550 "d": "7920816622484317",5551 "doubling_fallbacks": 0,5552 "dp_bytes": 3784704,5553 "dp_count": 47026,5554 "engine": "rho_engine 0.1.0",5555 "expected_d": "7920816622484317",5556 "expected_iterations": 184597593.9635297,5557 "fruitless_by_length": [5558 {5559 "count": 38,5560 "length": 25561 },5562 {5563 "count": 2944,5564 "length": 45565 },5566 {5567 "count": 37,5568 "length": 65569 }5570 ],5571 "fruitless_cycles": 3019,5572 "group_ops": 195832904,5573 "group_ops_per_cpu_s": 24706314.195522822,5574 "group_ops_per_wall_s": 394278659.55748004,5575 "iterations": 193065447,5576 "label": "g56b-11/t16",5577 "lookahead_rejections": 1527972,5578 "match": true,5579 "ok": true,5580 "ops": {5581 "add": 195829673,5582 "dbl": 3231,5583 "inv": 2774870,5584 "mul": 13628509055585 },5586 "params": {5587 "alg": "rho",5588 "aut3": false,5589 "beta": null,5590 "cycle_check": 32,5591 "dp": 12,5592 "instance": {5593 "a": "25739882437223610",5594 "b": "15705252912235883",5595 "gx": "14691547573479830",5596 "gy": "26899646152027941",5597 "n": "43387256661918107",5598 "p": "43387256991501739",5599 "qx": "17793650438868692",5600 "qy": "33435696477152538"5601 },5602 "lambda": null,5603 "max_walk_len": 262144,5604 "mixed": 0,5605 "mode": "dp",5606 "neg": true,5607 "r": 128,5608 "seed": 34,5609 "threads": 16,5610 "walks": 1285611 },5612 "peak_rss_bytes": 22085632,5613 "process_cpu_s": 7.92834199999993,5614 "restarts": 49075,5615 "seed": 34,5616 "table_entries": 47026,5617 "threads": 16,5618 "useless_collisions": 0,5619 "wall_s": 0.4966865425620 },5621 {5622 "abandoned_walks": 0,5623 "bits": 56,5624 "class_size": 2,5625 "cpu_s": 16.052146207,5626 "d": "7920816622484317",5627 "doubling_fallbacks": 0,5628 "dp_bytes": 3784704,5629 "dp_count": 83187,5630 "engine": "rho_engine 0.1.0",5631 "expected_d": "7920816622484317",5632 "expected_iterations": 184597593.9635297,5633 "fruitless_by_length": [5634 {5635 "count": 75,5636 "length": 25637 },5638 {5639 "count": 5288,5640 "length": 45641 },5642 {5643 "count": 77,5644 "length": 65645 }5646 ],5647 "fruitless_cycles": 5440,5648 "group_ops": 345559967,5649 "group_ops_per_cpu_s": 21527337.37556593,5650 "group_ops_per_wall_s": 573258747.2912958,5651 "iterations": 340676303,5652 "label": "g56b-11/t28",5653 "lookahead_rejections": 2696085,5654 "match": true,5655 "ok": true,5656 "ops": {5657 "add": 345554315,5658 "dbl": 5652,5659 "inv": 4897453,5660 "mul": 24048366895661 },5662 "params": {5663 "alg": "rho",5664 "aut3": false,5665 "beta": null,5666 "cycle_check": 32,5667 "dp": 12,5668 "instance": {5669 "a": "25739882437223610",5670 "b": "15705252912235883",5671 "gx": "14691547573479830",5672 "gy": "26899646152027941",5673 "n": "43387256661918107",5674 "p": "43387256991501739",5675 "qx": "17793650438868692",5676 "qy": "33435696477152538"5677 },5678 "lambda": null,5679 "max_walk_len": 262144,5680 "mixed": 0,5681 "mode": "dp",5682 "neg": true,5683 "r": 128,5684 "seed": 34,5685 "threads": 28,5686 "walks": 1285687 },5688 "peak_rss_bytes": 22216704,5689 "process_cpu_s": 16.057669000000033,5690 "restarts": 86772,5691 "seed": 34,5692 "table_entries": 83187,5693 "threads": 28,5694 "useless_collisions": 0,5695 "wall_s": 0.6027992925696 }5697 ]5698 },5699 "elapsed_s": 179.6535700}