{ "model": "braess_best_response", "config": { "cars": 4000, "seeds": [ 4001, 4002, 4003, 4004, 4005, 4006, 4007, 4008, 4009, 4010, 4011, 4012, 4013, 4014, 4015, 4016, 4017, 4018, 4019, 4020, 4021, 4022, 4023, 4024, 4025, 4026, 4027, 4028, 4029, 4030, 4031, 4032, 4033, 4034, 4035, 4036, 4037, 4038, 4039, 4040, 4041, 4042, 4043, 4044, 4045, 4046, 4047, 4048, 4049, 4050, 4051, 4052, 4053, 4054, 4055, 4056, 4057, 4058, 4059, 4060, 4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4070, 4071, 4072, 4073, 4074, 4075, 4076, 4077, 4078, 4079, 4080, 4081, 4082, 4083, 4084, 4085, 4086, 4087, 4088, 4089, 4090, 4091, 4092, 4093, 4094, 4095, 4096, 4097, 4098, 4099, 4100, 4101, 4102, 4103, 4104, 4105, 4106, 4107, 4108, 4109, 4110, 4111, 4112, 4113, 4114, 4115, 4116, 4117, 4118, 4119, 4120, 4121, 4122, 4123, 4124, 4125, 4126, 4127, 4128, 4129, 4130, 4131, 4132, 4133, 4134, 4135, 4136, 4137, 4138, 4139, 4140, 4141, 4142, 4143, 4144, 4145, 4146, 4147, 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4155, 4156, 4157, 4158, 4159, 4160, 4161, 4162, 4163, 4164, 4165, 4166, 4167, 4168, 4169, 4170, 4171, 4172, 4173, 4174, 4175, 4176, 4177, 4178, 4179, 4180, 4181, 4182, 4183, 4184, 4185, 4186, 4187, 4188, 4189, 4190, 4191, 4192, 4193, 4194, 4195, 4196, 4197, 4198, 4199, 4200, 4201, 4202, 4203, 4204, 4205, 4206, 4207, 4208, 4209, 4210, 4211, 4212, 4213, 4214, 4215, 4216, 4217, 4218, 4219, 4220, 4221, 4222, 4223, 4224, 4225, 4226, 4227, 4228, 4229, 4230, 4231, 4232, 4233, 4234, 4235, 4236, 4237, 4238, 4239, 4240, 4241, 4242, 4243, 4244, 4245, 4246, 4247, 4248, 4249, 4250, 4251, 4252, 4253, 4254, 4255, 4256, 4257, 4258, 4259, 4260, 4261, 4262, 4263, 4264, 4265, 4266, 4267, 4268, 4269, 4270, 4271, 4272, 4273, 4274, 4275, 4276, 4277, 4278, 4279, 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4287, 4288, 4289, 4290, 4291, 4292, 4293, 4294, 4295, 4296, 4297, 4298, 4299, 4300, 4301, 4302, 4303, 4304, 4305, 4306, 4307, 4308, 4309, 4310, 4311, 4312, 4313, 4314, 4315, 4316, 4317, 4318, 4319, 4320, 4321, 4322, 4323, 4324, 4325, 4326, 4327, 4328, 4329, 4330, 4331, 4332, 4333, 4334, 4335, 4336, 4337, 4338, 4339, 4340, 4341, 4342, 4343, 4344, 4345, 4346, 4347, 4348, 4349, 4350, 4351, 4352, 4353, 4354, 4355, 4356, 4357, 4358, 4359, 4360, 4361, 4362, 4363, 4364, 4365, 4366, 4367, 4368, 4369, 4370, 4371, 4372, 4373, 4374, 4375, 4376, 4377, 4378, 4379, 4380, 4381, 4382, 4383, 4384, 4385, 4386, 4387, 4388, 4389, 4390, 4391, 4392, 4393, 4394, 4395, 4396, 4397, 4398, 4399, 4400, 4401, 4402, 4403, 4404, 4405, 4406, 4407, 4408, 4409, 4410, 4411, 4412, 4413, 4414, 4415, 4416, 4417, 4418, 4419, 4420, 4421, 4422, 4423, 4424, 4425, 4426, 4427, 4428, 4429, 4430, 4431, 4432, 4433, 4434, 4435, 4436, 4437, 4438, 4439, 4440, 4441, 4442, 4443, 4444, 4445, 4446, 4447, 4448, 4449, 4450, 4451, 4452, 4453, 4454, 4455, 4456, 4457, 4458, 4459, 4460, 4461, 4462, 4463, 4464, 4465, 4466, 4467, 4468, 4469, 4470, 4471, 4472, 4473, 4474, 4475, 4476, 4477, 4478, 4479, 4480, 4481, 4482, 4483, 4484, 4485, 4486, 4487, 4488, 4489, 4490, 4491, 4492, 4493, 4494, 4495, 4496, 4497, 4498, 4499, 4500, 4501, 4502, 4503, 4504, 4505, 4506, 4507, 4508, 4509, 4510, 4511, 4512, 4513, 4514, 4515, 4516, 4517, 4518, 4519, 4520, 4521, 4522, 4523, 4524, 4525, 4526, 4527, 4528, 4529, 4530, 4531, 4532, 4533, 4534, 4535, 4536, 4537, 4538, 4539, 4540, 4541, 4542, 4543, 4544, 4545, 4546, 4547, 4548, 4549, 4550, 4551, 4552, 4553, 4554, 4555, 4556, 4557, 4558, 4559, 4560, 4561, 4562, 4563, 4564, 4565, 4566, 4567, 4568, 4569, 4570, 4571, 4572, 4573, 4574, 4575, 4576, 4577, 4578, 4579, 4580, 4581, 4582, 4583, 4584, 4585, 4586, 4587, 4588, 4589, 4590, 4591, 4592, 4593, 4594, 4595, 4596, 4597, 4598, 4599, 4600, 4601, 4602, 4603, 4604, 4605, 4606, 4607, 4608, 4609, 4610, 4611, 4612, 4613, 4614, 4615, 4616, 4617, 4618, 4619, 4620, 4621, 4622, 4623, 4624, 4625, 4626, 4627, 4628, 4629, 4630, 4631, 4632, 4633, 4634, 4635, 4636, 4637, 4638, 4639, 4640, 4641, 4642, 4643, 4644, 4645, 4646, 4647, 4648, 4649, 4650, 4651, 4652, 4653, 4654, 4655, 4656, 4657, 4658, 4659, 4660, 4661, 4662, 4663, 4664, 4665, 4666, 4667, 4668, 4669, 4670, 4671, 4672, 4673, 4674, 4675, 4676, 4677, 4678, 4679, 4680, 4681, 4682, 4683, 4684, 4685, 4686, 4687, 4688, 4689, 4690, 4691, 4692, 4693, 4694, 4695, 4696, 4697, 4698, 4699, 4700, 4701, 4702, 4703, 4704, 4705, 4706, 4707, 4708, 4709, 4710, 4711, 4712, 4713, 4714, 4715, 4716, 4717, 4718, 4719, 4720, 4721, 4722, 4723, 4724, 4725, 4726, 4727, 4728, 4729, 4730, 4731, 4732, 4733, 4734, 4735, 4736, 4737, 4738, 4739, 4740, 4741, 4742, 4743, 4744, 4745, 4746, 4747, 4748, 4749, 4750, 4751, 4752, 4753, 4754, 4755, 4756, 4757, 4758, 4759, 4760, 4761, 4762, 4763, 4764, 4765, 4766, 4767, 4768, 4769, 4770, 4771, 4772, 4773, 4774, 4775, 4776, 4777, 4778, 4779, 4780, 4781, 4782, 4783, 4784, 4785, 4786, 4787, 4788, 4789, 4790, 4791, 4792, 4793, 4794, 4795, 4796, 4797, 4798, 4799, 4800, 4801, 4802, 4803, 4804, 4805, 4806, 4807, 4808, 4809, 4810, 4811, 4812, 4813, 4814, 4815, 4816, 4817, 4818, 4819, 4820, 4821, 4822, 4823, 4824, 4825, 4826, 4827, 4828, 4829, 4830, 4831, 4832, 4833, 4834, 4835, 4836, 4837, 4838, 4839, 4840, 4841, 4842, 4843, 4844, 4845, 4846, 4847, 4848, 4849, 4850, 4851, 4852, 4853, 4854, 4855, 4856, 4857, 4858, 4859, 4860, 4861, 4862, 4863, 4864, 4865, 4866, 4867, 4868, 4869, 4870, 4871, 4872, 4873, 4874, 4875, 4876, 4877, 4878, 4879, 4880, 4881, 4882, 4883, 4884, 4885, 4886, 4887, 4888, 4889, 4890, 4891, 4892, 4893, 4894, 4895, 4896, 4897, 4898, 4899, 4900, 4901, 4902, 4903, 4904, 4905, 4906, 4907, 4908, 4909, 4910, 4911, 4912, 4913, 4914, 4915, 4916, 4917, 4918, 4919, 4920, 4921, 4922, 4923, 4924, 4925, 4926, 4927, 4928, 4929, 4930, 4931, 4932, 4933, 4934, 4935, 4936, 4937, 4938, 4939, 4940, 4941, 4942, 4943, 4944, 4945, 4946, 4947, 4948, 4949, 4950, 4951, 4952, 4953, 4954, 4955, 4956, 4957, 4958, 4959, 4960, 4961, 4962, 4963, 4964, 4965, 4966, 4967, 4968, 4969, 4970, 4971, 4972, 4973, 4974, 4975, 4976, 4977, 4978, 4979, 4980, 4981, 4982, 4983, 4984, 4985, 4986, 4987, 4988, 4989, 4990, 4991, 4992, 4993, 4994, 4995, 4996, 4997, 4998, 4999, 5000 ], "n_per_condition": 1000, "fixed_minutes": 45, "variable": "x/100", "variable_divisor": 100, "new_road_minutes": 0, "unit": "centi-minute", "early_snaps": 40, "late_every": 40, "max_steps": 10000000, "sweep_cars": [ 1000, 2000, 3000, 4000, 5000, 6000, 7000, 8000, 9000, 10000 ], "sweep_n": 100, "python": "3.12.3", "rng": "random.Random(seed)" }, "groups": { "pair": { "base": { "n": 1000 }, "road": { "n": 1000 } }, "sweep": { "1000": { "n": 100 }, "2000": { "n": 100 }, "3000": { "n": 100 }, "4000": { "n": 100 }, "5000": { "n": 100 }, "6000": { "n": 100 }, "7000": { "n": 100 }, "8000": { "n": 100 }, "9000": { "n": 100 }, "10000": { "n": 100 } } }, "pair": { "n": 1000, "base_equilibrium": 1000, "road_equilibrium": 1000, "base_minutes_set": [ 65.0 ], "road_minutes_set": [ 80.0 ], "base_minutes": 65.0, "road_minutes": 80.0, "increase_minutes": 15.0, "worse": 1000, "better": 0, "same": 0, "road_all_short": 1000, "base_balanced": 1000, "road_moves_set": [ 4000 ], "road_moves_all_cars": 1000, "base_moves_median": 21, "base_moves_max": 88, "base_steps_median": 42, "base_steps_max": 196, "road_steps_median": 34683, "road_steps_p90": 42409, "road_steps_min": 25963, "road_steps_max": 66115, "road_steps_mean": 35618.997, "first_switch_minutes_min": 40.01, "first_switch_minutes_max": 40.01, "road_min_avg_minutes_min": 64.6875, "road_min_avg_minutes_max": 64.7243325, "road_min_below_base": 1000, "back_to_upper_minutes_set": [ 85.0 ], "init_upper_min": 1912, "init_upper_max": 2083, "steps": { "base": [ 54, 81, 19, 33, 16, 22, 16, 97, 107, 99, 37, 55, 10, 86, 94, 75, 44, 24, 72, 57, 80, 1, 27, 88, 61, 82, 28, 51, 0, 13, 98, 42, 66, 55, 1, 71, 2, 45, 54, 18, 43, 110, 20, 49, 13, 93, 67, 26, 3, 35, 22, 87, 72, 34, 73, 66, 59, 91, 62, 14, 161, 78, 1, 32, 104, 57, 9, 30, 48, 55, 21, 72, 23, 11, 3, 53, 19, 89, 28, 38, 64, 110, 42, 71, 12, 29, 45, 94, 64, 86, 7, 46, 28, 28, 68, 13, 4, 75, 22, 141, 20, 44, 10, 43, 77, 84, 25, 10, 42, 38, 100, 75, 129, 20, 53, 24, 59, 21, 17, 76, 6, 13, 93, 102, 46, 12, 35, 47, 67, 83, 6, 27, 9, 62, 66, 59, 81, 23, 10, 84, 100, 80, 82, 37, 38, 3, 58, 50, 25, 125, 9, 16, 15, 5, 64, 91, 87, 27, 10, 4, 95, 113, 42, 132, 0, 14, 32, 10, 63, 37, 71, 63, 91, 4, 51, 22, 47, 74, 67, 34, 10, 42, 52, 27, 50, 2, 27, 94, 51, 10, 48, 154, 98, 23, 2, 31, 78, 20, 26, 129, 50, 14, 95, 4, 19, 2, 31, 46, 138, 61, 11, 34, 32, 59, 15, 49, 5, 108, 66, 44, 61, 49, 15, 111, 114, 87, 78, 34, 49, 3, 12, 68, 30, 82, 112, 47, 71, 11, 14, 117, 41, 18, 96, 49, 16, 26, 70, 29, 35, 23, 163, 81, 71, 152, 38, 27, 14, 68, 56, 14, 40, 14, 22, 72, 110, 23, 11, 104, 51, 98, 4, 33, 49, 27, 41, 67, 65, 43, 32, 38, 17, 60, 66, 11, 69, 85, 15, 49, 149, 29, 18, 33, 1, 75, 16, 9, 67, 8, 9, 69, 10, 19, 24, 12, 131, 141, 17, 8, 40, 97, 19, 30, 87, 13, 16, 26, 95, 16, 63, 61, 17, 114, 57, 26, 27, 71, 55, 36, 38, 4, 28, 50, 9, 1, 32, 49, 38, 80, 39, 5, 48, 34, 13, 75, 83, 39, 127, 88, 61, 48, 6, 146, 66, 2, 7, 84, 39, 5, 73, 134, 38, 40, 33, 68, 99, 65, 50, 19, 67, 20, 105, 32, 65, 37, 16, 31, 42, 97, 26, 75, 22, 20, 68, 8, 15, 96, 38, 45, 10, 34, 27, 23, 29, 106, 24, 119, 16, 54, 27, 4, 7, 57, 84, 20, 67, 17, 42, 17, 57, 132, 39, 19, 21, 66, 109, 10, 3, 77, 18, 36, 4, 58, 97, 34, 3, 33, 0, 168, 40, 58, 46, 143, 16, 11, 44, 5, 40, 48, 59, 35, 2, 24, 68, 44, 28, 113, 155, 68, 38, 38, 35, 41, 49, 25, 41, 12, 73, 4, 27, 62, 47, 26, 99, 11, 63, 52, 28, 85, 75, 66, 4, 14, 44, 125, 128, 87, 36, 143, 82, 93, 2, 75, 11, 86, 46, 28, 20, 57, 144, 85, 86, 1, 50, 43, 121, 57, 66, 55, 101, 49, 2, 32, 71, 60, 109, 106, 118, 151, 105, 59, 46, 76, 87, 23, 85, 102, 1, 80, 97, 55, 139, 13, 23, 0, 25, 3, 54, 34, 21, 13, 7, 71, 61, 45, 75, 11, 14, 3, 106, 136, 13, 14, 33, 61, 42, 67, 34, 20, 61, 33, 130, 4, 13, 150, 94, 2, 22, 93, 61, 89, 65, 110, 108, 132, 63, 8, 0, 0, 15, 12, 110, 125, 11, 160, 15, 100, 77, 19, 111, 1, 85, 41, 62, 74, 0, 92, 27, 25, 97, 52, 65, 1, 38, 3, 20, 15, 44, 52, 23, 142, 68, 29, 64, 24, 52, 39, 113, 23, 60, 76, 49, 78, 75, 66, 20, 66, 80, 9, 46, 59, 36, 78, 77, 61, 12, 36, 31, 77, 79, 5, 10, 18, 31, 11, 69, 11, 35, 30, 24, 2, 57, 13, 20, 54, 52, 48, 51, 21, 65, 87, 41, 76, 42, 5, 60, 19, 27, 2, 50, 81, 26, 28, 46, 16, 0, 2, 3, 6, 88, 41, 20, 30, 41, 20, 85, 56, 4, 50, 17, 45, 48, 11, 23, 35, 85, 134, 99, 27, 76, 33, 68, 39, 3, 160, 36, 122, 14, 86, 57, 91, 14, 53, 99, 69, 7, 35, 39, 56, 20, 11, 47, 46, 25, 40, 15, 19, 73, 21, 11, 120, 43, 46, 73, 56, 6, 11, 22, 10, 36, 67, 83, 71, 5, 1, 12, 43, 9, 25, 11, 1, 75, 85, 80, 71, 37, 36, 109, 67, 19, 81, 24, 35, 3, 2, 19, 19, 17, 19, 51, 81, 18, 3, 37, 75, 41, 5, 7, 28, 44, 34, 79, 66, 15, 5, 12, 89, 12, 41, 25, 95, 65, 53, 39, 105, 91, 14, 1, 31, 50, 89, 40, 5, 51, 2, 22, 22, 6, 10, 47, 37, 24, 13, 21, 79, 148, 3, 25, 116, 23, 6, 28, 17, 1, 18, 79, 78, 70, 28, 109, 28, 43, 196, 47, 45, 30, 83, 27, 43, 116, 31, 48, 125, 4, 61, 81, 135, 39, 43, 27, 65, 49, 126, 83, 33, 21, 39, 20, 160, 51, 46, 17, 58, 38, 79, 65, 75, 5, 12, 53, 25, 11, 33, 80, 49, 73, 64, 9, 2, 37, 11, 75, 40, 33, 25, 47, 113, 75, 56, 12, 36, 50, 3, 146, 76, 94, 114, 71, 23, 7, 21, 59, 31, 14, 69, 6, 2, 18, 46, 11, 14, 21, 61, 46, 115, 21, 23, 61, 45, 59, 48, 109, 20, 47, 94, 28, 8, 24, 29, 50, 47, 68, 67, 49, 83, 22, 10, 1, 108, 106, 73, 61, 57, 64, 147, 44, 50, 83, 85, 130, 94, 10, 19, 54, 68, 13, 107, 1, 5, 44, 84, 72, 72, 42, 21, 111, 19, 5, 55, 23, 10, 3, 12, 0, 67, 37, 10, 19, 32, 54, 25, 70, 45, 16, 6, 14, 68, 20, 12, 146, 72, 4, 155, 153, 14, 16, 127, 6, 23, 34, 32, 9, 87, 21, 26, 43, 54, 33, 33, 24, 51 ], "road": [ 31751, 34900, 35117, 38916, 33559, 33363, 46126, 36028, 34207, 33423, 35818, 39014, 33110, 37364, 40504, 40063, 40483, 43320, 30095, 28515, 31537, 35408, 33862, 42450, 29614, 31437, 41580, 36045, 35245, 28493, 34999, 34551, 37327, 37656, 37984, 34292, 32186, 34620, 51753, 28877, 42486, 33769, 35024, 27911, 41885, 33878, 43669, 44517, 33580, 37253, 35195, 37331, 62368, 40872, 27908, 41477, 34658, 38015, 28922, 33116, 37862, 39452, 41796, 32056, 38896, 36195, 31614, 33234, 31754, 34117, 38206, 33189, 40974, 33385, 36388, 33444, 38046, 35549, 31202, 50955, 30715, 32939, 35550, 36480, 37236, 34424, 33754, 39100, 33432, 35271, 46637, 31021, 33504, 31927, 40066, 36794, 35131, 37642, 31685, 41974, 33547, 39398, 42416, 36022, 35348, 31474, 29139, 49555, 31160, 38800, 43527, 34909, 29156, 34019, 36355, 33490, 36311, 39987, 28490, 27534, 39695, 35569, 30545, 32186, 31450, 43548, 32765, 45208, 32337, 48938, 29486, 37600, 41204, 29402, 43256, 33418, 37925, 30551, 39713, 33910, 40858, 34401, 32107, 33333, 34691, 31865, 32202, 38835, 30085, 35177, 49430, 31218, 29923, 47154, 38241, 44627, 31293, 31194, 45333, 34643, 29691, 31438, 35181, 32964, 33473, 34762, 42152, 38333, 31634, 35085, 42098, 36297, 30701, 29608, 45148, 31650, 36479, 35997, 36806, 34155, 39232, 36185, 29250, 33250, 35262, 34809, 38122, 38512, 26866, 35450, 29774, 35142, 40866, 45213, 41469, 45655, 33816, 34515, 32698, 37848, 28191, 32432, 29210, 38439, 29427, 36603, 33779, 35763, 34571, 40266, 27734, 33515, 36561, 33195, 30238, 33639, 31716, 31887, 35644, 30314, 37146, 34605, 37667, 46683, 34562, 30210, 42756, 36657, 32823, 39717, 33152, 36120, 30791, 32479, 38560, 33012, 31402, 33982, 31455, 40871, 29999, 31643, 36410, 33476, 48122, 44753, 44386, 37600, 29151, 31864, 35123, 34621, 40450, 30696, 35168, 35094, 30903, 33807, 45872, 37314, 38919, 51017, 29520, 29720, 35016, 37748, 35251, 31112, 32400, 38949, 32106, 30985, 56330, 33089, 34738, 38611, 30231, 43761, 28297, 45444, 29950, 46834, 37854, 41786, 32271, 28530, 34512, 37794, 33583, 32636, 32846, 31949, 25963, 32585, 35447, 35781, 39472, 32230, 40205, 37345, 32139, 37533, 40179, 27426, 43206, 48760, 37976, 41204, 34794, 42183, 39056, 35238, 32064, 37713, 39391, 32667, 30612, 33226, 39557, 34249, 37293, 33096, 36945, 32408, 32172, 36877, 35616, 37145, 30024, 35951, 35140, 34072, 46290, 32147, 36876, 33657, 43903, 36608, 33439, 37447, 46848, 32799, 36267, 29510, 40213, 37057, 30792, 34947, 28551, 32058, 43769, 33317, 31007, 39821, 34683, 36279, 33561, 27775, 34150, 39477, 29065, 31749, 36847, 26891, 31875, 32343, 33272, 35154, 36902, 30089, 35498, 31422, 33846, 33148, 30781, 41354, 37985, 34934, 37489, 32967, 35897, 30391, 31332, 37834, 31001, 30101, 34295, 32338, 39075, 49650, 29398, 32933, 29149, 27527, 31137, 33012, 38084, 32374, 32055, 42079, 44237, 33835, 27545, 34890, 31687, 35212, 42777, 36802, 27739, 35049, 42270, 28240, 37715, 32000, 34239, 33714, 38335, 31016, 28699, 40536, 33462, 31193, 29588, 46421, 31032, 30533, 34619, 30274, 30816, 29929, 34921, 33514, 36314, 30966, 34456, 29541, 38131, 28420, 37381, 40160, 36868, 33608, 28615, 33973, 40722, 35354, 35779, 37389, 32941, 33472, 31893, 31052, 43354, 31085, 45436, 32798, 34795, 32679, 29475, 33197, 38147, 28337, 33202, 29246, 30333, 27720, 53557, 34648, 31891, 37440, 45626, 31002, 30886, 32738, 33352, 33573, 30870, 30119, 38079, 32706, 30124, 33038, 34242, 29495, 32516, 32771, 44682, 35766, 39357, 38996, 31248, 37242, 30195, 32409, 46956, 31693, 38887, 40135, 41174, 41136, 32167, 34565, 35039, 32321, 33469, 32333, 36791, 32363, 29110, 39171, 29986, 28694, 33371, 35855, 31343, 28750, 49957, 29744, 30093, 37742, 34502, 32666, 31696, 43408, 41854, 34683, 33406, 38196, 40276, 45617, 42640, 32218, 35127, 38371, 40028, 34632, 47376, 36553, 29139, 57494, 55222, 34866, 28411, 35286, 31925, 32789, 44011, 31802, 34759, 35883, 29592, 32261, 36016, 32769, 29164, 66115, 34539, 29644, 33050, 43589, 40151, 36124, 35642, 41159, 39712, 32699, 36729, 33541, 40320, 30920, 38566, 43980, 32351, 39798, 33042, 42409, 31369, 32532, 38244, 27185, 30571, 33660, 35442, 32456, 31202, 35401, 41108, 34466, 38286, 30246, 42418, 38571, 37684, 34506, 33161, 28513, 32925, 35362, 44119, 30731, 39794, 38697, 44320, 44937, 39941, 32906, 30584, 33385, 34263, 32187, 33950, 28872, 33045, 42226, 36210, 31203, 34260, 37236, 30799, 34243, 36204, 34562, 35935, 39449, 33558, 32291, 35808, 40124, 30943, 35995, 37009, 32653, 46542, 43176, 42051, 32769, 42562, 45773, 41566, 33482, 34506, 41806, 34616, 40663, 31712, 30315, 29778, 38131, 34909, 33746, 37036, 40994, 28628, 34081, 39166, 36988, 38664, 43263, 28484, 35712, 31254, 37052, 32844, 34245, 30613, 31061, 35446, 31281, 34044, 44623, 28345, 32414, 30475, 32042, 36895, 35495, 31526, 36408, 37334, 29844, 34657, 37747, 36157, 36833, 30520, 35703, 29032, 30809, 36008, 38040, 33786, 33256, 39757, 42871, 36992, 45257, 29526, 36327, 38938, 39218, 35303, 32075, 36781, 34470, 35943, 29731, 28375, 28014, 35407, 34912, 43985, 33010, 31029, 32497, 32550, 32315, 36974, 32705, 32368, 31118, 39314, 32136, 31554, 43093, 31938, 31857, 31734, 33888, 33955, 38782, 39523, 34699, 44145, 39696, 32539, 31445, 31280, 35602, 45742, 36328, 34407, 48323, 31412, 37479, 37225, 30214, 35496, 47633, 29271, 31010, 37304, 30618, 31095, 29859, 39600, 31792, 32446, 37715, 29248, 38994, 38307, 30114, 34310, 33290, 34932, 38631, 31606, 41167, 34768, 33088, 36270, 32587, 33772, 38740, 39514, 35399, 26757, 32044, 42784, 30844, 36078, 34074, 35735, 34362, 31585, 37098, 47407, 39336, 38164, 31070, 30131, 30547, 45934, 33957, 32051, 30662, 58015, 45325, 38650, 45529, 45823, 37597, 30882, 42756, 39392, 38460, 41893, 40854, 29427, 35477, 40135, 28897, 39433, 36147, 31457, 32495, 36585, 39187, 29048, 29058, 35810, 36881, 36333, 38758, 32555, 31897, 38547, 34478, 31692, 35646, 35694, 34220, 41680, 31126, 38235, 35105, 37014, 29475, 30916, 36887, 35198, 34150, 35841, 32925, 40898, 40531, 35044, 40020, 38129, 47073, 33738, 36631, 33952, 34417, 52760, 32399, 42363, 32259, 34220, 31609, 36430, 40151, 28019, 36748, 39589, 31153, 32163, 37344, 34976, 35791, 36303, 30851, 37346, 36742, 34295, 35848, 40309, 33072, 32159, 33626, 42127, 30778, 26889, 43601, 34592, 34628, 34476, 35618, 40307, 38741, 49221, 33683, 33123, 31800, 41696, 32576, 35993, 46426, 34579, 37432, 30661, 32822, 33111, 38986, 29616, 34083, 34139, 34655, 26457, 37414, 37372, 40500, 48971, 37499, 30479, 35168, 29570, 32963, 35186, 39589, 43891, 39596, 30092, 32784, 37038, 39413, 32992, 39364, 30787, 30153, 37479, 43949, 37786, 40664, 41152, 31401, 36059, 32413, 37828, 29962, 41293, 38186, 40246, 29727, 30222, 38145, 43937, 33463, 34741, 36373, 32552, 36651, 32570, 33728, 41546, 37217, 45931, 35783, 31641, 37962, 35993, 37250, 31496, 38970, 37625, 27987, 29253, 34908, 33831, 39550, 35869, 38774, 37782, 44240, 30616, 34666, 33936, 33892, 36288, 34946, 29586, 49280, 39508, 33440, 31010, 27700, 31764, 36404, 33743, 35748, 34136, 33582, 35383, 32017, 33366, 32455, 34015, 32684, 27536, 34526 ] } }, "featured": { "seed": 4001, "rule": "本番の種の最初の1つ", "base": { "seed": 4001, "road": false, "cars": 4000, "init": [ 1972, 2028, 0 ], "final": [ 2000, 2000, 0 ], "steps": 54, "moves": 28, "equilibrium": true, "t_upper": 6500, "t_lower": 6500, "t_short": null, "times_used": [ 6500 ], "total": 26000000, "first_switch": null, "min_total": 26000000, "min_total_at": 28, "back_to_upper": null, "snaps": [ { "step": 0, "moves": 0, "u": 1972, "l": 2028, "m": 0, "t_upper": 6472, "t_lower": 6528, "t_short": 4000, "total": 26001568 }, { "step": 3, "moves": 1, "u": 1973, "l": 2027, "m": 0, "t_upper": 6473, "t_lower": 6527, "t_short": 4000, "total": 26001458 }, { "step": 4, "moves": 2, "u": 1974, "l": 2026, "m": 0, "t_upper": 6474, "t_lower": 6526, "t_short": 4000, "total": 26001352 }, { "step": 5, "moves": 3, "u": 1975, "l": 2025, "m": 0, "t_upper": 6475, "t_lower": 6525, "t_short": 4000, "total": 26001250 }, { "step": 6, "moves": 4, "u": 1976, "l": 2024, "m": 0, "t_upper": 6476, "t_lower": 6524, "t_short": 4000, "total": 26001152 }, { "step": 11, "moves": 5, "u": 1977, "l": 2023, "m": 0, "t_upper": 6477, "t_lower": 6523, "t_short": 4000, "total": 26001058 }, { "step": 13, "moves": 6, "u": 1978, "l": 2022, "m": 0, "t_upper": 6478, "t_lower": 6522, "t_short": 4000, "total": 26000968 }, { "step": 14, "moves": 7, "u": 1979, "l": 2021, "m": 0, "t_upper": 6479, "t_lower": 6521, "t_short": 4000, "total": 26000882 }, { "step": 18, "moves": 8, "u": 1980, "l": 2020, "m": 0, "t_upper": 6480, "t_lower": 6520, "t_short": 4000, "total": 26000800 }, { "step": 19, "moves": 9, "u": 1981, "l": 2019, "m": 0, "t_upper": 6481, "t_lower": 6519, "t_short": 4000, "total": 26000722 }, { "step": 21, "moves": 10, "u": 1982, "l": 2018, "m": 0, "t_upper": 6482, "t_lower": 6518, "t_short": 4000, "total": 26000648 }, { "step": 25, "moves": 11, "u": 1983, "l": 2017, "m": 0, "t_upper": 6483, "t_lower": 6517, "t_short": 4000, "total": 26000578 }, { "step": 26, "moves": 12, "u": 1984, "l": 2016, "m": 0, "t_upper": 6484, "t_lower": 6516, "t_short": 4000, "total": 26000512 }, { "step": 27, "moves": 13, "u": 1985, "l": 2015, "m": 0, "t_upper": 6485, "t_lower": 6515, "t_short": 4000, "total": 26000450 }, { "step": 28, "moves": 14, "u": 1986, "l": 2014, "m": 0, "t_upper": 6486, "t_lower": 6514, "t_short": 4000, "total": 26000392 }, { "step": 30, "moves": 15, "u": 1987, "l": 2013, "m": 0, "t_upper": 6487, "t_lower": 6513, "t_short": 4000, "total": 26000338 }, { "step": 31, "moves": 16, "u": 1988, "l": 2012, "m": 0, "t_upper": 6488, "t_lower": 6512, "t_short": 4000, "total": 26000288 }, { "step": 32, "moves": 17, "u": 1989, "l": 2011, "m": 0, "t_upper": 6489, "t_lower": 6511, "t_short": 4000, "total": 26000242 }, { "step": 33, "moves": 18, "u": 1990, "l": 2010, "m": 0, "t_upper": 6490, "t_lower": 6510, "t_short": 4000, "total": 26000200 }, { "step": 35, "moves": 19, "u": 1991, "l": 2009, "m": 0, "t_upper": 6491, "t_lower": 6509, "t_short": 4000, "total": 26000162 }, { "step": 37, "moves": 20, "u": 1992, "l": 2008, "m": 0, "t_upper": 6492, "t_lower": 6508, "t_short": 4000, "total": 26000128 }, { "step": 40, "moves": 21, "u": 1993, "l": 2007, "m": 0, "t_upper": 6493, "t_lower": 6507, "t_short": 4000, "total": 26000098 }, { "step": 41, "moves": 22, "u": 1994, "l": 2006, "m": 0, "t_upper": 6494, "t_lower": 6506, "t_short": 4000, "total": 26000072 }, { "step": 47, "moves": 23, "u": 1995, "l": 2005, "m": 0, "t_upper": 6495, "t_lower": 6505, "t_short": 4000, "total": 26000050 }, { "step": 49, "moves": 24, "u": 1996, "l": 2004, "m": 0, "t_upper": 6496, "t_lower": 6504, "t_short": 4000, "total": 26000032 }, { "step": 50, "moves": 25, "u": 1997, "l": 2003, "m": 0, "t_upper": 6497, "t_lower": 6503, "t_short": 4000, "total": 26000018 }, { "step": 52, "moves": 26, "u": 1998, "l": 2002, "m": 0, "t_upper": 6498, "t_lower": 6502, "t_short": 4000, "total": 26000008 }, { "step": 53, "moves": 27, "u": 1999, "l": 2001, "m": 0, "t_upper": 6499, "t_lower": 6501, "t_short": 4000, "total": 26000002 }, { "step": 54, "moves": 28, "u": 2000, "l": 2000, "m": 0, "t_upper": 6500, "t_lower": 6500, "t_short": 4000, "total": 26000000 } ] }, "road": { "seed": 4001, "road": true, "cars": 4000, "init": [ 1972, 2028, 0 ], "final": [ 0, 0, 4000 ], "steps": 31751, "moves": 4000, "equilibrium": true, "t_upper": 8500, "t_lower": 8500, "t_short": 8000, "times_used": [ 8000 ], "total": 32000000, "first_switch": 4001, "min_total": 25875773, "min_total_at": 505, "back_to_upper": 8500, "snaps": [ { "step": 0, "moves": 0, "u": 1972, "l": 2028, "m": 0, "t_upper": 6472, "t_lower": 6528, "t_short": 4000, "total": 26001568 }, { "step": 1, "moves": 1, "u": 1971, "l": 2028, "m": 1, "t_upper": 6472, "t_lower": 6529, "t_short": 4001, "total": 26001125 }, { "step": 2, "moves": 2, "u": 1970, "l": 2028, "m": 2, "t_upper": 6472, "t_lower": 6530, "t_short": 4002, "total": 26000684 }, { "step": 3, "moves": 3, "u": 1970, "l": 2027, "m": 3, "t_upper": 6473, "t_lower": 6530, "t_short": 4003, "total": 26000129 }, { "step": 4, "moves": 4, "u": 1970, "l": 2026, "m": 4, "t_upper": 6474, "t_lower": 6530, "t_short": 4004, "total": 25999576 }, { "step": 5, "moves": 5, "u": 1970, "l": 2025, "m": 5, "t_upper": 6475, "t_lower": 6530, "t_short": 4005, "total": 25999025 }, { "step": 6, "moves": 6, "u": 1970, "l": 2024, "m": 6, "t_upper": 6476, "t_lower": 6530, "t_short": 4006, "total": 25998476 }, { "step": 7, "moves": 7, "u": 1969, "l": 2024, "m": 7, "t_upper": 6476, "t_lower": 6531, "t_short": 4007, "total": 25998037 }, { "step": 8, "moves": 8, "u": 1968, "l": 2024, "m": 8, "t_upper": 6476, "t_lower": 6532, "t_short": 4008, "total": 25997600 }, { "step": 9, "moves": 9, "u": 1967, "l": 2024, "m": 9, "t_upper": 6476, "t_lower": 6533, "t_short": 4009, "total": 25997165 }, { "step": 10, "moves": 10, "u": 1966, "l": 2024, "m": 10, "t_upper": 6476, "t_lower": 6534, "t_short": 4010, "total": 25996732 }, { "step": 11, "moves": 11, "u": 1966, "l": 2023, "m": 11, "t_upper": 6477, "t_lower": 6534, "t_short": 4011, "total": 25996185 }, { "step": 12, "moves": 12, "u": 1965, "l": 2023, "m": 12, "t_upper": 6477, "t_lower": 6535, "t_short": 4012, "total": 25995754 }, { "step": 13, "moves": 13, "u": 1965, "l": 2022, "m": 13, "t_upper": 6478, "t_lower": 6535, "t_short": 4013, "total": 25995209 }, { "step": 14, "moves": 14, "u": 1965, "l": 2021, "m": 14, "t_upper": 6479, "t_lower": 6535, "t_short": 4014, "total": 25994666 }, { "step": 15, "moves": 15, "u": 1964, "l": 2021, "m": 15, "t_upper": 6479, "t_lower": 6536, "t_short": 4015, "total": 25994237 }, { "step": 16, "moves": 16, "u": 1963, "l": 2021, "m": 16, "t_upper": 6479, "t_lower": 6537, "t_short": 4016, "total": 25993810 }, { "step": 17, "moves": 17, "u": 1962, "l": 2021, "m": 17, "t_upper": 6479, "t_lower": 6538, "t_short": 4017, "total": 25993385 }, { "step": 18, "moves": 18, "u": 1962, "l": 2020, "m": 18, "t_upper": 6480, "t_lower": 6538, "t_short": 4018, "total": 25992844 }, { "step": 19, "moves": 19, "u": 1962, "l": 2019, "m": 19, "t_upper": 6481, "t_lower": 6538, "t_short": 4019, "total": 25992305 }, { "step": 20, "moves": 20, "u": 1961, "l": 2019, "m": 20, "t_upper": 6481, "t_lower": 6539, "t_short": 4020, "total": 25991882 }, { "step": 21, "moves": 21, "u": 1961, "l": 2018, "m": 21, "t_upper": 6482, "t_lower": 6539, "t_short": 4021, "total": 25991345 }, { "step": 22, "moves": 22, "u": 1960, "l": 2018, "m": 22, "t_upper": 6482, "t_lower": 6540, "t_short": 4022, "total": 25990924 }, { "step": 23, "moves": 23, "u": 1959, "l": 2018, "m": 23, "t_upper": 6482, "t_lower": 6541, "t_short": 4023, "total": 25990505 }, { "step": 24, "moves": 24, "u": 1958, "l": 2018, "m": 24, "t_upper": 6482, "t_lower": 6542, "t_short": 4024, "total": 25990088 }, { "step": 25, "moves": 25, "u": 1958, "l": 2017, "m": 25, "t_upper": 6483, "t_lower": 6542, "t_short": 4025, "total": 25989553 }, { "step": 26, "moves": 26, "u": 1958, "l": 2016, "m": 26, "t_upper": 6484, "t_lower": 6542, "t_short": 4026, "total": 25989020 }, { "step": 27, "moves": 27, "u": 1958, "l": 2015, "m": 27, "t_upper": 6485, "t_lower": 6542, "t_short": 4027, "total": 25988489 }, { "step": 28, "moves": 28, "u": 1958, "l": 2014, "m": 28, "t_upper": 6486, "t_lower": 6542, "t_short": 4028, "total": 25987960 }, { "step": 29, "moves": 29, "u": 1957, "l": 2014, "m": 29, "t_upper": 6486, "t_lower": 6543, "t_short": 4029, "total": 25987545 }, { "step": 30, "moves": 30, "u": 1957, "l": 2013, "m": 30, "t_upper": 6487, "t_lower": 6543, "t_short": 4030, "total": 25987018 }, { "step": 31, "moves": 31, "u": 1957, "l": 2012, "m": 31, "t_upper": 6488, "t_lower": 6543, "t_short": 4031, "total": 25986493 }, { "step": 32, "moves": 32, "u": 1957, "l": 2011, "m": 32, "t_upper": 6489, "t_lower": 6543, "t_short": 4032, "total": 25985970 }, { "step": 33, "moves": 33, "u": 1957, "l": 2010, "m": 33, "t_upper": 6490, "t_lower": 6543, "t_short": 4033, "total": 25985449 }, { "step": 34, "moves": 34, "u": 1956, "l": 2010, "m": 34, "t_upper": 6490, "t_lower": 6544, "t_short": 4034, "total": 25985036 }, { "step": 35, "moves": 35, "u": 1956, "l": 2009, "m": 35, "t_upper": 6491, "t_lower": 6544, "t_short": 4035, "total": 25984517 }, { "step": 36, "moves": 36, "u": 1955, "l": 2009, "m": 36, "t_upper": 6491, "t_lower": 6545, "t_short": 4036, "total": 25984106 }, { "step": 37, "moves": 37, "u": 1955, "l": 2008, "m": 37, "t_upper": 6492, "t_lower": 6545, "t_short": 4037, "total": 25983589 }, { "step": 38, "moves": 38, "u": 1954, "l": 2008, "m": 38, "t_upper": 6492, "t_lower": 6546, "t_short": 4038, "total": 25983180 }, { "step": 39, "moves": 39, "u": 1953, "l": 2008, "m": 39, "t_upper": 6492, "t_lower": 6547, "t_short": 4039, "total": 25982773 }, { "step": 40, "moves": 40, "u": 1953, "l": 2007, "m": 40, "t_upper": 6493, "t_lower": 6547, "t_short": 4040, "total": 25982258 }, { "step": 80, "moves": 80, "u": 1932, "l": 1988, "m": 80, "t_upper": 6512, "t_lower": 6568, "t_short": 4080, "total": 25964768 }, { "step": 120, "moves": 120, "u": 1912, "l": 1968, "m": 120, "t_upper": 6532, "t_lower": 6588, "t_short": 4120, "total": 25948768 }, { "step": 164, "moves": 160, "u": 1895, "l": 1945, "m": 160, "t_upper": 6555, "t_lower": 6605, "t_short": 4160, "total": 25934050 }, { "step": 206, "moves": 200, "u": 1875, "l": 1925, "m": 200, "t_upper": 6575, "t_lower": 6625, "t_short": 4200, "total": 25921250 }, { "step": 249, "moves": 240, "u": 1854, "l": 1906, "m": 240, "t_upper": 6594, "t_lower": 6646, "t_short": 4240, "total": 25910152 }, { "step": 292, "moves": 280, "u": 1832, "l": 1888, "m": 280, "t_upper": 6612, "t_lower": 6668, "t_short": 4280, "total": 25900768 }, { "step": 338, "moves": 320, "u": 1813, "l": 1867, "m": 320, "t_upper": 6633, "t_lower": 6687, "t_short": 4320, "total": 25892658 }, { "step": 381, "moves": 360, "u": 1797, "l": 1843, "m": 360, "t_upper": 6657, "t_lower": 6703, "t_short": 4360, "total": 25885858 }, { "step": 426, "moves": 400, "u": 1778, "l": 1822, "m": 400, "t_upper": 6678, "t_lower": 6722, "t_short": 4400, "total": 25880968 }, { "step": 470, "moves": 440, "u": 1759, "l": 1801, "m": 440, "t_upper": 6699, "t_lower": 6741, "t_short": 4440, "total": 25877682 }, { "step": 516, "moves": 480, "u": 1737, "l": 1783, "m": 480, "t_upper": 6717, "t_lower": 6763, "t_short": 4480, "total": 25876258 }, { "step": 563, "moves": 520, "u": 1720, "l": 1760, "m": 520, "t_upper": 6740, "t_lower": 6780, "t_short": 4520, "total": 25876000 }, { "step": 609, "moves": 560, "u": 1702, "l": 1738, "m": 560, "t_upper": 6762, "t_lower": 6798, "t_short": 4560, "total": 25877448 }, { "step": 664, "moves": 600, "u": 1685, "l": 1715, "m": 600, "t_upper": 6785, "t_lower": 6815, "t_short": 4600, "total": 25880450 }, { "step": 711, "moves": 640, "u": 1665, "l": 1695, "m": 640, "t_upper": 6805, "t_lower": 6835, "t_short": 4640, "total": 25885250 }, { "step": 756, "moves": 680, "u": 1645, "l": 1675, "m": 680, "t_upper": 6825, "t_lower": 6855, "t_short": 4680, "total": 25891650 }, { "step": 802, "moves": 720, "u": 1626, "l": 1654, "m": 720, "t_upper": 6846, "t_lower": 6874, "t_short": 4720, "total": 25899592 }, { "step": 853, "moves": 760, "u": 1611, "l": 1629, "m": 760, "t_upper": 6871, "t_lower": 6889, "t_short": 4760, "total": 25908962 }, { "step": 904, "moves": 800, "u": 1594, "l": 1606, "m": 800, "t_upper": 6894, "t_lower": 6906, "t_short": 4800, "total": 25920072 }, { "step": 961, "moves": 840, "u": 1569, "l": 1591, "m": 840, "t_upper": 6909, "t_lower": 6931, "t_short": 4840, "total": 25933042 }, { "step": 1018, "moves": 880, "u": 1550, "l": 1570, "m": 880, "t_upper": 6930, "t_lower": 6950, "t_short": 4880, "total": 25947400 }, { "step": 1068, "moves": 920, "u": 1529, "l": 1551, "m": 920, "t_upper": 6949, "t_lower": 6971, "t_short": 4920, "total": 25963442 }, { "step": 1123, "moves": 960, "u": 1510, "l": 1530, "m": 960, "t_upper": 6970, "t_lower": 6990, "t_short": 4960, "total": 25981000 }, { "step": 1172, "moves": 1000, "u": 1489, "l": 1511, "m": 1000, "t_upper": 6989, "t_lower": 7011, "t_short": 5000, "total": 26000242 }, { "step": 1223, "moves": 1040, "u": 1472, "l": 1488, "m": 1040, "t_upper": 7012, "t_lower": 7028, "t_short": 5040, "total": 26020928 }, { "step": 1274, "moves": 1080, "u": 1451, "l": 1469, "m": 1080, "t_upper": 7031, "t_lower": 7049, "t_short": 5080, "total": 26043362 }, { "step": 1331, "moves": 1120, "u": 1427, "l": 1453, "m": 1120, "t_upper": 7047, "t_lower": 7073, "t_short": 5120, "total": 26067538 }, { "step": 1393, "moves": 1160, "u": 1411, "l": 1429, "m": 1160, "t_upper": 7071, "t_lower": 7089, "t_short": 5160, "total": 26092962 }, { "step": 1448, "moves": 1200, "u": 1395, "l": 1405, "m": 1200, "t_upper": 7095, "t_lower": 7105, "t_short": 5200, "total": 26120050 }, { "step": 1503, "moves": 1240, "u": 1378, "l": 1382, "m": 1240, "t_upper": 7118, "t_lower": 7122, "t_short": 5240, "total": 26148808 }, { "step": 1547, "moves": 1280, "u": 1360, "l": 1360, "m": 1280, "t_upper": 7140, "t_lower": 7140, "t_short": 5280, "total": 26179200 }, { "step": 1610, "moves": 1320, "u": 1336, "l": 1344, "m": 1320, "t_upper": 7156, "t_lower": 7164, "t_short": 5320, "total": 26211232 }, { "step": 1670, "moves": 1360, "u": 1315, "l": 1325, "m": 1360, "t_upper": 7175, "t_lower": 7185, "t_short": 5360, "total": 26244850 }, { "step": 1720, "moves": 1400, "u": 1296, "l": 1304, "m": 1400, "t_upper": 7196, "t_lower": 7204, "t_short": 5400, "total": 26280032 }, { "step": 1798, "moves": 1440, "u": 1276, "l": 1284, "m": 1440, "t_upper": 7216, "t_lower": 7224, "t_short": 5440, "total": 26316832 }, { "step": 1863, "moves": 1480, "u": 1253, "l": 1267, "m": 1480, "t_upper": 7233, "t_lower": 7247, "t_short": 5480, "total": 26355298 }, { "step": 1919, "moves": 1520, "u": 1232, "l": 1248, "m": 1520, "t_upper": 7252, "t_lower": 7268, "t_short": 5520, "total": 26395328 }, { "step": 1987, "moves": 1560, "u": 1212, "l": 1228, "m": 1560, "t_upper": 7272, "t_lower": 7288, "t_short": 5560, "total": 26436928 }, { "step": 2073, "moves": 1600, "u": 1193, "l": 1207, "m": 1600, "t_upper": 7293, "t_lower": 7307, "t_short": 5600, "total": 26480098 }, { "step": 2140, "moves": 1640, "u": 1175, "l": 1185, "m": 1640, "t_upper": 7315, "t_lower": 7325, "t_short": 5640, "total": 26524850 }, { "step": 2216, "moves": 1680, "u": 1157, "l": 1163, "m": 1680, "t_upper": 7337, "t_lower": 7343, "t_short": 5680, "total": 26571218 }, { "step": 2291, "moves": 1720, "u": 1132, "l": 1148, "m": 1720, "t_upper": 7352, "t_lower": 7368, "t_short": 5720, "total": 26619328 }, { "step": 2356, "moves": 1760, "u": 1115, "l": 1125, "m": 1760, "t_upper": 7375, "t_lower": 7385, "t_short": 5760, "total": 26668850 }, { "step": 2425, "moves": 1800, "u": 1099, "l": 1101, "m": 1800, "t_upper": 7399, "t_lower": 7401, "t_short": 5800, "total": 26720002 }, { "step": 2512, "moves": 1840, "u": 1081, "l": 1079, "m": 1840, "t_upper": 7421, "t_lower": 7419, "t_short": 5840, "total": 26772802 }, { "step": 2577, "moves": 1880, "u": 1061, "l": 1059, "m": 1880, "t_upper": 7441, "t_lower": 7439, "t_short": 5880, "total": 26827202 }, { "step": 2650, "moves": 1920, "u": 1041, "l": 1039, "m": 1920, "t_upper": 7461, "t_lower": 7459, "t_short": 5920, "total": 26883202 }, { "step": 2726, "moves": 1960, "u": 1022, "l": 1018, "m": 1960, "t_upper": 7482, "t_lower": 7478, "t_short": 5960, "total": 26940808 }, { "step": 2810, "moves": 2000, "u": 998, "l": 1002, "m": 2000, "t_upper": 7498, "t_lower": 7502, "t_short": 6000, "total": 27000008 }, { "step": 2900, "moves": 2040, "u": 979, "l": 981, "m": 2040, "t_upper": 7519, "t_lower": 7521, "t_short": 6040, "total": 27060802 }, { "step": 2978, "moves": 2080, "u": 961, "l": 959, "m": 2080, "t_upper": 7541, "t_lower": 7539, "t_short": 6080, "total": 27123202 }, { "step": 3073, "moves": 2120, "u": 946, "l": 934, "m": 2120, "t_upper": 7566, "t_lower": 7554, "t_short": 6120, "total": 27187272 }, { "step": 3152, "moves": 2160, "u": 931, "l": 909, "m": 2160, "t_upper": 7591, "t_lower": 7569, "t_short": 6160, "total": 27253042 }, { "step": 3222, "moves": 2200, "u": 917, "l": 883, "m": 2200, "t_upper": 7617, "t_lower": 7583, "t_short": 6200, "total": 27320578 }, { "step": 3314, "moves": 2240, "u": 895, "l": 865, "m": 2240, "t_upper": 7635, "t_lower": 7605, "t_short": 6240, "total": 27389250 }, { "step": 3402, "moves": 2280, "u": 875, "l": 845, "m": 2280, "t_upper": 7655, "t_lower": 7625, "t_short": 6280, "total": 27459650 }, { "step": 3494, "moves": 2320, "u": 862, "l": 818, "m": 2320, "t_upper": 7682, "t_lower": 7638, "t_short": 6320, "total": 27532168 }, { "step": 3587, "moves": 2360, "u": 840, "l": 800, "m": 2360, "t_upper": 7700, "t_lower": 7660, "t_short": 6360, "total": 27605600 }, { "step": 3688, "moves": 2400, "u": 823, "l": 777, "m": 2400, "t_upper": 7723, "t_lower": 7677, "t_short": 6400, "total": 27681058 }, { "step": 3801, "moves": 2440, "u": 805, "l": 755, "m": 2440, "t_upper": 7745, "t_lower": 7695, "t_short": 6440, "total": 27758050 }, { "step": 3910, "moves": 2480, "u": 784, "l": 736, "m": 2480, "t_upper": 7764, "t_lower": 7716, "t_short": 6480, "total": 27836352 }, { "step": 4020, "moves": 2520, "u": 765, "l": 715, "m": 2520, "t_upper": 7785, "t_lower": 7735, "t_short": 6520, "total": 27916450 }, { "step": 4112, "moves": 2560, "u": 748, "l": 692, "m": 2560, "t_upper": 7808, "t_lower": 7752, "t_short": 6560, "total": 27998368 }, { "step": 4217, "moves": 2600, "u": 726, "l": 674, "m": 2600, "t_upper": 7826, "t_lower": 7774, "t_short": 6600, "total": 28081352 }, { "step": 4338, "moves": 2640, "u": 700, "l": 660, "m": 2640, "t_upper": 7840, "t_lower": 7800, "t_short": 6640, "total": 28165600 }, { "step": 4463, "moves": 2680, "u": 677, "l": 643, "m": 2680, "t_upper": 7857, "t_lower": 7823, "t_short": 6680, "total": 28251778 }, { "step": 4600, "moves": 2720, "u": 654, "l": 626, "m": 2720, "t_upper": 7874, "t_lower": 7846, "t_short": 6720, "total": 28339592 }, { "step": 4701, "moves": 2760, "u": 635, "l": 605, "m": 2760, "t_upper": 7895, "t_lower": 7865, "t_short": 6760, "total": 28429250 }, { "step": 4823, "moves": 2800, "u": 618, "l": 582, "m": 2800, "t_upper": 7918, "t_lower": 7882, "t_short": 6800, "total": 28520648 }, { "step": 4959, "moves": 2840, "u": 599, "l": 561, "m": 2840, "t_upper": 7939, "t_lower": 7901, "t_short": 6840, "total": 28613522 }, { "step": 5101, "moves": 2880, "u": 575, "l": 545, "m": 2880, "t_upper": 7955, "t_lower": 7925, "t_short": 6880, "total": 28707650 }, { "step": 5255, "moves": 2920, "u": 552, "l": 528, "m": 2920, "t_upper": 7972, "t_lower": 7948, "t_short": 6920, "total": 28803488 }, { "step": 5405, "moves": 2960, "u": 532, "l": 508, "m": 2960, "t_upper": 7992, "t_lower": 7968, "t_short": 6960, "total": 28901088 }, { "step": 5558, "moves": 3000, "u": 517, "l": 483, "m": 3000, "t_upper": 8017, "t_lower": 7983, "t_short": 7000, "total": 29000578 }, { "step": 5742, "moves": 3040, "u": 498, "l": 462, "m": 3040, "t_upper": 8038, "t_lower": 8002, "t_short": 7040, "total": 29101448 }, { "step": 5909, "moves": 3080, "u": 474, "l": 446, "m": 3080, "t_upper": 8054, "t_lower": 8026, "t_short": 7080, "total": 29203592 }, { "step": 6121, "moves": 3120, "u": 451, "l": 429, "m": 3120, "t_upper": 8071, "t_lower": 8049, "t_short": 7120, "total": 29307442 }, { "step": 6295, "moves": 3160, "u": 437, "l": 403, "m": 3160, "t_upper": 8097, "t_lower": 8063, "t_short": 7160, "total": 29413378 }, { "step": 6552, "moves": 3200, "u": 413, "l": 387, "m": 3200, "t_upper": 8113, "t_lower": 8087, "t_short": 7200, "total": 29520338 }, { "step": 6782, "moves": 3240, "u": 392, "l": 368, "m": 3240, "t_upper": 8132, "t_lower": 8108, "t_short": 7240, "total": 29629088 }, { "step": 6977, "moves": 3280, "u": 376, "l": 344, "m": 3280, "t_upper": 8156, "t_lower": 8124, "t_short": 7280, "total": 29739712 }, { "step": 7216, "moves": 3320, "u": 354, "l": 326, "m": 3320, "t_upper": 8174, "t_lower": 8146, "t_short": 7320, "total": 29851592 }, { "step": 7456, "moves": 3360, "u": 334, "l": 306, "m": 3360, "t_upper": 8194, "t_lower": 8166, "t_short": 7360, "total": 29965192 }, { "step": 7741, "moves": 3400, "u": 313, "l": 287, "m": 3400, "t_upper": 8213, "t_lower": 8187, "t_short": 7400, "total": 30080338 }, { "step": 8100, "moves": 3440, "u": 290, "l": 270, "m": 3440, "t_upper": 8230, "t_lower": 8210, "t_short": 7440, "total": 30197000 }, { "step": 8402, "moves": 3480, "u": 268, "l": 252, "m": 3480, "t_upper": 8248, "t_lower": 8232, "t_short": 7480, "total": 30315328 }, { "step": 8869, "moves": 3520, "u": 254, "l": 226, "m": 3520, "t_upper": 8274, "t_lower": 8246, "t_short": 7520, "total": 30435592 }, { "step": 9279, "moves": 3560, "u": 231, "l": 209, "m": 3560, "t_upper": 8291, "t_lower": 8269, "t_short": 7560, "total": 30557042 }, { "step": 9574, "moves": 3600, "u": 213, "l": 187, "m": 3600, "t_upper": 8313, "t_lower": 8287, "t_short": 7600, "total": 30680338 }, { "step": 9938, "moves": 3640, "u": 190, "l": 170, "m": 3640, "t_upper": 8330, "t_lower": 8310, "t_short": 7640, "total": 30805000 }, { "step": 10490, "moves": 3680, "u": 166, "l": 154, "m": 3680, "t_upper": 8346, "t_lower": 8334, "t_short": 7680, "total": 30931272 }, { "step": 11057, "moves": 3720, "u": 141, "l": 139, "m": 3720, "t_upper": 8361, "t_lower": 8359, "t_short": 7720, "total": 31059202 }, { "step": 11705, "moves": 3760, "u": 124, "l": 116, "m": 3760, "t_upper": 8384, "t_lower": 8376, "t_short": 7760, "total": 31188832 }, { "step": 12363, "moves": 3800, "u": 101, "l": 99, "m": 3800, "t_upper": 8401, "t_lower": 8399, "t_short": 7800, "total": 31320002 }, { "step": 13233, "moves": 3840, "u": 77, "l": 83, "m": 3840, "t_upper": 8417, "t_lower": 8423, "t_short": 7840, "total": 31452818 }, { "step": 14422, "moves": 3880, "u": 54, "l": 66, "m": 3880, "t_upper": 8434, "t_lower": 8446, "t_short": 7880, "total": 31587272 }, { "step": 16358, "moves": 3920, "u": 32, "l": 48, "m": 3920, "t_upper": 8452, "t_lower": 8468, "t_short": 7920, "total": 31723328 }, { "step": 18606, "moves": 3960, "u": 17, "l": 23, "m": 3960, "t_upper": 8477, "t_lower": 8483, "t_short": 7960, "total": 31860818 }, { "step": 31751, "moves": 4000, "u": 0, "l": 0, "m": 4000, "t_upper": 8500, "t_lower": 8500, "t_short": 8000, "total": 32000000 } ] }, "road_open": { "seed": 4001, "road": true, "cars": 4000, "init": [ 1972, 2028, 0 ], "final": [ 0, 0, 4000 ], "steps": 31697, "moves": 4000, "equilibrium": true, "t_upper": 8500, "t_lower": 8500, "t_short": 8000, "times_used": [ 8000 ], "total": 32000000, "first_switch": 4001, "min_total": 25875025, "min_total_at": 501, "back_to_upper": 8500, "open_after_eq": true, "pre_steps": 54, "opened_at": [ 2000, 2000, 0 ], "snaps": [ { "step": 0, "moves": 0, "u": 2000, "l": 2000, "m": 0, "t_upper": 6500, "t_lower": 6500, "t_short": 4000, "total": 26000000 }, { "step": 1, "moves": 1, "u": 1999, "l": 2000, "m": 1, "t_upper": 6500, "t_lower": 6501, "t_short": 4001, "total": 25999501 }, { "step": 2, "moves": 2, "u": 1999, "l": 1999, "m": 2, "t_upper": 6501, "t_lower": 6501, "t_short": 4002, "total": 25999002 }, { "step": 3, "moves": 3, "u": 1998, "l": 1999, "m": 3, "t_upper": 6501, "t_lower": 6502, "t_short": 4003, "total": 25998505 }, { "step": 4, "moves": 4, "u": 1997, "l": 1999, "m": 4, "t_upper": 6501, "t_lower": 6503, "t_short": 4004, "total": 25998010 }, { "step": 5, "moves": 5, "u": 1996, "l": 1999, "m": 5, "t_upper": 6501, "t_lower": 6504, "t_short": 4005, "total": 25997517 }, { "step": 6, "moves": 6, "u": 1995, "l": 1999, "m": 6, "t_upper": 6501, "t_lower": 6505, "t_short": 4006, "total": 25997026 }, { "step": 7, "moves": 7, "u": 1994, "l": 1999, "m": 7, "t_upper": 6501, "t_lower": 6506, "t_short": 4007, "total": 25996537 }, { "step": 8, "moves": 8, "u": 1993, "l": 1999, "m": 8, "t_upper": 6501, "t_lower": 6507, "t_short": 4008, "total": 25996050 }, { "step": 9, "moves": 9, "u": 1993, "l": 1998, "m": 9, "t_upper": 6502, "t_lower": 6507, "t_short": 4009, "total": 25995553 }, { "step": 10, "moves": 10, "u": 1992, "l": 1998, "m": 10, "t_upper": 6502, "t_lower": 6508, "t_short": 4010, "total": 25995068 }, { "step": 11, "moves": 11, "u": 1992, "l": 1997, "m": 11, "t_upper": 6503, "t_lower": 6508, "t_short": 4011, "total": 25994573 }, { "step": 12, "moves": 12, "u": 1991, "l": 1997, "m": 12, "t_upper": 6503, "t_lower": 6509, "t_short": 4012, "total": 25994090 }, { "step": 13, "moves": 13, "u": 1991, "l": 1996, "m": 13, "t_upper": 6504, "t_lower": 6509, "t_short": 4013, "total": 25993597 }, { "step": 14, "moves": 14, "u": 1991, "l": 1995, "m": 14, "t_upper": 6505, "t_lower": 6509, "t_short": 4014, "total": 25993106 }, { "step": 15, "moves": 15, "u": 1991, "l": 1994, "m": 15, "t_upper": 6506, "t_lower": 6509, "t_short": 4015, "total": 25992617 }, { "step": 16, "moves": 16, "u": 1990, "l": 1994, "m": 16, "t_upper": 6506, "t_lower": 6510, "t_short": 4016, "total": 25992136 }, { "step": 17, "moves": 17, "u": 1989, "l": 1994, "m": 17, "t_upper": 6506, "t_lower": 6511, "t_short": 4017, "total": 25991657 }, { "step": 18, "moves": 18, "u": 1989, "l": 1993, "m": 18, "t_upper": 6507, "t_lower": 6511, "t_short": 4018, "total": 25991170 }, { "step": 19, "moves": 19, "u": 1988, "l": 1993, "m": 19, "t_upper": 6507, "t_lower": 6512, "t_short": 4019, "total": 25990693 }, { "step": 20, "moves": 20, "u": 1988, "l": 1992, "m": 20, "t_upper": 6508, "t_lower": 6512, "t_short": 4020, "total": 25990208 }, { "step": 21, "moves": 21, "u": 1988, "l": 1991, "m": 21, "t_upper": 6509, "t_lower": 6512, "t_short": 4021, "total": 25989725 }, { "step": 22, "moves": 22, "u": 1988, "l": 1990, "m": 22, "t_upper": 6510, "t_lower": 6512, "t_short": 4022, "total": 25989244 }, { "step": 23, "moves": 23, "u": 1988, "l": 1989, "m": 23, "t_upper": 6511, "t_lower": 6512, "t_short": 4023, "total": 25988765 }, { "step": 24, "moves": 24, "u": 1987, "l": 1989, "m": 24, "t_upper": 6511, "t_lower": 6513, "t_short": 4024, "total": 25988290 }, { "step": 25, "moves": 25, "u": 1986, "l": 1989, "m": 25, "t_upper": 6511, "t_lower": 6514, "t_short": 4025, "total": 25987817 }, { "step": 26, "moves": 26, "u": 1986, "l": 1988, "m": 26, "t_upper": 6512, "t_lower": 6514, "t_short": 4026, "total": 25987340 }, { "step": 27, "moves": 27, "u": 1986, "l": 1987, "m": 27, "t_upper": 6513, "t_lower": 6514, "t_short": 4027, "total": 25986865 }, { "step": 28, "moves": 28, "u": 1986, "l": 1986, "m": 28, "t_upper": 6514, "t_lower": 6514, "t_short": 4028, "total": 25986392 }, { "step": 29, "moves": 29, "u": 1985, "l": 1986, "m": 29, "t_upper": 6514, "t_lower": 6515, "t_short": 4029, "total": 25985921 }, { "step": 30, "moves": 30, "u": 1985, "l": 1985, "m": 30, "t_upper": 6515, "t_lower": 6515, "t_short": 4030, "total": 25985450 }, { "step": 31, "moves": 31, "u": 1984, "l": 1985, "m": 31, "t_upper": 6515, "t_lower": 6516, "t_short": 4031, "total": 25984981 }, { "step": 32, "moves": 32, "u": 1983, "l": 1985, "m": 32, "t_upper": 6515, "t_lower": 6517, "t_short": 4032, "total": 25984514 }, { "step": 33, "moves": 33, "u": 1983, "l": 1984, "m": 33, "t_upper": 6516, "t_lower": 6517, "t_short": 4033, "total": 25984045 }, { "step": 34, "moves": 34, "u": 1982, "l": 1984, "m": 34, "t_upper": 6516, "t_lower": 6518, "t_short": 4034, "total": 25983580 }, { "step": 35, "moves": 35, "u": 1982, "l": 1983, "m": 35, "t_upper": 6517, "t_lower": 6518, "t_short": 4035, "total": 25983113 }, { "step": 36, "moves": 36, "u": 1981, "l": 1983, "m": 36, "t_upper": 6517, "t_lower": 6519, "t_short": 4036, "total": 25982650 }, { "step": 37, "moves": 37, "u": 1981, "l": 1982, "m": 37, "t_upper": 6518, "t_lower": 6519, "t_short": 4037, "total": 25982185 }, { "step": 38, "moves": 38, "u": 1980, "l": 1982, "m": 38, "t_upper": 6518, "t_lower": 6520, "t_short": 4038, "total": 25981724 }, { "step": 39, "moves": 39, "u": 1980, "l": 1981, "m": 39, "t_upper": 6519, "t_lower": 6520, "t_short": 4039, "total": 25981261 }, { "step": 40, "moves": 40, "u": 1980, "l": 1980, "m": 40, "t_upper": 6520, "t_lower": 6520, "t_short": 4040, "total": 25980800 }, { "step": 80, "moves": 80, "u": 1961, "l": 1959, "m": 80, "t_upper": 6541, "t_lower": 6539, "t_short": 4080, "total": 25963202 }, { "step": 123, "moves": 120, "u": 1939, "l": 1941, "m": 120, "t_upper": 6559, "t_lower": 6561, "t_short": 4120, "total": 25947202 }, { "step": 165, "moves": 160, "u": 1922, "l": 1918, "m": 160, "t_upper": 6582, "t_lower": 6578, "t_short": 4160, "total": 25932808 }, { "step": 207, "moves": 200, "u": 1901, "l": 1899, "m": 200, "t_upper": 6601, "t_lower": 6599, "t_short": 4200, "total": 25920002 }, { "step": 253, "moves": 240, "u": 1879, "l": 1881, "m": 240, "t_upper": 6619, "t_lower": 6621, "t_short": 4240, "total": 25908802 }, { "step": 296, "moves": 280, "u": 1863, "l": 1857, "m": 280, "t_upper": 6643, "t_lower": 6637, "t_short": 4280, "total": 25899218 }, { "step": 340, "moves": 320, "u": 1843, "l": 1837, "m": 320, "t_upper": 6663, "t_lower": 6657, "t_short": 4320, "total": 25891218 }, { "step": 385, "moves": 360, "u": 1825, "l": 1815, "m": 360, "t_upper": 6685, "t_lower": 6675, "t_short": 4360, "total": 25884850 }, { "step": 427, "moves": 400, "u": 1802, "l": 1798, "m": 400, "t_upper": 6702, "t_lower": 6698, "t_short": 4400, "total": 25880008 }, { "step": 473, "moves": 440, "u": 1781, "l": 1779, "m": 440, "t_upper": 6721, "t_lower": 6719, "t_short": 4440, "total": 25876802 }, { "step": 521, "moves": 480, "u": 1766, "l": 1754, "m": 480, "t_upper": 6746, "t_lower": 6734, "t_short": 4480, "total": 25875272 }, { "step": 567, "moves": 520, "u": 1747, "l": 1733, "m": 520, "t_upper": 6767, "t_lower": 6753, "t_short": 4520, "total": 25875298 }, { "step": 618, "moves": 560, "u": 1729, "l": 1711, "m": 560, "t_upper": 6789, "t_lower": 6771, "t_short": 4560, "total": 25876962 }, { "step": 664, "moves": 600, "u": 1705, "l": 1695, "m": 600, "t_upper": 6805, "t_lower": 6795, "t_short": 4600, "total": 25880050 }, { "step": 708, "moves": 640, "u": 1688, "l": 1672, "m": 640, "t_upper": 6828, "t_lower": 6812, "t_short": 4640, "total": 25884928 }, { "step": 754, "moves": 680, "u": 1670, "l": 1650, "m": 680, "t_upper": 6850, "t_lower": 6830, "t_short": 4680, "total": 25891400 }, { "step": 804, "moves": 720, "u": 1654, "l": 1626, "m": 720, "t_upper": 6874, "t_lower": 6846, "t_short": 4720, "total": 25899592 }, { "step": 857, "moves": 760, "u": 1636, "l": 1604, "m": 760, "t_upper": 6896, "t_lower": 6864, "t_short": 4760, "total": 25909312 }, { "step": 916, "moves": 800, "u": 1611, "l": 1589, "m": 800, "t_upper": 6911, "t_lower": 6889, "t_short": 4800, "total": 25920242 }, { "step": 970, "moves": 840, "u": 1592, "l": 1568, "m": 840, "t_upper": 6932, "t_lower": 6908, "t_short": 4840, "total": 25933088 }, { "step": 1018, "moves": 880, "u": 1570, "l": 1550, "m": 880, "t_upper": 6950, "t_lower": 6930, "t_short": 4880, "total": 25947400 }, { "step": 1072, "moves": 920, "u": 1551, "l": 1529, "m": 920, "t_upper": 6971, "t_lower": 6949, "t_short": 4920, "total": 25963442 }, { "step": 1123, "moves": 960, "u": 1531, "l": 1509, "m": 960, "t_upper": 6991, "t_lower": 6969, "t_short": 4960, "total": 25981042 }, { "step": 1171, "moves": 1000, "u": 1513, "l": 1487, "m": 1000, "t_upper": 7013, "t_lower": 6987, "t_short": 5000, "total": 26000338 }, { "step": 1222, "moves": 1040, "u": 1491, "l": 1469, "m": 1040, "t_upper": 7031, "t_lower": 7009, "t_short": 5040, "total": 26021042 }, { "step": 1277, "moves": 1080, "u": 1467, "l": 1453, "m": 1080, "t_upper": 7047, "t_lower": 7033, "t_short": 5080, "total": 26043298 }, { "step": 1339, "moves": 1120, "u": 1451, "l": 1429, "m": 1120, "t_upper": 7071, "t_lower": 7049, "t_short": 5120, "total": 26067442 }, { "step": 1394, "moves": 1160, "u": 1435, "l": 1405, "m": 1160, "t_upper": 7095, "t_lower": 7065, "t_short": 5160, "total": 26093250 }, { "step": 1449, "moves": 1200, "u": 1418, "l": 1382, "m": 1200, "t_upper": 7118, "t_lower": 7082, "t_short": 5200, "total": 26120648 }, { "step": 1493, "moves": 1240, "u": 1400, "l": 1360, "m": 1240, "t_upper": 7140, "t_lower": 7100, "t_short": 5240, "total": 26149600 }, { "step": 1556, "moves": 1280, "u": 1376, "l": 1344, "m": 1280, "t_upper": 7156, "t_lower": 7124, "t_short": 5280, "total": 26179712 }, { "step": 1616, "moves": 1320, "u": 1355, "l": 1325, "m": 1320, "t_upper": 7175, "t_lower": 7145, "t_short": 5320, "total": 26211650 }, { "step": 1664, "moves": 1360, "u": 1335, "l": 1305, "m": 1360, "t_upper": 7195, "t_lower": 7165, "t_short": 5360, "total": 26245250 }, { "step": 1742, "moves": 1400, "u": 1315, "l": 1285, "m": 1400, "t_upper": 7215, "t_lower": 7185, "t_short": 5400, "total": 26280450 }, { "step": 1806, "moves": 1440, "u": 1292, "l": 1268, "m": 1440, "t_upper": 7232, "t_lower": 7208, "t_short": 5440, "total": 26317088 }, { "step": 1862, "moves": 1480, "u": 1270, "l": 1250, "m": 1480, "t_upper": 7250, "t_lower": 7230, "t_short": 5480, "total": 26355400 }, { "step": 1927, "moves": 1520, "u": 1248, "l": 1232, "m": 1520, "t_upper": 7268, "t_lower": 7252, "t_short": 5520, "total": 26395328 }, { "step": 2006, "moves": 1560, "u": 1231, "l": 1209, "m": 1560, "t_upper": 7291, "t_lower": 7269, "t_short": 5560, "total": 26437042 }, { "step": 2078, "moves": 1600, "u": 1212, "l": 1188, "m": 1600, "t_upper": 7312, "t_lower": 7288, "t_short": 5600, "total": 26480288 }, { "step": 2152, "moves": 1640, "u": 1191, "l": 1169, "m": 1640, "t_upper": 7331, "t_lower": 7309, "t_short": 5640, "total": 26525042 }, { "step": 2230, "moves": 1680, "u": 1170, "l": 1150, "m": 1680, "t_upper": 7350, "t_lower": 7330, "t_short": 5680, "total": 26571400 }, { "step": 2289, "moves": 1720, "u": 1150, "l": 1130, "m": 1720, "t_upper": 7370, "t_lower": 7350, "t_short": 5720, "total": 26619400 }, { "step": 2358, "moves": 1760, "u": 1135, "l": 1105, "m": 1760, "t_upper": 7395, "t_lower": 7365, "t_short": 5760, "total": 26669250 }, { "step": 2448, "moves": 1800, "u": 1117, "l": 1083, "m": 1800, "t_upper": 7417, "t_lower": 7383, "t_short": 5800, "total": 26720578 }, { "step": 2513, "moves": 1840, "u": 1098, "l": 1062, "m": 1840, "t_upper": 7438, "t_lower": 7402, "t_short": 5840, "total": 26773448 }, { "step": 2582, "moves": 1880, "u": 1077, "l": 1043, "m": 1880, "t_upper": 7457, "t_lower": 7423, "t_short": 5880, "total": 26827778 }, { "step": 2659, "moves": 1920, "u": 1057, "l": 1023, "m": 1920, "t_upper": 7477, "t_lower": 7443, "t_short": 5920, "total": 26883778 }, { "step": 2739, "moves": 1960, "u": 1035, "l": 1005, "m": 1960, "t_upper": 7495, "t_lower": 7465, "t_short": 5960, "total": 26941250 }, { "step": 2820, "moves": 2000, "u": 1015, "l": 985, "m": 2000, "t_upper": 7515, "t_lower": 7485, "t_short": 6000, "total": 27000450 }, { "step": 2896, "moves": 2040, "u": 995, "l": 965, "m": 2040, "t_upper": 7535, "t_lower": 7505, "t_short": 6040, "total": 27061250 }, { "step": 2997, "moves": 2080, "u": 977, "l": 943, "m": 2080, "t_upper": 7557, "t_lower": 7523, "t_short": 6080, "total": 27123778 }, { "step": 3074, "moves": 2120, "u": 964, "l": 916, "m": 2120, "t_upper": 7584, "t_lower": 7536, "t_short": 6120, "total": 27188352 }, { "step": 3140, "moves": 2160, "u": 948, "l": 892, "m": 2160, "t_upper": 7608, "t_lower": 7552, "t_short": 6160, "total": 27254368 }, { "step": 3219, "moves": 2200, "u": 929, "l": 871, "m": 2200, "t_upper": 7629, "t_lower": 7571, "t_short": 6200, "total": 27321682 }, { "step": 3315, "moves": 2240, "u": 910, "l": 850, "m": 2240, "t_upper": 7650, "t_lower": 7590, "t_short": 6240, "total": 27390600 }, { "step": 3395, "moves": 2280, "u": 889, "l": 831, "m": 2280, "t_upper": 7669, "t_lower": 7611, "t_short": 6280, "total": 27460882 }, { "step": 3495, "moves": 2320, "u": 873, "l": 807, "m": 2320, "t_upper": 7693, "t_lower": 7627, "t_short": 6320, "total": 27533378 }, { "step": 3594, "moves": 2360, "u": 853, "l": 787, "m": 2360, "t_upper": 7713, "t_lower": 7647, "t_short": 6360, "total": 27606978 }, { "step": 3688, "moves": 2400, "u": 835, "l": 765, "m": 2400, "t_upper": 7735, "t_lower": 7665, "t_short": 6400, "total": 27682450 }, { "step": 3798, "moves": 2440, "u": 812, "l": 748, "m": 2440, "t_upper": 7752, "t_lower": 7688, "t_short": 6440, "total": 27758848 }, { "step": 3910, "moves": 2480, "u": 794, "l": 726, "m": 2480, "t_upper": 7774, "t_lower": 7706, "t_short": 6480, "total": 27837512 }, { "step": 4010, "moves": 2520, "u": 778, "l": 702, "m": 2520, "t_upper": 7798, "t_lower": 7722, "t_short": 6520, "total": 27918088 }, { "step": 4110, "moves": 2560, "u": 756, "l": 684, "m": 2560, "t_upper": 7816, "t_lower": 7744, "t_short": 6560, "total": 27999392 }, { "step": 4213, "moves": 2600, "u": 732, "l": 668, "m": 2600, "t_upper": 7832, "t_lower": 7768, "t_short": 6600, "total": 28082048 }, { "step": 4352, "moves": 2640, "u": 705, "l": 655, "m": 2640, "t_upper": 7845, "t_lower": 7795, "t_short": 6640, "total": 28166050 }, { "step": 4485, "moves": 2680, "u": 685, "l": 635, "m": 2680, "t_upper": 7865, "t_lower": 7815, "t_short": 6680, "total": 28252450 }, { "step": 4610, "moves": 2720, "u": 662, "l": 618, "m": 2720, "t_upper": 7882, "t_lower": 7838, "t_short": 6720, "total": 28340168 }, { "step": 4695, "moves": 2760, "u": 645, "l": 595, "m": 2760, "t_upper": 7905, "t_lower": 7855, "t_short": 6760, "total": 28430050 }, { "step": 4842, "moves": 2800, "u": 626, "l": 574, "m": 2800, "t_upper": 7926, "t_lower": 7874, "t_short": 6800, "total": 28521352 }, { "step": 4972, "moves": 2840, "u": 605, "l": 555, "m": 2840, "t_upper": 7945, "t_lower": 7895, "t_short": 6840, "total": 28614050 }, { "step": 5108, "moves": 2880, "u": 581, "l": 539, "m": 2880, "t_upper": 7961, "t_lower": 7919, "t_short": 6880, "total": 28708082 }, { "step": 5251, "moves": 2920, "u": 559, "l": 521, "m": 2920, "t_upper": 7979, "t_lower": 7941, "t_short": 6920, "total": 28803922 }, { "step": 5414, "moves": 2960, "u": 541, "l": 499, "m": 2960, "t_upper": 8001, "t_lower": 7959, "t_short": 6960, "total": 28901682 }, { "step": 5575, "moves": 3000, "u": 522, "l": 478, "m": 3000, "t_upper": 8022, "t_lower": 7978, "t_short": 7000, "total": 29000968 }, { "step": 5747, "moves": 3040, "u": 506, "l": 454, "m": 3040, "t_upper": 8046, "t_lower": 7994, "t_short": 7040, "total": 29102152 }, { "step": 5930, "moves": 3080, "u": 482, "l": 438, "m": 3080, "t_upper": 8062, "t_lower": 8018, "t_short": 7080, "total": 29204168 }, { "step": 6118, "moves": 3120, "u": 460, "l": 420, "m": 3120, "t_upper": 8080, "t_lower": 8040, "t_short": 7120, "total": 29308000 }, { "step": 6342, "moves": 3160, "u": 445, "l": 395, "m": 3160, "t_upper": 8105, "t_lower": 8055, "t_short": 7160, "total": 29414050 }, { "step": 6556, "moves": 3200, "u": 418, "l": 382, "m": 3200, "t_upper": 8118, "t_lower": 8082, "t_short": 7200, "total": 29520648 }, { "step": 6774, "moves": 3240, "u": 397, "l": 363, "m": 3240, "t_upper": 8137, "t_lower": 8103, "t_short": 7240, "total": 29629378 }, { "step": 6971, "moves": 3280, "u": 382, "l": 338, "m": 3280, "t_upper": 8162, "t_lower": 8118, "t_short": 7280, "total": 29740168 }, { "step": 7191, "moves": 3320, "u": 360, "l": 320, "m": 3320, "t_upper": 8180, "t_lower": 8140, "t_short": 7320, "total": 29852000 }, { "step": 7439, "moves": 3360, "u": 339, "l": 301, "m": 3360, "t_upper": 8199, "t_lower": 8161, "t_short": 7360, "total": 29965522 }, { "step": 7760, "moves": 3400, "u": 316, "l": 284, "m": 3400, "t_upper": 8216, "t_lower": 8184, "t_short": 7400, "total": 30080512 }, { "step": 8118, "moves": 3440, "u": 293, "l": 267, "m": 3440, "t_upper": 8233, "t_lower": 8207, "t_short": 7440, "total": 30197138 }, { "step": 8380, "moves": 3480, "u": 271, "l": 249, "m": 3480, "t_upper": 8251, "t_lower": 8229, "t_short": 7480, "total": 30315442 }, { "step": 8903, "moves": 3520, "u": 257, "l": 223, "m": 3520, "t_upper": 8277, "t_lower": 8243, "t_short": 7520, "total": 30435778 }, { "step": 9251, "moves": 3560, "u": 235, "l": 205, "m": 3560, "t_upper": 8295, "t_lower": 8265, "t_short": 7560, "total": 30557250 }, { "step": 9568, "moves": 3600, "u": 216, "l": 184, "m": 3600, "t_upper": 8316, "t_lower": 8284, "t_short": 7600, "total": 30680512 }, { "step": 9957, "moves": 3640, "u": 192, "l": 168, "m": 3640, "t_upper": 8332, "t_lower": 8308, "t_short": 7640, "total": 30805088 }, { "step": 10486, "moves": 3680, "u": 169, "l": 151, "m": 3680, "t_upper": 8349, "t_lower": 8331, "t_short": 7680, "total": 30931362 }, { "step": 11046, "moves": 3720, "u": 143, "l": 137, "m": 3720, "t_upper": 8363, "t_lower": 8357, "t_short": 7720, "total": 31059218 }, { "step": 11769, "moves": 3760, "u": 127, "l": 113, "m": 3760, "t_upper": 8387, "t_lower": 8373, "t_short": 7760, "total": 31188898 }, { "step": 12403, "moves": 3800, "u": 102, "l": 98, "m": 3800, "t_upper": 8402, "t_lower": 8398, "t_short": 7800, "total": 31320008 }, { "step": 13294, "moves": 3840, "u": 78, "l": 82, "m": 3840, "t_upper": 8418, "t_lower": 8422, "t_short": 7840, "total": 31452808 }, { "step": 14504, "moves": 3880, "u": 56, "l": 64, "m": 3880, "t_upper": 8436, "t_lower": 8444, "t_short": 7880, "total": 31587232 }, { "step": 16500, "moves": 3920, "u": 34, "l": 46, "m": 3920, "t_upper": 8454, "t_lower": 8466, "t_short": 7920, "total": 31723272 }, { "step": 18713, "moves": 3960, "u": 18, "l": 22, "m": 3960, "t_upper": 8478, "t_lower": 8482, "t_short": 7960, "total": 31860808 }, { "step": 31697, "moves": 4000, "u": 0, "l": 0, "m": 4000, "t_upper": 8500, "t_lower": 8500, "t_short": 8000, "total": 32000000 } ] }, "road_open_rule": "同じ種で、道なしの世界が均衡で止まった後に、乱数の続きで C→D を開けた回（ショートの見せ方・予想の対象外）" }, "sweep": { "cars": [ 1000, 2000, 3000, 4000, 5000, 6000, 7000, 8000, 9000, 10000 ], "seeds_first": 4001, "seeds_last": 4100, "n_per_point": 100, "by_cars": { "1000": { "cars": 1000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 50.0, "minutes_min": 50.0, "minutes_max": 50.0, "short_mean": 0.0, "theory": 50.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 20.0, "minutes_min": 20.0, "minutes_max": 20.0, "short_mean": 1000.0, "theory": 20.0 }, "diff_mean": -30.0, "road_worse": false, "road_better": true }, "2000": { "cars": 2000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 55.0, "minutes_min": 55.0, "minutes_max": 55.0, "short_mean": 0.0, "theory": 55.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 40.0, "minutes_min": 40.0, "minutes_max": 40.0, "short_mean": 2000.0, "theory": 40.0 }, "diff_mean": -15.0, "road_worse": false, "road_better": true }, "3000": { "cars": 3000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 60.0, "minutes_min": 60.0, "minutes_max": 60.0, "short_mean": 0.0, "theory": 60.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 60.0, "minutes_min": 60.0, "minutes_max": 60.0, "short_mean": 3000.0, "theory": 60.0 }, "diff_mean": 0.0, "road_worse": false, "road_better": false }, "4000": { "cars": 4000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 65.0, "minutes_min": 65.0, "minutes_max": 65.0, "short_mean": 0.0, "theory": 65.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 80.0, "minutes_min": 80.0, "minutes_max": 80.0, "short_mean": 4000.0, "theory": 80.0 }, "diff_mean": 15.0, "road_worse": true, "road_better": false }, "5000": { "cars": 5000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 70.0, "minutes_min": 70.0, "minutes_max": 70.0, "short_mean": 0.0, "theory": 70.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 89.982004, "minutes_min": 89.982004, "minutes_max": 89.982004, "short_mean": 3998.0, "theory": 90.0 }, "diff_mean": 19.982004000000003, "road_worse": true, "road_better": false }, "6000": { "cars": 6000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 75.0, "minutes_min": 75.0, "minutes_max": 75.0, "short_mean": 0.0, "theory": 75.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 89.98500333333334, "minutes_min": 89.98500333333334, "minutes_max": 89.98500333333334, "short_mean": 2998.0, "theory": 90.0 }, "diff_mean": 14.985003333333339, "road_worse": true, "road_better": false }, "7000": { "cars": 7000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 80.0, "minutes_min": 80.0, "minutes_max": 80.0, "short_mean": 0.0, "theory": 80.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 89.9871457142857, "minutes_min": 89.9871457142857, "minutes_max": 89.9871457142857, "short_mean": 1998.0, "theory": 90.0 }, "diff_mean": 9.987145714285703, "road_worse": true, "road_better": false }, "8000": { "cars": 8000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 85.0, "minutes_min": 85.0, "minutes_max": 85.0, "short_mean": 0.0, "theory": 85.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 89.98875249999999, "minutes_min": 89.98875249999999, "minutes_max": 89.98875249999999, "short_mean": 998.0, "theory": 90.0 }, "diff_mean": 4.98875249999999, "road_worse": true, "road_better": false }, "9000": { "cars": 9000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 90.0, "minutes_min": 90.0, "minutes_max": 90.0, "short_mean": 0.0, "theory": 90.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 90.0, "minutes_min": 90.0, "minutes_max": 90.0, "short_mean": 0.0, "theory": 90.0 }, "diff_mean": 0.0, "road_worse": false, "road_better": false }, "10000": { "cars": 10000, "base": { "n": 100, "equilibrium": 100, "minutes_mean": 95.0, "minutes_min": 95.0, "minutes_max": 95.0, "short_mean": 0.0, "theory": 95.0 }, "road": { "n": 100, "equilibrium": 100, "minutes_mean": 95.0, "minutes_min": 95.0, "minutes_max": 95.0, "short_mean": 0.0, "theory": 95.0 }, "diff_mean": 0.0, "road_worse": false, "road_better": false } }, "max_abs_dev": 0.01799599999999657, "worse_cars": [ 4000, 5000, 6000, 7000, 8000 ], "better_cars": [ 1000, 2000 ], "same_cars": [ 3000, 9000, 10000 ] }, "theory": { "before_minutes": 65.0, "after_minutes": 80.0, "increase_minutes": 15.0, "back_to_upper_minutes": 85.0, "first_switch_minutes_balanced": 40.01, "worse_range": [ 3000, 9000 ], "optimum": { "total": 25875000, "avg_minutes": 64.6875, "u": 1750, "l": 1750, "m": 500, "method": "m を 0〜台数まで全部、上下はその残りを半々に近い2通りで調べた（合計は u と l の差について下に凸なので半々が最小）" }, "textbook": { "before": 65, "after": 80, "source": "Easley & Kleinberg (2010) 第8章 図8.1・8.2（4,000台）" }, "method": "閉じた形（連続の流れの均衡）＝道なし 台数/200+45・道あり 台数≦4500 で 台数/50、4500〜9000 で 90、9000 以上で 台数/200+45" }, "generated_at": "2026-11-05T05:32:46+09:00", "runtime_s": 54.11 }