{
 "experiment": "ecdlp_study",
 "timestamp_utc": "2026-11-01T06:39:47+00:00",
 "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",
 "cwd": "/Users/simon-pierreboucher/wp34",
 "seed": 34,
 "host": {
  "hostname": "MacStudnpierre2",
  "os": "Darwin 25.6.0 (26.6)",
  "machine": "arm64",
  "python": "3.14.5",
  "cpu": "Apple M3 Ultra",
  "cores": 28,
  "ram_gb": 96.0
 },
 "software": {
  "numpy": "2.4.4",
  "scipy": "1.17.1",
  "sympy": "1.14.0",
  "gmpy2": null,
  "z3": "4.16.0",
  "pysat": null,
  "ecdsa": null,
  "coincurve": null
 },
 "params": {
  "sizes": [
   48
  ],
  "per_size": 20,
  "threads": [
   1,
   2,
   4,
   8,
   16,
   28
  ],
  "seed": 34,
  "study": "parallel",
  "engine": "./rho_engine",
  "jobs_file": "results/synthetic_ecdlp/parallel.jobs.json",
  "parallel_processes": 1
 },
 "measurements": {
  "n_jobs": 120,
  "n_ok": 120,
  "runs": [
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.635008584,
    "d": "126989797870631",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 15768,
    "engine": "rho_engine 0.1.0",
    "expected_d": "126989797870631",
    "expected_iterations": 14194008.408911584,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 244,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 255,
    "group_ops": 16503716,
    "group_ops_per_cpu_s": 25989752.60466715,
    "group_ops_per_wall_s": 25970144.061341755,
    "iterations": 16032600,
    "label": "g48b-0/t1",
    "lookahead_rejections": 126267,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16503255,
     "dbl": 461,
     "inv": 472379,
     "mul": 113907659
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "3726755056219",
      "b": "65330382342397",
      "gx": "133060001354769",
      "gy": "229744108964470",
      "n": "256519411556479",
      "p": "256519404367693",
      "qx": "141030912881633",
      "qy": "138705896715429"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 4702208,
    "process_cpu_s": 0.635507,
    "restarts": 15897,
    "seed": 34,
    "table_entries": 15768,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.635488042
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.699935626,
    "d": "126989797870631",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 16432,
    "engine": "rho_engine 0.1.0",
    "expected_d": "126989797870631",
    "expected_iterations": 14194008.408911584,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 242,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 251,
    "group_ops": 17199899,
    "group_ops_per_cpu_s": 24573544.139043435,
    "group_ops_per_wall_s": 49076502.204816185,
    "iterations": 16706482,
    "label": "g48b-0/t2",
    "lookahead_rejections": 131532,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17199442,
     "dbl": 457,
     "inv": 494700,
     "mul": 118703018
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "3726755056219",
      "b": "65330382342397",
      "gx": "133060001354769",
      "gy": "229744108964470",
      "n": "256519411556479",
      "p": "256519404367693",
      "qx": "141030912881633",
      "qy": "138705896715429"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 4816896,
    "process_cpu_s": 0.7004180000000001,
    "restarts": 16689,
    "seed": 34,
    "table_entries": 16432,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.350471167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.286284125,
    "d": "126989797870631",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 6623,
    "engine": "rho_engine 0.1.0",
    "expected_d": "126989797870631",
    "expected_iterations": 14194008.408911584,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 93,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 99,
    "group_ops": 6960237,
    "group_ops_per_cpu_s": 24312340.057277016,
    "group_ops_per_wall_s": 96457172.47117895,
    "iterations": 6750172,
    "label": "g48b-0/t4",
    "lookahead_rejections": 53271,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6959932,
     "dbl": 305,
     "inv": 210441,
     "mul": 47994531
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "3726755056219",
      "b": "65330382342397",
      "gx": "133060001354769",
      "gy": "229744108964470",
      "n": "256519411556479",
      "p": "256519404367693",
      "qx": "141030912881633",
      "qy": "138705896715429"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 4915200,
    "process_cpu_s": 0.2869090000000001,
    "restarts": 7136,
    "seed": 34,
    "table_entries": 6623,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.072158833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.587392749,
    "d": "126989797870631",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 13377,
    "engine": "rho_engine 0.1.0",
    "expected_d": "126989797870631",
    "expected_iterations": 14194008.408911584,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 197,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 208,
    "group_ops": 13928885,
    "group_ops_per_cpu_s": 23713069.362386696,
    "group_ops_per_wall_s": 187947311.27742836,
    "iterations": 13509592,
    "label": "g48b-0/t8",
    "lookahead_rejections": 106307,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13928471,
     "dbl": 414,
     "inv": 420403,
     "mul": 96050025
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "3726755056219",
      "b": "65330382342397",
      "gx": "133060001354769",
      "gy": "229744108964470",
      "n": "256519411556479",
      "p": "256519404367693",
      "qx": "141030912881633",
      "qy": "138705896715429"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 5226496,
    "process_cpu_s": 0.5883530000000003,
    "restarts": 14402,
    "seed": 34,
    "table_entries": 13377,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.074110584
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7632390810000002,
    "d": "126989797870631",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 16693,
    "engine": "rho_engine 0.1.0",
    "expected_d": "126989797870631",
    "expected_iterations": 14194008.408911584,
    "fruitless_by_length": [
     {
      "count": 12,
      "length": 2
     },
     {
      "count": 264,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 279,
    "group_ops": 17590783,
    "group_ops_per_cpu_s": 23047539.67387579,
    "group_ops_per_wall_s": 362858032.2661938,
    "iterations": 17049907,
    "label": "g48b-0/t16",
    "lookahead_rejections": 134735,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17590298,
     "dbl": 485,
     "inv": 541795,
     "mul": 121258557
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "3726755056219",
      "b": "65330382342397",
      "gx": "133060001354769",
      "gy": "229744108964470",
      "n": "256519411556479",
      "p": "256519404367693",
      "qx": "141030912881633",
      "qy": "138705896715429"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 5554176,
    "process_cpu_s": 0.765047,
    "restarts": 18742,
    "seed": 34,
    "table_entries": 16693,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.048478417
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.4304468719999999,
    "d": "126989797870631",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 7901,
    "engine": "rho_engine 0.1.0",
    "expected_d": "126989797870631",
    "expected_iterations": 14194008.408911584,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 126,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 134,
    "group_ops": 8522126,
    "group_ops_per_cpu_s": 19798322.520973045,
    "group_ops_per_wall_s": 514989153.48081475,
    "iterations": 8207091,
    "label": "g48b-0/t28",
    "lookahead_rejections": 64817,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8521786,
     "dbl": 340,
     "inv": 315513,
     "mul": 58535112
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "3726755056219",
      "b": "65330382342397",
      "gx": "133060001354769",
      "gy": "229744108964470",
      "n": "256519411556479",
      "p": "256519404367693",
      "qx": "141030912881633",
      "qy": "138705896715429"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 6111232,
    "process_cpu_s": 0.43514900000000045,
    "restarts": 11486,
    "seed": 34,
    "table_entries": 7901,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.016548166
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6386845000000001,
    "d": "87106958227239",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 15656,
    "engine": "rho_engine 0.1.0",
    "expected_d": "87106958227239",
    "expected_iterations": 12122961.377009576,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 259,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 265,
    "group_ops": 16629616,
    "group_ops_per_cpu_s": 26037293.843830556,
    "group_ops_per_wall_s": 26019645.194997475,
    "iterations": 16160282,
    "label": "g48b-1/t1",
    "lookahead_rejections": 127901,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16629145,
     "dbl": 471,
     "inv": 470009,
     "mul": 114800419
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "105438428139075",
      "b": "142980687544501",
      "gx": "4768907048255",
      "gy": "945905260195",
      "n": "187123168091869",
      "p": "187123142063729",
      "qx": "160151232076063",
      "qy": "173626818921061"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 6750208,
    "process_cpu_s": 0.6391469999999995,
    "restarts": 15785,
    "seed": 34,
    "table_entries": 15656,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.639117708
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.191132208,
    "d": "87106958227239",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 28401,
    "engine": "rho_engine 0.1.0",
    "expected_d": "87106958227239",
    "expected_iterations": 12122961.377009576,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 456,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     }
    ],
    "fruitless_cycles": 472,
    "group_ops": 29810769,
    "group_ops_per_cpu_s": 25027254.573238775,
    "group_ops_per_wall_s": 50008090.91921504,
    "iterations": 28964295,
    "label": "g48b-1/t2",
    "lookahead_rejections": 229000,
    "match": true,
    "ok": true,
    "ops": {
     "add": 29810091,
     "dbl": 678,
     "inv": 847911,
     "mul": 205773477
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "105438428139075",
      "b": "142980687544501",
      "gx": "4768907048255",
      "gy": "945905260195",
      "n": "187123168091869",
      "p": "187123142063729",
      "qx": "160151232076063",
      "qy": "173626818921061"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 7880704,
    "process_cpu_s": 1.1916409999999997,
    "restarts": 28658,
    "seed": 34,
    "table_entries": 28401,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.596118917
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.198908958,
    "d": "87106958227239",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 27965,
    "engine": "rho_engine 0.1.0",
    "expected_d": "87106958227239",
    "expected_iterations": 12122961.377009576,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 429,
      "length": 4
     },
     {
      "count": 12,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 445,
    "group_ops": 29415702,
    "group_ops_per_cpu_s": 24535392.6198623,
    "group_ops_per_wall_s": 97841030.44359359,
    "iterations": 28576138,
    "label": "g48b-1/t4",
    "lookahead_rejections": 226125,
    "match": true,
    "ok": true,
    "ops": {
     "add": 29415051,
     "dbl": 651,
     "inv": 840702,
     "mul": 203030316
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "105438428139075",
      "b": "142980687544501",
      "gx": "4768907048255",
      "gy": "945905260195",
      "n": "187123168091869",
      "p": "187123142063729",
      "qx": "160151232076063",
      "qy": "173626818921061"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 7962624,
    "process_cpu_s": 1.1994830000000007,
    "restarts": 28478,
    "seed": 34,
    "table_entries": 27965,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.300647917
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.1387501260000001,
    "d": "87106958227239",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 25728,
    "engine": "rho_engine 0.1.0",
    "expected_d": "87106958227239",
    "expected_iterations": 12122961.377009576,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 420,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 432,
    "group_ops": 27081865,
    "group_ops_per_cpu_s": 23782096.161102857,
    "group_ops_per_wall_s": 189069601.59927905,
    "iterations": 26297108,
    "label": "g48b-1/t8",
    "lookahead_rejections": 208256,
    "match": true,
    "ok": true,
    "ops": {
     "add": 27081227,
     "dbl": 638,
     "inv": 785753,
     "mul": 186875507
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "105438428139075",
      "b": "142980687544501",
      "gx": "4768907048255",
      "gy": "945905260195",
      "n": "187123168091869",
      "p": "187123142063729",
      "qx": "160151232076063",
      "qy": "173626818921061"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 8142848,
    "process_cpu_s": 1.1396590000000009,
    "restarts": 26754,
    "seed": 34,
    "table_entries": 25728,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.143237542
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6361960409999999,
    "d": "87106958227239",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13922,
    "engine": "rho_engine 0.1.0",
    "expected_d": "87106958227239",
    "expected_iterations": 12122961.377009576,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 230,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 237,
    "group_ops": 14696027,
    "group_ops_per_cpu_s": 23099840.383948572,
    "group_ops_per_wall_s": 363025455.9029125,
    "iterations": 14237864,
    "label": "g48b-1/t16",
    "lookahead_rejections": 112514,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14695584,
     "dbl": 443,
     "inv": 458946,
     "mul": 101279176
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "105438428139075",
      "b": "142980687544501",
      "gx": "4768907048255",
      "gy": "945905260195",
      "n": "187123168091869",
      "p": "187123142063729",
      "qx": "160151232076063",
      "qy": "173626818921061"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 8273920,
    "process_cpu_s": 0.6380140000000001,
    "restarts": 15971,
    "seed": 34,
    "table_entries": 13922,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.040482084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.699608708,
    "d": "87106958227239",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13043,
    "engine": "rho_engine 0.1.0",
    "expected_d": "87106958227239",
    "expected_iterations": 12122961.377009576,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 195,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 207,
    "group_ops": 13913617,
    "group_ops_per_cpu_s": 19887712.718407158,
    "group_ops_per_wall_s": 526611233.8268579,
    "iterations": 13447621,
    "label": "g48b-1/t28",
    "lookahead_rejections": 106197,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13913204,
     "dbl": 413,
     "inv": 466730,
     "mul": 95759095
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "105438428139075",
      "b": "142980687544501",
      "gx": "4768907048255",
      "gy": "945905260195",
      "n": "187123168091869",
      "p": "187123142063729",
      "qx": "160151232076063",
      "qy": "173626818921061"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 8437760,
    "process_cpu_s": 0.703771999999999,
    "restarts": 16628,
    "seed": 34,
    "table_entries": 13043,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.026421041
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.797977708,
    "d": "39516952702843",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 19571,
    "engine": "rho_engine 0.1.0",
    "expected_d": "39516952702843",
    "expected_iterations": 11621035.733806845,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 293,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 305,
    "group_ops": 20488263,
    "group_ops_per_cpu_s": 25675232.271024793,
    "group_ops_per_wall_s": 25660407.954995576,
    "iterations": 19905016,
    "label": "g48b-2/t1",
    "lookahead_rejections": 157836,
    "match": true,
    "ok": true,
    "ops": {
     "add": 20487753,
     "dbl": 510,
     "inv": 583680,
     "mul": 141419564
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86071588730789",
      "b": "42672606382857",
      "gx": "33226567426188",
      "gy": "57791093079899",
      "n": "171949054403473",
      "p": "171949038934087",
      "qx": "31512258602784",
      "qy": "4240617919531"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 9142272,
    "process_cpu_s": 0.7984819999999999,
    "restarts": 19700,
    "seed": 34,
    "table_entries": 19571,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.798438709
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.777609625,
    "d": "39516952702843",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 18848,
    "engine": "rho_engine 0.1.0",
    "expected_d": "39516952702843",
    "expected_iterations": 11621035.733806845,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 278,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 288,
    "group_ops": 19609985,
    "group_ops_per_cpu_s": 25218289.961367186,
    "group_ops_per_wall_s": 50358718.31637789,
    "iterations": 19046937,
    "label": "g48b-2/t2",
    "lookahead_rejections": 150423,
    "match": true,
    "ok": true,
    "ops": {
     "add": 19609492,
     "dbl": 493,
     "inv": 564049,
     "mul": 135335857
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86071588730789",
      "b": "42672606382857",
      "gx": "33226567426188",
      "gy": "57791093079899",
      "n": "171949054403473",
      "p": "171949038934087",
      "qx": "31512258602784",
      "qy": "4240617919531"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 9175040,
    "process_cpu_s": 0.7781349999999989,
    "restarts": 19105,
    "seed": 34,
    "table_entries": 18848,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.389405959
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.332590041,
    "d": "39516952702843",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 7727,
    "engine": "rho_engine 0.1.0",
    "expected_d": "39516952702843",
    "expected_iterations": 11621035.733806845,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 117,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 120,
    "group_ops": 8114146,
    "group_ops_per_cpu_s": 24396839.952282276,
    "group_ops_per_wall_s": 96931089.57866304,
    "iterations": 7872049,
    "label": "g48b-2/t4",
    "lookahead_rejections": 62254,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8113821,
     "dbl": 325,
     "inv": 242432,
     "mul": 55962917
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86071588730789",
      "b": "42672606382857",
      "gx": "33226567426188",
      "gy": "57791093079899",
      "n": "171949054403473",
      "p": "171949038934087",
      "qx": "31512258602784",
      "qy": "4240617919531"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 9256960,
    "process_cpu_s": 0.3331689999999998,
    "restarts": 8240,
    "seed": 34,
    "table_entries": 7727,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.083710459
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.24298099999999997,
    "d": "39516952702843",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 5533,
    "engine": "rho_engine 0.1.0",
    "expected_d": "39516952702843",
    "expected_iterations": 11621035.733806845,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 82,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 86,
    "group_ops": 5761526,
    "group_ops_per_cpu_s": 23711837.551084243,
    "group_ops_per_wall_s": 185817464.95680323,
    "iterations": 5573661,
    "label": "g48b-2/t8",
    "lookahead_rejections": 44055,
    "match": true,
    "ok": true,
    "ops": {
     "add": 5761235,
     "dbl": 291,
     "inv": 188131,
     "mul": 39673563
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86071588730789",
      "b": "42672606382857",
      "gx": "33226567426188",
      "gy": "57791093079899",
      "n": "171949054403473",
      "p": "171949038934087",
      "qx": "31512258602784",
      "qy": "4240617919531"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 9404416,
    "process_cpu_s": 0.24389000000000038,
    "restarts": 6558,
    "seed": 34,
    "table_entries": 5533,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.031006375
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.503741128,
    "d": "39516952702843",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10952,
    "engine": "rho_engine 0.1.0",
    "expected_d": "39516952702843",
    "expected_iterations": 11621035.733806845,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 172,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 180,
    "group_ops": 11529538,
    "group_ops_per_cpu_s": 22887823.445696495,
    "group_ops_per_wall_s": 358613788.0178507,
    "iterations": 11159513,
    "label": "g48b-2/t16",
    "lookahead_rejections": 88249,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11529153,
     "dbl": 385,
     "inv": 370556,
     "mul": 79415308
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86071588730789",
      "b": "42672606382857",
      "gx": "33226567426188",
      "gy": "57791093079899",
      "n": "171949054403473",
      "p": "171949038934087",
      "qx": "31512258602784",
      "qy": "4240617919531"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 9502720,
    "process_cpu_s": 0.5051410000000001,
    "restarts": 13001,
    "seed": 34,
    "table_entries": 10952,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.032150292
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.908173209,
    "d": "39516952702843",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 17086,
    "engine": "rho_engine 0.1.0",
    "expected_d": "39516952702843",
    "expected_iterations": 11621035.733806845,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 272,
      "length": 4
     },
     {
      "count": 9,
      "length": 6
     }
    ],
    "fruitless_cycles": 286,
    "group_ops": 18081762,
    "group_ops_per_cpu_s": 19910036.7868262,
    "group_ops_per_wall_s": 532390665.7691498,
    "iterations": 17497325,
    "label": "g48b-2/t28",
    "lookahead_rejections": 138306,
    "match": true,
    "ok": true,
    "ops": {
     "add": 18081271,
     "dbl": 491,
     "inv": 585353,
     "mul": 124530242
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86071588730789",
      "b": "42672606382857",
      "gx": "33226567426188",
      "gy": "57791093079899",
      "n": "171949054403473",
      "p": "171949038934087",
      "qx": "31512258602784",
      "qy": "4240617919531"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 9764864,
    "process_cpu_s": 0.9122730000000008,
    "restarts": 20671,
    "seed": 34,
    "table_entries": 17086,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.033963334
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.534036,
    "d": "80011718706413",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12810,
    "engine": "rho_engine 0.1.0",
    "expected_d": "80011718706413",
    "expected_iterations": 13996505.35716202,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 188,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 192,
    "group_ops": 13514398,
    "group_ops_per_cpu_s": 25306155.390273318,
    "group_ops_per_wall_s": 25285566.89266522,
    "iterations": 13129628,
    "label": "g48b-3/t1",
    "lookahead_rejections": 103591,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13514000,
     "dbl": 398,
     "inv": 385519,
     "mul": 93280535
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "156592876908676",
      "b": "1799694706723",
      "gx": "37951220547299",
      "gy": "123794740546348",
      "n": "249430379828797",
      "p": "249430369154497",
      "qx": "162339906357986",
      "qy": "181602525746795"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 10354688,
    "process_cpu_s": 0.5344860000000011,
    "restarts": 12939,
    "seed": 34,
    "table_entries": 12810,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.534470833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5616010010000001,
    "d": "80011718706413",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13373,
    "engine": "rho_engine 0.1.0",
    "expected_d": "80011718706413",
    "expected_iterations": 13996505.35716202,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 192,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 201,
    "group_ops": 14009571,
    "group_ops_per_cpu_s": 24945772.844162002,
    "group_ops_per_wall_s": 49802577.92222508,
    "iterations": 13605776,
    "label": "g48b-3/t2",
    "lookahead_rejections": 107626,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14009164,
     "dbl": 407,
     "inv": 404315,
     "mul": 96679865
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "156592876908676",
      "b": "1799694706723",
      "gx": "37951220547299",
      "gy": "123794740546348",
      "n": "249430379828797",
      "p": "249430369154497",
      "qx": "162339906357986",
      "qy": "181602525746795"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 10387456,
    "process_cpu_s": 0.5621019999999994,
    "restarts": 13630,
    "seed": 34,
    "table_entries": 13373,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.281302125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.287574333,
    "d": "80011718706413",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6532,
    "engine": "rho_engine 0.1.0",
    "expected_d": "80011718706413",
    "expected_iterations": 13996505.35716202,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 97,
      "length": 4
     }
    ],
    "fruitless_cycles": 98,
    "group_ops": 6993740,
    "group_ops_per_cpu_s": 24319764.30942465,
    "group_ops_per_wall_s": 96446977.2270899,
    "iterations": 6785630,
    "label": "g48b-3/t4",
    "lookahead_rejections": 53390,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6993436,
     "dbl": 304,
     "inv": 208638,
     "mul": 48236715
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "156592876908676",
      "b": "1799694706723",
      "gx": "37951220547299",
      "gy": "123794740546348",
      "n": "249430379828797",
      "p": "249430369154497",
      "qx": "162339906357986",
      "qy": "181602525746795"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 10436608,
    "process_cpu_s": 0.2882309999999997,
    "restarts": 7045,
    "seed": 34,
    "table_entries": 6532,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.072513833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.502335791,
    "d": "80011718706413",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11033,
    "engine": "rho_engine 0.1.0",
    "expected_d": "80011718706413",
    "expected_iterations": 13996505.35716202,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 169,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 172,
    "group_ops": 11913727,
    "group_ops_per_cpu_s": 23716659.67954093,
    "group_ops_per_wall_s": 186941617.00232953,
    "iterations": 11560137,
    "label": "g48b-3/t8",
    "lookahead_rejections": 91036,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11913349,
     "dbl": 378,
     "inv": 354441,
     "mul": 82174363
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "156592876908676",
      "b": "1799694706723",
      "gx": "37951220547299",
      "gy": "123794740546348",
      "n": "249430379828797",
      "p": "249430369154497",
      "qx": "162339906357986",
      "qy": "181602525746795"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 10600448,
    "process_cpu_s": 0.5032380000000014,
    "restarts": 12058,
    "seed": 34,
    "table_entries": 11033,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.063729667
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6280174590000001,
    "d": "80011718706413",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13478,
    "engine": "rho_engine 0.1.0",
    "expected_d": "80011718706413",
    "expected_iterations": 13996505.35716202,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 211,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 217,
    "group_ops": 14437610,
    "group_ops_per_cpu_s": 22989185.719437137,
    "group_ops_per_wall_s": 360806444.9298977,
    "iterations": 13990417,
    "label": "g48b-3/t16",
    "lookahead_rejections": 110269,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14437187,
     "dbl": 423,
     "inv": 448179,
     "mul": 99508797
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "156592876908676",
      "b": "1799694706723",
      "gx": "37951220547299",
      "gy": "123794740546348",
      "n": "249430379828797",
      "p": "249430369154497",
      "qx": "162339906357986",
      "qy": "181602525746795"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 10665984,
    "process_cpu_s": 0.6298429999999993,
    "restarts": 15527,
    "seed": 34,
    "table_entries": 13478,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.040014834
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.513602879,
    "d": "80011718706413",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9379,
    "engine": "rho_engine 0.1.0",
    "expected_d": "80011718706413",
    "expected_iterations": 13996505.35716202,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 144,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 154,
    "group_ops": 10140916,
    "group_ops_per_cpu_s": 19744663.46400679,
    "group_ops_per_wall_s": 518176887.25944185,
    "iterations": 9782006,
    "label": "g48b-3/t28",
    "lookahead_rejections": 76961,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10140556,
     "dbl": 360,
     "inv": 359757,
     "mul": 69716170
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "156592876908676",
      "b": "1799694706723",
      "gx": "37951220547299",
      "gy": "123794740546348",
      "n": "249430379828797",
      "p": "249430369154497",
      "qx": "162339906357986",
      "qy": "181602525746795"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 10878976,
    "process_cpu_s": 0.5159380000000002,
    "restarts": 12964,
    "seed": 34,
    "table_entries": 9379,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.019570375
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.35821145900000007,
    "d": "138644645644198",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 8707,
    "engine": "rho_engine 0.1.0",
    "expected_d": "138644645644198",
    "expected_iterations": 13377248.62723744,
    "fruitless_by_length": [
     {
      "count": 139,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 145,
    "group_ops": 9117256,
    "group_ops_per_cpu_s": 25452161.763479482,
    "group_ops_per_wall_s": 25420136.325838134,
    "iterations": 8854255,
    "label": "g48b-4/t1",
    "lookahead_rejections": 69878,
    "match": true,
    "ok": true,
    "ops": {
     "add": 9116905,
     "dbl": 351,
     "inv": 263578,
     "mul": 62916432
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "220589890778126",
      "b": "75311103508857",
      "gx": "190402763812832",
      "gy": "12239473784584",
      "n": "227847210720263",
      "p": "227847185595503",
      "qx": "58799782171658",
      "qy": "220505112589278"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 10878976,
    "process_cpu_s": 0.3586760000000009,
    "restarts": 8836,
    "seed": 34,
    "table_entries": 8707,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.35866275
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.32520291600000006,
    "d": "138644645644198",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 7550,
    "engine": "rho_engine 0.1.0",
    "expected_d": "138644645644198",
    "expected_iterations": 13377248.62723744,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 124,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 128,
    "group_ops": 7960562,
    "group_ops_per_cpu_s": 24478753.44389593,
    "group_ops_per_wall_s": 48824249.709819816,
    "iterations": 7728418,
    "label": "g48b-4/t2",
    "lookahead_rejections": 61290,
    "match": true,
    "ok": true,
    "ops": {
     "add": 7960228,
     "dbl": 334,
     "inv": 232358,
     "mul": 54925523
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "220589890778126",
      "b": "75311103508857",
      "gx": "190402763812832",
      "gy": "12239473784584",
      "n": "227847210720263",
      "p": "227847185595503",
      "qx": "58799782171658",
      "qy": "220505112589278"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 10878976,
    "process_cpu_s": 0.32569999999999943,
    "restarts": 7807,
    "seed": 34,
    "table_entries": 7550,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.16304525
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.235818083,
    "d": "138644645644198",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 5479,
    "engine": "rho_engine 0.1.0",
    "expected_d": "138644645644198",
    "expected_iterations": 13377248.62723744,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 85,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 89,
    "group_ops": 5756867,
    "group_ops_per_cpu_s": 24412322.10339018,
    "group_ops_per_wall_s": 96758810.84792006,
    "iterations": 5580311,
    "label": "g48b-4/t4",
    "lookahead_rejections": 44593,
    "match": true,
    "ok": true,
    "ops": {
     "add": 5756572,
     "dbl": 295,
     "inv": 176360,
     "mul": 39687621
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "220589890778126",
      "b": "75311103508857",
      "gx": "190402763812832",
      "gy": "12239473784584",
      "n": "227847210720263",
      "p": "227847185595503",
      "qx": "58799782171658",
      "qy": "220505112589278"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 10878976,
    "process_cpu_s": 0.23641899999999794,
    "restarts": 5992,
    "seed": 34,
    "table_entries": 5479,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.059497083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.49616187600000006,
    "d": "138644645644198",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11091,
    "engine": "rho_engine 0.1.0",
    "expected_d": "138644645644198",
    "expected_iterations": 13377248.62723744,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 169,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 177,
    "group_ops": 11774320,
    "group_ops_per_cpu_s": 23730803.533159807,
    "group_ops_per_wall_s": 187842998.79001382,
    "iterations": 11420000,
    "label": "g48b-4/t8",
    "lookahead_rejections": 90797,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11773937,
     "dbl": 383,
     "inv": 354353,
     "mul": 81196810
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "220589890778126",
      "b": "75311103508857",
      "gx": "190402763812832",
      "gy": "12239473784584",
      "n": "227847210720263",
      "p": "227847185595503",
      "qx": "58799782171658",
      "qy": "220505112589278"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 10878976,
    "process_cpu_s": 0.49698700000000073,
    "restarts": 12116,
    "seed": 34,
    "table_entries": 11091,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.062681708
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7729915410000001,
    "d": "138644645644198",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 16867,
    "engine": "rho_engine 0.1.0",
    "expected_d": "138644645644198",
    "expected_iterations": 13377248.62723744,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 274,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     }
    ],
    "fruitless_cycles": 286,
    "group_ops": 17782914,
    "group_ops_per_cpu_s": 23005315.13837096,
    "group_ops_per_wall_s": 362309676.98926556,
    "iterations": 17237016,
    "label": "g48b-4/t16",
    "lookahead_rejections": 136345,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17782422,
     "dbl": 492,
     "inv": 546728,
     "mul": 122586958
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "220589890778126",
      "b": "75311103508857",
      "gx": "190402763812832",
      "gy": "12239473784584",
      "n": "227847210720263",
      "p": "227847185595503",
      "qx": "58799782171658",
      "qy": "220505112589278"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 10878976,
    "process_cpu_s": 0.7744789999999995,
    "restarts": 18916,
    "seed": 34,
    "table_entries": 16867,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.049082084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7453061660000001,
    "d": "138644645644198",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13954,
    "engine": "rho_engine 0.1.0",
    "expected_d": "138644645644198",
    "expected_iterations": 13377248.62723744,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 217,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 225,
    "group_ops": 14735933,
    "group_ops_per_cpu_s": 19771650.460221738,
    "group_ops_per_wall_s": 526148646.16617596,
    "iterations": 14243652,
    "label": "g48b-4/t28",
    "lookahead_rejections": 112434,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14735502,
     "dbl": 431,
     "inv": 493137,
     "mul": 101423308
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "220589890778126",
      "b": "75311103508857",
      "gx": "190402763812832",
      "gy": "12239473784584",
      "n": "227847210720263",
      "p": "227847185595503",
      "qx": "58799782171658",
      "qy": "220505112589278"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 10960896,
    "process_cpu_s": 0.7494150000000026,
    "restarts": 17539,
    "seed": 34,
    "table_entries": 13954,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.028007167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.011822625,
    "d": "67796592749690",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 24852,
    "engine": "rho_engine 0.1.0",
    "expected_d": "67796592749690",
    "expected_iterations": 11888208.953025727,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 385,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     }
    ],
    "fruitless_cycles": 395,
    "group_ops": 25792667,
    "group_ops_per_cpu_s": 25491293.002071388,
    "group_ops_per_wall_s": 25480462.31012853,
    "iterations": 25057032,
    "label": "g48b-5/t1",
    "lookahead_rejections": 197450,
    "match": true,
    "ok": true,
    "ops": {
     "add": 25792067,
     "dbl": 600,
     "inv": 737472,
     "mul": 178022541
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "4744165728239",
      "b": "8994937303156",
      "gx": "117545183332063",
      "gy": "92786060093887",
      "n": "179946323657599",
      "p": "179946324754219",
      "qx": "133041906753743",
      "qy": "30349157465879"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 10960896,
    "process_cpu_s": 1.0134109999999978,
    "restarts": 24981,
    "seed": 34,
    "table_entries": 24852,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 1.012252709
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6104919160000001,
    "d": "67796592749690",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 14910,
    "engine": "rho_engine 0.1.0",
    "expected_d": "67796592749690",
    "expected_iterations": 11888208.953025727,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 227,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 233,
    "group_ops": 15598802,
    "group_ops_per_cpu_s": 25551201.565787807,
    "group_ops_per_wall_s": 51015273.40602539,
    "iterations": 15150678,
    "label": "g48b-5/t2",
    "lookahead_rejections": 120004,
    "match": true,
    "ok": true,
    "ops": {
     "add": 15598364,
     "dbl": 438,
     "inv": 448591,
     "mul": 107653564
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "4744165728239",
      "b": "8994937303156",
      "gx": "117545183332063",
      "gy": "92786060093887",
      "n": "179946323657599",
      "p": "179946324754219",
      "qx": "133041906753743",
      "qy": "30349157465879"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 10960896,
    "process_cpu_s": 0.6109779999999994,
    "restarts": 15167,
    "seed": 34,
    "table_entries": 14910,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.305767292
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.088941541,
    "d": "67796592749690",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 25414,
    "engine": "rho_engine 0.1.0",
    "expected_d": "67796592749690",
    "expected_iterations": 11888208.953025727,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 380,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 390,
    "group_ops": 26743070,
    "group_ops_per_cpu_s": 24558774.730405845,
    "group_ops_per_wall_s": 97920448.34420243,
    "iterations": 25978670,
    "label": "g48b-5/t4",
    "lookahead_rejections": 205828,
    "match": true,
    "ok": true,
    "ops": {
     "add": 26742475,
     "dbl": 595,
     "inv": 765093,
     "mul": 184580292
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "4744165728239",
      "b": "8994937303156",
      "gx": "117545183332063",
      "gy": "92786060093887",
      "n": "179946323657599",
      "p": "179946324754219",
      "qx": "133041906753743",
      "qy": "30349157465879"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 10960896,
    "process_cpu_s": 1.0895170000000007,
    "restarts": 25927,
    "seed": 34,
    "table_entries": 25414,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.273110167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.29615487500000004,
    "d": "67796592749690",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6627,
    "engine": "rho_engine 0.1.0",
    "expected_d": "67796592749690",
    "expected_iterations": 11888208.953025727,
    "fruitless_by_length": [
     {
      "count": 97,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 98,
    "group_ops": 7015220,
    "group_ops_per_cpu_s": 23687673.552562654,
    "group_ops_per_wall_s": 186688780.85377783,
    "iterations": 6794185,
    "label": "g48b-5/t8",
    "lookahead_rejections": 53797,
    "match": true,
    "ok": true,
    "ops": {
     "add": 7014917,
     "dbl": 303,
     "inv": 221228,
     "mul": 48337465
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "4744165728239",
      "b": "8994937303156",
      "gx": "117545183332063",
      "gy": "92786060093887",
      "n": "179946323657599",
      "p": "179946324754219",
      "qx": "133041906753743",
      "qy": "30349157465879"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 10960896,
    "process_cpu_s": 0.2969310000000007,
    "restarts": 7652,
    "seed": 34,
    "table_entries": 6627,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.037577084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5001065010000001,
    "d": "67796592749690",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10689,
    "engine": "rho_engine 0.1.0",
    "expected_d": "67796592749690",
    "expected_iterations": 11888208.953025727,
    "fruitless_by_length": [
     {
      "count": 155,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 156,
    "group_ops": 11491860,
    "group_ops_per_cpu_s": 22978825.464218467,
    "group_ops_per_wall_s": 359809322.5314078,
    "iterations": 11127523,
    "label": "g48b-5/t16",
    "lookahead_rejections": 88113,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11491499,
     "dbl": 361,
     "inv": 364628,
     "mul": 79174259
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "4744165728239",
      "b": "8994937303156",
      "gx": "117545183332063",
      "gy": "92786060093887",
      "n": "179946323657599",
      "p": "179946324754219",
      "qx": "133041906753743",
      "qy": "30349157465879"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 10960896,
    "process_cpu_s": 0.5016740000000013,
    "restarts": 12738,
    "seed": 34,
    "table_entries": 10689,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.03193875
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.675352959,
    "d": "67796592749690",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12577,
    "engine": "rho_engine 0.1.0",
    "expected_d": "67796592749690",
    "expected_iterations": 11888208.953025727,
    "fruitless_by_length": [
     {
      "count": 192,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 193,
    "group_ops": 13404775,
    "group_ops_per_cpu_s": 19848547.076551713,
    "group_ops_per_wall_s": 526368955.2942101,
    "iterations": 12952862,
    "label": "g48b-5/t28",
    "lookahead_rejections": 102446,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13404377,
     "dbl": 398,
     "inv": 452426,
     "mul": 92246006
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "4744165728239",
      "b": "8994937303156",
      "gx": "117545183332063",
      "gy": "92786060093887",
      "n": "179946323657599",
      "p": "179946324754219",
      "qx": "133041906753743",
      "qy": "30349157465879"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11026432,
    "process_cpu_s": 0.678720000000002,
    "restarts": 16162,
    "seed": 34,
    "table_entries": 12577,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.0254665
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.086351916,
    "d": "83513222685244",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 26428,
    "engine": "rho_engine 0.1.0",
    "expected_d": "83513222685244",
    "expected_iterations": 13809035.112429796,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 466,
      "length": 4
     },
     {
      "count": 10,
      "length": 6
     }
    ],
    "fruitless_cycles": 483,
    "group_ops": 27927797,
    "group_ops_per_cpu_s": 25707872.91730611,
    "group_ops_per_wall_s": 25697088.414620318,
    "iterations": 27139918,
    "label": "g48b-6/t1",
    "lookahead_rejections": 214213,
    "match": true,
    "ok": true,
    "ops": {
     "add": 27927108,
     "dbl": 689,
     "inv": 789802,
     "mul": 192794406
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "139173762531189",
      "b": "104770118230481",
      "gx": "42609406178345",
      "gy": "162204735681241",
      "n": "242793349441309",
      "p": "242793361069141",
      "qx": "173462583822142",
      "qy": "7355813501751"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11026432,
    "process_cpu_s": 1.0868399999999987,
    "restarts": 26557,
    "seed": 34,
    "table_entries": 26428,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 1.086807834
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5266197080000001,
    "d": "83513222685244",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12766,
    "engine": "rho_engine 0.1.0",
    "expected_d": "83513222685244",
    "expected_iterations": 13809035.112429796,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 247,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 255,
    "group_ops": 13502092,
    "group_ops_per_cpu_s": 25639169.584591385,
    "group_ops_per_wall_s": 51184227.08628703,
    "iterations": 13115192,
    "label": "g48b-6/t2",
    "lookahead_rejections": 103762,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13501631,
     "dbl": 461,
     "inv": 387691,
     "mul": 93186215
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "139173762531189",
      "b": "104770118230481",
      "gx": "42609406178345",
      "gy": "162204735681241",
      "n": "242793349441309",
      "p": "242793361069141",
      "qx": "173462583822142",
      "qy": "7355813501751"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11026432,
    "process_cpu_s": 0.5271159999999995,
    "restarts": 13023,
    "seed": 34,
    "table_entries": 12766,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.263794
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5995267510000001,
    "d": "83513222685244",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13949,
    "engine": "rho_engine 0.1.0",
    "expected_d": "83513222685244",
    "expected_iterations": 13809035.112429796,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 244,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 252,
    "group_ops": 14715217,
    "group_ops_per_cpu_s": 24544721.274664186,
    "group_ops_per_wall_s": 97749791.79069962,
    "iterations": 14288006,
    "label": "g48b-6/t4",
    "lookahead_rejections": 113269,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14714759,
     "dbl": 458,
     "inv": 427717,
     "mul": 101537869
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "139173762531189",
      "b": "104770118230481",
      "gx": "42609406178345",
      "gy": "162204735681241",
      "n": "242793349441309",
      "p": "242793361069141",
      "qx": "173462583822142",
      "qy": "7355813501751"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11026432,
    "process_cpu_s": 0.6001149999999988,
    "restarts": 14462,
    "seed": 34,
    "table_entries": 13949,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.150539625
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.1285316670000003,
    "d": "83513222685244",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 25523,
    "engine": "rho_engine 0.1.0",
    "expected_d": "83513222685244",
    "expected_iterations": 13809035.112429796,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 428,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 441,
    "group_ops": 26821448,
    "group_ops_per_cpu_s": 23766677.34216092,
    "group_ops_per_wall_s": 189035086.6899328,
    "iterations": 26041577,
    "label": "g48b-6/t8",
    "lookahead_rejections": 206546,
    "match": true,
    "ok": true,
    "ops": {
     "add": 26820801,
     "dbl": 647,
     "inv": 780606,
     "mul": 185069028
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "139173762531189",
      "b": "104770118230481",
      "gx": "42609406178345",
      "gy": "162204735681241",
      "n": "242793349441309",
      "p": "242793361069141",
      "qx": "173462583822142",
      "qy": "7355813501751"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11026432,
    "process_cpu_s": 1.1293400000000027,
    "restarts": 26548,
    "seed": 34,
    "table_entries": 25523,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.141886083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.4880023770000001,
    "d": "83513222685244",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10659,
    "engine": "rho_engine 0.1.0",
    "expected_d": "83513222685244",
    "expected_iterations": 13809035.112429796,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 173,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 176,
    "group_ops": 11323065,
    "group_ops_per_cpu_s": 23202889.03019011,
    "group_ops_per_wall_s": 362674642.06783897,
    "iterations": 10960225,
    "label": "g48b-6/t16",
    "lookahead_rejections": 86422,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11322683,
     "dbl": 382,
     "inv": 363600,
     "mul": 77994333
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "139173762531189",
      "b": "104770118230481",
      "gx": "42609406178345",
      "gy": "162204735681241",
      "n": "242793349441309",
      "p": "242793361069141",
      "qx": "173462583822142",
      "qy": "7355813501751"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11026432,
    "process_cpu_s": 0.48966500000000224,
    "restarts": 12708,
    "seed": 34,
    "table_entries": 10659,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.031221
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.9306725839999997,
    "d": "83513222685244",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 17470,
    "engine": "rho_engine 0.1.0",
    "expected_d": "83513222685244",
    "expected_iterations": 13809035.112429796,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 290,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 298,
    "group_ops": 18549580,
    "group_ops_per_cpu_s": 19931370.407705065,
    "group_ops_per_wall_s": 533942992.0194584,
    "iterations": 17951752,
    "label": "g48b-6/t28",
    "lookahead_rejections": 141908,
    "match": true,
    "ok": true,
    "ops": {
     "add": 18549076,
     "dbl": 504,
     "inv": 598765,
     "mul": 127758951
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "139173762531189",
      "b": "104770118230481",
      "gx": "42609406178345",
      "gy": "162204735681241",
      "n": "242793349441309",
      "p": "242793361069141",
      "qx": "173462583822142",
      "qy": "7355813501751"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11354112,
    "process_cpu_s": 0.9349469999999975,
    "restarts": 21055,
    "seed": 34,
    "table_entries": 17470,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.03474075
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.534247875,
    "d": "96608256724573",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13177,
    "engine": "rho_engine 0.1.0",
    "expected_d": "96608256724573",
    "expected_iterations": 11334012.695234837,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 209,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 215,
    "group_ops": 13893254,
    "group_ops_per_cpu_s": 26005258.326951697,
    "group_ops_per_wall_s": 25984155.995599255,
    "iterations": 13498591,
    "label": "g48b-7/t1",
    "lookahead_rejections": 106601,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13892833,
     "dbl": 421,
     "inv": 395440,
     "mul": 95899286
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86580983706589",
      "b": "137667610473599",
      "gx": "18934857967031",
      "gy": "94656898407854",
      "n": "163560153005779",
      "p": "163560161383081",
      "qx": "14532010153519",
      "qy": "142892335077393"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11354112,
    "process_cpu_s": 0.5349310000000003,
    "restarts": 13306,
    "seed": 34,
    "table_entries": 13177,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.53468175
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.416175625,
    "d": "96608256724573",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9804,
    "engine": "rho_engine 0.1.0",
    "expected_d": "96608256724573",
    "expected_iterations": 11334012.695234837,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 166,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 173,
    "group_ops": 10372361,
    "group_ops_per_cpu_s": 24923038.200519312,
    "group_ops_per_wall_s": 49727133.291564055,
    "iterations": 10073916,
    "label": "g48b-7/t2",
    "lookahead_rejections": 79798,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10371982,
     "dbl": 379,
     "inv": 298848,
     "mul": 71581805
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86580983706589",
      "b": "137667610473599",
      "gx": "18934857967031",
      "gy": "94656898407854",
      "n": "163560153005779",
      "p": "163560161383081",
      "qx": "14532010153519",
      "qy": "142892335077393"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11354112,
    "process_cpu_s": 0.41667500000000146,
    "restarts": 10062,
    "seed": 34,
    "table_entries": 9804,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.208585541
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.586987499,
    "d": "96608256724573",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13616,
    "engine": "rho_engine 0.1.0",
    "expected_d": "96608256724573",
    "expected_iterations": 11334012.695234837,
    "fruitless_by_length": [
     {
      "count": 227,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 232,
    "group_ops": 14434164,
    "group_ops_per_cpu_s": 24590240.89029194,
    "group_ops_per_wall_s": 97922498.81158212,
    "iterations": 14017470,
    "label": "g48b-7/t4",
    "lookahead_rejections": 110813,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14433726,
     "dbl": 438,
     "inv": 417428,
     "mul": 99606865
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86580983706589",
      "b": "137667610473599",
      "gx": "18934857967031",
      "gy": "94656898407854",
      "n": "163560153005779",
      "p": "163560161383081",
      "qx": "14532010153519",
      "qy": "142892335077393"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11354112,
    "process_cpu_s": 0.5875369999999975,
    "restarts": 14129,
    "seed": 34,
    "table_entries": 13616,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.147403959
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.4905580830000001,
    "d": "96608256724573",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10929,
    "engine": "rho_engine 0.1.0",
    "expected_d": "96608256724573",
    "expected_iterations": 11334012.695234837,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 171,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 174,
    "group_ops": 11656096,
    "group_ops_per_cpu_s": 23760888.67747797,
    "group_ops_per_wall_s": 187779066.5375852,
    "iterations": 11307312,
    "label": "g48b-7/t8",
    "lookahead_rejections": 89659,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11655716,
     "dbl": 380,
     "inv": 349032,
     "mul": 80388518
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86580983706589",
      "b": "137667610473599",
      "gx": "18934857967031",
      "gy": "94656898407854",
      "n": "163560153005779",
      "p": "163560161383081",
      "qx": "14532010153519",
      "qy": "142892335077393"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11354112,
    "process_cpu_s": 0.4914000000000023,
    "restarts": 11954,
    "seed": 34,
    "table_entries": 10929,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.062073458
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.441299165,
    "d": "96608256724573",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9716,
    "engine": "rho_engine 0.1.0",
    "expected_d": "96608256724573",
    "expected_iterations": 11334012.695234837,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 150,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 154,
    "group_ops": 10198099,
    "group_ops_per_cpu_s": 23109264.2108217,
    "group_ops_per_wall_s": 360907360.00032276,
    "iterations": 9864742,
    "label": "g48b-7/t16",
    "lookahead_rejections": 78181,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10197739,
     "dbl": 360,
     "inv": 333628,
     "mul": 70221056
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86580983706589",
      "b": "137667610473599",
      "gx": "18934857967031",
      "gy": "94656898407854",
      "n": "163560153005779",
      "p": "163560161383081",
      "qx": "14532010153519",
      "qy": "142892335077393"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11354112,
    "process_cpu_s": 0.44307200000000435,
    "restarts": 11765,
    "seed": 34,
    "table_entries": 9716,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.028256833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.529148375,
    "d": "96608256724573",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9852,
    "engine": "rho_engine 0.1.0",
    "expected_d": "96608256724573",
    "expected_iterations": 11334012.695234837,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 169,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 173,
    "group_ops": 10545081,
    "group_ops_per_cpu_s": 19928400.98960901,
    "group_ops_per_wall_s": 524554795.9310978,
    "iterations": 10173253,
    "label": "g48b-7/t28",
    "lookahead_rejections": 80679,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10544702,
     "dbl": 379,
     "inv": 372127,
     "mul": 72502658
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "86580983706589",
      "b": "137667610473599",
      "gx": "18934857967031",
      "gy": "94656898407854",
      "n": "163560153005779",
      "p": "163560161383081",
      "qx": "14532010153519",
      "qy": "142892335077393"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11370496,
    "process_cpu_s": 0.5330799999999982,
    "restarts": 13437,
    "seed": 34,
    "table_entries": 9852,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.020102916
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.521229,
    "d": "88256088614348",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12923,
    "engine": "rho_engine 0.1.0",
    "expected_d": "88256088614348",
    "expected_iterations": 13982271.825026013,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 208,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 216,
    "group_ops": 13433363,
    "group_ops_per_cpu_s": 25772478.123818893,
    "group_ops_per_wall_s": 25750869.988505583,
    "iterations": 13046975,
    "label": "g48b-8/t1",
    "lookahead_rejections": 102921,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13432941,
     "dbl": 422,
     "inv": 387288,
     "mul": 92705289
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "144007308665878",
      "b": "168516546766515",
      "gx": "171991166788104",
      "gy": "179837085768386",
      "n": "248923328956121",
      "p": "248923305756509",
      "qx": "231351244430570",
      "qy": "64730608750336"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11370496,
    "process_cpu_s": 0.5221909999999959,
    "restarts": 13052,
    "seed": 34,
    "table_entries": 12923,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.521666375
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.47745920900000005,
    "d": "88256088614348",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11596,
    "engine": "rho_engine 0.1.0",
    "expected_d": "88256088614348",
    "expected_iterations": 13982271.825026013,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 184,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 190,
    "group_ops": 12232256,
    "group_ops_per_cpu_s": 25619478.6264977,
    "group_ops_per_wall_s": 51140670.4113101,
    "iterations": 11880159,
    "label": "g48b-8/t2",
    "lookahead_rejections": 94186,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12231860,
     "dbl": 396,
     "inv": 352422,
     "mul": 84417185
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "144007308665878",
      "b": "168516546766515",
      "gx": "171991166788104",
      "gy": "179837085768386",
      "n": "248923328956121",
      "p": "248923305756509",
      "qx": "231351244430570",
      "qy": "64730608750336"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11370496,
    "process_cpu_s": 0.47795099999999735,
    "restarts": 11853,
    "seed": 34,
    "table_entries": 11596,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.239188417
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.26656870800000004,
    "d": "88256088614348",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6155,
    "engine": "rho_engine 0.1.0",
    "expected_d": "88256088614348",
    "expected_iterations": 13982271.825026013,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 101,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 106,
    "group_ops": 6457029,
    "group_ops_per_cpu_s": 24222756.858618226,
    "group_ops_per_wall_s": 96149278.16443469,
    "iterations": 6260782,
    "label": "g48b-8/t4",
    "lookahead_rejections": 49780,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6456717,
     "dbl": 312,
     "inv": 196310,
     "mul": 44520523
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "144007308665878",
      "b": "168516546766515",
      "gx": "171991166788104",
      "gy": "179837085768386",
      "n": "248923328956121",
      "p": "248923305756509",
      "qx": "231351244430570",
      "qy": "64730608750336"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11370496,
    "process_cpu_s": 0.2671639999999975,
    "restarts": 6668,
    "seed": 34,
    "table_entries": 6155,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.067156292
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.552683252,
    "d": "88256088614348",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12524,
    "engine": "rho_engine 0.1.0",
    "expected_d": "88256088614348",
    "expected_iterations": 13982271.825026013,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 203,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 213,
    "group_ops": 13091183,
    "group_ops_per_cpu_s": 23686592.551206887,
    "group_ops_per_wall_s": 187541458.81864312,
    "iterations": 12695848,
    "label": "g48b-8/t8",
    "lookahead_rejections": 101144,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13090764,
     "dbl": 419,
     "inv": 395247,
     "mul": 90273160
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "144007308665878",
      "b": "168516546766515",
      "gx": "171991166788104",
      "gy": "179837085768386",
      "n": "248923328956121",
      "p": "248923305756509",
      "qx": "231351244430570",
      "qy": "64730608750336"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11370496,
    "process_cpu_s": 0.5535180000000004,
    "restarts": 13549,
    "seed": 34,
    "table_entries": 12524,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.069804208
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.132111751,
    "d": "88256088614348",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 24669,
    "engine": "rho_engine 0.1.0",
    "expected_d": "88256088614348",
    "expected_iterations": 13982271.825026013,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 405,
      "length": 4
     },
     {
      "count": 9,
      "length": 6
     }
    ],
    "fruitless_cycles": 420,
    "group_ops": 26126949,
    "group_ops_per_cpu_s": 23078065.37377775,
    "group_ops_per_wall_s": 365106981.710993,
    "iterations": 25348022,
    "label": "g48b-8/t16",
    "lookahead_rejections": 201759,
    "match": true,
    "ok": true,
    "ops": {
     "add": 26126323,
     "dbl": 626,
     "inv": 778892,
     "mul": 180203447
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "144007308665878",
      "b": "168516546766515",
      "gx": "171991166788104",
      "gy": "179837085768386",
      "n": "248923328956121",
      "p": "248923305756509",
      "qx": "231351244430570",
      "qy": "64730608750336"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11370496,
    "process_cpu_s": 1.1337070000000011,
    "restarts": 26718,
    "seed": 34,
    "table_entries": 24669,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.071559708
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.33389883,
    "d": "88256088614348",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6145,
    "engine": "rho_engine 0.1.0",
    "expected_d": "88256088614348",
    "expected_iterations": 13982271.825026013,
    "fruitless_by_length": [
     {
      "count": 100,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 101,
    "group_ops": 6529536,
    "group_ops_per_cpu_s": 19555432.404480126,
    "group_ops_per_wall_s": 506576300.89387983,
    "iterations": 6267299,
    "label": "g48b-8/t28",
    "lookahead_rejections": 49628,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6529229,
     "dbl": 307,
     "inv": 262467,
     "mul": 44766536
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "144007308665878",
      "b": "168516546766515",
      "gx": "171991166788104",
      "gy": "179837085768386",
      "n": "248923328956121",
      "p": "248923305756509",
      "qx": "231351244430570",
      "qy": "64730608750336"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.3396280000000047,
    "restarts": 9730,
    "seed": 34,
    "table_entries": 6145,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.012889541
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.14895350000000002,
    "d": "82678809384088",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 3666,
    "engine": "rho_engine 0.1.0",
    "expected_d": "82678809384088",
    "expected_iterations": 12709458.847992051,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 55,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 57,
    "group_ops": 3880326,
    "group_ops_per_cpu_s": 26050586.256784834,
    "group_ops_per_wall_s": 25978512.62078073,
    "iterations": 3766039,
    "label": "g48b-9/t1",
    "lookahead_rejections": 29578,
    "match": true,
    "ok": true,
    "ops": {
     "add": 3880063,
     "dbl": 263,
     "inv": 114649,
     "mul": 26767567
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "188383789581001",
      "b": "189524500555193",
      "gx": "27337526026738",
      "gy": "124232439248390",
      "n": "205666821921331",
      "p": "205666843977949",
      "qx": "180890228516820",
      "qy": "75084286796472"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.14939099999999428,
    "restarts": 3795,
    "seed": 34,
    "table_entries": 3666,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.14936675
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.303764333,
    "d": "82678809384088",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 7379,
    "engine": "rho_engine 0.1.0",
    "expected_d": "82678809384088",
    "expected_iterations": 12709458.847992051,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 108,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 112,
    "group_ops": 7772143,
    "group_ops_per_cpu_s": 25586094.7308781,
    "group_ops_per_wall_s": 51024567.86426275,
    "iterations": 7545749,
    "label": "g48b-9/t2",
    "lookahead_rejections": 59302,
    "match": true,
    "ok": true,
    "ops": {
     "add": 7771825,
     "dbl": 318,
     "inv": 227073,
     "mul": 53624513
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "188383789581001",
      "b": "189524500555193",
      "gx": "27337526026738",
      "gy": "124232439248390",
      "n": "205666821921331",
      "p": "205666843977949",
      "qx": "180890228516820",
      "qy": "75084286796472"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.30422299999999325,
    "restarts": 7636,
    "seed": 34,
    "table_entries": 7379,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.152321584
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6333267499999999,
    "d": "82678809384088",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 14841,
    "engine": "rho_engine 0.1.0",
    "expected_d": "82678809384088",
    "expected_iterations": 12709458.847992051,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 215,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 221,
    "group_ops": 15543595,
    "group_ops_per_cpu_s": 24542773.536724925,
    "group_ops_per_wall_s": 97749185.85711026,
    "iterations": 15091582,
    "label": "g48b-9/t4",
    "lookahead_rejections": 119142,
    "match": true,
    "ok": true,
    "ops": {
     "add": 15543168,
     "dbl": 427,
     "inv": 452820,
     "mul": 107249343
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "188383789581001",
      "b": "189524500555193",
      "gx": "27337526026738",
      "gy": "124232439248390",
      "n": "205666821921331",
      "p": "205666843977949",
      "qx": "180890228516820",
      "qy": "75084286796472"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.6338820000000069,
    "restarts": 15354,
    "seed": 34,
    "table_entries": 14841,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.159015084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.30171833300000006,
    "d": "82678809384088",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6800,
    "engine": "rho_engine 0.1.0",
    "expected_d": "82678809384088",
    "expected_iterations": 12709458.847992051,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 100,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 103,
    "group_ops": 7144924,
    "group_ops_per_cpu_s": 23680775.14202625,
    "group_ops_per_wall_s": 186503658.2122402,
    "iterations": 6918734,
    "label": "g48b-9/t8",
    "lookahead_rejections": 54972,
    "match": true,
    "ok": true,
    "ops": {
     "add": 7144615,
     "dbl": 309,
     "inv": 226218,
     "mul": 49227627
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "188383789581001",
      "b": "189524500555193",
      "gx": "27337526026738",
      "gy": "124232439248390",
      "n": "205666821921331",
      "p": "205666843977949",
      "qx": "180890228516820",
      "qy": "75084286796472"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.30248399999999975,
    "restarts": 7825,
    "seed": 34,
    "table_entries": 6800,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.038309833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.18722137600000002,
    "d": "82678809384088",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 4044,
    "engine": "rho_engine 0.1.0",
    "expected_d": "82678809384088",
    "expected_iterations": 12709458.847992051,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 65,
      "length": 4
     }
    ],
    "fruitless_cycles": 66,
    "group_ops": 4235503,
    "group_ops_per_cpu_s": 22622966.941552654,
    "group_ops_per_wall_s": 345313711.8429842,
    "iterations": 4069471,
    "label": "g48b-9/t16",
    "lookahead_rejections": 32109,
    "match": true,
    "ok": true,
    "ops": {
     "add": 4235231,
     "dbl": 272,
     "inv": 166296,
     "mul": 29054382
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "188383789581001",
      "b": "189524500555193",
      "gx": "27337526026738",
      "gy": "124232439248390",
      "n": "205666821921331",
      "p": "205666843977949",
      "qx": "180890228516820",
      "qy": "75084286796472"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.1887310000000113,
    "restarts": 6093,
    "seed": 34,
    "table_entries": 4044,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.012265667
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.3392966670000001,
    "d": "82678809384088",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6218,
    "engine": "rho_engine 0.1.0",
    "expected_d": "82678809384088",
    "expected_iterations": 12709458.847992051,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 105,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 108,
    "group_ops": 6609017,
    "group_ops_per_cpu_s": 19478579.198657434,
    "group_ops_per_wall_s": 506375029.92922336,
    "iterations": 6345250,
    "label": "g48b-9/t28",
    "lookahead_rejections": 50181,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6608703,
     "dbl": 314,
     "inv": 264097,
     "mul": 45317762
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "188383789581001",
      "b": "189524500555193",
      "gx": "27337526026738",
      "gy": "124232439248390",
      "n": "205666821921331",
      "p": "205666843977949",
      "qx": "180890228516820",
      "qy": "75084286796472"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.34305499999999256,
    "restarts": 9803,
    "seed": 34,
    "table_entries": 6218,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.013051625
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.420995458,
    "d": "8617047018652",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 10252,
    "engine": "rho_engine 0.1.0",
    "expected_d": "8617047018652",
    "expected_iterations": 14376350.09837267,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 159,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 163,
    "group_ops": 10728361,
    "group_ops_per_cpu_s": 25483317.684629273,
    "group_ops_per_wall_s": 25455549.008944638,
    "iterations": 10419434,
    "label": "g48b-10/t1",
    "lookahead_rejections": 82505,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10727996,
     "dbl": 365,
     "inv": 309281,
     "mul": 74037704
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "115822396024987",
      "b": "144684570553148",
      "gx": "162052997094996",
      "gy": "56868253272028",
      "n": "263152438830431",
      "p": "263152436309489",
      "qx": "134157663575307",
      "qy": "9160684787257"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.42178899999999686,
    "restarts": 10381,
    "seed": 34,
    "table_entries": 10252,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.421454709
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.1409455,
    "d": "8617047018652",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 3202,
    "engine": "rho_engine 0.1.0",
    "expected_d": "8617047018652",
    "expected_iterations": 14376350.09837267,
    "fruitless_by_length": [
     {
      "count": 42,
      "length": 4
     }
    ],
    "fruitless_cycles": 42,
    "group_ops": 3386992,
    "group_ops_per_cpu_s": 24030508.24609512,
    "group_ops_per_wall_s": 47717498.44248562,
    "iterations": 3283366,
    "label": "g48b-10/t2",
    "lookahead_rejections": 25900,
    "match": true,
    "ok": true,
    "ops": {
     "add": 3386748,
     "dbl": 244,
     "inv": 103788,
     "mul": 23349577
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "115822396024987",
      "b": "144684570553148",
      "gx": "162052997094996",
      "gy": "56868253272028",
      "n": "263152438830431",
      "p": "263152436309489",
      "qx": "134157663575307",
      "qy": "9160684787257"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.14144899999999438,
    "restarts": 3459,
    "seed": 34,
    "table_entries": 3202,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.070980083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.27417783300000004,
    "d": "8617047018652",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 6242,
    "engine": "rho_engine 0.1.0",
    "expected_d": "8617047018652",
    "expected_iterations": 14376350.09837267,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 96,
      "length": 4
     }
    ],
    "fruitless_cycles": 97,
    "group_ops": 6685264,
    "group_ops_per_cpu_s": 24382948.5660863,
    "group_ops_per_wall_s": 96735128.07507345,
    "iterations": 6485669,
    "label": "g48b-10/t4",
    "lookahead_rejections": 51136,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6684965,
     "dbl": 299,
     "inv": 200009,
     "mul": 46106869
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "115822396024987",
      "b": "144684570553148",
      "gx": "162052997094996",
      "gy": "56868253272028",
      "n": "263152438830431",
      "p": "263152436309489",
      "qx": "134157663575307",
      "qy": "9160684787257"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.274753000000004,
    "restarts": 6755,
    "seed": 34,
    "table_entries": 6242,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.069108959
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.422562416,
    "d": "8617047018652",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 9541,
    "engine": "rho_engine 0.1.0",
    "expected_d": "8617047018652",
    "expected_iterations": 14376350.09837267,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 140,
      "length": 4
     }
    ],
    "fruitless_cycles": 141,
    "group_ops": 10064981,
    "group_ops_per_cpu_s": 23818921.46319042,
    "group_ops_per_wall_s": 188260389.1687206,
    "iterations": 9757181,
    "label": "g48b-10/t8",
    "lookahead_rejections": 77381,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10064638,
     "dbl": 343,
     "inv": 307952,
     "mul": 69388893
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "115822396024987",
      "b": "144684570553148",
      "gx": "162052997094996",
      "gy": "56868253272028",
      "n": "263152438830431",
      "p": "263152436309489",
      "qx": "134157663575307",
      "qy": "9160684787257"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.4233130000000003,
    "restarts": 10566,
    "seed": 34,
    "table_entries": 9541,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.053463084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.8102815010000001,
    "d": "8617047018652",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 17941,
    "engine": "rho_engine 0.1.0",
    "expected_d": "8617047018652",
    "expected_iterations": 14376350.09837267,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 265,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 267,
    "group_ops": 18872554,
    "group_ops_per_cpu_s": 23291354.88926829,
    "group_ops_per_wall_s": 367465212.8410446,
    "iterations": 18294694,
    "label": "g48b-10/t16",
    "lookahead_rejections": 144790,
    "match": true,
    "ok": true,
    "ops": {
     "add": 18872085,
     "dbl": 469,
     "inv": 578458,
     "mul": 130105014
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "115822396024987",
      "b": "144684570553148",
      "gx": "162052997094996",
      "gy": "56868253272028",
      "n": "263152438830431",
      "p": "263152436309489",
      "qx": "134157663575307",
      "qy": "9160684787257"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11468800,
    "process_cpu_s": 0.8116130000000013,
    "restarts": 19990,
    "seed": 34,
    "table_entries": 17941,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.05135875
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.3031157500000001,
    "d": "8617047018652",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 24637,
    "engine": "rho_engine 0.1.0",
    "expected_d": "8617047018652",
    "expected_iterations": 14376350.09837267,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 387,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 394,
    "group_ops": 26042228,
    "group_ops_per_cpu_s": 19984585.406169787,
    "group_ops_per_wall_s": 539873290.3065151,
    "iterations": 25232621,
    "label": "g48b-10/t28",
    "lookahead_rejections": 199770,
    "match": true,
    "ok": true,
    "ops": {
     "add": 26041632,
     "dbl": 596,
     "inv": 810503,
     "mul": 179483340
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "115822396024987",
      "b": "144684570553148",
      "gx": "162052997094996",
      "gy": "56868253272028",
      "n": "263152438830431",
      "p": "263152436309489",
      "qx": "134157663575307",
      "qy": "9160684787257"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 1.3076300000000032,
    "restarts": 28222,
    "seed": 34,
    "table_entries": 24637,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.048237667
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.26482125000000006,
    "d": "69308680577628",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 6458,
    "engine": "rho_engine 0.1.0",
    "expected_d": "69308680577628",
    "expected_iterations": 13390470.09632237,
    "fruitless_by_length": [
     {
      "count": 103,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 105,
    "group_ops": 6887708,
    "group_ops_per_cpu_s": 26008894.67895797,
    "group_ops_per_wall_s": 25965047.076950252,
    "iterations": 6690714,
    "label": "g48b-11/t1",
    "lookahead_rejections": 52347,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6887398,
     "dbl": 310,
     "inv": 197856,
     "mul": 47535742
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "29952611926036",
      "b": "227185076563145",
      "gx": "216520204820015",
      "gy": "139554333874428",
      "n": "228297821101177",
      "p": "228297814327103",
      "qx": "74911321486253",
      "qy": "51225068804026"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.2652870000000078,
    "restarts": 6587,
    "seed": 34,
    "table_entries": 6458,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.265268458
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.22900758300000001,
    "d": "69308680577628",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 5296,
    "engine": "rho_engine 0.1.0",
    "expected_d": "69308680577628",
    "expected_iterations": 13390470.09632237,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 87,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 89,
    "group_ops": 5532357,
    "group_ops_per_cpu_s": 24157964.2364943,
    "group_ops_per_wall_s": 48117842.699023865,
    "iterations": 5367655,
    "label": "g48b-11/t2",
    "lookahead_rejections": 42202,
    "match": true,
    "ok": true,
    "ops": {
     "add": 5532063,
     "dbl": 294,
     "inv": 165210,
     "mul": 38156837
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "29952611926036",
      "b": "227185076563145",
      "gx": "216520204820015",
      "gy": "139554333874428",
      "n": "228297821101177",
      "p": "228297814327103",
      "qx": "74911321486253",
      "qy": "51225068804026"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.2295170000000013,
    "restarts": 5553,
    "seed": 34,
    "table_entries": 5296,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.114975167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.45466316700000003,
    "d": "69308680577628",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10660,
    "engine": "rho_engine 0.1.0",
    "expected_d": "69308680577628",
    "expected_iterations": 13390470.09632237,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 169,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 175,
    "group_ops": 11110623,
    "group_ops_per_cpu_s": 24437042.20271707,
    "group_ops_per_wall_s": 97207041.33922409,
    "iterations": 10782217,
    "label": "g48b-11/t4",
    "lookahead_rejections": 85232,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11110243,
     "dbl": 380,
     "inv": 328958,
     "mul": 76641475
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "29952611926036",
      "b": "227185076563145",
      "gx": "216520204820015",
      "gy": "139554333874428",
      "n": "228297821101177",
      "p": "228297814327103",
      "qx": "74911321486253",
      "qy": "51225068804026"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.4552919999999929,
    "restarts": 11173,
    "seed": 34,
    "table_entries": 10660,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.114298541
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.9286699570000001,
    "d": "69308680577628",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 20919,
    "engine": "rho_engine 0.1.0",
    "expected_d": "69308680577628",
    "expected_iterations": 13390470.09632237,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 314,
      "length": 4
     },
     {
      "count": 9,
      "length": 6
     }
    ],
    "fruitless_cycles": 327,
    "group_ops": 22050587,
    "group_ops_per_cpu_s": 23744266.55432334,
    "group_ops_per_wall_s": 188282563.25993365,
    "iterations": 21406765,
    "label": "g48b-11/t8",
    "lookahead_rejections": 169431,
    "match": true,
    "ok": true,
    "ops": {
     "add": 22050055,
     "dbl": 532,
     "inv": 644610,
     "mul": 152138256
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "29952611926036",
      "b": "227185076563145",
      "gx": "216520204820015",
      "gy": "139554333874428",
      "n": "228297821101177",
      "p": "228297814327103",
      "qx": "74911321486253",
      "qy": "51225068804026"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.9295419999999979,
    "restarts": 21944,
    "seed": 34,
    "table_entries": 20919,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.117114334
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.36088612400000003,
    "d": "69308680577628",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 7761,
    "engine": "rho_engine 0.1.0",
    "expected_d": "69308680577628",
    "expected_iterations": 13390470.09632237,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 109,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 113,
    "group_ops": 8222673,
    "group_ops_per_cpu_s": 22784674.868796006,
    "group_ops_per_wall_s": 354209263.679373,
    "iterations": 7945576,
    "label": "g48b-11/t16",
    "lookahead_rejections": 63060,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8222355,
     "dbl": 318,
     "inv": 277172,
     "mul": 56586308
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "29952611926036",
      "b": "227185076563145",
      "gx": "216520204820015",
      "gy": "139554333874428",
      "n": "228297821101177",
      "p": "228297814327103",
      "qx": "74911321486253",
      "qy": "51225068804026"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.3625649999999965,
    "restarts": 9810,
    "seed": 34,
    "table_entries": 7761,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.023214167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.44913141399999995,
    "d": "69308680577628",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 8300,
    "engine": "rho_engine 0.1.0",
    "expected_d": "69308680577628",
    "expected_iterations": 13390470.09632237,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 125,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 127,
    "group_ops": 8879180,
    "group_ops_per_cpu_s": 19769670.353096258,
    "group_ops_per_wall_s": 516814795.1198865,
    "iterations": 8552973,
    "label": "g48b-11/t28",
    "lookahead_rejections": 67701,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8878848,
     "dbl": 332,
     "inv": 326492,
     "mul": 60996354
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "29952611926036",
      "b": "227185076563145",
      "gx": "216520204820015",
      "gy": "139554333874428",
      "n": "228297821101177",
      "p": "228297814327103",
      "qx": "74911321486253",
      "qy": "51225068804026"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.45309199999999805,
    "restarts": 11885,
    "seed": 34,
    "table_entries": 8300,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.017180584
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.11828812500000001,
    "d": "134774575671927",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 2852,
    "engine": "rho_engine 0.1.0",
    "expected_d": "134774575671927",
    "expected_iterations": 11524971.446307162,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 36,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 39,
    "group_ops": 3007266,
    "group_ops_per_cpu_s": 25423228.240366478,
    "group_ops_per_wall_s": 25331411.39370456,
    "iterations": 2916969,
    "label": "g48b-12/t1",
    "lookahead_rejections": 23004,
    "match": true,
    "ok": true,
    "ops": {
     "add": 3007021,
     "dbl": 245,
     "inv": 90457,
     "mul": 20738549
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "119872861587018",
      "b": "124428532410388",
      "gx": "60543193524197",
      "gy": "60514484357132",
      "n": "169118000306527",
      "p": "169117981573031",
      "qx": "34564652698289",
      "qy": "129642375579524"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.11892099999999317,
    "restarts": 2981,
    "seed": 34,
    "table_entries": 2852,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.118716875
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.23528937600000002,
    "d": "134774575671927",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 5610,
    "engine": "rho_engine 0.1.0",
    "expected_d": "134774575671927",
    "expected_iterations": 11524971.446307162,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 79,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 82,
    "group_ops": 6005666,
    "group_ops_per_cpu_s": 25524594.87163585,
    "group_ops_per_wall_s": 50852630.803864434,
    "iterations": 5830555,
    "label": "g48b-12/t2",
    "lookahead_rejections": 46083,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6005378,
     "dbl": 288,
     "inv": 175350,
     "mul": 41436979
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "119872861587018",
      "b": "124428532410388",
      "gx": "60543193524197",
      "gy": "60514484357132",
      "n": "169118000306527",
      "p": "169117981573031",
      "qx": "34564652698289",
      "qy": "129642375579524"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.23577399999999926,
    "restarts": 5867,
    "seed": 34,
    "table_entries": 5610,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.118099416
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.386064041,
    "d": "134774575671927",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 8900,
    "engine": "rho_engine 0.1.0",
    "expected_d": "134774575671927",
    "expected_iterations": 11524971.446307162,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 125,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 131,
    "group_ops": 9496236,
    "group_ops_per_cpu_s": 24597566.70267045,
    "group_ops_per_wall_s": 97824837.0120179,
    "iterations": 9218230,
    "label": "g48b-12/t4",
    "lookahead_rejections": 73057,
    "match": true,
    "ok": true,
    "ops": {
     "add": 9495899,
     "dbl": 337,
     "inv": 278195,
     "mul": 65516983
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "119872861587018",
      "b": "124428532410388",
      "gx": "60543193524197",
      "gy": "60514484357132",
      "n": "169118000306527",
      "p": "169117981573031",
      "qx": "34564652698289",
      "qy": "129642375579524"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.3866599999999991,
    "restarts": 9413,
    "seed": 34,
    "table_entries": 8900,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.097073875
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.804855331,
    "d": "134774575671927",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 18102,
    "engine": "rho_engine 0.1.0",
    "expected_d": "134774575671927",
    "expected_iterations": 11524971.446307162,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 288,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 301,
    "group_ops": 19122019,
    "group_ops_per_cpu_s": 23758330.55145658,
    "group_ops_per_wall_s": 188362573.42027846,
    "iterations": 18561782,
    "label": "g48b-12/t8",
    "lookahead_rejections": 147326,
    "match": true,
    "ok": true,
    "ops": {
     "add": 19121512,
     "dbl": 507,
     "inv": 560588,
     "mul": 131926468
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "119872861587018",
      "b": "124428532410388",
      "gx": "60543193524197",
      "gy": "60514484357132",
      "n": "169118000306527",
      "p": "169117981573031",
      "qx": "34564652698289",
      "qy": "129642375579524"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.8057779999999966,
    "restarts": 19127,
    "seed": 34,
    "table_entries": 18102,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.101517083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.09896046,
    "d": "134774575671927",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 24290,
    "engine": "rho_engine 0.1.0",
    "expected_d": "134774575671927",
    "expected_iterations": 11524971.446307162,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 379,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 396,
    "group_ops": 25581630,
    "group_ops_per_cpu_s": 23278025.85363262,
    "group_ops_per_wall_s": 367851653.01179916,
    "iterations": 24817714,
    "label": "g48b-12/t16",
    "lookahead_rejections": 196531,
    "match": true,
    "ok": true,
    "ops": {
     "add": 25581028,
     "dbl": 602,
     "inv": 764814,
     "mul": 176433557
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "119872861587018",
      "b": "124428532410388",
      "gx": "60543193524197",
      "gy": "60514484357132",
      "n": "169118000306527",
      "p": "169117981573031",
      "qx": "34564652698289",
      "qy": "129642375579524"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 1.1008859999999956,
    "restarts": 26339,
    "seed": 34,
    "table_entries": 24290,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.069543333
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6875188730000001,
    "d": "134774575671927",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12879,
    "engine": "rho_engine 0.1.0",
    "expected_d": "134774575671927",
    "expected_iterations": 11524971.446307162,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 182,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 195,
    "group_ops": 13681365,
    "group_ops_per_cpu_s": 19899620.995567925,
    "group_ops_per_wall_s": 531539630.8149558,
    "iterations": 13220580,
    "label": "g48b-12/t28",
    "lookahead_rejections": 104966,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13680964,
     "dbl": 401,
     "inv": 460919,
     "mul": 94152749
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "119872861587018",
      "b": "124428532410388",
      "gx": "60543193524197",
      "gy": "60514484357132",
      "n": "169118000306527",
      "p": "169117981573031",
      "qx": "34564652698289",
      "qy": "129642375579524"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11485184,
    "process_cpu_s": 0.6902899999999974,
    "restarts": 16464,
    "seed": 34,
    "table_entries": 12879,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.025739125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.647390875,
    "d": "165671099562460",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 15586,
    "engine": "rho_engine 0.1.0",
    "expected_d": "165671099562460",
    "expected_iterations": 14269542.971983079,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 226,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 230,
    "group_ops": 16505332,
    "group_ops_per_cpu_s": 25495157.00232877,
    "group_ops_per_wall_s": 25475242.31468918,
    "iterations": 16036915,
    "label": "g48b-13/t1",
    "lookahead_rejections": 127575,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16504895,
     "dbl": 437,
     "inv": 468280,
     "mul": 113935002
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "52122977526662",
      "b": "213960984641490",
      "gx": "255176875507395",
      "gy": "90189922162434",
      "n": "259256853553693",
      "p": "259256836408733",
      "qx": "27791587719942",
      "qy": "147351552247989"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11698176,
    "process_cpu_s": 0.6506849999999957,
    "restarts": 15715,
    "seed": 34,
    "table_entries": 15586,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.647896958
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.307830709,
    "d": "165671099562460",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 30959,
    "engine": "rho_engine 0.1.0",
    "expected_d": "165671099562460",
    "expected_iterations": 14269542.971983079,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 455,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 463,
    "group_ops": 32775126,
    "group_ops_per_cpu_s": 25060679.317631774,
    "group_ops_per_wall_s": 50066278.94409821,
    "iterations": 31848574,
    "label": "g48b-13/t2",
    "lookahead_rejections": 252706,
    "match": true,
    "ok": true,
    "ops": {
     "add": 32774456,
     "dbl": 670,
     "inv": 926955,
     "mul": 226255703
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "52122977526662",
      "b": "213960984641490",
      "gx": "255176875507395",
      "gy": "90189922162434",
      "n": "259256853553693",
      "p": "259256836408733",
      "qx": "27791587719942",
      "qy": "147351552247989"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11698176,
    "process_cpu_s": 1.308323999999999,
    "restarts": 31216,
    "seed": 34,
    "table_entries": 30959,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.65463475
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.498002541,
    "d": "165671099562460",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 11428,
    "engine": "rho_engine 0.1.0",
    "expected_d": "165671099562460",
    "expected_iterations": 14269542.971983079,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 164,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 171,
    "group_ops": 12125931,
    "group_ops_per_cpu_s": 24349134.7968845,
    "group_ops_per_wall_s": 96837239.89487948,
    "iterations": 11772443,
    "label": "g48b-13/t4",
    "lookahead_rejections": 93255,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12125553,
     "dbl": 378,
     "inv": 353793,
     "mul": 83665613
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "52122977526662",
      "b": "213960984641490",
      "gx": "255176875507395",
      "gy": "90189922162434",
      "n": "259256853553693",
      "p": "259256836408733",
      "qx": "27791587719942",
      "qy": "147351552247989"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11698176,
    "process_cpu_s": 0.49863600000000474,
    "restarts": 11941,
    "seed": 34,
    "table_entries": 11428,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.125219709
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.964185957,
    "d": "165671099562460",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 21574,
    "engine": "rho_engine 0.1.0",
    "expected_d": "165671099562460",
    "expected_iterations": 14269542.971983079,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 311,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     }
    ],
    "fruitless_cycles": 322,
    "group_ops": 22883415,
    "group_ops_per_cpu_s": 23733404.15701574,
    "group_ops_per_wall_s": 188589083.1309222,
    "iterations": 22218324,
    "label": "g48b-13/t8",
    "lookahead_rejections": 175757,
    "match": true,
    "ok": true,
    "ops": {
     "add": 22882886,
     "dbl": 529,
     "inv": 665908,
     "mul": 157896227
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "52122977526662",
      "b": "213960984641490",
      "gx": "255176875507395",
      "gy": "90189922162434",
      "n": "259256853553693",
      "p": "259256836408733",
      "qx": "27791587719942",
      "qy": "147351552247989"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11698176,
    "process_cpu_s": 0.9650199999999955,
    "restarts": 22599,
    "seed": 34,
    "table_entries": 21574,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.121340083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.0928042480000002,
    "d": "165671099562460",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 23600,
    "engine": "rho_engine 0.1.0",
    "expected_d": "165671099562460",
    "expected_iterations": 14269542.971983079,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 344,
      "length": 4
     },
     {
      "count": 10,
      "length": 6
     }
    ],
    "fruitless_cycles": 362,
    "group_ops": 25135885,
    "group_ops_per_cpu_s": 23001269.48262009,
    "group_ops_per_wall_s": 363677668.4728664,
    "iterations": 24387776,
    "label": "g48b-13/t16",
    "lookahead_rejections": 193011,
    "match": true,
    "ok": true,
    "ops": {
     "add": 25135316,
     "dbl": 569,
     "inv": 748964,
     "mul": 173368927
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "52122977526662",
      "b": "213960984641490",
      "gx": "255176875507395",
      "gy": "90189922162434",
      "n": "259256853553693",
      "p": "259256836408733",
      "qx": "27791587719942",
      "qy": "147351552247989"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11698176,
    "process_cpu_s": 1.094622000000001,
    "restarts": 25649,
    "seed": 34,
    "table_entries": 23600,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.069115833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.9786976260000004,
    "d": "165671099562460",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 37007,
    "engine": "rho_engine 0.1.0",
    "expected_d": "165671099562460",
    "expected_iterations": 14269542.971983079,
    "fruitless_by_length": [
     {
      "count": 11,
      "length": 2
     },
     {
      "count": 568,
      "length": 4
     },
     {
      "count": 14,
      "length": 6
     }
    ],
    "fruitless_cycles": 593,
    "group_ops": 39445157,
    "group_ops_per_cpu_s": 19934908.942979645,
    "group_ops_per_wall_s": 541383197.0641541,
    "iterations": 38266851,
    "label": "g48b-13/t28",
    "lookahead_rejections": 302307,
    "match": true,
    "ok": true,
    "ops": {
     "add": 39444357,
     "dbl": 800,
     "inv": 1180311,
     "mul": 272044278
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "52122977526662",
      "b": "213960984641490",
      "gx": "255176875507395",
      "gy": "90189922162434",
      "n": "259256853553693",
      "p": "259256836408733",
      "qx": "27791587719942",
      "qy": "147351552247989"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11894784,
    "process_cpu_s": 1.984256000000002,
    "restarts": 40592,
    "seed": 34,
    "table_entries": 37007,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.072859958
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.44291604100000004,
    "d": "52688634050452",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11195,
    "engine": "rho_engine 0.1.0",
    "expected_d": "52688634050452",
    "expected_iterations": 10734787.431362247,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 175,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 184,
    "group_ops": 11493940,
    "group_ops_per_cpu_s": 25950606.74264448,
    "group_ops_per_wall_s": 25925144.88778398,
    "iterations": 11160145,
    "label": "g48b-14/t1",
    "lookahead_rejections": 88406,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11493551,
     "dbl": 389,
     "inv": 334196,
     "mul": 79309939
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "132119629016393",
      "b": "114230712385793",
      "gx": "121807479157859",
      "gy": "119372756927010",
      "n": "146722600799129",
      "p": "146722597289263",
      "qx": "75044994010358",
      "qy": "96650089790448"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11894784,
    "process_cpu_s": 0.4433829999999972,
    "restarts": 11324,
    "seed": 34,
    "table_entries": 11195,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.443351042
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.507608291,
    "d": "52688634050452",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12309,
    "engine": "rho_engine 0.1.0",
    "expected_d": "52688634050452",
    "expected_iterations": 10734787.431362247,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 202,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 212,
    "group_ops": 12946283,
    "group_ops_per_cpu_s": 25504475.06382436,
    "group_ops_per_wall_s": 50915336.74854798,
    "iterations": 12574885,
    "label": "g48b-14/t2",
    "lookahead_rejections": 99346,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12945866,
     "dbl": 417,
     "inv": 372140,
     "mul": 89348368
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "132119629016393",
      "b": "114230712385793",
      "gx": "121807479157859",
      "gy": "119372756927010",
      "n": "146722600799129",
      "p": "146722597289263",
      "qx": "75044994010358",
      "qy": "96650089790448"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11894784,
    "process_cpu_s": 0.5080889999999982,
    "restarts": 12566,
    "seed": 34,
    "table_entries": 12309,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.254270792
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.468067583,
    "d": "52688634050452",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11039,
    "engine": "rho_engine 0.1.0",
    "expected_d": "52688634050452",
    "expected_iterations": 10734787.431362247,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 166,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 174,
    "group_ops": 11514992,
    "group_ops_per_cpu_s": 24601131.15759183,
    "group_ops_per_wall_s": 97884449.09144424,
    "iterations": 11175976,
    "label": "g48b-14/t4",
    "lookahead_rejections": 88653,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11514613,
     "dbl": 379,
     "inv": 339246,
     "mul": 79437483
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "132119629016393",
      "b": "114230712385793",
      "gx": "121807479157859",
      "gy": "119372756927010",
      "n": "146722600799129",
      "p": "146722597289263",
      "qx": "75044994010358",
      "qy": "96650089790448"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11894784,
    "process_cpu_s": 0.4686309999999949,
    "restarts": 11552,
    "seed": 34,
    "table_entries": 11039,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.117638625
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.4166428340000001,
    "d": "52688634050452",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9449,
    "engine": "rho_engine 0.1.0",
    "expected_d": "52688634050452",
    "expected_iterations": 10734787.431362247,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 146,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 150,
    "group_ops": 9905854,
    "group_ops_per_cpu_s": 23775409.51538362,
    "group_ops_per_wall_s": 187832025.635183,
    "iterations": 9602333,
    "label": "g48b-14/t8",
    "lookahead_rejections": 76249,
    "match": true,
    "ok": true,
    "ops": {
     "add": 9905499,
     "dbl": 355,
     "inv": 303638,
     "mul": 68289837
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "132119629016393",
      "b": "114230712385793",
      "gx": "121807479157859",
      "gy": "119372756927010",
      "n": "146722600799129",
      "p": "146722597289263",
      "qx": "75044994010358",
      "qy": "96650089790448"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11894784,
    "process_cpu_s": 0.41737400000000235,
    "restarts": 10474,
    "seed": 34,
    "table_entries": 9449,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.052737833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6806565430000001,
    "d": "52688634050452",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 15189,
    "engine": "rho_engine 0.1.0",
    "expected_d": "52688634050452",
    "expected_iterations": 10734787.431362247,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 232,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 240,
    "group_ops": 15854144,
    "group_ops_per_cpu_s": 23292428.70438402,
    "group_ops_per_wall_s": 366451530.70711815,
    "iterations": 15360608,
    "label": "g48b-14/t16",
    "lookahead_rejections": 121571,
    "match": true,
    "ok": true,
    "ops": {
     "add": 15853699,
     "dbl": 445,
     "inv": 494129,
     "mul": 109264263
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "132119629016393",
      "b": "114230712385793",
      "gx": "121807479157859",
      "gy": "119372756927010",
      "n": "146722600799129",
      "p": "146722597289263",
      "qx": "75044994010358",
      "qy": "96650089790448"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11894784,
    "process_cpu_s": 0.6823070000000087,
    "restarts": 17238,
    "seed": 34,
    "table_entries": 15189,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.043263959
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.1969290840000002,
    "d": "52688634050452",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 22893,
    "engine": "rho_engine 0.1.0",
    "expected_d": "52688634050452",
    "expected_iterations": 10734787.431362247,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 351,
      "length": 4
     },
     {
      "count": 7,
      "length": 6
     }
    ],
    "fruitless_cycles": 366,
    "group_ops": 24092352,
    "group_ops_per_cpu_s": 20128470.702279296,
    "group_ops_per_wall_s": 530104183.79692423,
    "iterations": 23338345,
    "label": "g48b-14/t28",
    "lookahead_rejections": 184666,
    "match": true,
    "ok": true,
    "ops": {
     "add": 24091781,
     "dbl": 571,
     "inv": 754959,
     "mul": 166024547
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "132119629016393",
      "b": "114230712385793",
      "gx": "121807479157859",
      "gy": "119372756927010",
      "n": "146722600799129",
      "p": "146722597289263",
      "qx": "75044994010358",
      "qy": "96650089790448"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 1.2026949999999985,
    "restarts": 26478,
    "seed": 34,
    "table_entries": 22893,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.045448334
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7581085830000001,
    "d": "151933740789151",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 18223,
    "engine": "rho_engine 0.1.0",
    "expected_d": "151933740789151",
    "expected_iterations": 14079747.323178487,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 290,
      "length": 4
     },
     {
      "count": 7,
      "length": 6
     }
    ],
    "fruitless_cycles": 301,
    "group_ops": 19285484,
    "group_ops_per_cpu_s": 25438946.91665824,
    "group_ops_per_wall_s": 25423234.32175733,
    "iterations": 18739603,
    "label": "g48b-15/t1",
    "lookahead_rejections": 148203,
    "match": true,
    "ok": true,
    "ops": {
     "add": 19284976,
     "dbl": 508,
     "inv": 546761,
     "mul": 133128069
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "56104117393529",
      "b": "223877639661921",
      "gx": "109204760147121",
      "gy": "223406690502816",
      "n": "252406096580383",
      "p": "252406073881697",
      "qx": "26199967639168",
      "qy": "82553873901172"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.7585540000000037,
    "restarts": 18352,
    "seed": 34,
    "table_entries": 18223,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.758577125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.791231334,
    "d": "151933740789151",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 19357,
    "engine": "rho_engine 0.1.0",
    "expected_d": "151933740789151",
    "expected_iterations": 14079747.323178487,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 308,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 319,
    "group_ops": 20250462,
    "group_ops_per_cpu_s": 25593604.714345146,
    "group_ops_per_wall_s": 51112533.43459559,
    "iterations": 19669856,
    "label": "g48b-15/t2",
    "lookahead_rejections": 155754,
    "match": true,
    "ok": true,
    "ops": {
     "add": 20249936,
     "dbl": 526,
     "inv": 581337,
     "mul": 139760677
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "56104117393529",
      "b": "223877639661921",
      "gx": "109204760147121",
      "gy": "223406690502816",
      "n": "252406096580383",
      "p": "252406073881697",
      "qx": "26199967639168",
      "qy": "82553873901172"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.7917909999999964,
    "restarts": 19614,
    "seed": 34,
    "table_entries": 19357,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.396193666
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7522399590000001,
    "d": "151933740789151",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 17612,
    "engine": "rho_engine 0.1.0",
    "expected_d": "151933740789151",
    "expected_iterations": 14079747.323178487,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 284,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 292,
    "group_ops": 18491515,
    "group_ops_per_cpu_s": 24581936.62642162,
    "group_ops_per_wall_s": 97960744.13170244,
    "iterations": 17956528,
    "label": "g48b-15/t4",
    "lookahead_rejections": 142095,
    "match": true,
    "ok": true,
    "ops": {
     "add": 18491016,
     "dbl": 499,
     "inv": 535747,
     "mul": 127601659
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "56104117393529",
      "b": "223877639661921",
      "gx": "109204760147121",
      "gy": "223406690502816",
      "n": "252406096580383",
      "p": "252406073881697",
      "qx": "26199967639168",
      "qy": "82553873901172"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.7528259999999989,
    "restarts": 18125,
    "seed": 34,
    "table_entries": 17612,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.188764542
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.596747541,
    "d": "151933740789151",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13552,
    "engine": "rho_engine 0.1.0",
    "expected_d": "151933740789151",
    "expected_iterations": 14079747.323178487,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 225,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 230,
    "group_ops": 14128172,
    "group_ops_per_cpu_s": 23675291.524996832,
    "group_ops_per_wall_s": 187606751.66276875,
    "iterations": 13703365,
    "label": "g48b-15/t8",
    "lookahead_rejections": 108224,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14127735,
     "dbl": 437,
     "inv": 425634,
     "mul": 97427554
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "56104117393529",
      "b": "223877639661921",
      "gx": "109204760147121",
      "gy": "223406690502816",
      "n": "252406096580383",
      "p": "252406073881697",
      "qx": "26199967639168",
      "qy": "82553873901172"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.597529999999999,
    "restarts": 14577,
    "seed": 34,
    "table_entries": 13552,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.075307375
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.35743429300000007,
    "d": "151933740789151",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 7776,
    "engine": "rho_engine 0.1.0",
    "expected_d": "151933740789151",
    "expected_iterations": 14079747.323178487,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 131,
      "length": 4
     }
    ],
    "fruitless_cycles": 138,
    "group_ops": 8163202,
    "group_ops_per_cpu_s": 22838329.05758709,
    "group_ops_per_wall_s": 355232654.65978384,
    "iterations": 7886429,
    "label": "g48b-15/t16",
    "lookahead_rejections": 62297,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8162857,
     "dbl": 345,
     "inv": 277264,
     "mul": 56168966
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "56104117393529",
      "b": "223877639661921",
      "gx": "109204760147121",
      "gy": "223406690502816",
      "n": "252406096580383",
      "p": "252406073881697",
      "qx": "26199967639168",
      "qy": "82553873901172"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.35892100000000227,
    "restarts": 9825,
    "seed": 34,
    "table_entries": 7776,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.022979875
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.756231583,
    "d": "151933740789151",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 14142,
    "engine": "rho_engine 0.1.0",
    "expected_d": "151933740789151",
    "expected_iterations": 14079747.323178487,
    "fruitless_by_length": [
     {
      "count": 10,
      "length": 2
     },
     {
      "count": 239,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 252,
    "group_ops": 14899624,
    "group_ops_per_cpu_s": 19702461.96395635,
    "group_ops_per_wall_s": 526125193.9076272,
    "iterations": 14401581,
    "label": "g48b-15/t28",
    "lookahead_rejections": 113743,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14899165,
     "dbl": 459,
     "inv": 498967,
     "mul": 102548768
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "56104117393529",
      "b": "223877639661921",
      "gx": "109204760147121",
      "gy": "223406690502816",
      "n": "252406096580383",
      "p": "252406073881697",
      "qx": "26199967639168",
      "qy": "82553873901172"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.7602570000000028,
    "restarts": 17727,
    "seed": 34,
    "table_entries": 14142,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.028319541
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.9515372920000001,
    "d": "248183019793816",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 23560,
    "engine": "rho_engine 0.1.0",
    "expected_d": "248183019793816",
    "expected_iterations": 14519254.967423491,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 365,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 376,
    "group_ops": 24932834,
    "group_ops_per_cpu_s": 26202687.17749845,
    "group_ops_per_wall_s": 26190650.932536505,
    "iterations": 24229517,
    "label": "g48b-16/t1",
    "lookahead_rejections": 190937,
    "match": true,
    "ok": true,
    "ops": {
     "add": 24932251,
     "dbl": 583,
     "inv": 705044,
     "mul": 172118887
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "21668544333435",
      "b": "73683169907369",
      "gx": "124017009840903",
      "gy": "219481321506556",
      "n": "268410055731659",
      "p": "268410044051519",
      "qx": "45479131457197",
      "qy": "79970058056073"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.9519680000000008,
    "restarts": 23690,
    "seed": 34,
    "table_entries": 23560,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.951974583
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5863562920000001,
    "d": "248183019793816",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 14187,
    "engine": "rho_engine 0.1.0",
    "expected_d": "248183019793816",
    "expected_iterations": 14519254.967423491,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 259,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 265,
    "group_ops": 15061494,
    "group_ops_per_cpu_s": 25686590.568725403,
    "group_ops_per_wall_s": 51282067.34594002,
    "iterations": 14631898,
    "label": "g48b-16/t2",
    "lookahead_rejections": 115805,
    "match": true,
    "ok": true,
    "ops": {
     "add": 15061022,
     "dbl": 472,
     "inv": 430332,
     "mul": 103956863
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "21668544333435",
      "b": "73683169907369",
      "gx": "124017009840903",
      "gy": "219481321506556",
      "n": "268410055731659",
      "p": "268410044051519",
      "qx": "45479131457197",
      "qy": "79970058056073"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.586864999999996,
    "restarts": 14444,
    "seed": 34,
    "table_entries": 14187,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.293699041
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.2210618750000002,
    "d": "248183019793816",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 28338,
    "engine": "rho_engine 0.1.0",
    "expected_d": "248183019793816",
    "expected_iterations": 14519254.967423491,
    "fruitless_by_length": [
     {
      "count": 10,
      "length": 2
     },
     {
      "count": 490,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 503,
    "group_ops": 30032300,
    "group_ops_per_cpu_s": 24595231.916482527,
    "group_ops_per_wall_s": 98071591.56628397,
    "iterations": 29178308,
    "label": "g48b-16/t4",
    "lookahead_rejections": 230826,
    "match": true,
    "ok": true,
    "ops": {
     "add": 30031590,
     "dbl": 710,
     "inv": 855447,
     "mul": 207297932
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "21668544333435",
      "b": "73683169907369",
      "gx": "124017009840903",
      "gy": "219481321506556",
      "n": "268410055731659",
      "p": "268410044051519",
      "qx": "45479131457197",
      "qy": "79970058056073"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 1.2216420000000028,
    "restarts": 28851,
    "seed": 34,
    "table_entries": 28338,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.306228333
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.857777541,
    "d": "248183019793816",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 19118,
    "engine": "rho_engine 0.1.0",
    "expected_d": "248183019793816",
    "expected_iterations": 14519254.967423491,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 344,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 358,
    "group_ops": 20438722,
    "group_ops_per_cpu_s": 23827532.224931497,
    "group_ops_per_wall_s": 188975991.66012704,
    "iterations": 19845140,
    "label": "g48b-16/t8",
    "lookahead_rejections": 157054,
    "match": true,
    "ok": true,
    "ops": {
     "add": 20438157,
     "dbl": 565,
     "inv": 594591,
     "mul": 141029167
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "21668544333435",
      "b": "73683169907369",
      "gx": "124017009840903",
      "gy": "219481321506556",
      "n": "268410055731659",
      "p": "268410044051519",
      "qx": "45479131457197",
      "qy": "79970058056073"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.8586320000000072,
    "restarts": 20144,
    "seed": 34,
    "table_entries": 19118,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.108155125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.309790583,
    "d": "248183019793816",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 6718,
    "engine": "rho_engine 0.1.0",
    "expected_d": "248183019793816",
    "expected_iterations": 14519254.967423491,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 105,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 111,
    "group_ops": 7219695,
    "group_ops_per_cpu_s": 23305082.194832243,
    "group_ops_per_wall_s": 360712718.5033407,
    "iterations": 6972648,
    "label": "g48b-16/t16",
    "lookahead_rejections": 55120,
    "match": true,
    "ok": true,
    "ops": {
     "add": 7219377,
     "dbl": 318,
     "inv": 247395,
     "mul": 49668195
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "21668544333435",
      "b": "73683169907369",
      "gx": "124017009840903",
      "gy": "219481321506556",
      "n": "268410055731659",
      "p": "268410044051519",
      "qx": "45479131457197",
      "qy": "79970058056073"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11976704,
    "process_cpu_s": 0.3117170000000016,
    "restarts": 8767,
    "seed": 34,
    "table_entries": 6718,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.020015083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.6718202510000002,
    "d": "248183019793816",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 12660,
    "engine": "rho_engine 0.1.0",
    "expected_d": "248183019793816",
    "expected_iterations": 14519254.967423491,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 205,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 214,
    "group_ops": 13395002,
    "group_ops_per_cpu_s": 19938371.878581546,
    "group_ops_per_wall_s": 531977819.367842,
    "iterations": 12940290,
    "label": "g48b-16/t28",
    "lookahead_rejections": 101947,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13394581,
     "dbl": 421,
     "inv": 455734,
     "mul": 92164468
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "21668544333435",
      "b": "73683169907369",
      "gx": "124017009840903",
      "gy": "219481321506556",
      "n": "268410055731659",
      "p": "268410044051519",
      "qx": "45479131457197",
      "qy": "79970058056073"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.6761240000000015,
    "restarts": 16245,
    "seed": 34,
    "table_entries": 12660,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.025179625
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.31994350000000005,
    "d": "11408247732620",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 7681,
    "engine": "rho_engine 0.1.0",
    "expected_d": "11408247732620",
    "expected_iterations": 14464553.806469325,
    "fruitless_by_length": [
     {
      "count": 114,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 117,
    "group_ops": 8278861,
    "group_ops_per_cpu_s": 25876009.35790225,
    "group_ops_per_wall_s": 25840737.871545617,
    "iterations": 8043910,
    "label": "g48b-17/t1",
    "lookahead_rejections": 63821,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8278541,
     "dbl": 320,
     "inv": 235062,
     "mul": 57147656
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "249963558656828",
      "b": "30849541913349",
      "gx": "100475090845214",
      "gy": "119289858602940",
      "n": "266391400656191",
      "p": "266391424416323",
      "qx": "202470047725198",
      "qy": "191437629313769"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.32079399999999936,
    "restarts": 7810,
    "seed": 34,
    "table_entries": 7681,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.320380209
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.649995709,
    "d": "11408247732620",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 15553,
    "engine": "rho_engine 0.1.0",
    "expected_d": "11408247732620",
    "expected_iterations": 14464553.806469325,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 244,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 251,
    "group_ops": 16495975,
    "group_ops_per_cpu_s": 25378590.614665117,
    "group_ops_per_wall_s": 50667340.348376885,
    "iterations": 16025712,
    "label": "g48b-17/t2",
    "lookahead_rejections": 127245,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16495521,
     "dbl": 454,
     "inv": 470480,
     "mul": 113860842
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "249963558656828",
      "b": "30849541913349",
      "gx": "100475090845214",
      "gy": "119289858602940",
      "n": "266391400656191",
      "p": "266391424416323",
      "qx": "202470047725198",
      "qy": "191437629313769"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.6505599999999987,
    "restarts": 15810,
    "seed": 34,
    "table_entries": 15553,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.325574125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.34898324900000005,
    "d": "11408247732620",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 8152,
    "engine": "rho_engine 0.1.0",
    "expected_d": "11408247732620",
    "expected_iterations": 14464553.806469325,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 107,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 111,
    "group_ops": 8567918,
    "group_ops_per_cpu_s": 24551086.69126981,
    "group_ops_per_wall_s": 97534404.99869065,
    "iterations": 8312483,
    "label": "g48b-17/t4",
    "lookahead_rejections": 65938,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8567604,
     "dbl": 314,
     "inv": 255514,
     "mul": 59094272
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "249963558656828",
      "b": "30849541913349",
      "gx": "100475090845214",
      "gy": "119289858602940",
      "n": "266391400656191",
      "p": "266391424416323",
      "qx": "202470047725198",
      "qy": "191437629313769"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.34959200000000124,
    "restarts": 8665,
    "seed": 34,
    "table_entries": 8152,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.087845084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.528109998,
    "d": "11408247732620",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 12042,
    "engine": "rho_engine 0.1.0",
    "expected_d": "11408247732620",
    "expected_iterations": 14464553.806469325,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 182,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 190,
    "group_ops": 12528845,
    "group_ops_per_cpu_s": 23723930.71035932,
    "group_ops_per_wall_s": 187804967.62201706,
    "iterations": 12148540,
    "label": "g48b-17/t8",
    "lookahead_rejections": 96135,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12528452,
     "dbl": 393,
     "inv": 380787,
     "mul": 86385271
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "249963558656828",
      "b": "30849541913349",
      "gx": "100475090845214",
      "gy": "119289858602940",
      "n": "266391400656191",
      "p": "266391424416323",
      "qx": "202470047725198",
      "qy": "191437629313769"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.5288929999999965,
    "restarts": 13067,
    "seed": 34,
    "table_entries": 12042,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.066712
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.745283752,
    "d": "11408247732620",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 16427,
    "engine": "rho_engine 0.1.0",
    "expected_d": "11408247732620",
    "expected_iterations": 14464553.806469325,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 276,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 287,
    "group_ops": 17199000,
    "group_ops_per_cpu_s": 23077116.539634425,
    "group_ops_per_wall_s": 363421218.0601265,
    "iterations": 16666707,
    "label": "g48b-17/t16",
    "lookahead_rejections": 131928,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17198510,
     "dbl": 490,
     "inv": 533044,
     "mul": 118544861
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "249963558656828",
      "b": "30849541913349",
      "gx": "100475090845214",
      "gy": "119289858602940",
      "n": "266391400656191",
      "p": "266391424416323",
      "qx": "202470047725198",
      "qy": "191437629313769"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.746949000000015,
    "restarts": 18476,
    "seed": 34,
    "table_entries": 16427,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.04732525
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.126930583,
    "d": "11408247732620",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 21274,
    "engine": "rho_engine 0.1.0",
    "expected_d": "11408247732620",
    "expected_iterations": 14464553.806469325,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 347,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 359,
    "group_ops": 22444901,
    "group_ops_per_cpu_s": 19916844.336808633,
    "group_ops_per_wall_s": 535968299.95597607,
    "iterations": 21735302,
    "label": "g48b-17/t28",
    "lookahead_rejections": 172305,
    "match": true,
    "ok": true,
    "ops": {
     "add": 22444339,
     "dbl": 562,
     "inv": 710248,
     "mul": 154644285
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "249963558656828",
      "b": "30849541913349",
      "gx": "100475090845214",
      "gy": "119289858602940",
      "n": "266391400656191",
      "p": "266391424416323",
      "qx": "202470047725198",
      "qy": "191437629313769"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 1.1312420000000003,
    "restarts": 24859,
    "seed": 34,
    "table_entries": 21274,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.041877292
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.49782991600000004,
    "d": "36264377692748",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12239,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36264377692748",
    "expected_iterations": 10560434.095820269,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 213,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 221,
    "group_ops": 12952692,
    "group_ops_per_cpu_s": 26018307.827045087,
    "group_ops_per_wall_s": 25995619.10920081,
    "iterations": 12584783,
    "label": "g48b-18/t1",
    "lookahead_rejections": 99989,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12952266,
     "dbl": 426,
     "inv": 368135,
     "mul": 89409307
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "47780525461975",
      "b": "107622871784497",
      "gx": "133671458610479",
      "gy": "106890150800030",
      "n": "141995198727919",
      "p": "141995211403847",
      "qx": "63150932616693",
      "qy": "24535713422701"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.4982830000000007,
    "restarts": 12368,
    "seed": 34,
    "table_entries": 12239,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.498264417
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.445825625,
    "d": "36264377692748",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10526,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36264377692748",
    "expected_iterations": 10560434.095820269,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 178,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 182,
    "group_ops": 11130038,
    "group_ops_per_cpu_s": 24965002.852853063,
    "group_ops_per_wall_s": 49819530.151511505,
    "iterations": 10810236,
    "label": "g48b-18/t2",
    "lookahead_rejections": 85918,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11129651,
     "dbl": 387,
     "inv": 319925,
     "mul": 76813636
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "47780525461975",
      "b": "107622871784497",
      "gx": "133671458610479",
      "gy": "106890150800030",
      "n": "141995198727919",
      "p": "141995211403847",
      "qx": "63150932616693",
      "qy": "24535713422701"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.44634700000000294,
    "restarts": 10783,
    "seed": 34,
    "table_entries": 10526,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.223407125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.579811584,
    "d": "36264377692748",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13664,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36264377692748",
    "expected_iterations": 10560434.095820269,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 234,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 245,
    "group_ops": 14228276,
    "group_ops_per_cpu_s": 24539482.122523446,
    "group_ops_per_wall_s": 97706576.93694313,
    "iterations": 13812257,
    "label": "g48b-18/t4",
    "lookahead_rejections": 109628,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14227826,
     "dbl": 450,
     "inv": 416391,
     "mul": 98166750
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "47780525461975",
      "b": "107622871784497",
      "gx": "133671458610479",
      "gy": "106890150800030",
      "n": "141995198727919",
      "p": "141995211403847",
      "qx": "63150932616693",
      "qy": "24535713422701"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.5803709999999995,
    "restarts": 14177,
    "seed": 34,
    "table_entries": 13664,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.1456225
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5184838750000001,
    "d": "36264377692748",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11768,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36264377692748",
    "expected_iterations": 10560434.095820269,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 202,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 211,
    "group_ops": 12329648,
    "group_ops_per_cpu_s": 23780195.67146615,
    "group_ops_per_wall_s": 188391820.27341187,
    "iterations": 11958302,
    "label": "g48b-18/t8",
    "lookahead_rejections": 94865,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12329232,
     "dbl": 416,
     "inv": 371709,
     "mul": 85024154
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "47780525461975",
      "b": "107622871784497",
      "gx": "133671458610479",
      "gy": "106890150800030",
      "n": "141995198727919",
      "p": "141995211403847",
      "qx": "63150932616693",
      "qy": "24535713422701"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.5193119999999993,
    "restarts": 12793,
    "seed": 34,
    "table_entries": 11768,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.065446833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.24226250099999996,
    "d": "36264377692748",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 5269,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36264377692748",
    "expected_iterations": 10560434.095820269,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 79,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 84,
    "group_ops": 5634811,
    "group_ops_per_cpu_s": 23259113.46882364,
    "group_ops_per_wall_s": 358683369.5444881,
    "iterations": 5432287,
    "label": "g48b-18/t16",
    "lookahead_rejections": 42828,
    "match": true,
    "ok": true,
    "ops": {
     "add": 5634522,
     "dbl": 289,
     "inv": 202894,
     "mul": 38726020
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "47780525461975",
      "b": "107622871784497",
      "gx": "133671458610479",
      "gy": "106890150800030",
      "n": "141995198727919",
      "p": "141995211403847",
      "qx": "63150932616693",
      "qy": "24535713422701"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 11993088,
    "process_cpu_s": 0.24364699999999573,
    "restarts": 7318,
    "seed": 34,
    "table_entries": 5269,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.015709708
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5152544560000001,
    "d": "36264377692748",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9654,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36264377692748",
    "expected_iterations": 10560434.095820269,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 146,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 152,
    "group_ops": 10273558,
    "group_ops_per_cpu_s": 19938804.760186292,
    "group_ops_per_wall_s": 526189125.1378591,
    "iterations": 9909286,
    "label": "g48b-18/t28",
    "lookahead_rejections": 78044,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10273201,
     "dbl": 357,
     "inv": 365018,
     "mul": 70625858
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "47780525461975",
      "b": "107622871784497",
      "gx": "133671458610479",
      "gy": "106890150800030",
      "n": "141995198727919",
      "p": "141995211403847",
      "qx": "63150932616693",
      "qy": "24535713422701"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 12009472,
    "process_cpu_s": 0.5198080000000118,
    "restarts": 13239,
    "seed": 34,
    "table_entries": 9654,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.019524459
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.38910241700000003,
    "d": "79165545003525",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9390,
    "engine": "rho_engine 0.1.0",
    "expected_d": "79165545003525",
    "expected_iterations": 12223247.3077211,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 148,
      "length": 4
     }
    ],
    "fruitless_cycles": 151,
    "group_ops": 10075067,
    "group_ops_per_cpu_s": 25893097.960375812,
    "group_ops_per_wall_s": 25865173.38536285,
    "iterations": 9790334,
    "label": "g48b-19/t1",
    "lookahead_rejections": 77433,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10074710,
     "dbl": 357,
     "inv": 285145,
     "mul": 69550304
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "186158924317983",
      "b": "13829208706852",
      "gx": "44516198903207",
      "gy": "160036696956152",
      "n": "190231887097123",
      "p": "190231898941813",
      "qx": "145685877278522",
      "qy": "60834686422889"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 12009472,
    "process_cpu_s": 0.3895339999999976,
    "restarts": 9519,
    "seed": 34,
    "table_entries": 9390,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.3895225
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.726338792,
    "d": "79165545003525",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 16935,
    "engine": "rho_engine 0.1.0",
    "expected_d": "79165545003525",
    "expected_iterations": 12223247.3077211,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 256,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 265,
    "group_ops": 17980505,
    "group_ops_per_cpu_s": 24754983.75969984,
    "group_ops_per_wall_s": 49445458.08758788,
    "iterations": 17470664,
    "label": "g48b-19/t2",
    "lookahead_rejections": 138223,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17980034,
     "dbl": 471,
     "inv": 510512,
     "mul": 124116673
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "186158924317983",
      "b": "13829208706852",
      "gx": "44516198903207",
      "gy": "160036696956152",
      "n": "190231887097123",
      "p": "190231898941813",
      "qx": "145685877278522",
      "qy": "60834686422889"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 12009472,
    "process_cpu_s": 0.7268339999999966,
    "restarts": 17192,
    "seed": 34,
    "table_entries": 16935,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.363643208
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.130753333,
    "d": "79165545003525",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 3015,
    "engine": "rho_engine 0.1.0",
    "expected_d": "79165545003525",
    "expected_iterations": 12223247.3077211,
    "fruitless_by_length": [
     {
      "count": 45,
      "length": 4
     }
    ],
    "fruitless_cycles": 45,
    "group_ops": 3180552,
    "group_ops_per_cpu_s": 24324825.432939444,
    "group_ops_per_wall_s": 95857264.73318346,
    "iterations": 3077182,
    "label": "g48b-19/t4",
    "lookahead_rejections": 24355,
    "match": true,
    "ok": true,
    "ops": {
     "add": 3180301,
     "dbl": 251,
     "inv": 103469,
     "mul": 21902630
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "186158924317983",
      "b": "13829208706852",
      "gx": "44516198903207",
      "gy": "160036696956152",
      "n": "190231887097123",
      "p": "190231898941813",
      "qx": "145685877278522",
      "qy": "60834686422889"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 12009472,
    "process_cpu_s": 0.1313600000000008,
    "restarts": 3528,
    "seed": 34,
    "table_entries": 3015,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.033180083
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.268776336,
    "d": "79165545003525",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 5974,
    "engine": "rho_engine 0.1.0",
    "expected_d": "79165545003525",
    "expected_iterations": 12223247.3077211,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 103,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 105,
    "group_ops": 6373648,
    "group_ops_per_cpu_s": 23713575.736816354,
    "group_ops_per_wall_s": 186176624.13169253,
    "iterations": 6171462,
    "label": "g48b-19/t8",
    "lookahead_rejections": 48716,
    "match": true,
    "ok": true,
    "ops": {
     "add": 6373337,
     "dbl": 311,
     "inv": 202591,
     "mul": 43910619
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "186158924317983",
      "b": "13829208706852",
      "gx": "44516198903207",
      "gy": "160036696956152",
      "n": "190231887097123",
      "p": "190231898941813",
      "qx": "145685877278522",
      "qy": "60834686422889"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 12009472,
    "process_cpu_s": 0.26960400000000107,
    "restarts": 6999,
    "seed": 34,
    "table_entries": 5974,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.034234416
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.551043666,
    "d": "79165545003525",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12010,
    "engine": "rho_engine 0.1.0",
    "expected_d": "79165545003525",
    "expected_iterations": 12223247.3077211,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 228,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 235,
    "group_ops": 12611062,
    "group_ops_per_cpu_s": 22885776.17005038,
    "group_ops_per_wall_s": 358670864.6300162,
    "iterations": 12209686,
    "label": "g48b-19/t16",
    "lookahead_rejections": 96396,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12610621,
     "dbl": 441,
     "inv": 402298,
     "mul": 86877143
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "186158924317983",
      "b": "13829208706852",
      "gx": "44516198903207",
      "gy": "160036696956152",
      "n": "190231887097123",
      "p": "190231898941813",
      "qx": "145685877278522",
      "qy": "60834686422889"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 12009472,
    "process_cpu_s": 0.5528340000000043,
    "restarts": 14059,
    "seed": 34,
    "table_entries": 12010,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.035160542
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.07718624999999998,
    "d": "79165545003525",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 1279,
    "engine": "rho_engine 0.1.0",
    "expected_d": "79165545003525",
    "expected_iterations": 12223247.3077211,
    "fruitless_by_length": [
     {
      "count": 24,
      "length": 4
     }
    ],
    "fruitless_cycles": 24,
    "group_ops": 1429547,
    "group_ops_per_cpu_s": 18520746.894686557,
    "group_ops_per_wall_s": 409813000.1195428,
    "iterations": 1311420,
    "label": "g48b-19/t28",
    "lookahead_rejections": 10428,
    "match": true,
    "ok": true,
    "ops": {
     "add": 1429317,
     "dbl": 230,
     "inv": 118145,
     "mul": 9560211
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "186158924317983",
      "b": "13829208706852",
      "gx": "44516198903207",
      "gy": "160036696956152",
      "n": "190231887097123",
      "p": "190231898941813",
      "qx": "145685877278522",
      "qy": "60834686422889"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 12173312,
    "process_cpu_s": 0.08153999999998973,
    "restarts": 4864,
    "seed": 34,
    "table_entries": 1279,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.003488291
   }
  ]
 },
 "elapsed_s": 22.54
}