# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc a18b5cfdcbfbd47e208a92a212d2e0e1536038316107cf785b859f193dde702a # shrinks to (problem, spec, config) = (Problem { depot: Coord { lat: -50.266063437416115, lon: inf }, stops: [Stop { id: StopId(0), coord: Coord { lat: 0.0, lon: 0.0 }, demand: 59661291, time_window: None, service_time: 7.656332652862416 }, Stop { id: StopId(1), coord: Coord { lat: 933.8896615057872, lon: -783.9312046717578 }, demand: 3529901784, time_window: None, service_time: -7.747181420305238 }, Stop { id: StopId(2), coord: Coord { lat: NaN, lon: 0.0 }, demand: 4294967295, time_window: None, service_time: 4.674221149674049 }, Stop { id: StopId(3), coord: Coord { lat: 726.2200171271526, lon: -232.42919492322505 }, demand: 48962261, time_window: None, service_time: NaN }, Stop { id: StopId(4), coord: Coord { lat: -inf, lon: -162.24243374002464 }, demand: 2720950868, time_window: None, service_time: 4.456540819125777 }, Stop { id: StopId(5), coord: Coord { lat: 871.2510107938713, lon: 253.7964106502495 }, demand: 3604637120, time_window: None, service_time: -4.899616701576467 }], vehicles: [Vehicle { id: VehicleId(0), capacity: 4053153755 }], depot_window: Some(TimeWindow { start: -inf, end: 46.42557803980667 }) }, Haversine { speed: 119.12869762076033 }, SolverConfig { seed: 1546193224, objective: Objective { distance: 100.1673799737318, vehicles: 629.8688358999387, time: 967.3927447379699 }, budget: Budget { max_iterations: Some(727), max_time: None }, restarts: 1, initial_temperature: None, final_temperature: None })
cc e98fc39a5eff662e2f6938a9e7c37007fa2c7af03c484d9d9c58d2b8c0e3ad79 # shrinks to (problem, spec, config) = (Problem { depot: Coord { lat: 326.3286864564833, lon: 715.2509063738789 }, stops: [Stop { id: StopId(0), coord: Coord { lat: 0.0, lon: 0.0 }, demand: 0, time_window: None, service_time: 0.0 }, Stop { id: StopId(1), coord: Coord { lat: 0.0, lon: 0.0 }, demand: 0, time_window: Some(TimeWindow { start: -inf, end: 0.0 }), service_time: 0.0 }], vehicles: [Vehicle { id: VehicleId(0), capacity: 4294967295 }, Vehicle { id: VehicleId(1), capacity: 2646107385 }, Vehicle { id: VehicleId(2), capacity: 0 }], depot_window: Some(TimeWindow { start: NaN, end: 239.82371705729037 }) }, Haversine { speed: 30.659875989838195 }, SolverConfig { seed: 0, objective: Objective { distance: 0.0, vehicles: 0.0, time: 0.0 }, budget: Budget { max_iterations: Some(1), max_time: None }, restarts: 1, initial_temperature: None, final_temperature: None })
