{
 "experiment": "ecdlp_study",
 "timestamp_utc": "2026-11-01T06:43:18+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": [
   56
  ],
  "per_size": 12,
  "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": 72,
  "n_ok": 72,
  "runs": [
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.899837,
    "d": "50387522357489380",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 49261,
    "engine": "rho_engine 0.1.0",
    "expected_d": "50387522357489380",
    "expected_iterations": 208015876.71303192,
    "fruitless_by_length": [
     {
      "count": 40,
      "length": 2
     },
     {
      "count": 3166,
      "length": 4
     },
     {
      "count": 49,
      "length": 6
     }
    ],
    "fruitless_cycles": 3255,
    "group_ops": 205649822,
    "group_ops_per_cpu_s": 26032160.157228563,
    "group_ops_per_wall_s": 26029625.646413483,
    "iterations": 202798238,
    "label": "g56b-0/t1",
    "lookahead_rejections": 1603123,
    "match": true,
    "ok": true,
    "ops": {
     "add": 205646352,
     "dbl": 3470,
     "inv": 2861683,
     "mul": 1431378071
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "20528913689362308",
      "b": "40759541751769381",
      "gx": "14784971168294451",
      "gy": "17117773247940063",
      "n": "55093845365658613",
      "p": "55093845637922107",
      "qx": "28227494683722322",
      "qy": "28488125790677952"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 6832128,
    "process_cpu_s": 7.900473,
    "restarts": 49390,
    "seed": 34,
    "table_entries": 49261,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 7.900606209
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 9.029587334,
    "d": "50387522357489380",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 55641,
    "engine": "rho_engine 0.1.0",
    "expected_d": "50387522357489380",
    "expected_iterations": 208015876.71303192,
    "fruitless_by_length": [
     {
      "count": 55,
      "length": 2
     },
     {
      "count": 3545,
      "length": 4
     },
     {
      "count": 57,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 3658,
    "group_ops": 231308122,
    "group_ops_per_cpu_s": 25616688.054949377,
    "group_ops_per_wall_s": 51224658.15961875,
    "iterations": 228092980,
    "label": "g56b-0/t2",
    "lookahead_rejections": 1803033,
    "match": true,
    "ok": true,
    "ops": {
     "add": 231304249,
     "dbl": 3873,
     "inv": 3226536,
     "mul": 1609935677
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "20528913689362308",
      "b": "40759541751769381",
      "gx": "14784971168294451",
      "gy": "17117773247940063",
      "n": "55093845365658613",
      "p": "55093845637922107",
      "qx": "28227494683722322",
      "qy": "28488125790677952"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 6930432,
    "process_cpu_s": 9.030255999999998,
    "restarts": 55898,
    "seed": 34,
    "table_entries": 55641,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 4.515562042
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.8614540830000004,
    "d": "50387522357489380",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 23385,
    "engine": "rho_engine 0.1.0",
    "expected_d": "50387522357489380",
    "expected_iterations": 208015876.71303192,
    "fruitless_by_length": [
     {
      "count": 21,
      "length": 2
     },
     {
      "count": 1558,
      "length": 4
     },
     {
      "count": 27,
      "length": 6
     }
    ],
    "fruitless_cycles": 1606,
    "group_ops": 97052409,
    "group_ops_per_cpu_s": 25133643.159780644,
    "group_ops_per_wall_s": 100372998.73050183,
    "iterations": 95689406,
    "label": "g56b-0/t4",
    "lookahead_rejections": 756880,
    "match": true,
    "ok": true,
    "ops": {
     "add": 97050588,
     "dbl": 1821,
     "inv": 1367688,
     "mul": 675443354
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "20528913689362308",
      "b": "40759541751769381",
      "gx": "14784971168294451",
      "gy": "17117773247940063",
      "n": "55093845365658613",
      "p": "55093845637922107",
      "qx": "28227494683722322",
      "qy": "28488125790677952"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 7061504,
    "process_cpu_s": 3.8621750000000006,
    "restarts": 23898,
    "seed": 34,
    "table_entries": 23385,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.9669175
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.879209208000001,
    "d": "50387522357489380",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 40371,
    "engine": "rho_engine 0.1.0",
    "expected_d": "50387522357489380",
    "expected_iterations": 208015876.71303192,
    "fruitless_by_length": [
     {
      "count": 39,
      "length": 2
     },
     {
      "count": 2597,
      "length": 4
     },
     {
      "count": 38,
      "length": 6
     }
    ],
    "fruitless_cycles": 2674,
    "group_ops": 168589983,
    "group_ops_per_cpu_s": 24507174.86596317,
    "group_ops_per_wall_s": 195522262.32893473,
    "iterations": 166228047,
    "label": "g56b-0/t8",
    "lookahead_rejections": 1314823,
    "match": true,
    "ok": true,
    "ops": {
     "add": 168587094,
     "dbl": 2889,
     "inv": 2369462,
     "mul": 1173338342
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "20528913689362308",
      "b": "40759541751769381",
      "gx": "14784971168294451",
      "gy": "17117773247940063",
      "n": "55093845365658613",
      "p": "55093845637922107",
      "qx": "28227494683722322",
      "qy": "28488125790677952"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 7307264,
    "process_cpu_s": 6.8802359999999965,
    "restarts": 41396,
    "seed": 34,
    "table_entries": 40371,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.862254666
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.6147556259999996,
    "d": "50387522357489380",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 21403,
    "engine": "rho_engine 0.1.0",
    "expected_d": "50387522357489380",
    "expected_iterations": 208015876.71303192,
    "fruitless_by_length": [
     {
      "count": 23,
      "length": 2
     },
     {
      "count": 1354,
      "length": 4
     },
     {
      "count": 29,
      "length": 6
     }
    ],
    "fruitless_cycles": 1406,
    "group_ops": 88400127,
    "group_ops_per_cpu_s": 24455353.59684091,
    "group_ops_per_wall_s": 389598071.6827073,
    "iterations": 87115861,
    "label": "g56b-0/t16",
    "lookahead_rejections": 689289,
    "match": true,
    "ok": true,
    "ops": {
     "add": 88398506,
     "dbl": 1621,
     "inv": 1288033,
     "mul": 615058536
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "20528913689362308",
      "b": "40759541751769381",
      "gx": "14784971168294451",
      "gy": "17117773247940063",
      "n": "55093845365658613",
      "p": "55093845637922107",
      "qx": "28227494683722322",
      "qy": "28488125790677952"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 7585792,
    "process_cpu_s": 3.6171279999999975,
    "restarts": 23452,
    "seed": 34,
    "table_entries": 21403,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.226900833
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.873101376999999,
    "d": "50387522357489380",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 35534,
    "engine": "rho_engine 0.1.0",
    "expected_d": "50387522357489380",
    "expected_iterations": 208015876.71303192,
    "fruitless_by_length": [
     {
      "count": 35,
      "length": 2
     },
     {
      "count": 2198,
      "length": 4
     },
     {
      "count": 42,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2276,
    "group_ops": 145886737,
    "group_ops_per_cpu_s": 21225750.79253047,
    "group_ops_per_wall_s": 581626512.6420043,
    "iterations": 143758845,
    "label": "g56b-0/t28",
    "lookahead_rejections": 1137944,
    "match": true,
    "ok": true,
    "ops": {
     "add": 145884246,
     "dbl": 2491,
     "inv": 2133405,
     "mul": 1014999787
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "20528913689362308",
      "b": "40759541751769381",
      "gx": "14784971168294451",
      "gy": "17117773247940063",
      "n": "55093845365658613",
      "p": "55093845637922107",
      "qx": "28227494683722322",
      "qy": "28488125790677952"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 8142848,
    "process_cpu_s": 6.877850999999996,
    "restarts": 39119,
    "seed": 34,
    "table_entries": 35534,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.250825459
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.679669375,
    "d": "387071716982309",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 23312,
    "engine": "rho_engine 0.1.0",
    "expected_d": "387071716982309",
    "expected_iterations": 236940828.17985234,
    "fruitless_by_length": [
     {
      "count": 17,
      "length": 2
     },
     {
      "count": 1489,
      "length": 4
     },
     {
      "count": 23,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 1530,
    "group_ops": 96294922,
    "group_ops_per_cpu_s": 26169449.53104652,
    "group_ops_per_wall_s": 26162685.492340602,
    "iterations": 94949208,
    "label": "g56b-1/t1",
    "lookahead_rejections": 750064,
    "match": true,
    "ok": true,
    "ops": {
     "add": 96293184,
     "dbl": 1738,
     "inv": 1350992,
     "mul": 670194819
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "31186449774815646",
      "b": "20021668074014897",
      "gx": "68542677954682616",
      "gy": "64309870186440537",
      "n": "71480885332990459",
      "p": "71480885189783779",
      "qx": "63796214451076545",
      "qy": "60229371538536681"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16400384,
    "process_cpu_s": 3.680229000000004,
    "restarts": 23441,
    "seed": 34,
    "table_entries": 23312,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 3.680620708
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.4703691249999995,
    "d": "387071716982309",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 46398,
    "engine": "rho_engine 0.1.0",
    "expected_d": "387071716982309",
    "expected_iterations": 236940828.17985234,
    "fruitless_by_length": [
     {
      "count": 37,
      "length": 2
     },
     {
      "count": 2958,
      "length": 4
     },
     {
      "count": 45,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 3041,
    "group_ops": 192905387,
    "group_ops_per_cpu_s": 25822738.31080603,
    "group_ops_per_wall_s": 51633844.8929424,
    "iterations": 190220684,
    "label": "g56b-1/t2",
    "lookahead_rejections": 1502740,
    "match": true,
    "ok": true,
    "ops": {
     "add": 192902138,
     "dbl": 3249,
     "inv": 2695074,
     "mul": 1342630498
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "31186449774815646",
      "b": "20021668074014897",
      "gx": "68542677954682616",
      "gy": "64309870186440537",
      "n": "71480885332990459",
      "p": "71480885189783779",
      "qx": "63796214451076545",
      "qy": "60229371538536681"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16449536,
    "process_cpu_s": 7.471062000000003,
    "restarts": 46655,
    "seed": 34,
    "table_entries": 46398,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 3.736026
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 9.107868584,
    "d": "387071716982309",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 55052,
    "engine": "rho_engine 0.1.0",
    "expected_d": "387071716982309",
    "expected_iterations": 236940828.17985234,
    "fruitless_by_length": [
     {
      "count": 44,
      "length": 2
     },
     {
      "count": 3552,
      "length": 4
     },
     {
      "count": 54,
      "length": 6
     }
    ],
    "fruitless_cycles": 3650,
    "group_ops": 229704411,
    "group_ops_per_cpu_s": 25220435.372061357,
    "group_ops_per_wall_s": 100752566.07362154,
    "iterations": 226506567,
    "label": "g56b-1/t4",
    "lookahead_rejections": 1791468,
    "match": true,
    "ok": true,
    "ops": {
     "add": 229700553,
     "dbl": 3858,
     "inv": 3208293,
     "mul": 1598757312
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "31186449774815646",
      "b": "20021668074014897",
      "gx": "68542677954682616",
      "gy": "64309870186440537",
      "n": "71480885332990459",
      "p": "71480885189783779",
      "qx": "63796214451076545",
      "qy": "60229371538536681"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16531456,
    "process_cpu_s": 9.108649999999997,
    "restarts": 55565,
    "seed": 34,
    "table_entries": 55052,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 2.279886458
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 5.868045042000001,
    "d": "387071716982309",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 35002,
    "engine": "rho_engine 0.1.0",
    "expected_d": "387071716982309",
    "expected_iterations": 236940828.17985234,
    "fruitless_by_length": [
     {
      "count": 33,
      "length": 2
     },
     {
      "count": 2240,
      "length": 4
     },
     {
      "count": 24,
      "length": 6
     }
    ],
    "fruitless_cycles": 2297,
    "group_ops": 144415501,
    "group_ops_per_cpu_s": 24610496.33504159,
    "group_ops_per_wall_s": 196236988.11555746,
    "iterations": 142375286,
    "label": "g56b-1/t8",
    "lookahead_rejections": 1126357,
    "match": true,
    "ok": true,
    "ops": {
     "add": 144412996,
     "dbl": 2505,
     "inv": 2046469,
     "mul": 1005024088
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "31186449774815646",
      "b": "20021668074014897",
      "gx": "68542677954682616",
      "gy": "64309870186440537",
      "n": "71480885332990459",
      "p": "71480885189783779",
      "qx": "63796214451076545",
      "qy": "60229371538536681"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16646144,
    "process_cpu_s": 5.869031,
    "restarts": 36027,
    "seed": 34,
    "table_entries": 35002,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.735923958
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 11.828410622,
    "d": "387071716982309",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 70253,
    "engine": "rho_engine 0.1.0",
    "expected_d": "387071716982309",
    "expected_iterations": 236940828.17985234,
    "fruitless_by_length": [
     {
      "count": 71,
      "length": 2
     },
     {
      "count": 4360,
      "length": 4
     },
     {
      "count": 58,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 4491,
    "group_ops": 289561014,
    "group_ops_per_cpu_s": 24480128.671001427,
    "group_ops_per_wall_s": 390831034.5376929,
    "iterations": 285472581,
    "label": "g56b-1/t16",
    "lookahead_rejections": 2258950,
    "match": true,
    "ok": true,
    "ops": {
     "add": 289556315,
     "dbl": 4699,
     "inv": 4099939,
     "mul": 2015140764
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "31186449774815646",
      "b": "20021668074014897",
      "gx": "68542677954682616",
      "gy": "64309870186440537",
      "n": "71480885332990459",
      "p": "71480885189783779",
      "qx": "63796214451076545",
      "qy": "60229371538536681"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16760832,
    "process_cpu_s": 11.830330000000004,
    "restarts": 72302,
    "seed": 34,
    "table_entries": 70253,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.740885417
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 20.353864625000003,
    "d": "387071716982309",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 104639,
    "engine": "rho_engine 0.1.0",
    "expected_d": "387071716982309",
    "expected_iterations": 236940828.17985234,
    "fruitless_by_length": [
     {
      "count": 116,
      "length": 2
     },
     {
      "count": 6657,
      "length": 4
     },
     {
      "count": 97,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 6872,
    "group_ops": 433651616,
    "group_ops_per_cpu_s": 21305615.6159828,
    "group_ops_per_wall_s": 581375040.7333043,
    "iterations": 427531714,
    "label": "g56b-1/t28",
    "lookahead_rejections": 3383210,
    "match": true,
    "ok": true,
    "ops": {
     "add": 433644536,
     "dbl": 7080,
     "inv": 6137739,
     "mul": 3017920882
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "31186449774815646",
      "b": "20021668074014897",
      "gx": "68542677954682616",
      "gy": "64309870186440537",
      "n": "71480885332990459",
      "p": "71480885189783779",
      "qx": "63796214451076545",
      "qy": "60229371538536681"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 20.357974,
    "restarts": 108224,
    "seed": 34,
    "table_entries": 104639,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.745906834
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 4.6251575,
    "d": "26330878751216195",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 29050,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26330878751216195",
    "expected_iterations": 169410728.96446696,
    "fruitless_by_length": [
     {
      "count": 34,
      "length": 2
     },
     {
      "count": 1820,
      "length": 4
     },
     {
      "count": 27,
      "length": 6
     }
    ],
    "fruitless_cycles": 1881,
    "group_ops": 120473107,
    "group_ops_per_cpu_s": 26047352.333407022,
    "group_ops_per_wall_s": 26043694.138277512,
    "iterations": 118797453,
    "label": "g56b-2/t1",
    "lookahead_rejections": 939290,
    "match": true,
    "ok": true,
    "ops": {
     "add": 120471012,
     "dbl": 2095,
     "inv": 1681244,
     "mul": 838505926
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "11336102865792359",
      "b": "11481300650139407",
      "gx": "16517008715667066",
      "gy": "5514251710426671",
      "n": "36541968680092951",
      "p": "36541968691324601",
      "qx": "4195699706559593",
      "qy": "24010460413484619"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 4.625761999999995,
    "restarts": 29179,
    "seed": 34,
    "table_entries": 29050,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 4.625807167
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 9.498230208,
    "d": "26330878751216195",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 58287,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26330878751216195",
    "expected_iterations": 169410728.96446696,
    "fruitless_by_length": [
     {
      "count": 60,
      "length": 2
     },
     {
      "count": 3662,
      "length": 4
     },
     {
      "count": 55,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 3779,
    "group_ops": 241685121,
    "group_ops_per_cpu_s": 25445279.35282488,
    "group_ops_per_wall_s": 50879191.10853473,
    "iterations": 238326230,
    "label": "g56b-2/t2",
    "lookahead_rejections": 1885025,
    "match": true,
    "ok": true,
    "ops": {
     "add": 241681128,
     "dbl": 3993,
     "inv": 3369494,
     "mul": 1682167885
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "11336102865792359",
      "b": "11481300650139407",
      "gx": "16517008715667066",
      "gy": "5514251710426671",
      "n": "36541968680092951",
      "p": "36541968691324601",
      "qx": "4195699706559593",
      "qy": "24010460413484619"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 9.498936999999984,
    "restarts": 58544,
    "seed": 34,
    "table_entries": 58287,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 4.750176167
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 2.1347261250000003,
    "d": "26330878751216195",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 12785,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26330878751216195",
    "expected_iterations": 169410728.96446696,
    "fruitless_by_length": [
     {
      "count": 20,
      "length": 2
     },
     {
      "count": 796,
      "length": 4
     },
     {
      "count": 14,
      "length": 6
     }
    ],
    "fruitless_cycles": 830,
    "group_ops": 53262056,
    "group_ops_per_cpu_s": 24950299.420727797,
    "group_ops_per_wall_s": 99534268.24533707,
    "iterations": 52508748,
    "label": "g56b-2/t4",
    "lookahead_rejections": 415258,
    "match": true,
    "ok": true,
    "ops": {
     "add": 53261012,
     "dbl": 1044,
     "inv": 755684,
     "mul": 370660436
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "11336102865792359",
      "b": "11481300650139407",
      "gx": "16517008715667066",
      "gy": "5514251710426671",
      "n": "36541968680092951",
      "p": "36541968691324601",
      "qx": "4195699706559593",
      "qy": "24010460413484619"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 2.1354820000000103,
    "restarts": 13298,
    "seed": 34,
    "table_entries": 12785,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.53511275
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 4.364642582,
    "d": "26330878751216195",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 25422,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26330878751216195",
    "expected_iterations": 169410728.96446696,
    "fruitless_by_length": [
     {
      "count": 30,
      "length": 2
     },
     {
      "count": 1576,
      "length": 4
     },
     {
      "count": 25,
      "length": 6
     }
    ],
    "fruitless_cycles": 1631,
    "group_ops": 106258062,
    "group_ops_per_cpu_s": 24345192.075569592,
    "group_ops_per_wall_s": 194276032.955857,
    "iterations": 104761866,
    "label": "g56b-2/t8",
    "lookahead_rejections": 827823,
    "match": true,
    "ok": true,
    "ops": {
     "add": 106256217,
     "dbl": 1845,
     "inv": 1501477,
     "mul": 739493395
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "11336102865792359",
      "b": "11481300650139407",
      "gx": "16517008715667066",
      "gy": "5514251710426671",
      "n": "36541968680092951",
      "p": "36541968691324601",
      "qx": "4195699706559593",
      "qy": "24010460413484619"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 4.365717999999987,
    "restarts": 26447,
    "seed": 34,
    "table_entries": 25422,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.54694375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 8.773464294000002,
    "d": "26330878751216195",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 51102,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26330878751216195",
    "expected_iterations": 169410728.96446696,
    "fruitless_by_length": [
     {
      "count": 57,
      "length": 2
     },
     {
      "count": 3235,
      "length": 4
     },
     {
      "count": 45,
      "length": 6
     }
    ],
    "fruitless_cycles": 3337,
    "group_ops": 212137516,
    "group_ops_per_cpu_s": 24179447.125017267,
    "group_ops_per_wall_s": 385778077.19320947,
    "iterations": 209146387,
    "label": "g56b-2/t16",
    "lookahead_rejections": 1652311,
    "match": true,
    "ok": true,
    "ops": {
     "add": 212133965,
     "dbl": 3551,
     "inv": 3002425,
     "mul": 1476333491
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "11336102865792359",
      "b": "11481300650139407",
      "gx": "16517008715667066",
      "gy": "5514251710426671",
      "n": "36541968680092951",
      "p": "36541968691324601",
      "qx": "4195699706559593",
      "qy": "24010460413484619"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 8.77587100000001,
    "restarts": 53151,
    "seed": 34,
    "table_entries": 51102,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.549895208
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 2.9707697929999997,
    "d": "26330878751216195",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 15110,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26330878751216195",
    "expected_iterations": 169410728.96446696,
    "fruitless_by_length": [
     {
      "count": 16,
      "length": 2
     },
     {
      "count": 932,
      "length": 4
     },
     {
      "count": 8,
      "length": 6
     }
    ],
    "fruitless_cycles": 956,
    "group_ops": 62715972,
    "group_ops_per_cpu_s": 21111017.133598547,
    "group_ops_per_wall_s": 576928260.949637,
    "iterations": 61754196,
    "label": "g56b-2/t28",
    "lookahead_rejections": 488325,
    "match": true,
    "ok": true,
    "ops": {
     "add": 62714802,
     "dbl": 1170,
     "inv": 964508,
     "mul": 436154795
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "11336102865792359",
      "b": "11481300650139407",
      "gx": "16517008715667066",
      "gy": "5514251710426671",
      "n": "36541968680092951",
      "p": "36541968691324601",
      "qx": "4195699706559593",
      "qy": "24010460413484619"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 2.9754839999999945,
    "restarts": 18695,
    "seed": 34,
    "table_entries": 15110,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.108706708
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 13.605726083,
    "d": "48742791841968097",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 85696,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48742791841968097",
    "expected_iterations": 211306187.62945345,
    "fruitless_by_length": [
     {
      "count": 85,
      "length": 2
     },
     {
      "count": 5336,
      "length": 4
     },
     {
      "count": 87,
      "length": 6
     },
     {
      "count": 4,
      "length": 8
     }
    ],
    "fruitless_cycles": 5512,
    "group_ops": 355380196,
    "group_ops_per_cpu_s": 26119899.359435014,
    "group_ops_per_wall_s": 26118231.022401668,
    "iterations": 350441476,
    "label": "g56b-3/t1",
    "lookahead_rejections": 2771340,
    "match": true,
    "ok": true,
    "ops": {
     "add": 355374469,
     "dbl": 5727,
     "inv": 4954557,
     "mul": 2473503538
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "56700677092015278",
      "b": "47166927960047756",
      "gx": "35891805145748593",
      "gy": "35626011912978387",
      "n": "56850533921988113",
      "p": "56850534038358637",
      "qx": "19908255325934568",
      "qy": "55555436581045530"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 13.606331000000011,
    "restarts": 85825,
    "seed": 34,
    "table_entries": 85696,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 13.606595167
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 0.7539191250000001,
    "d": "48742791841968097",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 4710,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48742791841968097",
    "expected_iterations": 211306187.62945345,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 307,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 314,
    "group_ops": 19577680,
    "group_ops_per_cpu_s": 25967878.18587305,
    "group_ops_per_wall_s": 51860470.89716998,
    "iterations": 19295922,
    "label": "g56b-3/t2",
    "lookahead_rejections": 152573,
    "match": true,
    "ok": true,
    "ops": {
     "add": 19577151,
     "dbl": 529,
     "inv": 282697,
     "mul": 136225178
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "56700677092015278",
      "b": "47166927960047756",
      "gx": "35891805145748593",
      "gy": "35626011912978387",
      "n": "56850533921988113",
      "p": "56850534038358637",
      "qx": "19908255325934568",
      "qy": "55555436581045530"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 0.7545100000000105,
    "restarts": 4967,
    "seed": 34,
    "table_entries": 4710,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.377506792
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 1.578846542,
    "d": "48742791841968097",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 9463,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48742791841968097",
    "expected_iterations": 211306187.62945345,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 581,
      "length": 4
     },
     {
      "count": 9,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 598,
    "group_ops": 39353437,
    "group_ops_per_cpu_s": 24925435.090195104,
    "group_ops_per_wall_s": 99463926.15037772,
    "iterations": 38791489,
    "label": "g56b-3/t4",
    "lookahead_rejections": 306450,
    "match": true,
    "ok": true,
    "ops": {
     "add": 39352624,
     "dbl": 813,
     "inv": 563954,
     "mul": 273845346
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "56700677092015278",
      "b": "47166927960047756",
      "gx": "35891805145748593",
      "gy": "35626011912978387",
      "n": "56850533921988113",
      "p": "56850534038358637",
      "qx": "19908255325934568",
      "qy": "55555436581045530"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 1.5795379999999852,
    "restarts": 9976,
    "seed": 34,
    "table_entries": 9463,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.395655375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.2138498750000006,
    "d": "48742791841968097",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 18710,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48742791841968097",
    "expected_iterations": 211306187.62945345,
    "fruitless_by_length": [
     {
      "count": 23,
      "length": 2
     },
     {
      "count": 1154,
      "length": 4
     },
     {
      "count": 19,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 1197,
    "group_ops": 78133879,
    "group_ops_per_cpu_s": 24311614.43096342,
    "group_ops_per_wall_s": 193754588.14521226,
    "iterations": 77022701,
    "label": "g56b-3/t8",
    "lookahead_rejections": 609605,
    "match": true,
    "ok": true,
    "ops": {
     "add": 78132467,
     "dbl": 1412,
     "inv": 1114094,
     "mul": 543725769
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "56700677092015278",
      "b": "47166927960047756",
      "gx": "35891805145748593",
      "gy": "35626011912978387",
      "n": "56850533921988113",
      "p": "56850534038358637",
      "qx": "19908255325934568",
      "qy": "55555436581045530"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 3.214844000000028,
    "restarts": 19735,
    "seed": 34,
    "table_entries": 18710,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.403262084
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.491188499,
    "d": "48742791841968097",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 37701,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48742791841968097",
    "expected_iterations": 211306187.62945345,
    "fruitless_by_length": [
     {
      "count": 35,
      "length": 2
     },
     {
      "count": 2376,
      "length": 4
     },
     {
      "count": 37,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2449,
    "group_ops": 156889301,
    "group_ops_per_cpu_s": 24169580.196934596,
    "group_ops_per_wall_s": 385364565.7513344,
    "iterations": 154658522,
    "label": "g56b-3/t16",
    "lookahead_rejections": 1224589,
    "match": true,
    "ok": true,
    "ops": {
     "add": 156886637,
     "dbl": 2664,
     "inv": 2236321,
     "mul": 1091780050
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "56700677092015278",
      "b": "47166927960047756",
      "gx": "35891805145748593",
      "gy": "35626011912978387",
      "n": "56850533921988113",
      "p": "56850534038358637",
      "qx": "19908255325934568",
      "qy": "55555436581045530"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 6.492710000000017,
    "restarts": 39750,
    "seed": 34,
    "table_entries": 37701,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.407119167
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 12.655468292,
    "d": "48742791841968097",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 64902,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48742791841968097",
    "expected_iterations": 211306187.62945345,
    "fruitless_by_length": [
     {
      "count": 54,
      "length": 2
     },
     {
      "count": 4133,
      "length": 4
     },
     {
      "count": 74,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 4262,
    "group_ops": 269297885,
    "group_ops_per_cpu_s": 21279171.87941859,
    "group_ops_per_wall_s": 579717499.829151,
    "iterations": 265466443,
    "label": "g56b-3/t28",
    "lookahead_rejections": 2101264,
    "match": true,
    "ok": true,
    "ops": {
     "add": 269293408,
     "dbl": 4477,
     "inv": 3841977,
     "mul": 1874009587
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "56700677092015278",
      "b": "47166927960047756",
      "gx": "35891805145748593",
      "gy": "35626011912978387",
      "n": "56850533921988113",
      "p": "56850534038358637",
      "qx": "19908255325934568",
      "qy": "55555436581045530"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 12.65950700000002,
    "restarts": 68487,
    "seed": 34,
    "table_entries": 64902,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.464532958
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 1.733484166,
    "d": "25295776470607517",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 10692,
    "engine": "rho_engine 0.1.0",
    "expected_d": "25295776470607517",
    "expected_iterations": 170064300.12150025,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 688,
      "length": 4
     },
     {
      "count": 9,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 702,
    "group_ops": 45331850,
    "group_ops_per_cpu_s": 26150714.779589165,
    "group_ops_per_wall_s": 26142120.66177347,
    "iterations": 44703040,
    "label": "g56b-4/t1",
    "lookahead_rejections": 353182,
    "match": true,
    "ok": true,
    "ops": {
     "add": 45330934,
     "dbl": 916,
     "inv": 631152,
     "mul": 315520425
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "16132398560478124",
      "b": "5159991224733009",
      "gx": "21911463354954208",
      "gy": "2276128536172658",
      "n": "36824463722586899",
      "p": "36824463576249247",
      "qx": "8746543998899447",
      "qy": "19085742760833701"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 1.7340240000000051,
    "restarts": 10821,
    "seed": 34,
    "table_entries": 10692,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 1.734054042
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.5323562070000003,
    "d": "25295776470607517",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 21622,
    "engine": "rho_engine 0.1.0",
    "expected_d": "25295776470607517",
    "expected_iterations": 170064300.12150025,
    "fruitless_by_length": [
     {
      "count": 18,
      "length": 2
     },
     {
      "count": 1394,
      "length": 4
     },
     {
      "count": 25,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 1438,
    "group_ops": 90124652,
    "group_ops_per_cpu_s": 25514032.7641368,
    "group_ops_per_wall_s": 51008534.3054942,
    "iterations": 88868026,
    "label": "g56b-4/t2",
    "lookahead_rejections": 703166,
    "match": true,
    "ok": true,
    "ops": {
     "add": 90123000,
     "dbl": 1652,
     "inv": 1260466,
     "mul": 627266805
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "16132398560478124",
      "b": "5159991224733009",
      "gx": "21911463354954208",
      "gy": "2276128536172658",
      "n": "36824463722586899",
      "p": "36824463576249247",
      "qx": "8746543998899447",
      "qy": "19085742760833701"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 3.533006999999998,
    "restarts": 21879,
    "seed": 34,
    "table_entries": 21622,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 1.7668543749999999
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.511529583,
    "d": "25295776470607517",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 39221,
    "engine": "rho_engine 0.1.0",
    "expected_d": "25295776470607517",
    "expected_iterations": 170064300.12150025,
    "fruitless_by_length": [
     {
      "count": 40,
      "length": 2
     },
     {
      "count": 2598,
      "length": 4
     },
     {
      "count": 44,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2683,
    "group_ops": 163322436,
    "group_ops_per_cpu_s": 25082038.546886843,
    "group_ops_per_wall_s": 100190273.59491345,
    "iterations": 161046479,
    "label": "g56b-4/t4",
    "lookahead_rejections": 1274562,
    "match": true,
    "ok": true,
    "ops": {
     "add": 163319539,
     "dbl": 2897,
     "inv": 2283007,
     "mul": 1136728196
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "16132398560478124",
      "b": "5159991224733009",
      "gx": "21911463354954208",
      "gy": "2276128536172658",
      "n": "36824463722586899",
      "p": "36824463576249247",
      "qx": "8746543998899447",
      "qy": "19085742760833701"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 6.512270000000001,
    "restarts": 39734,
    "seed": 34,
    "table_entries": 39221,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 1.630122667
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.311472247999999,
    "d": "25295776470607517",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 37221,
    "engine": "rho_engine 0.1.0",
    "expected_d": "25295776470607517",
    "expected_iterations": 170064300.12150025,
    "fruitless_by_length": [
     {
      "count": 33,
      "length": 2
     },
     {
      "count": 2452,
      "length": 4
     },
     {
      "count": 40,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2526,
    "group_ops": 154879002,
    "group_ops_per_cpu_s": 24539282.7401053,
    "group_ops_per_wall_s": 195890384.48827747,
    "iterations": 152706097,
    "label": "g56b-4/t8",
    "lookahead_rejections": 1208508,
    "match": true,
    "ok": true,
    "ops": {
     "add": 154876262,
     "dbl": 2740,
     "inv": 2179536,
     "mul": 1077903608
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "16132398560478124",
      "b": "5159991224733009",
      "gx": "21911463354954208",
      "gy": "2276128536172658",
      "n": "36824463722586899",
      "p": "36824463576249247",
      "qx": "8746543998899447",
      "qy": "19085742760833701"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 6.31243699999996,
    "restarts": 38246,
    "seed": 34,
    "table_entries": 37221,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.790641166
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 5.022947665,
    "d": "25295776470607517",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 29679,
    "engine": "rho_engine 0.1.0",
    "expected_d": "25295776470607517",
    "expected_iterations": 170064300.12150025,
    "fruitless_by_length": [
     {
      "count": 23,
      "length": 2
     },
     {
      "count": 1905,
      "length": 4
     },
     {
      "count": 38,
      "length": 6
     }
    ],
    "fruitless_cycles": 1966,
    "group_ops": 123013012,
    "group_ops_per_cpu_s": 24490203.801476397,
    "group_ops_per_wall_s": 390510834.93416584,
    "iterations": 121252825,
    "label": "g56b-4/t16",
    "lookahead_rejections": 959623,
    "match": true,
    "ok": true,
    "ops": {
     "add": 123010832,
     "dbl": 2180,
     "inv": 1765223,
     "mul": 855991452
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "16132398560478124",
      "b": "5159991224733009",
      "gx": "21911463354954208",
      "gy": "2276128536172658",
      "n": "36824463722586899",
      "p": "36824463576249247",
      "qx": "8746543998899447",
      "qy": "19085742760833701"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 5.024772999999982,
    "restarts": 31728,
    "seed": 34,
    "table_entries": 29679,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.315005375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.0263215830000005,
    "d": "25295776470607517",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 30516,
    "engine": "rho_engine 0.1.0",
    "expected_d": "25295776470607517",
    "expected_iterations": 170064300.12150025,
    "fruitless_by_length": [
     {
      "count": 31,
      "length": 2
     },
     {
      "count": 1992,
      "length": 4
     },
     {
      "count": 31,
      "length": 6
     }
    ],
    "fruitless_cycles": 2054,
    "group_ops": 127782850,
    "group_ops_per_cpu_s": 21204120.66300445,
    "group_ops_per_wall_s": 583199943.4320538,
    "iterations": 125927119,
    "label": "g56b-4/t28",
    "lookahead_rejections": 995526,
    "match": true,
    "ok": true,
    "ops": {
     "add": 127780582,
     "dbl": 2268,
     "inv": 1862096,
     "mul": 889069663
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "16132398560478124",
      "b": "5159991224733009",
      "gx": "21911463354954208",
      "gy": "2276128536172658",
      "n": "36824463722586899",
      "p": "36824463576249247",
      "qx": "8746543998899447",
      "qy": "19085742760833701"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 6.031102999999973,
    "restarts": 34101,
    "seed": 34,
    "table_entries": 30516,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.219106417
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.9841699170000004,
    "d": "20833530400606715",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 25099,
    "engine": "rho_engine 0.1.0",
    "expected_d": "20833530400606715",
    "expected_iterations": 171346208.10445878,
    "fruitless_by_length": [
     {
      "count": 16,
      "length": 2
     },
     {
      "count": 1624,
      "length": 4
     },
     {
      "count": 27,
      "length": 6
     }
    ],
    "fruitless_cycles": 1667,
    "group_ops": 104246547,
    "group_ops_per_cpu_s": 26165186.016588256,
    "group_ops_per_wall_s": 26161468.64619884,
    "iterations": 102795608,
    "label": "g56b-5/t1",
    "lookahead_rejections": 813216,
    "match": true,
    "ok": true,
    "ops": {
     "add": 104244666,
     "dbl": 1881,
     "inv": 1455541,
     "mul": 725564743
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "3205829217079975",
      "b": "19144635302153944",
      "gx": "28172759685591731",
      "gy": "18243921166644232",
      "n": "37381705738620629",
      "p": "37381705673799481",
      "qx": "31973160565080049",
      "qy": "36723304394384875"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 3.9847179999999867,
    "restarts": 25228,
    "seed": 34,
    "table_entries": 25099,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 3.984736041
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 2.563267459,
    "d": "20833530400606715",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 15696,
    "engine": "rho_engine 0.1.0",
    "expected_d": "20833530400606715",
    "expected_iterations": 171346208.10445878,
    "fruitless_by_length": [
     {
      "count": 14,
      "length": 2
     },
     {
      "count": 1037,
      "length": 4
     },
     {
      "count": 26,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 1078,
    "group_ops": 65073536,
    "group_ops_per_cpu_s": 25386947.34001225,
    "group_ops_per_wall_s": 50728439.95234187,
    "iterations": 64161208,
    "label": "g56b-5/t2",
    "lookahead_rejections": 507694,
    "match": true,
    "ok": true,
    "ops": {
     "add": 65072244,
     "dbl": 1292,
     "inv": 915295,
     "mul": 452891061
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "3205829217079975",
      "b": "19144635302153944",
      "gx": "28172759685591731",
      "gy": "18243921166644232",
      "n": "37381705738620629",
      "p": "37381705673799481",
      "qx": "31973160565080049",
      "qy": "36723304394384875"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 2.5638600000000054,
    "restarts": 15953,
    "seed": 34,
    "table_entries": 15696,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 1.282782125
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 5.189006416,
    "d": "20833530400606715",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 31829,
    "engine": "rho_engine 0.1.0",
    "expected_d": "20833530400606715",
    "expected_iterations": 171346208.10445878,
    "fruitless_by_length": [
     {
      "count": 25,
      "length": 2
     },
     {
      "count": 2009,
      "length": 4
     },
     {
      "count": 47,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2082,
    "group_ops": 130403724,
    "group_ops_per_cpu_s": 25130769.466367915,
    "group_ops_per_wall_s": 100376409.63874665,
    "iterations": 128571274,
    "label": "g56b-5/t4",
    "lookahead_rejections": 1015994,
    "match": true,
    "ok": true,
    "ops": {
     "add": 130401428,
     "dbl": 2296,
     "inv": 1839338,
     "mul": 907547036
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "3205829217079975",
      "b": "19144635302153944",
      "gx": "28172759685591731",
      "gy": "18243921166644232",
      "n": "37381705738620629",
      "p": "37381705673799481",
      "qx": "31973160565080049",
      "qy": "36723304394384875"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 5.189749000000006,
    "restarts": 32342,
    "seed": 34,
    "table_entries": 31829,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 1.299147125
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 5.904329168,
    "d": "20833530400606715",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 35111,
    "engine": "rho_engine 0.1.0",
    "expected_d": "20833530400606715",
    "expected_iterations": 171346208.10445878,
    "fruitless_by_length": [
     {
      "count": 27,
      "length": 2
     },
     {
      "count": 2333,
      "length": 4
     },
     {
      "count": 43,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2404,
    "group_ops": 145027353,
    "group_ops_per_cpu_s": 24562884.092914786,
    "group_ops_per_wall_s": 195981320.4217263,
    "iterations": 142985010,
    "label": "g56b-5/t8",
    "lookahead_rejections": 1130473,
    "match": true,
    "ok": true,
    "ops": {
     "add": 145024735,
     "dbl": 2618,
     "inv": 2049864,
     "mul": 1009304353
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "3205829217079975",
      "b": "19144635302153944",
      "gx": "28172759685591731",
      "gy": "18243921166644232",
      "n": "37381705738620629",
      "p": "37381705673799481",
      "qx": "31973160565080049",
      "qy": "36723304394384875"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 5.905333999999982,
    "restarts": 36136,
    "seed": 34,
    "table_entries": 35111,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.740006
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 11.865510877999998,
    "d": "20833530400606715",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 69486,
    "engine": "rho_engine 0.1.0",
    "expected_d": "20833530400606715",
    "expected_iterations": 171346208.10445878,
    "fruitless_by_length": [
     {
      "count": 67,
      "length": 2
     },
     {
      "count": 4530,
      "length": 4
     },
     {
      "count": 83,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     },
     {
      "count": 1,
      "length": 10
     }
    ],
    "fruitless_cycles": 4682,
    "group_ops": 290446879,
    "group_ops_per_cpu_s": 24478244.720041633,
    "group_ops_per_wall_s": 390733915.6849167,
    "iterations": 286381085,
    "label": "g56b-5/t16",
    "lookahead_rejections": 2264863,
    "match": true,
    "ok": true,
    "ops": {
     "add": 290441983,
     "dbl": 4896,
     "inv": 4079532,
     "mul": 2021438976
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "3205829217079975",
      "b": "19144635302153944",
      "gx": "28172759685591731",
      "gy": "18243921166644232",
      "n": "37381705738620629",
      "p": "37381705673799481",
      "qx": "31973160565080049",
      "qy": "36723304394384875"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 11.867482000000024,
    "restarts": 71535,
    "seed": 34,
    "table_entries": 69486,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.74333675
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.193730125,
    "d": "20833530400606715",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 31644,
    "engine": "rho_engine 0.1.0",
    "expected_d": "20833530400606715",
    "expected_iterations": 171346208.10445878,
    "fruitless_by_length": [
     {
      "count": 34,
      "length": 2
     },
     {
      "count": 1994,
      "length": 4
     },
     {
      "count": 30,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     },
     {
      "count": 1,
      "length": 10
     }
    ],
    "fruitless_cycles": 2060,
    "group_ops": 131773746,
    "group_ops_per_cpu_s": 21275345.12169272,
    "group_ops_per_wall_s": 582628511.9287442,
    "iterations": 129858165,
    "label": "g56b-5/t28",
    "lookahead_rejections": 1026759,
    "match": true,
    "ok": true,
    "ops": {
     "add": 131771472,
     "dbl": 2274,
     "inv": 1921707,
     "mul": 916830607
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "3205829217079975",
      "b": "19144635302153944",
      "gx": "28172759685591731",
      "gy": "18243921166644232",
      "n": "37381705738620629",
      "p": "37381705673799481",
      "qx": "31973160565080049",
      "qy": "36723304394384875"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 6.198279999999983,
    "restarts": 35229,
    "seed": 34,
    "table_entries": 31644,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.226171125
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 15.997906917,
    "d": "36701801994878106",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 99924,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36701801994878106",
    "expected_iterations": 233267097.62343204,
    "fruitless_by_length": [
     {
      "count": 103,
      "length": 2
     },
     {
      "count": 6326,
      "length": 4
     },
     {
      "count": 94,
      "length": 6
     },
     {
      "count": 5,
      "length": 8
     }
    ],
    "fruitless_cycles": 6528,
    "group_ops": 415474496,
    "group_ops_per_cpu_s": 25970553.407739896,
    "group_ops_per_wall_s": 25968647.506023426,
    "iterations": 409705073,
    "label": "g56b-6/t1",
    "lookahead_rejections": 3240116,
    "match": true,
    "ok": true,
    "ops": {
     "add": 415467753,
     "dbl": 6743,
     "inv": 5788244,
     "mul": 2891786638
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "43543479109457891",
      "b": "36155361392104635",
      "gx": "42626047369311996",
      "gy": "35121290751868282",
      "n": "69281469411998059",
      "p": "69281469580316951",
      "qx": "51509879397823700",
      "qy": "5072157630125903"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 15.998496999999986,
    "restarts": 100053,
    "seed": 34,
    "table_entries": 99924,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 15.999081042
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 15.860846333,
    "d": "36701801994878106",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 98204,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36701801994878106",
    "expected_iterations": 233267097.62343204,
    "fruitless_by_length": [
     {
      "count": 102,
      "length": 2
     },
     {
      "count": 6202,
      "length": 4
     },
     {
      "count": 93,
      "length": 6
     },
     {
      "count": 3,
      "length": 8
     }
    ],
    "fruitless_cycles": 6400,
    "group_ops": 407247929,
    "group_ops_per_cpu_s": 25676305.06278104,
    "group_ops_per_wall_s": 51346835.53022833,
    "iterations": 401582666,
    "label": "g56b-6/t2",
    "lookahead_rejections": 3176285,
    "match": true,
    "ok": true,
    "ops": {
     "add": 407241314,
     "dbl": 6615,
     "inv": 5683327,
     "mul": 2834489569
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "43543479109457891",
      "b": "36155361392104635",
      "gx": "42626047369311996",
      "gy": "35121290751868282",
      "n": "69281469411998059",
      "p": "69281469580316951",
      "qx": "51509879397823700",
      "qy": "5072157630125903"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 15.861515999999995,
    "restarts": 98461,
    "seed": 34,
    "table_entries": 98204,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 7.931315042
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.17434725,
    "d": "36701801994878106",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 42891,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36701801994878106",
    "expected_iterations": 233267097.62343204,
    "fruitless_by_length": [
     {
      "count": 40,
      "length": 2
     },
     {
      "count": 2715,
      "length": 4
     },
     {
      "count": 45,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 2801,
    "group_ops": 178862324,
    "group_ops_per_cpu_s": 24930814.995050594,
    "group_ops_per_wall_s": 99564101.38066006,
    "iterations": 176368077,
    "label": "g56b-6/t4",
    "lookahead_rejections": 1394986,
    "match": true,
    "ok": true,
    "ops": {
     "add": 178859308,
     "dbl": 3016,
     "inv": 2502123,
     "mul": 1244877119
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "43543479109457891",
      "b": "36155361392104635",
      "gx": "42626047369311996",
      "gy": "35121290751868282",
      "n": "69281469411998059",
      "p": "69281469580316951",
      "qx": "51509879397823700",
      "qy": "5072157630125903"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 7.17506000000003,
    "restarts": 43404,
    "seed": 34,
    "table_entries": 42891,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 1.7964539579999999
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 11.856346999000001,
    "d": "36701801994878106",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 69342,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36701801994878106",
    "expected_iterations": 233267097.62343204,
    "fruitless_by_length": [
     {
      "count": 69,
      "length": 2
     },
     {
      "count": 4374,
      "length": 4
     },
     {
      "count": 56,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 4501,
    "group_ops": 288001163,
    "group_ops_per_cpu_s": 24290885.128808297,
    "group_ops_per_wall_s": 193893863.49863037,
    "iterations": 283973532,
    "label": "g56b-6/t8",
    "lookahead_rejections": 2247527,
    "match": true,
    "ok": true,
    "ops": {
     "add": 287996447,
     "dbl": 4716,
     "inv": 4038815,
     "mul": 2004440885
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "43543479109457891",
      "b": "36155361392104635",
      "gx": "42626047369311996",
      "gy": "35121290751868282",
      "n": "69281469411998059",
      "p": "69281469580316951",
      "qx": "51509879397823700",
      "qy": "5072157630125903"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 11.857485999999994,
    "restarts": 70367,
    "seed": 34,
    "table_entries": 69342,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 1.485354708
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 8.744070248,
    "d": "36701801994878106",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 50975,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36701801994878106",
    "expected_iterations": 233267097.62343204,
    "fruitless_by_length": [
     {
      "count": 50,
      "length": 2
     },
     {
      "count": 3181,
      "length": 4
     },
     {
      "count": 39,
      "length": 6
     }
    ],
    "fruitless_cycles": 3270,
    "group_ops": 211644451,
    "group_ops_per_cpu_s": 24204340.198251344,
    "group_ops_per_wall_s": 386287662.26640356,
    "iterations": 208652891,
    "label": "g56b-6/t16",
    "lookahead_rejections": 1648955,
    "match": true,
    "ok": true,
    "ops": {
     "add": 211640966,
     "dbl": 3485,
     "inv": 3001993,
     "mul": 1472875200
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "43543479109457891",
      "b": "36155361392104635",
      "gx": "42626047369311996",
      "gy": "35121290751868282",
      "n": "69281469411998059",
      "p": "69281469580316951",
      "qx": "51509879397823700",
      "qy": "5072157630125903"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 8.745773999999983,
    "restarts": 53024,
    "seed": 34,
    "table_entries": 50975,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.547893375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 14.226666087,
    "d": "36701801994878106",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 72690,
    "engine": "rho_engine 0.1.0",
    "expected_d": "36701801994878106",
    "expected_iterations": 233267097.62343204,
    "fruitless_by_length": [
     {
      "count": 79,
      "length": 2
     },
     {
      "count": 4643,
      "length": 4
     },
     {
      "count": 67,
      "length": 6
     }
    ],
    "fruitless_cycles": 4789,
    "group_ops": 301981610,
    "group_ops_per_cpu_s": 21226449.552783407,
    "group_ops_per_wall_s": 581830297.7269758,
    "iterations": 297697032,
    "label": "g56b-6/t28",
    "lookahead_rejections": 2355094,
    "match": true,
    "ok": true,
    "ops": {
     "add": 301976606,
     "dbl": 5004,
     "inv": 4297674,
     "mul": 2101493444
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "43543479109457891",
      "b": "36155361392104635",
      "gx": "42626047369311996",
      "gy": "35121290751868282",
      "n": "69281469411998059",
      "p": "69281469580316951",
      "qx": "51509879397823700",
      "qy": "5072157630125903"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 14.232589000000019,
    "restarts": 76275,
    "seed": 34,
    "table_entries": 72690,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.519020084
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 11.59091475,
    "d": "6737304137076210",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 72907,
    "engine": "rho_engine 0.1.0",
    "expected_d": "6737304137076210",
    "expected_iterations": 192174943.94830614,
    "fruitless_by_length": [
     {
      "count": 85,
      "length": 2
     },
     {
      "count": 4595,
      "length": 4
     },
     {
      "count": 63,
      "length": 6
     },
     {
      "count": 4,
      "length": 8
     }
    ],
    "fruitless_cycles": 4747,
    "group_ops": 302851338,
    "group_ops_per_cpu_s": 26128337.97263499,
    "group_ops_per_wall_s": 26126620.286302287,
    "iterations": 298647666,
    "label": "g56b-7/t1",
    "lookahead_rejections": 2361065,
    "match": true,
    "ok": true,
    "ops": {
     "add": 302846379,
     "dbl": 4959,
     "inv": 4218077,
     "mul": 2107911246
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "8118772270661172",
      "b": "46564455481802070",
      "gx": "37967753966075644",
      "gy": "30740363483081067",
      "n": "47022275837492231",
      "p": "47022275827212407",
      "qx": "25873868243172807",
      "qy": "19184239426877354"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 11.591492000000017,
    "restarts": 73036,
    "seed": 34,
    "table_entries": 72907,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 11.591676791
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.348334583,
    "d": "6737304137076210",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 38496,
    "engine": "rho_engine 0.1.0",
    "expected_d": "6737304137076210",
    "expected_iterations": 192174943.94830614,
    "fruitless_by_length": [
     {
      "count": 43,
      "length": 2
     },
     {
      "count": 2423,
      "length": 4
     },
     {
      "count": 35,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 2503,
    "group_ops": 160364418,
    "group_ops_per_cpu_s": 25260864.23192544,
    "group_ops_per_wall_s": 50508629.890657574,
    "iterations": 158134126,
    "label": "g56b-7/t2",
    "lookahead_rejections": 1250570,
    "match": true,
    "ok": true,
    "ops": {
     "add": 160361703,
     "dbl": 2715,
     "inv": 2237480,
     "mul": 1116155487
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "8118772270661172",
      "b": "46564455481802070",
      "gx": "37967753966075644",
      "gy": "30740363483081067",
      "n": "47022275837492231",
      "p": "47022275827212407",
      "qx": "25873868243172807",
      "qy": "19184239426877354"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 6.3489830000000325,
    "restarts": 38753,
    "seed": 34,
    "table_entries": 38496,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 3.174990459
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 4.599457374,
    "d": "6737304137076210",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 27482,
    "engine": "rho_engine 0.1.0",
    "expected_d": "6737304137076210",
    "expected_iterations": 192174943.94830614,
    "fruitless_by_length": [
     {
      "count": 37,
      "length": 2
     },
     {
      "count": 1758,
      "length": 4
     },
     {
      "count": 32,
      "length": 6
     }
    ],
    "fruitless_cycles": 1827,
    "group_ops": 114795234,
    "group_ops_per_cpu_s": 24958429.802810907,
    "group_ops_per_wall_s": 99658426.96141495,
    "iterations": 113191044,
    "label": "g56b-7/t4",
    "lookahead_rejections": 895523,
    "match": true,
    "ok": true,
    "ops": {
     "add": 114793195,
     "dbl": 2039,
     "inv": 1609151,
     "mul": 798959209
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "8118772270661172",
      "b": "46564455481802070",
      "gx": "37967753966075644",
      "gy": "30740363483081067",
      "n": "47022275837492231",
      "p": "47022275827212407",
      "qx": "25873868243172807",
      "qy": "19184239426877354"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 4.600222999999971,
    "restarts": 27995,
    "seed": 34,
    "table_entries": 27482,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 1.151886875
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 0.531718627,
    "d": "6737304137076210",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 3131,
    "engine": "rho_engine 0.1.0",
    "expected_d": "6737304137076210",
    "expected_iterations": 192174943.94830614,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 194,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 206,
    "group_ops": 12881404,
    "group_ops_per_cpu_s": 24225978.45156927,
    "group_ops_per_wall_s": 191487025.30645922,
    "iterations": 12672984,
    "label": "g56b-7/t8",
    "lookahead_rejections": 99902,
    "match": true,
    "ok": true,
    "ops": {
     "add": 12880986,
     "dbl": 418,
     "inv": 209344,
     "mul": 89538472
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "8118772270661172",
      "b": "46564455481802070",
      "gx": "37967753966075644",
      "gy": "30740363483081067",
      "n": "47022275837492231",
      "p": "47022275827212407",
      "qx": "25873868243172807",
      "qy": "19184239426877354"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 0.5327440000000365,
    "restarts": 4156,
    "seed": 34,
    "table_entries": 3131,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.067270375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 1.0637073340000003,
    "d": "6737304137076210",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 6166,
    "engine": "rho_engine 0.1.0",
    "expected_d": "6737304137076210",
    "expected_iterations": 192174943.94830614,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 376,
      "length": 4
     },
     {
      "count": 9,
      "length": 6
     },
     {
      "count": 1,
      "length": 10
     }
    ],
    "fruitless_cycles": 394,
    "group_ops": 25572941,
    "group_ops_per_cpu_s": 24041331.84250471,
    "group_ops_per_wall_s": 380060502.47820884,
    "iterations": 25164304,
    "label": "g56b-7/t16",
    "lookahead_rejections": 197831,
    "match": true,
    "ok": true,
    "ops": {
     "add": 25572335,
     "dbl": 606,
     "inv": 410939,
     "mul": 177775524
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "8118772270661172",
      "b": "46564455481802070",
      "gx": "37967753966075644",
      "gy": "30740363483081067",
      "n": "47022275837492231",
      "p": "47022275827212407",
      "qx": "25873868243172807",
      "qy": "19184239426877354"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 1.0658379999999852,
    "restarts": 8215,
    "seed": 34,
    "table_entries": 6166,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.0672865
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 2.2573314160000004,
    "d": "6737304137076210",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 11449,
    "engine": "rho_engine 0.1.0",
    "expected_d": "6737304137076210",
    "expected_iterations": 192174943.94830614,
    "fruitless_by_length": [
     {
      "count": 11,
      "length": 2
     },
     {
      "count": 733,
      "length": 4
     },
     {
      "count": 11,
      "length": 6
     },
     {
      "count": 1,
      "length": 10
     }
    ],
    "fruitless_cycles": 756,
    "group_ops": 47742896,
    "group_ops_per_cpu_s": 21150149.092684224,
    "group_ops_per_wall_s": 569702201.286943,
    "iterations": 46989408,
    "label": "g56b-7/t28",
    "lookahead_rejections": 370847,
    "match": true,
    "ok": true,
    "ops": {
     "add": 47741928,
     "dbl": 968,
     "inv": 756452,
     "mul": 331937332
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "8118772270661172",
      "b": "46564455481802070",
      "gx": "37967753966075644",
      "gy": "30740363483081067",
      "n": "47022275837492231",
      "p": "47022275827212407",
      "qx": "25873868243172807",
      "qy": "19184239426877354"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 16990208,
    "process_cpu_s": 2.26172200000002,
    "restarts": 15034,
    "seed": 34,
    "table_entries": 11449,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.08380325
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 18.654703,
    "d": "30740291990457636",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 118837,
    "engine": "rho_engine 0.1.0",
    "expected_d": "30740291990457636",
    "expected_iterations": 230260674.5624446,
    "fruitless_by_length": [
     {
      "count": 116,
      "length": 2
     },
     {
      "count": 7473,
      "length": 4
     },
     {
      "count": 100,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 7691,
    "group_ops": 491189767,
    "group_ops_per_cpu_s": 26330613.08990017,
    "group_ops_per_wall_s": 26329240.620921336,
    "iterations": 484350250,
    "label": "g56b-8/t1",
    "lookahead_rejections": 3833178,
    "match": true,
    "ok": true,
    "ops": {
     "add": 491181862,
     "dbl": 7905,
     "inv": 6858884,
     "mul": 3418717103
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "40840882328942645",
      "b": "19502494487481554",
      "gx": "51978926022459920",
      "gy": "995257310613273",
      "n": "67507132968837139",
      "p": "67507132730506549",
      "qx": "60520720491601791",
      "qy": "34739603267401854"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 21299200,
    "process_cpu_s": 18.65531599999997,
    "restarts": 118966,
    "seed": 34,
    "table_entries": 118837,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 18.655675417
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 6.255979291000001,
    "d": "30740291990457636",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 38608,
    "engine": "rho_engine 0.1.0",
    "expected_d": "30740291990457636",
    "expected_iterations": 230260674.5624446,
    "fruitless_by_length": [
     {
      "count": 41,
      "length": 2
     },
     {
      "count": 2410,
      "length": 4
     },
     {
      "count": 41,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 2494,
    "group_ops": 159537231,
    "group_ops_per_cpu_s": 25501559.960326917,
    "group_ops_per_wall_s": 50985677.406767316,
    "iterations": 157308041,
    "label": "g56b-8/t2",
    "lookahead_rejections": 1244245,
    "match": true,
    "ok": true,
    "ops": {
     "add": 159534523,
     "dbl": 2708,
     "inv": 2236174,
     "mul": 1110357458
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "40840882328942645",
      "b": "19502494487481554",
      "gx": "51978926022459920",
      "gy": "995257310613273",
      "n": "67507132968837139",
      "p": "67507132730506549",
      "qx": "60520720491601791",
      "qy": "34739603267401854"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 21331968,
    "process_cpu_s": 6.256676000000027,
    "restarts": 38865,
    "seed": 34,
    "table_entries": 38608,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 3.12905975
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.512875666000001,
    "d": "30740291990457636",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 45466,
    "engine": "rho_engine 0.1.0",
    "expected_d": "30740291990457636",
    "expected_iterations": 230260674.5624446,
    "fruitless_by_length": [
     {
      "count": 44,
      "length": 2
     },
     {
      "count": 2770,
      "length": 4
     },
     {
      "count": 52,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 2868,
    "group_ops": 187294357,
    "group_ops_per_cpu_s": 24929782.592784356,
    "group_ops_per_wall_s": 99585139.57600296,
    "iterations": 184669399,
    "label": "g56b-8/t4",
    "lookahead_rejections": 1460850,
    "match": true,
    "ok": true,
    "ops": {
     "add": 187291275,
     "dbl": 3082,
     "inv": 2632674,
     "mul": 1303513128
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "40840882328942645",
      "b": "19502494487481554",
      "gx": "51978926022459920",
      "gy": "995257310613273",
      "n": "67507132968837139",
      "p": "67507132730506549",
      "qx": "60520720491601791",
      "qy": "34739603267401854"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 21413888,
    "process_cpu_s": 7.513646999999992,
    "restarts": 45979,
    "seed": 34,
    "table_entries": 45466,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 1.880746041
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.337727417,
    "d": "30740291990457636",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 43153,
    "engine": "rho_engine 0.1.0",
    "expected_d": "30740291990457636",
    "expected_iterations": 230260674.5624446,
    "fruitless_by_length": [
     {
      "count": 46,
      "length": 2
     },
     {
      "count": 2706,
      "length": 4
     },
     {
      "count": 45,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 2799,
    "group_ops": 178234696,
    "group_ops_per_cpu_s": 24290176.763321433,
    "group_ops_per_wall_s": 193882579.14698023,
    "iterations": 175724844,
    "label": "g56b-8/t8",
    "lookahead_rejections": 1391287,
    "match": true,
    "ok": true,
    "ops": {
     "add": 178231683,
     "dbl": 3013,
     "inv": 2516353,
     "mul": 1240417428
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "40840882328942645",
      "b": "19502494487481554",
      "gx": "51978926022459920",
      "gy": "995257310613273",
      "n": "67507132968837139",
      "p": "67507132730506549",
      "qx": "60520720491601791",
      "qy": "34739603267401854"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 21544960,
    "process_cpu_s": 7.338774999999998,
    "restarts": 44178,
    "seed": 34,
    "table_entries": 43153,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.919291959
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.348283875000001,
    "d": "30740291990457636",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 42878,
    "engine": "rho_engine 0.1.0",
    "expected_d": "30740291990457636",
    "expected_iterations": 230260674.5624446,
    "fruitless_by_length": [
     {
      "count": 36,
      "length": 2
     },
     {
      "count": 2744,
      "length": 4
     },
     {
      "count": 43,
      "length": 6
     }
    ],
    "fruitless_cycles": 2823,
    "group_ops": 177792141,
    "group_ops_per_cpu_s": 24195056.15520331,
    "group_ops_per_wall_s": 385937005.6150651,
    "iterations": 175267726,
    "label": "g56b-8/t16",
    "lookahead_rejections": 1387331,
    "match": true,
    "ok": true,
    "ops": {
     "add": 177789104,
     "dbl": 3037,
     "inv": 2531379,
     "mul": 1237253202
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "40840882328942645",
      "b": "19502494487481554",
      "gx": "51978926022459920",
      "gy": "995257310613273",
      "n": "67507132968837139",
      "p": "67507132730506549",
      "qx": "60520720491601791",
      "qy": "34739603267401854"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 21774336,
    "process_cpu_s": 7.3503370000000245,
    "restarts": 44927,
    "seed": 34,
    "table_entries": 42878,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.460676583
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 11.550593581000003,
    "d": "30740291990457636",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 58894,
    "engine": "rho_engine 0.1.0",
    "expected_d": "30740291990457636",
    "expected_iterations": 230260674.5624446,
    "fruitless_by_length": [
     {
      "count": 62,
      "length": 2
     },
     {
      "count": 3790,
      "length": 4
     },
     {
      "count": 53,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 3906,
    "group_ops": 245385421,
    "group_ops_per_cpu_s": 21244399.19725368,
    "group_ops_per_wall_s": 572864246.58573,
    "iterations": 241891805,
    "label": "g56b-8/t28",
    "lookahead_rejections": 1913171,
    "match": true,
    "ok": true,
    "ops": {
     "add": 245381301,
     "dbl": 4120,
     "inv": 3504777,
     "mul": 1707590196
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "40840882328942645",
      "b": "19502494487481554",
      "gx": "51978926022459920",
      "gy": "995257310613273",
      "n": "67507132968837139",
      "p": "67507132730506549",
      "qx": "60520720491601791",
      "qy": "34739603267401854"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 11.55355899999995,
    "restarts": 62479,
    "seed": 34,
    "table_entries": 58894,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.428348291
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.893724292,
    "d": "26754344405679755",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 24510,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26754344405679755",
    "expected_iterations": 188595592.91265193,
    "fruitless_by_length": [
     {
      "count": 19,
      "length": 2
     },
     {
      "count": 1639,
      "length": 4
     },
     {
      "count": 20,
      "length": 6
     }
    ],
    "fruitless_cycles": 1678,
    "group_ops": 101604648,
    "group_ops_per_cpu_s": 26094463.906639643,
    "group_ops_per_wall_s": 26088717.376017794,
    "iterations": 100187470,
    "label": "g56b-9/t1",
    "lookahead_rejections": 793438,
    "match": true,
    "ok": true,
    "ops": {
     "add": 101602756,
     "dbl": 1892,
     "inv": 1421079,
     "mul": 707167751
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "7092050085840733",
      "b": "26001799571521043",
      "gx": "9975444942799635",
      "gy": "8261368376121214",
      "n": "45286963127357737",
      "p": "45286963000515479",
      "qx": "3012210369440444",
      "qy": "36810103225432996"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 3.8944480000000112,
    "restarts": 24639,
    "seed": 34,
    "table_entries": 24510,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 3.894581958
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.961721667,
    "d": "26754344405679755",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 49081,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26754344405679755",
    "expected_iterations": 188595592.91265193,
    "fruitless_by_length": [
     {
      "count": 36,
      "length": 2
     },
     {
      "count": 3161,
      "length": 4
     },
     {
      "count": 44,
      "length": 6
     }
    ],
    "fruitless_cycles": 3241,
    "group_ops": 203262313,
    "group_ops_per_cpu_s": 25529944.59006124,
    "group_ops_per_wall_s": 51046305.41931204,
    "iterations": 200431812,
    "label": "g56b-9/t2",
    "lookahead_rejections": 1584975,
    "match": true,
    "ok": true,
    "ops": {
     "add": 203258858,
     "dbl": 3455,
     "inv": 2840057,
     "mul": 1414714577
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "7092050085840733",
      "b": "26001799571521043",
      "gx": "9975444942799635",
      "gy": "8261368376121214",
      "n": "45286963127357737",
      "p": "45286963000515479",
      "qx": "3012210369440444",
      "qy": "36810103225432996"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 7.962374000000011,
    "restarts": 49338,
    "seed": 34,
    "table_entries": 49081,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 3.981920167
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 11.457831082999999,
    "d": "26754344405679755",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 69743,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26754344405679755",
    "expected_iterations": 188595592.91265193,
    "fruitless_by_length": [
     {
      "count": 65,
      "length": 2
     },
     {
      "count": 4345,
      "length": 4
     },
     {
      "count": 71,
      "length": 6
     }
    ],
    "fruitless_cycles": 4481,
    "group_ops": 287649615,
    "group_ops_per_cpu_s": 25105066.824277606,
    "group_ops_per_wall_s": 100301460.67143187,
    "iterations": 283634512,
    "label": "g56b-9/t4",
    "lookahead_rejections": 2243152,
    "match": true,
    "ok": true,
    "ops": {
     "add": 287644920,
     "dbl": 4695,
     "inv": 4027881,
     "mul": 2002018111
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "7092050085840733",
      "b": "26001799571521043",
      "gx": "9975444942799635",
      "gy": "8261368376121214",
      "n": "45286963127357737",
      "p": "45286963000515479",
      "qx": "3012210369440444",
      "qy": "36810103225432996"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 11.458530000000053,
    "restarts": 70256,
    "seed": 34,
    "table_entries": 69743,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 2.8678507079999997
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 10.251916458,
    "d": "26754344405679755",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 60006,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26754344405679755",
    "expected_iterations": 188595592.91265193,
    "fruitless_by_length": [
     {
      "count": 57,
      "length": 2
     },
     {
      "count": 3857,
      "length": 4
     },
     {
      "count": 75,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 3991,
    "group_ops": 250410800,
    "group_ops_per_cpu_s": 24425755.030864883,
    "group_ops_per_wall_s": 195010571.753244,
    "iterations": 246916009,
    "label": "g56b-9/t8",
    "lookahead_rejections": 1955172,
    "match": true,
    "ok": true,
    "ops": {
     "add": 250406595,
     "dbl": 4205,
     "inv": 3504004,
     "mul": 1742849599
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "7092050085840733",
      "b": "26001799571521043",
      "gx": "9975444942799635",
      "gy": "8261368376121214",
      "n": "45286963127357737",
      "p": "45286963000515479",
      "qx": "3012210369440444",
      "qy": "36810103225432996"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 10.252843999999982,
    "restarts": 61031,
    "seed": 34,
    "table_entries": 60006,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 1.2840883330000001
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 9.580561501,
    "d": "26754344405679755",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 55023,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26754344405679755",
    "expected_iterations": 188595592.91265193,
    "fruitless_by_length": [
     {
      "count": 52,
      "length": 2
     },
     {
      "count": 3592,
      "length": 4
     },
     {
      "count": 64,
      "length": 6
     },
     {
      "count": 3,
      "length": 8
     }
    ],
    "fruitless_cycles": 3711,
    "group_ops": 232514436,
    "group_ops_per_cpu_s": 24269395.48122838,
    "group_ops_per_wall_s": 387230061.3843449,
    "iterations": 229260409,
    "label": "g56b-9/t16",
    "lookahead_rejections": 1813998,
    "match": true,
    "ok": true,
    "ops": {
     "add": 232510511,
     "dbl": 3925,
     "inv": 3263942,
     "mul": 1618250396
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "7092050085840733",
      "b": "26001799571521043",
      "gx": "9975444942799635",
      "gy": "8261368376121214",
      "n": "45286963127357737",
      "p": "45286963000515479",
      "qx": "3012210369440444",
      "qy": "36810103225432996"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 9.582898000000057,
    "restarts": 57072,
    "seed": 34,
    "table_entries": 55023,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.600455541
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 10.565423208000002,
    "d": "26754344405679755",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 53617,
    "engine": "rho_engine 0.1.0",
    "expected_d": "26754344405679755",
    "expected_iterations": 188595592.91265193,
    "fruitless_by_length": [
     {
      "count": 65,
      "length": 2
     },
     {
      "count": 3457,
      "length": 4
     },
     {
      "count": 67,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 3590,
    "group_ops": 225275474,
    "group_ops_per_cpu_s": 21321954.602767292,
    "group_ops_per_wall_s": 577110144.2039138,
    "iterations": 222075670,
    "label": "g56b-9/t28",
    "lookahead_rejections": 1756543,
    "match": true,
    "ok": true,
    "ops": {
     "add": 225271670,
     "dbl": 3804,
     "inv": 3210005,
     "mul": 1567679202
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "7092050085840733",
      "b": "26001799571521043",
      "gx": "9975444942799635",
      "gy": "8261368376121214",
      "n": "45286963127357737",
      "p": "45286963000515479",
      "qx": "3012210369440444",
      "qy": "36810103225432996"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 10.569912000000045,
    "restarts": 57202,
    "seed": 34,
    "table_entries": 53617,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.390350917
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 9.330655291000001,
    "d": "46214474940601090",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 59016,
    "engine": "rho_engine 0.1.0",
    "expected_d": "46214474940601090",
    "expected_iterations": 227131835.05350822,
    "fruitless_by_length": [
     {
      "count": 67,
      "length": 2
     },
     {
      "count": 3731,
      "length": 4
     },
     {
      "count": 51,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 3850,
    "group_ops": 245117931,
    "group_ops_per_cpu_s": 26270173.246720575,
    "group_ops_per_wall_s": 26268005.277811054,
    "iterations": 241709475,
    "label": "g56b-10/t1",
    "lookahead_rejections": 1911799,
    "match": true,
    "ok": true,
    "ops": {
     "add": 245113866,
     "dbl": 4065,
     "inv": 3419278,
     "mul": 1706053007
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "38163452923886127",
      "b": "11246482657549668",
      "gx": "47026493758970680",
      "gy": "20248302734593672",
      "n": "65684989982167397",
      "p": "65684989828908533",
      "qx": "42442923471753448",
      "qy": "5260973683360220"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 9.33122400000002,
    "restarts": 59145,
    "seed": 34,
    "table_entries": 59016,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 9.331425375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 1.9479407920000003,
    "d": "46214474940601090",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 11858,
    "engine": "rho_engine 0.1.0",
    "expected_d": "46214474940601090",
    "expected_iterations": 227131835.05350822,
    "fruitless_by_length": [
     {
      "count": 12,
      "length": 2
     },
     {
      "count": 767,
      "length": 4
     },
     {
      "count": 12,
      "length": 6
     }
    ],
    "fruitless_cycles": 791,
    "group_ops": 50108302,
    "group_ops_per_cpu_s": 25723729.49208201,
    "group_ops_per_wall_s": 51417639.33115811,
    "iterations": 49408210,
    "label": "g56b-10/t2",
    "lookahead_rejections": 390481,
    "match": true,
    "ok": true,
    "ops": {
     "add": 50107296,
     "dbl": 1006,
     "inv": 702635,
     "mul": 348745952
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "38163452923886127",
      "b": "11246482657549668",
      "gx": "47026493758970680",
      "gy": "20248302734593672",
      "n": "65684989982167397",
      "p": "65684989828908533",
      "qx": "42442923471753448",
      "qy": "5260973683360220"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 1.9485429999999724,
    "restarts": 12115,
    "seed": 34,
    "table_entries": 11858,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.97453525
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.9987897500000003,
    "d": "46214474940601090",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 23960,
    "engine": "rho_engine 0.1.0",
    "expected_d": "46214474940601090",
    "expected_iterations": 227131835.05350822,
    "fruitless_by_length": [
     {
      "count": 27,
      "length": 2
     },
     {
      "count": 1585,
      "length": 4
     },
     {
      "count": 29,
      "length": 6
     }
    ],
    "fruitless_cycles": 1641,
    "group_ops": 100446872,
    "group_ops_per_cpu_s": 25119318.163701903,
    "group_ops_per_wall_s": 100325803.83622065,
    "iterations": 99043017,
    "label": "g56b-10/t4",
    "lookahead_rejections": 782387,
    "match": true,
    "ok": true,
    "ops": {
     "add": 100445016,
     "dbl": 1856,
     "inv": 1409605,
     "mul": 699090646
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "38163452923886127",
      "b": "11246482657549668",
      "gx": "47026493758970680",
      "gy": "20248302734593672",
      "n": "65684989982167397",
      "p": "65684989828908533",
      "qx": "42442923471753448",
      "qy": "5260973683360220"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 3.999510999999984,
    "restarts": 24473,
    "seed": 34,
    "table_entries": 23960,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 1.00120675
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 8.182687835000001,
    "d": "46214474940601090",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 47731,
    "engine": "rho_engine 0.1.0",
    "expected_d": "46214474940601090",
    "expected_iterations": 227131835.05350822,
    "fruitless_by_length": [
     {
      "count": 51,
      "length": 2
     },
     {
      "count": 3137,
      "length": 4
     },
     {
      "count": 45,
      "length": 6
     }
    ],
    "fruitless_cycles": 3233,
    "group_ops": 200781820,
    "group_ops_per_cpu_s": 24537392.11963962,
    "group_ops_per_wall_s": 195829384.55447543,
    "iterations": 197982972,
    "label": "g56b-10/t8",
    "lookahead_rejections": 1564647,
    "match": true,
    "ok": true,
    "ops": {
     "add": 200778372,
     "dbl": 3448,
     "inv": 2809394,
     "mul": 1397434521
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "38163452923886127",
      "b": "11246482657549668",
      "gx": "47026493758970680",
      "gy": "20248302734593672",
      "n": "65684989982167397",
      "p": "65684989828908533",
      "qx": "42442923471753448",
      "qy": "5260973683360220"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 8.18373200000002,
    "restarts": 48756,
    "seed": 34,
    "table_entries": 47731,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 1.025289542
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 16.472328376,
    "d": "46214474940601090",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 95947,
    "engine": "rho_engine 0.1.0",
    "expected_d": "46214474940601090",
    "expected_iterations": 227131835.05350822,
    "fruitless_by_length": [
     {
      "count": 94,
      "length": 2
     },
     {
      "count": 6133,
      "length": 4
     },
     {
      "count": 93,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 6321,
    "group_ops": 399559142,
    "group_ops_per_cpu_s": 24256385.18608901,
    "group_ops_per_wall_s": 387167022.455378,
    "iterations": 393967129,
    "label": "g56b-10/t16",
    "lookahead_rejections": 3115241,
    "match": true,
    "ok": true,
    "ops": {
     "add": 399552606,
     "dbl": 6536,
     "inv": 5610730,
     "mul": 2780837201
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "38163452923886127",
      "b": "11246482657549668",
      "gx": "47026493758970680",
      "gy": "20248302734593672",
      "n": "65684989982167397",
      "p": "65684989828908533",
      "qx": "42442923471753448",
      "qy": "5260973683360220"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 21856256,
    "process_cpu_s": 16.47429900000003,
    "restarts": 97996,
    "seed": 34,
    "table_entries": 95947,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 1.032007167
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 22.817558336,
    "d": "46214474940601090",
    "doubling_fallbacks": 0,
    "dp_bytes": 7569408,
    "dp_count": 117042,
    "engine": "rho_engine 0.1.0",
    "expected_d": "46214474940601090",
    "expected_iterations": 227131835.05350822,
    "fruitless_by_length": [
     {
      "count": 121,
      "length": 2
     },
     {
      "count": 7347,
      "length": 4
     },
     {
      "count": 109,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 7578,
    "group_ops": 486391849,
    "group_ops_per_cpu_s": 21316559.898199268,
    "group_ops_per_wall_s": 576772595.7883848,
    "iterations": 479551312,
    "label": "g56b-10/t28",
    "lookahead_rejections": 3792906,
    "match": true,
    "ok": true,
    "ops": {
     "add": 486384056,
     "dbl": 7793,
     "inv": 6861820,
     "mul": 3385044883
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "38163452923886127",
      "b": "11246482657549668",
      "gx": "47026493758970680",
      "gy": "20248302734593672",
      "n": "65684989982167397",
      "p": "65684989828908533",
      "qx": "42442923471753448",
      "qy": "5260973683360220"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 22085632,
    "process_cpu_s": 22.821911,
    "restarts": 120627,
    "seed": 34,
    "table_entries": 117042,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.843299166
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 10.320338208999999,
    "d": "7920816622484317",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 65456,
    "engine": "rho_engine 0.1.0",
    "expected_d": "7920816622484317",
    "expected_iterations": 184597593.9635297,
    "fruitless_by_length": [
     {
      "count": 66,
      "length": 2
     },
     {
      "count": 4160,
      "length": 4
     },
     {
      "count": 61,
      "length": 6
     },
     {
      "count": 1,
      "length": 8
     }
    ],
    "fruitless_cycles": 4288,
    "group_ops": 271218652,
    "group_ops_per_cpu_s": 26280015.878111426,
    "group_ops_per_wall_s": 26277847.667707108,
    "iterations": 267448359,
    "label": "g56b-11/t1",
    "lookahead_rejections": 2116506,
    "match": true,
    "ok": true,
    "ops": {
     "add": 271214152,
     "dbl": 4500,
     "inv": 3781290,
     "mul": 1887726207
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "25739882437223610",
      "b": "15705252912235883",
      "gx": "14691547573479830",
      "gy": "26899646152027941",
      "n": "43387256661918107",
      "p": "43387256991501739",
      "qx": "17793650438868692",
      "qy": "33435696477152538"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 22085632,
    "process_cpu_s": 10.32100899999989,
    "restarts": 65585,
    "seed": 34,
    "table_entries": 65456,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 10.32118975
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 1.7629930830000002,
    "d": "7920816622484317",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 10616,
    "engine": "rho_engine 0.1.0",
    "expected_d": "7920816622484317",
    "expected_iterations": 184597593.9635297,
    "fruitless_by_length": [
     {
      "count": 13,
      "length": 2
     },
     {
      "count": 695,
      "length": 4
     },
     {
      "count": 12,
      "length": 6
     }
    ],
    "fruitless_cycles": 720,
    "group_ops": 44741097,
    "group_ops_per_cpu_s": 25377919.76124276,
    "group_ops_per_wall_s": 50724430.33136588,
    "iterations": 44114366,
    "label": "g56b-11/t2",
    "lookahead_rejections": 349179,
    "match": true,
    "ok": true,
    "ops": {
     "add": 44740165,
     "dbl": 932,
     "inv": 628536,
     "mul": 311386588
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "25739882437223610",
      "b": "15705252912235883",
      "gx": "14691547573479830",
      "gy": "26899646152027941",
      "n": "43387256661918107",
      "p": "43387256991501739",
      "qx": "17793650438868692",
      "qy": "33435696477152538"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 22085632,
    "process_cpu_s": 1.7635799999999335,
    "restarts": 10873,
    "seed": 34,
    "table_entries": 10616,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.882042375
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 3.543700959,
    "d": "7920816622484317",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 21454,
    "engine": "rho_engine 0.1.0",
    "expected_d": "7920816622484317",
    "expected_iterations": 184597593.9635297,
    "fruitless_by_length": [
     {
      "count": 24,
      "length": 2
     },
     {
      "count": 1373,
      "length": 4
     },
     {
      "count": 21,
      "length": 6
     }
    ],
    "fruitless_cycles": 1418,
    "group_ops": 90112305,
    "group_ops_per_cpu_s": 25428868.305363122,
    "group_ops_per_wall_s": 101554902.03149688,
    "iterations": 88852188,
    "label": "g56b-11/t4",
    "lookahead_rejections": 703272,
    "match": true,
    "ok": true,
    "ops": {
     "add": 90110675,
     "dbl": 1630,
     "inv": 1263613,
     "mul": 627167398
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "25739882437223610",
      "b": "15705252912235883",
      "gx": "14691547573479830",
      "gy": "26899646152027941",
      "n": "43387256661918107",
      "p": "43387256991501739",
      "qx": "17793650438868692",
      "qy": "33435696477152538"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 22085632,
    "process_cpu_s": 3.54439600000012,
    "restarts": 21967,
    "seed": 34,
    "table_entries": 21454,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.887326
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.240281208,
    "d": "7920816622484317",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 42682,
    "engine": "rho_engine 0.1.0",
    "expected_d": "7920816622484317",
    "expected_iterations": 184597593.9635297,
    "fruitless_by_length": [
     {
      "count": 40,
      "length": 2
     },
     {
      "count": 2720,
      "length": 4
     },
     {
      "count": 43,
      "length": 6
     },
     {
      "count": 2,
      "length": 8
     }
    ],
    "fruitless_cycles": 2805,
    "group_ops": 179467640,
    "group_ops_per_cpu_s": 24787385.3023417,
    "group_ops_per_wall_s": 197752186.01184344,
    "iterations": 176963784,
    "label": "g56b-11/t8",
    "lookahead_rejections": 1399856,
    "match": true,
    "ok": true,
    "ops": {
     "add": 179464623,
     "dbl": 3017,
     "inv": 2511555,
     "mul": 1249086289
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "25739882437223610",
      "b": "15705252912235883",
      "gx": "14691547573479830",
      "gy": "26899646152027941",
      "n": "43387256661918107",
      "p": "43387256991501739",
      "qx": "17793650438868692",
      "qy": "33435696477152538"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 22085632,
    "process_cpu_s": 7.241330999999946,
    "restarts": 43707,
    "seed": 34,
    "table_entries": 42682,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.907538084
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 7.926431375000001,
    "d": "7920816622484317",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 47026,
    "engine": "rho_engine 0.1.0",
    "expected_d": "7920816622484317",
    "expected_iterations": 184597593.9635297,
    "fruitless_by_length": [
     {
      "count": 38,
      "length": 2
     },
     {
      "count": 2944,
      "length": 4
     },
     {
      "count": 37,
      "length": 6
     }
    ],
    "fruitless_cycles": 3019,
    "group_ops": 195832904,
    "group_ops_per_cpu_s": 24706314.195522822,
    "group_ops_per_wall_s": 394278659.55748004,
    "iterations": 193065447,
    "label": "g56b-11/t16",
    "lookahead_rejections": 1527972,
    "match": true,
    "ok": true,
    "ops": {
     "add": 195829673,
     "dbl": 3231,
     "inv": 2774870,
     "mul": 1362850905
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "25739882437223610",
      "b": "15705252912235883",
      "gx": "14691547573479830",
      "gy": "26899646152027941",
      "n": "43387256661918107",
      "p": "43387256991501739",
      "qx": "17793650438868692",
      "qy": "33435696477152538"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 22085632,
    "process_cpu_s": 7.92834199999993,
    "restarts": 49075,
    "seed": 34,
    "table_entries": 47026,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.496686542
   },
   {
    "abandoned_walks": 0,
    "bits": 56,
    "class_size": 2,
    "cpu_s": 16.052146207,
    "d": "7920816622484317",
    "doubling_fallbacks": 0,
    "dp_bytes": 3784704,
    "dp_count": 83187,
    "engine": "rho_engine 0.1.0",
    "expected_d": "7920816622484317",
    "expected_iterations": 184597593.9635297,
    "fruitless_by_length": [
     {
      "count": 75,
      "length": 2
     },
     {
      "count": 5288,
      "length": 4
     },
     {
      "count": 77,
      "length": 6
     }
    ],
    "fruitless_cycles": 5440,
    "group_ops": 345559967,
    "group_ops_per_cpu_s": 21527337.37556593,
    "group_ops_per_wall_s": 573258747.2912958,
    "iterations": 340676303,
    "label": "g56b-11/t28",
    "lookahead_rejections": 2696085,
    "match": true,
    "ok": true,
    "ops": {
     "add": 345554315,
     "dbl": 5652,
     "inv": 4897453,
     "mul": 2404836689
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 12,
     "instance": {
      "a": "25739882437223610",
      "b": "15705252912235883",
      "gx": "14691547573479830",
      "gy": "26899646152027941",
      "n": "43387256661918107",
      "p": "43387256991501739",
      "qx": "17793650438868692",
      "qy": "33435696477152538"
     },
     "lambda": null,
     "max_walk_len": 262144,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 22216704,
    "process_cpu_s": 16.057669000000033,
    "restarts": 86772,
    "seed": 34,
    "table_entries": 83187,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.602799292
   }
  ]
 },
 "elapsed_s": 179.653
}