{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.186117944+00:00","status":"passed","tests":256,"discards":0,"time":"140us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.187726802+00:00","status":"passed","tests":256,"discards":0,"time":"125us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.189012329+00:00","status":"passed","tests":256,"discards":0,"time":"130us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.190270590+00:00","status":"passed","tests":256,"discards":0,"time":"126us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.191543643+00:00","status":"passed","tests":256,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.192788950+00:00","status":"passed","tests":256,"discards":0,"time":"126us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.194090797+00:00","status":"passed","tests":256,"discards":0,"time":"124us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.195318861+00:00","status":"passed","tests":256,"discards":0,"time":"125us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.196609623+00:00","status":"passed","tests":256,"discards":0,"time":"156us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.197898087+00:00","status":"passed","tests":256,"discards":0,"time":"123us","error":null,"tool":"proptest","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.199305505+00:00","status":"passed","tests":200,"discards":0,"time":"78us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.200557791+00:00","status":"passed","tests":200,"discards":0,"time":"76us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.201812453+00:00","status":"passed","tests":200,"discards":0,"time":"73us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.203061745+00:00","status":"passed","tests":200,"discards":0,"time":"77us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.204382312+00:00","status":"passed","tests":200,"discards":0,"time":"75us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.205621522+00:00","status":"passed","tests":200,"discards":0,"time":"103us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.206816455+00:00","status":"passed","tests":200,"discards":0,"time":"77us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.208022833+00:00","status":"passed","tests":200,"discards":0,"time":"77us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.209203048+00:00","status":"passed","tests":200,"discards":0,"time":"74us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.210389760+00:00","status":"passed","tests":200,"discards":0,"time":"75us","error":null,"tool":"quickcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.211721589+00:00","status":"passed","tests":1000,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.212896899+00:00","status":"passed","tests":1000,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.214086461+00:00","status":"passed","tests":1000,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.215273624+00:00","status":"passed","tests":1000,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.216423212+00:00","status":"passed","tests":1000,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.217618058+00:00","status":"passed","tests":1000,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.218792403+00:00","status":"passed","tests":1000,"discards":0,"time":"53us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.219932417+00:00","status":"passed","tests":1000,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.221097724+00:00","status":"passed","tests":1000,"discards":0,"time":"52us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.222258287+00:00","status":"passed","tests":1000,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:00:56.223715290+00:00","status":"passed","tests":200,"discards":0,"time":"973693us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:00:57.198823153+00:00","status":"passed","tests":200,"discards":0,"time":"277883us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:00:57.478655828+00:00","status":"passed","tests":200,"discards":0,"time":"278343us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:00:57.758887785+00:00","status":"passed","tests":200,"discards":0,"time":"285866us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:00:58.046515263+00:00","status":"passed","tests":200,"discards":0,"time":"280002us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:00:58.328206979+00:00","status":"passed","tests":200,"discards":0,"time":"284477us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:00:58.614417454+00:00","status":"passed","tests":200,"discards":0,"time":"286870us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:00:58.903186310+00:00","status":"passed","tests":200,"discards":0,"time":"288681us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:00:59.193831958+00:00","status":"passed","tests":200,"discards":0,"time":"275798us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"FromNumDaysFromCeNoPanic","mutations":["from_num_days_from_ce_overflow_f659719_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:00:59.471371573+00:00","status":"passed","tests":200,"discards":0,"time":"285769us","error":null,"tool":"hegel","counterexample":null},"hash":"d491f61c4137aea420bccfd10eb9d8eb7a9cb046"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.547257478+00:00","status":"passed","tests":256,"discards":0,"time":"2690us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.551303857+00:00","status":"passed","tests":256,"discards":0,"time":"2647us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.555144348+00:00","status":"passed","tests":256,"discards":0,"time":"2714us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.559029025+00:00","status":"passed","tests":256,"discards":0,"time":"2713us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.562904632+00:00","status":"passed","tests":256,"discards":0,"time":"2722us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.566772828+00:00","status":"passed","tests":256,"discards":0,"time":"2685us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.570667140+00:00","status":"passed","tests":256,"discards":0,"time":"2667us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.574438194+00:00","status":"passed","tests":256,"discards":0,"time":"2703us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.578261082+00:00","status":"passed","tests":256,"discards":0,"time":"2680us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.582060720+00:00","status":"passed","tests":256,"discards":0,"time":"2708us","error":null,"tool":"proptest","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.586300918+00:00","status":"passed","tests":200,"discards":0,"time":"148us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.587586575+00:00","status":"passed","tests":200,"discards":0,"time":"200us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.588880884+00:00","status":"passed","tests":200,"discards":0,"time":"147us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.590133438+00:00","status":"passed","tests":200,"discards":0,"time":"143us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.591403091+00:00","status":"passed","tests":200,"discards":0,"time":"149us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.592740374+00:00","status":"passed","tests":200,"discards":0,"time":"142us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.593980331+00:00","status":"passed","tests":200,"discards":0,"time":"152us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.595339114+00:00","status":"passed","tests":200,"discards":0,"time":"154us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.596609688+00:00","status":"passed","tests":200,"discards":0,"time":"187us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.597873103+00:00","status":"passed","tests":200,"discards":0,"time":"147us","error":null,"tool":"quickcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.599452060+00:00","status":"passed","tests":1000,"discards":0,"time":"296us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.600983565+00:00","status":"passed","tests":1000,"discards":0,"time":"265us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.602450287+00:00","status":"passed","tests":1000,"discards":0,"time":"288us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.603879201+00:00","status":"passed","tests":1000,"discards":0,"time":"261us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.605287353+00:00","status":"passed","tests":1000,"discards":0,"time":"266us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.606755220+00:00","status":"passed","tests":1000,"discards":0,"time":"269us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.608176336+00:00","status":"passed","tests":1000,"discards":0,"time":"264us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.609607648+00:00","status":"passed","tests":1000,"discards":0,"time":"322us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.611048163+00:00","status":"passed","tests":1000,"discards":0,"time":"260us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.612425558+00:00","status":"passed","tests":1000,"discards":0,"time":"289us","error":null,"tool":"crabcheck","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:03.614216539+00:00","status":"passed","tests":200,"discards":0,"time":"417021us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:04.032626226+00:00","status":"passed","tests":200,"discards":0,"time":"301237us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:04.335789884+00:00","status":"passed","tests":200,"discards":0,"time":"300882us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:04.638438750+00:00","status":"passed","tests":200,"discards":0,"time":"302611us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:04.942902314+00:00","status":"passed","tests":200,"discards":0,"time":"297855us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:05.242776249+00:00","status":"passed","tests":200,"discards":0,"time":"302922us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:05.547726774+00:00","status":"passed","tests":200,"discards":0,"time":"306865us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:05.856257320+00:00","status":"passed","tests":200,"discards":0,"time":"305912us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:06.163902535+00:00","status":"passed","tests":200,"discards":0,"time":"302995us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"ParseRfc3339NoPanic","mutations":["parse_rfc3339_utc_str_slicing_5a6b2b4_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:06.468852625+00:00","status":"passed","tests":200,"discards":0,"time":"305640us","error":null,"tool":"hegel","counterexample":null},"hash":"c76646dc511d86c313243883328282bfcd7cd11c"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.536187631+00:00","status":"failed","tests":64,"discards":0,"time":"323us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.537846341+00:00","status":"failed","tests":64,"discards":0,"time":"264us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.539266920+00:00","status":"failed","tests":63,"discards":0,"time":"288us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.540737729+00:00","status":"failed","tests":59,"discards":0,"time":"260us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.542161654+00:00","status":"failed","tests":64,"discards":0,"time":"290us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.543673887+00:00","status":"failed","tests":64,"discards":0,"time":"272us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.545123603+00:00","status":"failed","tests":61,"discards":0,"time":"280us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.546562720+00:00","status":"failed","tests":64,"discards":0,"time":"300us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.547995863+00:00","status":"failed","tests":64,"discards":0,"time":"269us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.549397221+00:00","status":"failed","tests":64,"discards":0,"time":"300us","error":null,"tool":"proptest","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.551175049+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.552337771+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.553557795+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.554723322+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.555919101+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.557060483+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.558264708+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.559411861+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.560628597+00:00","status":"failed","tests":1,"discards":0,"time":"65us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.561808348+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.563339296+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(1752613703570140194)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.564532382+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(8799862121151821238)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.565692407+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(8778817549706051212)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.566894800+00:00","status":"failed","tests":1,"discards":0,"time":"49us","error":null,"tool":"crabcheck","counterexample":"(1145689414304519273)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.568078830+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(3739187135195146716)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.569289810+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"(7659879345679272624)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.570429547+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"crabcheck","counterexample":"(452978939461186591)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.571652929+00:00","status":"failed","tests":1,"discards":0,"time":"73us","error":null,"tool":"crabcheck","counterexample":"(-4699727436139002528)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.572808857+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"(-9077302142333464531)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.574016430+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"(3907272899964545889)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.575593685+00:00","status":"failed","tests":12,"discards":0,"time":"160605us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.737551062+00:00","status":"failed","tests":12,"discards":0,"time":"162169us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:10.901287348+00:00","status":"failed","tests":12,"discards":0,"time":"160305us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:11.063179692+00:00","status":"failed","tests":12,"discards":0,"time":"159164us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:11.223973315+00:00","status":"failed","tests":12,"discards":0,"time":"160254us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:11.385825327+00:00","status":"failed","tests":12,"discards":0,"time":"161856us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:11.549259987+00:00","status":"failed","tests":12,"discards":0,"time":"163193us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:11.714026297+00:00","status":"failed","tests":12,"discards":0,"time":"161593us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:11.877181151+00:00","status":"failed","tests":12,"discards":0,"time":"162517us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"DurationRoundZeroNoPanic","mutations":["duration_round_zero_panic_9a5f76c_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:12.041388397+00:00","status":"failed","tests":12,"discards":0,"time":"159876us","error":null,"tool":"hegel","counterexample":"(0)"},"hash":"b97b510339df2b7068b1455d5a205f6211831013"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.925206190+00:00","status":"failed","tests":13,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"(48)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.926742373+00:00","status":"failed","tests":11,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"(104)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.927972812+00:00","status":"failed","tests":12,"discards":0,"time":"67us","error":null,"tool":"proptest","counterexample":"(34)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.929229093+00:00","status":"failed","tests":19,"discards":0,"time":"70us","error":null,"tool":"proptest","counterexample":"(6)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.930431150+00:00","status":"failed","tests":11,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(34)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.931670770+00:00","status":"failed","tests":11,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(6)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.932889979+00:00","status":"failed","tests":8,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"(104)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.934091708+00:00","status":"failed","tests":12,"discards":0,"time":"71us","error":null,"tool":"proptest","counterexample":"(6)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.935308051+00:00","status":"failed","tests":11,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"(55)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"proptest","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.936540478+00:00","status":"failed","tests":23,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"(104)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.938193898+00:00","status":"failed","tests":11,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(90)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.939364539+00:00","status":"failed","tests":11,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(146)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.940620963+00:00","status":"failed","tests":11,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(69)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.941753027+00:00","status":"failed","tests":4,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(6)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.942906337+00:00","status":"failed","tests":15,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(209)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.944066884+00:00","status":"failed","tests":36,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(104)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.945255370+00:00","status":"failed","tests":17,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(139)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.946392513+00:00","status":"failed","tests":33,"discards":0,"time":"32us","error":null,"tool":"quickcheck","counterexample":"(139)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.947629260+00:00","status":"failed","tests":11,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(146)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"quickcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.948760131+00:00","status":"failed","tests":13,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(83)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.950403238+00:00","status":"failed","tests":10,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(118)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.951610462+00:00","status":"failed","tests":18,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(27)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.952776266+00:00","status":"failed","tests":4,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(209)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.953898882+00:00","status":"failed","tests":7,"discards":0,"time":"21us","error":null,"tool":"crabcheck","counterexample":"(160)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.955108137+00:00","status":"failed","tests":6,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(83)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.956220444+00:00","status":"failed","tests":48,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(195)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.957384054+00:00","status":"failed","tests":3,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(153)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.958575101+00:00","status":"failed","tests":3,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":"(251)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.959700899+00:00","status":"failed","tests":13,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(181)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"crabcheck","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.960838234+00:00","status":"failed","tests":10,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(160)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T03:01:15.962615309+00:00","status":"failed","tests":21,"discards":0,"time":"165109us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.129009395+00:00","status":"failed","tests":21,"discards":0,"time":"165529us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.296080658+00:00","status":"failed","tests":21,"discards":0,"time":"165869us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.463597695+00:00","status":"failed","tests":21,"discards":0,"time":"165220us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.630577980+00:00","status":"failed","tests":21,"discards":0,"time":"163301us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.795397397+00:00","status":"failed","tests":21,"discards":0,"time":"163855us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T03:01:16.960812278+00:00","status":"failed","tests":21,"discards":0,"time":"171366us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T03:01:17.133772395+00:00","status":"failed","tests":21,"discards":0,"time":"163270us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T03:01:17.298639429+00:00","status":"failed","tests":21,"discards":0,"time":"164355us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}
{"data":{"experiment":"ci-run","workload":"chrono","language":"rust","strategy":"hegel","property":"LongWeekdayParsesFullName","mutations":["weekday_long_sunday_33516cc_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T03:01:17.464553185+00:00","status":"failed","tests":21,"discards":0,"time":"168049us","error":null,"tool":"hegel","counterexample":"(244)"},"hash":"23190a8cefd67b7ee7b3b00ea0ac2703a728508a"}