{
 "experiment": "ecdlp_study",
 "timestamp_utc": "2026-11-01T06:31:03+00:00",
 "command": "experiments/synthetic_ecdlp/run_batch_remote.py --engine ./rho_engine --jobs results/synthetic_ecdlp/parallel.jobs.json --params results/synthetic_ecdlp/parallel.params.json --out results/synthetic_ecdlp/parallel_M3U96a.json --parallel 1",
 "cwd": "/Users/simon-pierreboucher/wp34",
 "seed": 34,
 "host": {
  "hostname": "MacStudnpierre2",
  "os": "Darwin 25.6.0 (26.6)",
  "machine": "arm64",
  "python": "3.14.5",
  "cpu": "Apple M3 Ultra",
  "cores": 28,
  "ram_gb": 96.0
 },
 "software": {
  "numpy": "2.4.4",
  "scipy": "1.17.1",
  "sympy": "1.14.0",
  "gmpy2": null,
  "z3": "4.16.0",
  "pysat": null,
  "ecdsa": null,
  "coincurve": null
 },
 "params": {
  "sizes": [
   48
  ],
  "per_size": 6,
  "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": 36,
  "n_ok": 36,
  "runs": [
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.432909333,
    "d": "192886620102547",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9833,
    "engine": "rho_engine 0.1.0",
    "expected_d": "192886620102547",
    "expected_iterations": 13826630.943256887,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 170,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 176,
    "group_ops": 10521554,
    "group_ops_per_cpu_s": 24304290.062510617,
    "group_ops_per_wall_s": 24278216.806836125,
    "iterations": 10223604,
    "label": "g48b-0/t1",
    "lookahead_rejections": 80771,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10521171,
     "dbl": 383,
     "inv": 298562,
     "mul": 72629565
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "103064451687984",
      "b": "198490363922054",
      "gx": "163176239973794",
      "gy": "159471003086237",
      "n": "243412490823823",
      "p": "243412507481251",
      "qx": "148129210228668",
      "qy": "222406211502339"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 3457024,
    "process_cpu_s": 0.433405,
    "restarts": 9962,
    "seed": 34,
    "table_entries": 9833,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.43337425
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.8661026660000001,
    "d": "192886620102547",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 19746,
    "engine": "rho_engine 0.1.0",
    "expected_d": "192886620102547",
    "expected_iterations": 13826630.943256887,
    "fruitless_by_length": [
     {
      "count": 8,
      "length": 2
     },
     {
      "count": 330,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 342,
    "group_ops": 20898889,
    "group_ops_per_cpu_s": 24129805.64592789,
    "group_ops_per_wall_s": 48206160.336676806,
    "iterations": 20305369,
    "label": "g48b-0/t2",
    "lookahead_rejections": 160742,
    "match": true,
    "ok": true,
    "ops": {
     "add": 20898340,
     "dbl": 549,
     "inv": 594383,
     "mul": 144258111
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "103064451687984",
      "b": "198490363922054",
      "gx": "163176239973794",
      "gy": "159471003086237",
      "n": "243412490823823",
      "p": "243412507481251",
      "qx": "148129210228668",
      "qy": "222406211502339"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 3555328,
    "process_cpu_s": 0.8666259999999999,
    "restarts": 20003,
    "seed": 34,
    "table_entries": 19746,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.4335315
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7255822490000001,
    "d": "192886620102547",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 16701,
    "engine": "rho_engine 0.1.0",
    "expected_d": "192886620102547",
    "expected_iterations": 13826630.943256887,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 271,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 277,
    "group_ops": 17625169,
    "group_ops_per_cpu_s": 24291069.722682808,
    "group_ops_per_wall_s": 96666932.01142284,
    "iterations": 17116801,
    "label": "g48b-0/t4",
    "lookahead_rejections": 135281,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17624685,
     "dbl": 484,
     "inv": 509252,
     "mul": 121628926
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "103064451687984",
      "b": "198490363922054",
      "gx": "163176239973794",
      "gy": "159471003086237",
      "n": "243412490823823",
      "p": "243412507481251",
      "qx": "148129210228668",
      "qy": "222406211502339"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 3719168,
    "process_cpu_s": 0.726243,
    "restarts": 17214,
    "seed": 34,
    "table_entries": 16701,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.182328834
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.469728749,
    "d": "192886620102547",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10329,
    "engine": "rho_engine 0.1.0",
    "expected_d": "192886620102547",
    "expected_iterations": 13826630.943256887,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 187,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 194,
    "group_ops": 10890312,
    "group_ops_per_cpu_s": 23184256.921008684,
    "group_ops_per_wall_s": 182890851.1968268,
    "iterations": 10559679,
    "label": "g48b-0/t8",
    "lookahead_rejections": 83349,
    "match": true,
    "ok": true,
    "ops": {
     "add": 10889911,
     "dbl": 401,
     "inv": 331405,
     "mul": 75086367
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "103064451687984",
      "b": "198490363922054",
      "gx": "163176239973794",
      "gy": "159471003086237",
      "n": "243412490823823",
      "p": "243412507481251",
      "qx": "148129210228668",
      "qy": "222406211502339"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 3932160,
    "process_cpu_s": 0.4706579999999998,
    "restarts": 11354,
    "seed": 34,
    "table_entries": 10329,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.059545417
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.9364397070000003,
    "d": "192886620102547",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 20391,
    "engine": "rho_engine 0.1.0",
    "expected_d": "192886620102547",
    "expected_iterations": 13826630.943256887,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 345,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 355,
    "group_ops": 21682537,
    "group_ops_per_cpu_s": 23154226.415134266,
    "group_ops_per_wall_s": 364646035.8002502,
    "iterations": 21030859,
    "label": "g48b-0/t16",
    "lookahead_rejections": 166200,
    "match": true,
    "ok": true,
    "ops": {
     "add": 21681975,
     "dbl": 562,
     "inv": 652861,
     "mul": 149523728
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "103064451687984",
      "b": "198490363922054",
      "gx": "163176239973794",
      "gy": "159471003086237",
      "n": "243412490823823",
      "p": "243412507481251",
      "qx": "148129210228668",
      "qy": "222406211502339"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 4325376,
    "process_cpu_s": 0.9385270000000001,
    "restarts": 22440,
    "seed": 34,
    "table_entries": 20391,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.059461875
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.838202874,
    "d": "192886620102547",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 15797,
    "engine": "rho_engine 0.1.0",
    "expected_d": "192886620102547",
    "expected_iterations": 13826630.943256887,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 280,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 287,
    "group_ops": 16608834,
    "group_ops_per_cpu_s": 19814813.949206285,
    "group_ops_per_wall_s": 510505015.88716465,
    "iterations": 16062541,
    "label": "g48b-0/t28",
    "lookahead_rejections": 126685,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16608340,
     "dbl": 494,
     "inv": 547525,
     "mul": 114347161
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "103064451687984",
      "b": "198490363922054",
      "gx": "163176239973794",
      "gy": "159471003086237",
      "n": "243412490823823",
      "p": "243412507481251",
      "qx": "148129210228668",
      "qy": "222406211502339"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 5914624,
    "process_cpu_s": 0.8424689999999995,
    "restarts": 19382,
    "seed": 34,
    "table_entries": 15797,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.032534125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.235954042,
    "d": "56216756516638",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 28173,
    "engine": "rho_engine 0.1.0",
    "expected_d": "56216756516638",
    "expected_iterations": 12432680.361836089,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 439,
      "length": 4
     },
     {
      "count": 7,
      "length": 6
     }
    ],
    "fruitless_cycles": 453,
    "group_ops": 29286944,
    "group_ops_per_cpu_s": 23695819.589382436,
    "group_ops_per_wall_s": 23675481.096849248,
    "iterations": 28452540,
    "label": "g48b-1/t1",
    "lookahead_rejections": 224314,
    "match": true,
    "ok": true,
    "ops": {
     "add": 29286286,
     "dbl": 658,
     "inv": 836404,
     "mul": 202144127
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "178943574739161",
      "b": "185687644118104",
      "gx": "163135911865721",
      "gy": "103573770651404",
      "n": "196806598465859",
      "p": "196806589417147",
      "qx": "33121391929083",
      "qy": "96883645161405"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 5914624,
    "process_cpu_s": 1.2364129999999998,
    "restarts": 28302,
    "seed": 34,
    "table_entries": 28173,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 1.237015792
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.47160566700000006,
    "d": "56216756516638",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 10885,
    "engine": "rho_engine 0.1.0",
    "expected_d": "56216756516638",
    "expected_iterations": 12432680.361836089,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 178,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 183,
    "group_ops": 11432934,
    "group_ops_per_cpu_s": 24242571.28360588,
    "group_ops_per_wall_s": 48287267.18485782,
    "iterations": 11102830,
    "label": "g48b-1/t2",
    "lookahead_rejections": 87988,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11432546,
     "dbl": 388,
     "inv": 330467,
     "mul": 78896720
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "178943574739161",
      "b": "185687644118104",
      "gx": "163135911865721",
      "gy": "103573770651404",
      "n": "196806598465859",
      "p": "196806589417147",
      "qx": "33121391929083",
      "qy": "96883645161405"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 5914624,
    "process_cpu_s": 0.472175,
    "restarts": 11143,
    "seed": 34,
    "table_entries": 10885,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.236769125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.362187668,
    "d": "56216756516638",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 8277,
    "engine": "rho_engine 0.1.0",
    "expected_d": "56216756516638",
    "expected_iterations": 12432680.361836089,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 139,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 142,
    "group_ops": 8795953,
    "group_ops_per_cpu_s": 24285622.557419594,
    "group_ops_per_wall_s": 96347547.48395294,
    "iterations": 8537045,
    "label": "g48b-1/t4",
    "lookahead_rejections": 67323,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8795606,
     "dbl": 347,
     "inv": 259521,
     "mul": 60678454
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "178943574739161",
      "b": "185687644118104",
      "gx": "163135911865721",
      "gy": "103573770651404",
      "n": "196806598465859",
      "p": "196806589417147",
      "qx": "33121391929083",
      "qy": "96883645161405"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 5914624,
    "process_cpu_s": 0.3628580000000001,
    "restarts": 8790,
    "seed": 34,
    "table_entries": 8277,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.091294
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7470579580000001,
    "d": "56216756516638",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 16474,
    "engine": "rho_engine 0.1.0",
    "expected_d": "56216756516638",
    "expected_iterations": 12432680.361836089,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 282,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 289,
    "group_ops": 17554128,
    "group_ops_per_cpu_s": 23497678.877547007,
    "group_ops_per_wall_s": 186001048.98994982,
    "iterations": 17041525,
    "label": "g48b-1/t8",
    "lookahead_rejections": 134331,
    "match": true,
    "ok": true,
    "ops": {
     "add": 17553634,
     "dbl": 494,
     "inv": 513903,
     "mul": 121112250
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "178943574739161",
      "b": "185687644118104",
      "gx": "163135911865721",
      "gy": "103573770651404",
      "n": "196806598465859",
      "p": "196806589417147",
      "qx": "33121391929083",
      "qy": "96883645161405"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 6832128,
    "process_cpu_s": 0.7478910000000001,
    "restarts": 17499,
    "seed": 34,
    "table_entries": 16474,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.0943765
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.640938334,
    "d": "56216756516638",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 13758,
    "engine": "rho_engine 0.1.0",
    "expected_d": "56216756516638",
    "expected_iterations": 12432680.361836089,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 211,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 217,
    "group_ops": 14535686,
    "group_ops_per_cpu_s": 22678758.983387627,
    "group_ops_per_wall_s": 354777348.8514189,
    "iterations": 14082059,
    "label": "g48b-1/t16",
    "lookahead_rejections": 111293,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14535264,
     "dbl": 422,
     "inv": 454307,
     "mul": 100172532
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "178943574739161",
      "b": "185687644118104",
      "gx": "163135911865721",
      "gy": "103573770651404",
      "n": "196806598465859",
      "p": "196806589417147",
      "qx": "33121391929083",
      "qy": "96883645161405"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 7012352,
    "process_cpu_s": 0.6424370000000001,
    "restarts": 15807,
    "seed": 34,
    "table_entries": 13758,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.040971291
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5003939570000001,
    "d": "56216756516638",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9303,
    "engine": "rho_engine 0.1.0",
    "expected_d": "56216756516638",
    "expected_iterations": 12432680.361836089,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 133,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 138,
    "group_ops": 9801732,
    "group_ops_per_cpu_s": 19588030.316681057,
    "group_ops_per_wall_s": 500205328.62352455,
    "iterations": 9447311,
    "label": "g48b-1/t28",
    "lookahead_rejections": 74663,
    "match": true,
    "ok": true,
    "ops": {
     "add": 9801389,
     "dbl": 343,
     "inv": 354837,
     "mul": 67356027
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "178943574739161",
      "b": "185687644118104",
      "gx": "163135911865721",
      "gy": "103573770651404",
      "n": "196806598465859",
      "p": "196806589417147",
      "qx": "33121391929083",
      "qy": "96883645161405"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 7143424,
    "process_cpu_s": 0.5042319999999991,
    "restarts": 12888,
    "seed": 34,
    "table_entries": 9303,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.019595417
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.153610459,
    "d": "255758919662089",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 3326,
    "engine": "rho_engine 0.1.0",
    "expected_d": "255758919662089",
    "expected_iterations": 14257823.828617636,
    "fruitless_by_length": [
     {
      "count": 45,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 46,
    "group_ops": 3683704,
    "group_ops_per_cpu_s": 23980815.004269987,
    "group_ops_per_wall_s": 23877220.879888475,
    "iterations": 3578138,
    "label": "g48b-2/t1",
    "lookahead_rejections": 28111,
    "match": true,
    "ok": true,
    "ops": {
     "add": 3683451,
     "dbl": 253,
     "inv": 105860,
     "mul": 25422960
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "62565245305053",
      "b": "167154822658568",
      "gx": "120562658627979",
      "gy": "14266919398063",
      "n": "258831188818333",
      "p": "258831180650719",
      "qx": "164169012061620",
      "qy": "125193609120075"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 8896512,
    "process_cpu_s": 0.15413099999999957,
    "restarts": 3455,
    "seed": 34,
    "table_entries": 3326,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.154276916
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.30538191700000006,
    "d": "255758919662089",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 6816,
    "engine": "rho_engine 0.1.0",
    "expected_d": "255758919662089",
    "expected_iterations": 14257823.828617636,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 99,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 102,
    "group_ops": 7324384,
    "group_ops_per_cpu_s": 23984340.89337385,
    "group_ops_per_wall_s": 47759467.7610271,
    "iterations": 7113297,
    "label": "g48b-2/t2",
    "lookahead_rejections": 55859,
    "match": true,
    "ok": true,
    "ops": {
     "add": 7324075,
     "dbl": 309,
     "inv": 211749,
     "mul": 50544014
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "62565245305053",
      "b": "167154822658568",
      "gx": "120562658627979",
      "gy": "14266919398063",
      "n": "258831188818333",
      "p": "258831180650719",
      "qx": "164169012061620",
      "qy": "125193609120075"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 8929280,
    "process_cpu_s": 0.30588499999999996,
    "restarts": 7073,
    "seed": 34,
    "table_entries": 6816,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.153359833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.618443959,
    "d": "255758919662089",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 13722,
    "engine": "rho_engine 0.1.0",
    "expected_d": "255758919662089",
    "expected_iterations": 14257823.828617636,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 213,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 217,
    "group_ops": 14728657,
    "group_ops_per_cpu_s": 23815669.61025162,
    "group_ops_per_wall_s": 94595928.40753818,
    "iterations": 14307147,
    "label": "g48b-2/t4",
    "lookahead_rejections": 112506,
    "match": true,
    "ok": true,
    "ops": {
     "add": 14728233,
     "dbl": 424,
     "inv": 422742,
     "mul": 101651549
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "62565245305053",
      "b": "167154822658568",
      "gx": "120562658627979",
      "gy": "14266919398063",
      "n": "258831188818333",
      "p": "258831180650719",
      "qx": "164169012061620",
      "qy": "125193609120075"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 8994816,
    "process_cpu_s": 0.6190770000000008,
    "restarts": 14235,
    "seed": 34,
    "table_entries": 13722,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.15570075
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.1698871240000002,
    "d": "255758919662089",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 25761,
    "engine": "rho_engine 0.1.0",
    "expected_d": "255758919662089",
    "expected_iterations": 14257823.828617636,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 403,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 416,
    "group_ops": 27447256,
    "group_ops_per_cpu_s": 23461456.61143288,
    "group_ops_per_wall_s": 185629034.09850532,
    "iterations": 26657186,
    "label": "g48b-2/t8",
    "lookahead_rejections": 211349,
    "match": true,
    "ok": true,
    "ops": {
     "add": 27446633,
     "dbl": 623,
     "inv": 790718,
     "mul": 189418908
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "62565245305053",
      "b": "167154822658568",
      "gx": "120562658627979",
      "gy": "14266919398063",
      "n": "258831188818333",
      "p": "258831180650719",
      "qx": "164169012061620",
      "qy": "125193609120075"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 9125888,
    "process_cpu_s": 1.170824999999999,
    "restarts": 26787,
    "seed": 34,
    "table_entries": 25761,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.147860792
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.6610938350000002,
    "d": "255758919662089",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 35710,
    "engine": "rho_engine 0.1.0",
    "expected_d": "255758919662089",
    "expected_iterations": 14257823.828617636,
    "fruitless_by_length": [
     {
      "count": 10,
      "length": 2
     },
     {
      "count": 580,
      "length": 4
     },
     {
      "count": 7,
      "length": 6
     }
    ],
    "fruitless_cycles": 597,
    "group_ops": 37912632,
    "group_ops_per_cpu_s": 22823895.436346613,
    "group_ops_per_wall_s": 359608565.1276944,
    "iterations": 36806678,
    "label": "g48b-2/t16",
    "lookahead_rejections": 291384,
    "match": true,
    "ok": true,
    "ops": {
     "add": 37911828,
     "dbl": 804,
     "inv": 1107397,
     "mul": 261582456
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "62565245305053",
      "b": "167154822658568",
      "gx": "120562658627979",
      "gy": "14266919398063",
      "n": "258831188818333",
      "p": "258831180650719",
      "qx": "164169012061620",
      "qy": "125193609120075"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 9207808,
    "process_cpu_s": 1.6629639999999988,
    "restarts": 37759,
    "seed": 34,
    "table_entries": 35710,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.1054275
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.3154369960000003,
    "d": "255758919662089",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 24270,
    "engine": "rho_engine 0.1.0",
    "expected_d": "255758919662089",
    "expected_iterations": 14257823.828617636,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 401,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 414,
    "group_ops": 25992238,
    "group_ops_per_cpu_s": 19759394.08655646,
    "group_ops_per_wall_s": 522195506.62435055,
    "iterations": 25191471,
    "label": "g48b-2/t28",
    "lookahead_rejections": 199045,
    "match": true,
    "ok": true,
    "ops": {
     "add": 25991617,
     "dbl": 621,
     "inv": 802169,
     "mul": 179165946
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "62565245305053",
      "b": "167154822658568",
      "gx": "120562658627979",
      "gy": "14266919398063",
      "n": "258831188818333",
      "p": "258831180650719",
      "qx": "164169012061620",
      "qy": "125193609120075"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 9568256,
    "process_cpu_s": 1.3183110000000013,
    "restarts": 27855,
    "seed": 34,
    "table_entries": 24270,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.049774917
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.674016791,
    "d": "156495535330120",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 15137,
    "engine": "rho_engine 0.1.0",
    "expected_d": "156495535330120",
    "expected_iterations": 12376544.026671479,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 240,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 247,
    "group_ops": 16031333,
    "group_ops_per_cpu_s": 23784767.99697413,
    "group_ops_per_wall_s": 23750961.56543258,
    "iterations": 15577425,
    "label": "g48b-3/t1",
    "lookahead_rejections": 123407,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16030879,
     "dbl": 454,
     "inv": 454402,
     "mul": 110664999
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "71061401545016",
      "b": "121472231056009",
      "gx": "165498804781647",
      "gy": "187867244395522",
      "n": "195033359107337",
      "p": "195033352501727",
      "qx": "125607196444819",
      "qy": "16616218842982"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 10141696,
    "process_cpu_s": 0.6755500000000012,
    "restarts": 15267,
    "seed": 34,
    "table_entries": 15137,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.674976167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7536037500000001,
    "d": "156495535330120",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 16929,
    "engine": "rho_engine 0.1.0",
    "expected_d": "156495535330120",
    "expected_iterations": 12376544.026671479,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 283,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 292,
    "group_ops": 18085856,
    "group_ops_per_cpu_s": 23999158.709069584,
    "group_ops_per_wall_s": 47898640.30975725,
    "iterations": 17575114,
    "label": "g48b-3/t2",
    "lookahead_rejections": 139130,
    "match": true,
    "ok": true,
    "ops": {
     "add": 18085357,
     "dbl": 499,
     "inv": 511469,
     "mul": 124852223
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "71061401545016",
      "b": "121472231056009",
      "gx": "165498804781647",
      "gy": "187867244395522",
      "n": "195033359107337",
      "p": "195033352501727",
      "qx": "125607196444819",
      "qy": "16616218842982"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 10190848,
    "process_cpu_s": 0.7541489999999982,
    "restarts": 17186,
    "seed": 34,
    "table_entries": 16929,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.377586
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.9723288750000001,
    "d": "156495535330120",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 22314,
    "engine": "rho_engine 0.1.0",
    "expected_d": "156495535330120",
    "expected_iterations": 12376544.026671479,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 370,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 376,
    "group_ops": 23537173,
    "group_ops_per_cpu_s": 24207008.14834898,
    "group_ops_per_wall_s": 96382797.04408333,
    "iterations": 22864013,
    "label": "g48b-3/t4",
    "lookahead_rejections": 180702,
    "match": true,
    "ok": true,
    "ops": {
     "add": 23536590,
     "dbl": 583,
     "inv": 674379,
     "mul": 162449571
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "71061401545016",
      "b": "121472231056009",
      "gx": "165498804781647",
      "gy": "187867244395522",
      "n": "195033359107337",
      "p": "195033352501727",
      "qx": "125607196444819",
      "qy": "16616218842982"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 10256384,
    "process_cpu_s": 0.9730000000000008,
    "restarts": 22827,
    "seed": 34,
    "table_entries": 22314,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.244205125
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5076509570000001,
    "d": "156495535330120",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 11343,
    "engine": "rho_engine 0.1.0",
    "expected_d": "156495535330120",
    "expected_iterations": 12376544.026671479,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 181,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 188,
    "group_ops": 11984451,
    "group_ops_per_cpu_s": 23607659.622711986,
    "group_ops_per_wall_s": 186569799.5275217,
    "iterations": 11623940,
    "label": "g48b-3/t8",
    "lookahead_rejections": 91957,
    "match": true,
    "ok": true,
    "ops": {
     "add": 11984056,
     "dbl": 395,
     "inv": 361030,
     "mul": 82644564
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "71061401545016",
      "b": "121472231056009",
      "gx": "165498804781647",
      "gy": "187867244395522",
      "n": "195033359107337",
      "p": "195033352501727",
      "qx": "125607196444819",
      "qy": "16616218842982"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 10354688,
    "process_cpu_s": 0.5084979999999977,
    "restarts": 12368,
    "seed": 34,
    "table_entries": 11343,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.06423575
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.862525709,
    "d": "156495535330120",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 18606,
    "engine": "rho_engine 0.1.0",
    "expected_d": "156495535330120",
    "expected_iterations": 12376544.026671479,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 306,
      "length": 4
     },
     {
      "count": 7,
      "length": 6
     }
    ],
    "fruitless_cycles": 316,
    "group_ops": 19845126,
    "group_ops_per_cpu_s": 23008155.92268914,
    "group_ops_per_wall_s": 361887494.7155552,
    "iterations": 19247283,
    "label": "g48b-3/t16",
    "lookahead_rejections": 151571,
    "match": true,
    "ok": true,
    "ops": {
     "add": 19844603,
     "dbl": 523,
     "inv": 599419,
     "mul": 136845362
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "71061401545016",
      "b": "121472231056009",
      "gx": "165498804781647",
      "gy": "187867244395522",
      "n": "195033359107337",
      "p": "195033352501727",
      "qx": "125607196444819",
      "qy": "16616218842982"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 10551296,
    "process_cpu_s": 0.8644269999999992,
    "restarts": 20655,
    "seed": 34,
    "table_entries": 18606,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.054837833
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.6406654139999999,
    "d": "156495535330120",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 30681,
    "engine": "rho_engine 0.1.0",
    "expected_d": "156495535330120",
    "expected_iterations": 12376544.026671479,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 491,
      "length": 4
     },
     {
      "count": 10,
      "length": 6
     }
    ],
    "fruitless_cycles": 508,
    "group_ops": 32679431,
    "group_ops_per_cpu_s": 19918400.620347325,
    "group_ops_per_wall_s": 530875789.4071996,
    "iterations": 31691960,
    "label": "g48b-3/t28",
    "lookahead_rejections": 249437,
    "match": true,
    "ok": true,
    "ops": {
     "add": 32678716,
     "dbl": 715,
     "inv": 990137,
     "mul": 225334148
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "71061401545016",
      "b": "121472231056009",
      "gx": "165498804781647",
      "gy": "187867244395522",
      "n": "195033359107337",
      "p": "195033352501727",
      "qx": "125607196444819",
      "qy": "16616218842982"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 1.6438950000000006,
    "restarts": 34266,
    "seed": 34,
    "table_entries": 30681,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.061557584
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.0131985,
    "d": "210139905470306",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 22591,
    "engine": "rho_engine 0.1.0",
    "expected_d": "210139905470306",
    "expected_iterations": 14233469.935188508,
    "fruitless_by_length": [
     {
      "count": 5,
      "length": 2
     },
     {
      "count": 366,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 376,
    "group_ops": 23953450,
    "group_ops_per_cpu_s": 23641418.73482837,
    "group_ops_per_wall_s": 23625444.18474917,
    "iterations": 23278543,
    "label": "g48b-4/t1",
    "lookahead_rejections": 183578,
    "match": true,
    "ok": true,
    "ops": {
     "add": 23952867,
     "dbl": 583,
     "inv": 676509,
     "mul": 165361402
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "61109029626220",
      "b": "29129234319354",
      "gx": "18652597713297",
      "gy": "117177737541856",
      "n": "257947721089073",
      "p": "257947738000499",
      "qx": "145054386523597",
      "qy": "199194643882763"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 1.0147970000000015,
    "restarts": 22721,
    "seed": 34,
    "table_entries": 22591,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 1.013883583
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.5545668320000001,
    "d": "210139905470306",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 12981,
    "engine": "rho_engine 0.1.0",
    "expected_d": "210139905470306",
    "expected_iterations": 14233469.935188508,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 214,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 220,
    "group_ops": 13552835,
    "group_ops_per_cpu_s": 24438596.428716812,
    "group_ops_per_wall_s": 48712079.07352343,
    "iterations": 13161435,
    "label": "g48b-4/t2",
    "lookahead_rejections": 103672,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13552408,
     "dbl": 427,
     "inv": 392460,
     "mul": 93522914
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "61109029626220",
      "b": "29129234319354",
      "gx": "18652597713297",
      "gy": "117177737541856",
      "n": "257947721089073",
      "p": "257947738000499",
      "qx": "145054386523597",
      "qy": "199194643882763"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.5550719999999991,
    "restarts": 13238,
    "seed": 34,
    "table_entries": 12981,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.278223292
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.116521834,
    "d": "210139905470306",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 26050,
    "engine": "rho_engine 0.1.0",
    "expected_d": "210139905470306",
    "expected_iterations": 14233469.935188508,
    "fruitless_by_length": [
     {
      "count": 7,
      "length": 2
     },
     {
      "count": 429,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 440,
    "group_ops": 27485203,
    "group_ops_per_cpu_s": 24616807.448836688,
    "group_ops_per_wall_s": 98014199.20521182,
    "iterations": 26700293,
    "label": "g48b-4/t4",
    "lookahead_rejections": 210980,
    "match": true,
    "ok": true,
    "ops": {
     "add": 27484556,
     "dbl": 647,
     "inv": 786374,
     "mul": 189702583
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "61109029626220",
      "b": "29129234319354",
      "gx": "18652597713297",
      "gy": "117177737541856",
      "n": "257947721089073",
      "p": "257947738000499",
      "qx": "145054386523597",
      "qy": "199194643882763"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 1.1171489999999977,
    "restarts": 26563,
    "seed": 34,
    "table_entries": 26050,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.280420625
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.586172666,
    "d": "210139905470306",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 13339,
    "engine": "rho_engine 0.1.0",
    "expected_d": "210139905470306",
    "expected_iterations": 14233469.935188508,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 211,
      "length": 4
     },
     {
      "count": 1,
      "length": 6
     }
    ],
    "fruitless_cycles": 218,
    "group_ops": 13859471,
    "group_ops_per_cpu_s": 23644007.651492916,
    "group_ops_per_wall_s": 187013628.78080663,
    "iterations": 13441214,
    "label": "g48b-4/t8",
    "lookahead_rejections": 106121,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13859046,
     "dbl": 425,
     "inv": 419061,
     "mul": 95568474
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "61109029626220",
      "b": "29129234319354",
      "gx": "18652597713297",
      "gy": "117177737541856",
      "n": "257947721089073",
      "p": "257947738000499",
      "qx": "145054386523597",
      "qy": "199194643882763"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.5869850000000021,
    "restarts": 14364,
    "seed": 34,
    "table_entries": 13339,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.074109417
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.201938833,
    "d": "210139905470306",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 26471,
    "engine": "rho_engine 0.1.0",
    "expected_d": "210139905470306",
    "expected_iterations": 14233469.935188508,
    "fruitless_by_length": [
     {
      "count": 10,
      "length": 2
     },
     {
      "count": 440,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 454,
    "group_ops": 27865050,
    "group_ops_per_cpu_s": 23183417.687279265,
    "group_ops_per_wall_s": 365966834.44155043,
    "iterations": 27034243,
    "label": "g48b-4/t16",
    "lookahead_rejections": 214124,
    "match": true,
    "ok": true,
    "ops": {
     "add": 27864389,
     "dbl": 661,
     "inv": 831830,
     "mul": 192187051
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "61109029626220",
      "b": "29129234319354",
      "gx": "18652597713297",
      "gy": "117177737541856",
      "n": "257947721089073",
      "p": "257947738000499",
      "qx": "145054386523597",
      "qy": "199194643882763"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 1.2036859999999976,
    "restarts": 28520,
    "seed": 34,
    "table_entries": 26471,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.076140916
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7997297930000001,
    "d": "210139905470306",
    "doubling_fallbacks": 0,
    "dp_bytes": 1892352,
    "dp_count": 15005,
    "engine": "rho_engine 0.1.0",
    "expected_d": "210139905470306",
    "expected_iterations": 14233469.935188508,
    "fruitless_by_length": [
     {
      "count": 2,
      "length": 2
     },
     {
      "count": 231,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 235,
    "group_ops": 15949516,
    "group_ops_per_cpu_s": 19943631.135922927,
    "group_ops_per_wall_s": 526373637.6162306,
    "iterations": 15424126,
    "label": "g48b-4/t28",
    "lookahead_rejections": 122403,
    "match": true,
    "ok": true,
    "ops": {
     "add": 15949074,
     "dbl": 442,
     "inv": 525620,
     "mul": 109808195
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "61109029626220",
      "b": "29129234319354",
      "gx": "18652597713297",
      "gy": "117177737541856",
      "n": "257947721089073",
      "p": "257947738000499",
      "qx": "145054386523597",
      "qy": "199194643882763"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.8034590000000001,
    "restarts": 18590,
    "seed": 34,
    "table_entries": 15005,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.03030075
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.53654,
    "d": "48216564201623",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 12770,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48216564201623",
    "expected_iterations": 12029351.980023004,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 180,
      "length": 4
     },
     {
      "count": 4,
      "length": 6
     }
    ],
    "fruitless_cycles": 188,
    "group_ops": 13309775,
    "group_ops_per_cpu_s": 24806677.97368323,
    "group_ops_per_wall_s": 24781874.852209274,
    "iterations": 12928160,
    "label": "g48b-5/t1",
    "lookahead_rejections": 102043,
    "match": true,
    "ok": true,
    "ops": {
     "add": 13309382,
     "dbl": 393,
     "inv": 382318,
     "mul": 91857749
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "118386479551686",
      "b": "15172156076373",
      "gx": "75311103508856",
      "gy": "159882296630211",
      "n": "184244521827403",
      "p": "184244530942387",
      "qx": "53511756086905",
      "qy": "76108569173195"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 1,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.5370240000000024,
    "restarts": 12899,
    "seed": 34,
    "table_entries": 12770,
    "threads": 1,
    "useless_collisions": 0,
    "wall_s": 0.537077
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.34765208300000006,
    "d": "48216564201623",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 7989,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48216564201623",
    "expected_iterations": 12029351.980023004,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 115,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 118,
    "group_ops": 8450734,
    "group_ops_per_cpu_s": 24308020.613815792,
    "group_ops_per_wall_s": 48466024.688891776,
    "iterations": 8205845,
    "label": "g48b-5/t2",
    "lookahead_rejections": 64831,
    "match": true,
    "ok": true,
    "ops": {
     "add": 8450411,
     "dbl": 323,
     "inv": 245264,
     "mul": 58312945
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "118386479551686",
      "b": "15172156076373",
      "gx": "75311103508856",
      "gy": "159882296630211",
      "n": "184244521827403",
      "p": "184244530942387",
      "qx": "53511756086905",
      "qy": "76108569173195"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 2,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.34821099999999916,
    "restarts": 8246,
    "seed": 34,
    "table_entries": 7989,
    "threads": 2,
    "useless_collisions": 0,
    "wall_s": 0.174364084
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.388126083,
    "d": "48216564201623",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9010,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48216564201623",
    "expected_iterations": 12029351.980023004,
    "fruitless_by_length": [
     {
      "count": 1,
      "length": 2
     },
     {
      "count": 127,
      "length": 4
     },
     {
      "count": 2,
      "length": 6
     }
    ],
    "fruitless_cycles": 130,
    "group_ops": 9538715,
    "group_ops_per_cpu_s": 24576330.779603906,
    "group_ops_per_wall_s": 97604354.92762464,
    "iterations": 9258308,
    "label": "g48b-5/t4",
    "lookahead_rejections": 73038,
    "match": true,
    "ok": true,
    "ops": {
     "add": 9538380,
     "dbl": 335,
     "inv": 280923,
     "mul": 65804149
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "118386479551686",
      "b": "15172156076373",
      "gx": "75311103508856",
      "gy": "159882296630211",
      "n": "184244521827403",
      "p": "184244530942387",
      "qx": "53511756086905",
      "qy": "76108569173195"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 4,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.3887559999999972,
    "restarts": 9523,
    "seed": 34,
    "table_entries": 9010,
    "threads": 4,
    "useless_collisions": 0,
    "wall_s": 0.097728375
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.406206917,
    "d": "48216564201623",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 9162,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48216564201623",
    "expected_iterations": 12029351.980023004,
    "fruitless_by_length": [
     {
      "count": 3,
      "length": 2
     },
     {
      "count": 147,
      "length": 4
     },
     {
      "count": 3,
      "length": 6
     }
    ],
    "fruitless_cycles": 153,
    "group_ops": 9639974,
    "group_ops_per_cpu_s": 23731683.525221705,
    "group_ops_per_wall_s": 187347054.961458,
    "iterations": 9344379,
    "label": "g48b-5/t8",
    "lookahead_rejections": 73995,
    "match": true,
    "ok": true,
    "ops": {
     "add": 9639616,
     "dbl": 358,
     "inv": 295949,
     "mul": 66455112
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "118386479551686",
      "b": "15172156076373",
      "gx": "75311103508856",
      "gy": "159882296630211",
      "n": "184244521827403",
      "p": "184244530942387",
      "qx": "53511756086905",
      "qy": "76108569173195"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 8,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.40706400000000187,
    "restarts": 10187,
    "seed": 34,
    "table_entries": 9162,
    "threads": 8,
    "useless_collisions": 0,
    "wall_s": 0.051455167
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 0.7274953310000001,
    "d": "48216564201623",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 15760,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48216564201623",
    "expected_iterations": 12029351.980023004,
    "fruitless_by_length": [
     {
      "count": 4,
      "length": 2
     },
     {
      "count": 256,
      "length": 4
     },
     {
      "count": 5,
      "length": 6
     }
    ],
    "fruitless_cycles": 265,
    "group_ops": 16669043,
    "group_ops_per_cpu_s": 22912920.935296007,
    "group_ops_per_wall_s": 359487116.35918146,
    "iterations": 16156500,
    "label": "g48b-5/t16",
    "lookahead_rejections": 127595,
    "match": true,
    "ok": true,
    "ops": {
     "add": 16668573,
     "dbl": 470,
     "inv": 513500,
     "mul": 114904420
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "118386479551686",
      "b": "15172156076373",
      "gx": "75311103508856",
      "gy": "159882296630211",
      "n": "184244521827403",
      "p": "184244530942387",
      "qx": "53511756086905",
      "qy": "76108569173195"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 16,
     "walks": 128
    },
    "peak_rss_bytes": 10747904,
    "process_cpu_s": 0.7291589999999992,
    "restarts": 17810,
    "seed": 34,
    "table_entries": 15760,
    "threads": 16,
    "useless_collisions": 0,
    "wall_s": 0.046368958
   },
   {
    "abandoned_walks": 0,
    "bits": 48,
    "class_size": 2,
    "cpu_s": 1.332579418,
    "d": "48216564201623",
    "doubling_fallbacks": 0,
    "dp_bytes": 946176,
    "dp_count": 25258,
    "engine": "rho_engine 0.1.0",
    "expected_d": "48216564201623",
    "expected_iterations": 12029351.980023004,
    "fruitless_by_length": [
     {
      "count": 6,
      "length": 2
     },
     {
      "count": 402,
      "length": 4
     },
     {
      "count": 6,
      "length": 6
     }
    ],
    "fruitless_cycles": 414,
    "group_ops": 26680387,
    "group_ops_per_cpu_s": 20021611.199761156,
    "group_ops_per_wall_s": 534702993.52976674,
    "iterations": 25854518,
    "label": "g48b-5/t28",
    "lookahead_rejections": 204535,
    "match": true,
    "ok": true,
    "ops": {
     "add": 26679768,
     "dbl": 619,
     "inv": 826997,
     "mul": 183895095
    },
    "params": {
     "alg": "rho",
     "aut3": false,
     "beta": null,
     "cycle_check": 32,
     "dp": 10,
     "instance": {
      "a": "118386479551686",
      "b": "15172156076373",
      "gx": "75311103508856",
      "gy": "159882296630211",
      "n": "184244521827403",
      "p": "184244530942387",
      "qx": "53511756086905",
      "qy": "76108569173195"
     },
     "lambda": null,
     "max_walk_len": 65536,
     "mixed": 0,
     "mode": "dp",
     "neg": true,
     "r": 128,
     "seed": 34,
     "threads": 28,
     "walks": 128
    },
    "peak_rss_bytes": 10846208,
    "process_cpu_s": 1.337142,
    "restarts": 28843,
    "seed": 34,
    "table_entries": 25258,
    "threads": 28,
    "useless_collisions": 0,
    "wall_s": 0.049897583
   }
  ]
 },
 "elapsed_s": 8.05
}