{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.086498487+00:00","status":"failed","tests":33,"discards":0,"time":"102us","error":null,"tool":"proptest","counterexample":"([605, 2592402464, 3885302856, 3438229475, 2383058818])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.088012221+00:00","status":"failed","tests":34,"discards":0,"time":"90us","error":null,"tool":"proptest","counterexample":"([1941, 536755408, 1325207836, 2217913366, 2342615965])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.089122045+00:00","status":"failed","tests":35,"discards":0,"time":"118us","error":null,"tool":"proptest","counterexample":"([6505, 1008289649, 1991706755, 3996367338, 2428595476])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.090235904+00:00","status":"failed","tests":38,"discards":0,"time":"87us","error":null,"tool":"proptest","counterexample":"([7904, 1199123895, 2252072943, 1569907835, 2900801825])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.091358100+00:00","status":"failed","tests":37,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"([896, 2070157552, 4206955060, 3720342803, 3010481114])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.092456267+00:00","status":"failed","tests":35,"discards":0,"time":"82us","error":null,"tool":"proptest","counterexample":"([3261, 763430708, 770474123, 492024395, 218241765])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.093566864+00:00","status":"failed","tests":33,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"([4040, 3954058446, 1709828103, 3967587984, 1468467566])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.094660824+00:00","status":"failed","tests":33,"discards":0,"time":"77us","error":null,"tool":"proptest","counterexample":"([7083, 255661503, 984777513, 1125025804, 527829338])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.095782912+00:00","status":"failed","tests":39,"discards":0,"time":"97us","error":null,"tool":"proptest","counterexample":"([303, 3716059268, 742393070, 1791651089, 193414418])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.096971739+00:00","status":"failed","tests":36,"discards":0,"time":"88us","error":null,"tool":"proptest","counterexample":"([35, 3967427645, 4111719819, 732538714, 1425452607])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.098186470+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"quickcheck","counterexample":"([1374607467, 934853867, 3790885775, 1229260695, 2764772995, 3853767427, 1760520826, 2116860663])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.099237450+00:00","status":"failed","tests":2,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"([3915038063, 4294967295, 2081625344, 1813894957, 770267250, 519521734])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.100285621+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"([1846153381, 422381369, 540501970, 209453997, 1694831561, 3090871957, 4080145785, 2470741138])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.101312686+00:00","status":"failed","tests":1,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"([2195445090, 1416719407, 2130548715, 2847928969, 23551384, 2879010371, 294327215])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.102358442+00:00","status":"failed","tests":6,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"([663162161, 3500888097, 1438851021, 1814743987, 1892748781])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.103423498+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"([2004424051, 200040625, 185045459, 671437564, 4294967295, 84767516, 1046857602, 1])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.104477910+00:00","status":"failed","tests":4,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"([4294967295, 1391879369, 2067942677, 2446353288, 2011395253, 1])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.105559246+00:00","status":"failed","tests":2,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"([1122736905, 179584047, 2892570908, 950203994, 3412748617])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.106589584+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"([2906784547, 3364130213, 1, 685334369, 348365892])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.107666813+00:00","status":"failed","tests":3,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"([1602311993, 449532539, 604492788, 3300432355, 1473946774, 2324487320, 1618502745])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.108780586+00:00","status":"failed","tests":1,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"([3145658036, 3915540458, 1178807289, 2255650728, 2844429653, 678358043])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.109798303+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([13603749, 3603742902, 2329286554, 3968101107, 904271809, 3288037961, 1393830777, 2200642391])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.110873234+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([294424958, 1421229300, 3641924560, 2264949272, 3114336257, 1635334990])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.111960421+00:00","status":"failed","tests":4,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([449098641, 1672704645, 1363794517, 3204686534, 1068555158, 4076756829])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.113011369+00:00","status":"failed","tests":4,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([2881301984, 3532008388, 3244797968, 3487049704, 4256029909, 2652689876, 1074464196, 2352425484])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.114032400+00:00","status":"failed","tests":3,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([2230639588, 2219048721, 1756956504, 3832825503, 3949018214, 1184079865])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.115067469+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"([315462966, 3731739332, 3434324453, 1416472470, 684024269, 4183008524])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.116077479+00:00","status":"failed","tests":3,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([960085720, 84012937, 188451655, 674017073, 13153799, 3941242737])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.117096078+00:00","status":"failed","tests":4,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"([516029293, 800611719, 3121883709, 1961117423, 476314134, 3271485318])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.118147385+00:00","status":"failed","tests":4,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"([810367227, 3463705586, 185979309, 2827917459, 4169022700])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.119343846+00:00","status":"failed","tests":26,"discards":0,"time":"865422us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:53.986115061+00:00","status":"failed","tests":26,"discards":0,"time":"228737us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:54.216599963+00:00","status":"failed","tests":26,"discards":0,"time":"230508us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:54.448781697+00:00","status":"failed","tests":26,"discards":0,"time":"230069us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:54.680330716+00:00","status":"failed","tests":26,"discards":0,"time":"229322us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:54.911132936+00:00","status":"failed","tests":26,"discards":0,"time":"230560us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:55.143268658+00:00","status":"failed","tests":26,"discards":0,"time":"230468us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:55.375300603+00:00","status":"failed","tests":26,"discards":0,"time":"226728us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:55.603536518+00:00","status":"failed","tests":26,"discards":0,"time":"231365us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"ExtendPanicsOnOverflow","mutations":["extend_silent_truncate_a554ea2_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:55.836569211+00:00","status":"failed","tests":26,"discards":0,"time":"230483us","error":null,"tool":"hegel","counterexample":"([0, 0, 0, 0, 0])"},"hash":"35943a1b64dd36dff88ef32b1276dc5ff4b02524"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.572299120+00:00","status":"failed","tests":33,"discards":0,"time":"210us","error":null,"tool":"proptest","counterexample":"([] 3)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.573807083+00:00","status":"failed","tests":33,"discards":0,"time":"192us","error":null,"tool":"proptest","counterexample":"([] 28)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.575173771+00:00","status":"failed","tests":33,"discards":0,"time":"192us","error":null,"tool":"proptest","counterexample":"([] 1)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.576508341+00:00","status":"failed","tests":33,"discards":0,"time":"194us","error":null,"tool":"proptest","counterexample":"([] 45)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.577817737+00:00","status":"failed","tests":33,"discards":0,"time":"190us","error":null,"tool":"proptest","counterexample":"([] 45)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.579106400+00:00","status":"failed","tests":33,"discards":0,"time":"203us","error":null,"tool":"proptest","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.580323895+00:00","status":"failed","tests":33,"discards":0,"time":"189us","error":null,"tool":"proptest","counterexample":"([] 11)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.581550642+00:00","status":"failed","tests":33,"discards":0,"time":"189us","error":null,"tool":"proptest","counterexample":"([] 62)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.582775191+00:00","status":"failed","tests":33,"discards":0,"time":"184us","error":null,"tool":"proptest","counterexample":"([] 47)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"proptest","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.584076397+00:00","status":"failed","tests":32,"discards":0,"time":"198us","error":null,"tool":"proptest","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.585492401+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"([] 2447629314)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.586614534+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"quickcheck","counterexample":"([1526918240, 644588592] 2912919688)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.587689975+00:00","status":"failed","tests":1,"discards":0,"time":"35us","error":null,"tool":"quickcheck","counterexample":"([2990850004, 4088460929, 55760481, 3789654823] 1386818867)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.588776732+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"quickcheck","counterexample":"([1114029125] 2963367645)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.589875286+00:00","status":"failed","tests":1,"discards":0,"time":"43us","error":null,"tool":"quickcheck","counterexample":"([2183252476, 4181005738, 1729129265, 3058115928, 897275507, 0] 2867959447)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.591010003+00:00","status":"failed","tests":1,"discards":0,"time":"36us","error":null,"tool":"quickcheck","counterexample":"([3090750646, 4169123190, 1148010325] 817449377)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.592079904+00:00","status":"failed","tests":1,"discards":0,"time":"39us","error":null,"tool":"quickcheck","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.593146223+00:00","status":"failed","tests":1,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"([] 1237213831)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.594212177+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"quickcheck","counterexample":"([2541606297, 1, 4212428419, 4110104126, 339927933, 2928021742] 1079502904)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"quickcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.595348817+00:00","status":"failed","tests":1,"discards":0,"time":"38us","error":null,"tool":"quickcheck","counterexample":"([2333922195, 2745058697, 3984202988, 1753546251] 3283275946)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.596659515+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"([2670562921, 4125708124, 3782071069] 3361816774)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.597769596+00:00","status":"failed","tests":1,"discards":0,"time":"40us","error":null,"tool":"crabcheck","counterexample":"([2192094838, 115385331, 2581471155, 288648448, 2743496409, 3833587757] 1953962965)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.598826002+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"([1312371685] 3880119488)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.599923128+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"([299540945] 3411080932)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.601028966+00:00","status":"failed","tests":1,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"([1859529403, 3449479157, 3345670910] 1520153853)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.602079837+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"([1924103526, 3277870449, 1188545346, 2774604173] 1773308644)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.603139027+00:00","status":"failed","tests":1,"discards":0,"time":"41us","error":null,"tool":"crabcheck","counterexample":"([803808068, 1059491181, 132438842, 2043504268, 39971142, 3453509922] 3751665560)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.604188466+00:00","status":"failed","tests":1,"discards":0,"time":"108us","error":null,"tool":"crabcheck","counterexample":"([2633319395, 3772149146, 3991581532, 2103167605, 547294000, 3939585947] 3674447448)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.605265359+00:00","status":"failed","tests":1,"discards":0,"time":"44us","error":null,"tool":"crabcheck","counterexample":"([1531275604, 3943231158] 1088030226)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"crabcheck","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.606345485+00:00","status":"failed","tests":1,"discards":0,"time":"42us","error":null,"tool":"crabcheck","counterexample":"([3795470144, 3416685225, 1202543937, 643440805] 1928053057)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.607696959+00:00","status":"failed","tests":12,"discards":0,"time":"186192us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.795159944+00:00","status":"failed","tests":12,"discards":0,"time":"188479us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T04:57:58.985115053+00:00","status":"failed","tests":12,"discards":0,"time":"195422us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T04:57:59.182017729+00:00","status":"failed","tests":12,"discards":0,"time":"186159us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T04:57:59.369652641+00:00","status":"failed","tests":12,"discards":0,"time":"186083us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T04:57:59.557168146+00:00","status":"failed","tests":12,"discards":0,"time":"186572us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T04:57:59.745250141+00:00","status":"failed","tests":12,"discards":0,"time":"186049us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T04:57:59.932757931+00:00","status":"failed","tests":12,"discards":0,"time":"190341us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T04:58:00.124598234+00:00","status":"failed","tests":12,"discards":0,"time":"189144us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}
{"data":{"experiment":"ci-run","workload":"arrayvec","language":"rust","strategy":"hegel","property":"InsertAtLengthSucceeds","mutations":["insert_bound_off_by_one_2a1378d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T04:58:00.315239852+00:00","status":"failed","tests":12,"discards":0,"time":"186456us","error":null,"tool":"hegel","counterexample":"([] 0)"},"hash":"14a4677c3d08f8eb445d89fcaef88f281ada86ca"}