{
 "written": {
  "utc": "2026-10-12T17:43:59+00:00",
  "halifax": "2026-10-12T14:43:59-03:00"
 },
 "states": 4200,
 "starts": [
  13,
  14,
  15,
  16,
  17,
  18
 ],
 "span": [
  2000,
  5495
 ],
 "key": 100,
 "repeats": {
  "13": {
   "coherence": true,
   "gap": true
  },
  "14": {
   "coherence": true,
   "gap": true
  },
  "15": {
   "coherence": true,
   "gap": true
  },
  "16": {
   "coherence": true,
   "gap": true
  },
  "17": {
   "coherence": true,
   "gap": true
  },
  "18": {
   "coherence": true,
   "gap": true
  }
 },
 "seconds": 216.5,
 "base_seconds": {
  "13": 213.5,
  "14": 215.8,
  "15": 216.2,
  "16": 214.1,
  "17": 210.9,
  "18": 213.7
 },
 "coherence": {
  "1": 0.0034630784277876934,
  "50": 0.025194909308828853,
  "99": 0.05991656487128106,
  "largest": 0.08382166564302437
 },
 "targets": {
  "dense": {
   "solved": 8400,
   "infeasible": 0,
   "failures": 0,
   "infeasible_R": []
  },
  "sparse": {
   "solved": 8400,
   "infeasible": 0,
   "failures": 0,
   "infeasible_R": []
  }
 },
 "achieved": {
  "dense up": {
   "smallest": 1.4991132327579557,
   "mean": 1.4999032761649267,
   "largest": 1.500200561865731,
   "outside": 0
  },
  "dense down": {
   "smallest": 0.49911323275737807,
   "mean": 0.4999032761451528,
   "largest": 0.5002005618508194,
   "outside": 0
  },
  "dense sham": {
   "smallest": 0.9991093616903656,
   "mean": 0.9999037515417781,
   "largest": 1.0002679255978837,
   "outside": 0
  },
  "sparse up": {
   "smallest": 1.4839090166413245,
   "mean": 1.4990451672715626,
   "largest": 1.5072757259056093,
   "outside": 0
  },
  "sparse down": {
   "smallest": 0.48390901664131364,
   "mean": 0.4990451672696314,
   "largest": 0.5072757259044893,
   "outside": 0
  },
  "sparse sham": {
   "smallest": 0.9819866656768906,
   "mean": 0.9989698025573034,
   "largest": 1.0097488132074874,
   "outside": 0
  }
 },
 "not_carried": 0,
 "kinds": {
  "infeasible": 0,
  "failure": 0,
  "band": 0,
  "code": 0
 },
 "examples": [],
 "matching": {
  "same": true,
  "largest": 0.0
 },
 "gap": 4.4506795026468065e-10,
 "a_over_R": {
  "dense": {
   "median": 1.033620246654716,
   "largest": 1.0778088312236058
  },
  "sparse": {
   "median": 10.45708318697466,
   "largest": 12.285394942850614
  }
 },
 "largest_moves": {
  "dense": {
   "50": 0.032026020051126244,
   "99": 0.06562021156660142,
   "100": 0.08782134064489816
  },
  "sparse": {
   "50": 0.32454976490269394,
   "99": 0.7105045337574158,
   "100": 0.9867284922042717
  }
 },
 "state": {
  "ratio_A": {
   "dense": {
    "up": {
     "mean": 1.499902124867098,
     "sd": 0.00011483952085040666
    },
    "down": {
     "mean": 0.4999021248473869,
     "sd": 0.0001148395116271904
    },
    "sham": {
     "mean": 0.9999021204766615,
     "sd": 0.00011460290157645076
    },
    "up_minus_sham": {
     "mean": 0.5000000043904367,
     "sd": 3.1234599262241534e-05
    },
    "down_minus_sham": {
     "mean": -0.49999999562927455,
     "sd": 3.123459888433995e-05
    }
   },
   "sparse": {
    "up": {
     "mean": 1.499057102464247,
     "sd": 0.002255527417456023
    },
    "down": {
     "mean": 0.49905710246233326,
     "sd": 0.0022555274169612635
    },
    "sham": {
     "mean": 0.9990317074882175,
     "sd": 0.0034245242088815713
    },
    "up_minus_sham": {
     "mean": 0.500025394976029,
     "sd": 0.0026144533552008953
    },
    "down_minus_sham": {
     "mean": -0.4999746050258843,
     "sd": 0.002614453355175793
    }
   }
  },
  "ratio_B": {
   "dense": {
    "up": {
     "mean": 1.4999044274627553,
     "sd": 0.0001107003898422988
    },
    "down": {
     "mean": 0.49990442744291896,
     "sd": 0.00011070038059875577
    },
    "sham": {
     "mean": 0.9999053826068948,
     "sd": 0.00011074372328468007
    },
    "up_minus_sham": {
     "mean": 0.49999904485586044,
     "sd": 3.225550251708936e-05
    },
    "down_minus_sham": {
     "mean": -0.5000009551639758,
     "sd": 3.225550283052977e-05
    }
   },
   "sparse": {
    "up": {
     "mean": 1.4990332320788786,
     "sd": 0.0022085613493151622
    },
    "down": {
     "mean": 0.4990332320769291,
     "sd": 0.0022085613488285073
    },
    "sham": {
     "mean": 0.9989078976263891,
     "sd": 0.0034174533037652855
    },
    "up_minus_sham": {
     "mean": 0.5001253344524893,
     "sd": 0.0026063955761990087
    },
    "down_minus_sham": {
     "mean": -0.49987466554946003,
     "sd": 0.00260639557619206
    }
   }
  },
  "relC": {
   "dense": {
    "up": {
     "mean": 0.49989015810528337,
     "sd": 9.954002810579571e-05
    },
    "down": {
     "mean": -0.5001098419107775,
     "sd": 9.954002247707672e-05
    },
    "sham": {
     "mean": -0.00010932876408953187,
     "sd": 9.944413032624665e-05
    },
    "up_minus_sham": {
     "mean": 0.4999994868693728,
     "sd": 2.3524722900667763e-05
    },
    "down_minus_sham": {
     "mean": -0.5000005131466879,
     "sd": 2.3524722762513234e-05
    }
   },
   "sparse": {
    "up": {
     "mean": 0.4989024464797937,
     "sd": 0.0018296129408246244
    },
    "down": {
     "mean": -0.5010975535217732,
     "sd": 0.0018296129405136739
    },
    "sham": {
     "mean": -0.0011734305384401961,
     "sd": 0.0026115248568323144
    },
    "up_minus_sham": {
     "mean": 0.5000758770182339,
     "sd": 0.001898651267781444
    },
    "down_minus_sham": {
     "mean": -0.4999241229833331,
     "sd": 0.0018986512677861764
    }
   }
  },
  "dpsi_A": {
   "dense": {
    "up": {
     "mean": -0.00013203648230088237,
     "sd": 0.003221823210562993
    },
    "down": {
     "mean": 0.0003945254143514237,
     "sd": 0.009670087583094964
    },
    "sham": {
     "mean": -0.00013580992883347235,
     "sd": 0.005584126598578096
    },
    "up_minus_sham": {
     "mean": 3.773446532589952e-06,
     "sd": 0.006373961377956823
    },
    "down_minus_sham": {
     "mean": 0.000530335343184896,
     "sd": 0.01129225501661773
    }
   },
   "sparse": {
    "up": {
     "mean": 0.000187441630281398,
     "sd": 0.012236366271285557
    },
    "down": {
     "mean": -0.0008594702425469577,
     "sd": 0.03629835814500884
    },
    "sham": {
     "mean": 0.0003955149357596155,
     "sd": 0.018596621460822606
    },
    "up_minus_sham": {
     "mean": -0.0002080733054782175,
     "sd": 0.021567143703933436
    },
    "down_minus_sham": {
     "mean": -0.001254985178306573,
     "sd": 0.04006445439986535
    }
   }
  },
  "dpsi_B": {
   "dense": {
    "up": {
     "mean": -4.3503715617922254e-05,
     "sd": 0.0032238520270816457
    },
    "down": {
     "mean": 0.00013152835060362632,
     "sd": 0.00967064422419074
    },
    "sham": {
     "mean": 7.396014159227926e-05,
     "sd": 0.0057627989036004345
    },
    "up_minus_sham": {
     "mean": -0.0001174638572102015,
     "sd": 0.0065589591850374815
    },
    "down_minus_sham": {
     "mean": 5.756820901134708e-05,
     "sd": 0.011335132524231866
    }
   },
   "sparse": {
    "up": {
     "mean": 2.7378716512943176e-05,
     "sd": 0.01228572561029865
    },
    "down": {
     "mean": -3.6422932449996927e-05,
     "sd": 0.03640633424427941
    },
    "sham": {
     "mean": 0.00017040546685427217,
     "sd": 0.018476990394962926
    },
    "up_minus_sham": {
     "mean": -0.00014302675034132904,
     "sd": 0.021417837354121023
    },
    "down_minus_sham": {
     "mean": -0.000206828399304269,
     "sd": 0.04016789870175424
    }
   }
  },
  "dab": {
   "dense": {
    "up": {
     "mean": -8.853276668295794e-05,
     "sd": 0.004585014003266555
    },
    "down": {
     "mean": 0.0002629970637477987,
     "sd": 0.013756921017489522
    },
    "sham": {
     "mean": -0.00020977007042575092,
     "sd": 0.007951167943020808
    },
    "up_minus_sham": {
     "mean": 0.00012123730374279294,
     "sd": 0.009090580469701424
    },
    "down_minus_sham": {
     "mean": 0.0004727671341735497,
     "sd": 0.01604256134826711
    }
   },
   "sparse": {
    "up": {
     "mean": 0.00016006291376845328,
     "sd": 0.017440716169142632
    },
    "down": {
     "mean": -0.0008230473100969612,
     "sd": 0.051815227017453384
    },
    "sham": {
     "mean": 0.00022510946890534346,
     "sd": 0.02610927097858664
    },
    "up_minus_sham": {
     "mean": -6.504655513689025e-05,
     "sd": 0.03038266538347903
    },
    "down_minus_sham": {
     "mean": -0.001048156779002305,
     "sd": 0.05698889773729677
    }
   }
  },
  "dz2_A": {
   "dense": {
    "up": {
     "mean": 0.00020357911202270235,
     "sd": 0.0013119826111504438
    },
    "down": {
     "mean": -2.1089278662792322e-05,
     "sd": 0.0005204844891462501
    },
    "sham": {
     "mean": 5.3937576889693414e-05,
     "sd": 0.0006330252052261065
    },
    "up_minus_sham": {
     "mean": 0.00014964153513300895,
     "sd": 0.0010128322728363821
    },
    "down_minus_sham": {
     "mean": -7.502685555248575e-05,
     "sd": 0.0010097209816018443
    }
   },
   "sparse": {
    "up": {
     "mean": 0.0017547307242963364,
     "sd": 0.004972848021689432
    },
    "down": {
     "mean": 0.0009763167355107268,
     "sd": 0.003643989912239081
    },
    "sham": {
     "mean": 0.0013209576427580475,
     "sd": 0.004352437932792734
    },
    "up_minus_sham": {
     "mean": 0.00043377308153828896,
     "sd": 0.002031280491517312
    },
    "down_minus_sham": {
     "mean": -0.0003446409072473205,
     "sd": 0.0020657830803774476
    }
   }
  },
  "dz2_B": {
   "dense": {
    "up": {
     "mean": 0.00018166715155613986,
     "sd": 0.0012674633466821855
    },
    "down": {
     "mean": -1.4974144899271324e-05,
     "sd": 0.0005057815828644651
    },
    "sham": {
     "mean": 5.349167784912488e-05,
     "sd": 0.0006281662481731391
    },
    "up_minus_sham": {
     "mean": 0.00012817547370701498,
     "sd": 0.0009836612302831804
    },
    "down_minus_sham": {
     "mean": -6.84658227483962e-05,
     "sd": 0.0009886753767819779
    }
   },
   "sparse": {
    "up": {
     "mean": 0.0016926379413907812,
     "sd": 0.004797598547069578
    },
    "down": {
     "mean": 0.000963439063743364,
     "sd": 0.0034951383565979847
    },
    "sham": {
     "mean": 0.0013054725714123528,
     "sd": 0.004208757913753345
    },
    "up_minus_sham": {
     "mean": 0.00038716536997842845,
     "sd": 0.0020771201394968676
    },
    "down_minus_sham": {
     "mean": -0.000342033507668989,
     "sd": 0.0020614143764673357
    }
   }
  },
  "dz3_A": {
   "dense": {
    "up": {
     "mean": 1.837278470926375e-06,
     "sd": 0.0006363937286419141
    },
    "down": {
     "mean": -1.454554008817344e-06,
     "sd": 0.0006220848354956527
    },
    "sham": {
     "mean": -1.9169390170187577e-05,
     "sd": 0.0005102832032055535
    },
    "up_minus_sham": {
     "mean": 2.100666864111395e-05,
     "sd": 0.0008196574738577159
    },
    "down_minus_sham": {
     "mean": 1.7714836161370233e-05,
     "sd": 0.0007854520473639784
    }
   },
   "sparse": {
    "up": {
     "mean": 0.00043910807521690265,
     "sd": 0.0032770967346934603
    },
    "down": {
     "mean": 0.00025330344321580967,
     "sd": 0.0027926209294067334
    },
    "sham": {
     "mean": -6.365883547659785e-05,
     "sd": 0.0017385287585765148
    },
    "up_minus_sham": {
     "mean": 0.0005027669106935005,
     "sd": 0.0031884087429442875
    },
    "down_minus_sham": {
     "mean": 0.00031696227869240754,
     "sd": 0.0030808756751059974
    }
   }
  },
  "dz3_B": {
   "dense": {
    "up": {
     "mean": 3.287460677622681e-06,
     "sd": 0.0006317186239861334
    },
    "down": {
     "mean": -4.0741685750221016e-06,
     "sd": 0.0006245461238256804
    },
    "sham": {
     "mean": 7.079202601683749e-06,
     "sd": 0.0005100045647020078
    },
    "up_minus_sham": {
     "mean": -3.79174192406107e-06,
     "sd": 0.000809572780215775
    },
    "down_minus_sham": {
     "mean": -1.1153371176705848e-05,
     "sd": 0.0007977017068134555
    }
   },
   "sparse": {
    "up": {
     "mean": 0.0005404216337509445,
     "sd": 0.0033305438795108327
    },
    "down": {
     "mean": 0.00017253596558401598,
     "sd": 0.0026607282321510642
    },
    "sham": {
     "mean": -5.980328432793624e-05,
     "sd": 0.001719068437638059
    },
    "up_minus_sham": {
     "mean": 0.0006002249180788808,
     "sd": 0.0031773195306680317
    },
    "down_minus_sham": {
     "mean": 0.00023233924991195224,
     "sd": 0.0030173919677798826
    }
   }
  },
  "dz4_A": {
   "dense": {
    "up": {
     "mean": 6.0634539720116306e-06,
     "sd": 0.000861158913236273
    },
    "down": {
     "mean": -3.9752910318599045e-06,
     "sd": 0.000862128307906277
    },
    "sham": {
     "mean": 2.2746149228467852e-05,
     "sd": 0.0009271035890616556
    },
    "up_minus_sham": {
     "mean": -1.6682695256456228e-05,
     "sd": 0.001253549006294686
    },
    "down_minus_sham": {
     "mean": -2.6721440260327757e-05,
     "sd": 0.0012630444476955996
    }
   },
   "sparse": {
    "up": {
     "mean": 0.0002061641551238834,
     "sd": 0.0031752765854364323
    },
    "down": {
     "mean": 0.0001163009263012631,
     "sd": 0.0029166360989462937
    },
    "sham": {
     "mean": 9.880061892368376e-05,
     "sd": 0.0030573350424377586
    },
    "up_minus_sham": {
     "mean": 0.00010736353620019963,
     "sd": 0.0029535743176640266
    },
    "down_minus_sham": {
     "mean": 1.7500307377579324e-05,
     "sd": 0.0030200555309232283
    }
   }
  },
  "dz4_B": {
   "dense": {
    "up": {
     "mean": 9.445374799021209e-06,
     "sd": 0.0008529311389475965
    },
    "down": {
     "mean": -1.0861905038322078e-05,
     "sd": 0.0008546625426403635
    },
    "sham": {
     "mean": 2.530986852959574e-05,
     "sd": 0.0009317352515572045
    },
    "up_minus_sham": {
     "mean": -1.5864493730574524e-05,
     "sd": 0.0012366544904265553
    },
    "down_minus_sham": {
     "mean": -3.617177356791782e-05,
     "sd": 0.001278851842549619
    }
   },
   "sparse": {
    "up": {
     "mean": 0.0002468645908356164,
     "sd": 0.003118976130167261
    },
    "down": {
     "mean": 0.0001331871852629787,
     "sd": 0.002926846399918703
    },
    "sham": {
     "mean": 7.115007671678811e-05,
     "sd": 0.0030032218031496916
    },
    "up_minus_sham": {
     "mean": 0.0001757145141188282,
     "sd": 0.0030480682970080203
    },
    "down_minus_sham": {
     "mean": 6.203710854619058e-05,
     "sd": 0.0030520196737938423
    }
   }
  }
 }
}