{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.486978006+00:00","status":"failed","tests":34,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.488244279+00:00","status":"failed","tests":57,"discards":0,"time":"81us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.489261076+00:00","status":"failed","tests":36,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.490168591+00:00","status":"failed","tests":58,"discards":0,"time":"83us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.491060283+00:00","status":"failed","tests":42,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.491940008+00:00","status":"failed","tests":52,"discards":0,"time":"76us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.492813944+00:00","status":"failed","tests":45,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.493745044+00:00","status":"failed","tests":37,"discards":0,"time":"58us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.494609737+00:00","status":"failed","tests":38,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.495544472+00:00","status":"failed","tests":41,"discards":0,"time":"75us","error":null,"tool":"proptest","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.496509713+00:00","status":"failed","tests":90,"discards":0,"time":"46us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.497439871+00:00","status":"failed","tests":95,"discards":0,"time":"50us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.498292035+00:00","status":"failed","tests":98,"discards":0,"time":"50us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.499254512+00:00","status":"failed","tests":115,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.500141447+00:00","status":"failed","tests":96,"discards":0,"time":"48us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.501029043+00:00","status":"failed","tests":66,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.501919043+00:00","status":"failed","tests":114,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.502782603+00:00","status":"failed","tests":76,"discards":0,"time":"33us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.503621749+00:00","status":"failed","tests":38,"discards":0,"time":"26us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.504510766+00:00","status":"failed","tests":109,"discards":0,"time":"53us","error":null,"tool":"quickcheck","counterexample":"(4294967295 0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.505498300+00:00","status":"failed","tests":2,"discards":0,"time":"33us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 339959002)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.506389241+00:00","status":"failed","tests":23,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 4037544831)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.507244129+00:00","status":"failed","tests":3,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 3554317621)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.508069133+00:00","status":"failed","tests":18,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 1213017836)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.508908088+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 2399839787)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.509759200+00:00","status":"failed","tests":8,"discards":0,"time":"24us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 298111405)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.510623822+00:00","status":"failed","tests":12,"discards":0,"time":"30us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 3014872104)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.511600369+00:00","status":"failed","tests":3,"discards":0,"time":"37us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 1897021368)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.512451843+00:00","status":"failed","tests":22,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 2409602164)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.513278429+00:00","status":"failed","tests":7,"discards":0,"time":"35us","error":null,"tool":"crabcheck","counterexample":"(KdIdx(4294967295) 2658200907)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:37.514278701+00:00","status":"failed","tests":12,"discards":0,"time":"752926us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:38.268293004+00:00","status":"failed","tests":12,"discards":0,"time":"151459us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:38.421220005+00:00","status":"failed","tests":12,"discards":0,"time":"150313us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:38.572910667+00:00","status":"failed","tests":12,"discards":0,"time":"150806us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:38.725114245+00:00","status":"failed","tests":12,"discards":0,"time":"154034us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:38.880751105+00:00","status":"failed","tests":12,"discards":0,"time":"153386us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:39.035733041+00:00","status":"failed","tests":12,"discards":0,"time":"149929us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:39.187116472+00:00","status":"failed","tests":12,"discards":0,"time":"153566us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:39.342277567+00:00","status":"failed","tests":12,"discards":0,"time":"150183us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"KeyDataDebugFormat","mutations":["kd_debug_null_format_226c22a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:39.493907420+00:00","status":"failed","tests":12,"discards":0,"time":"154107us","error":null,"tool":"hegel","counterexample":"(idx=4294967295 version_seed=0)"},"hash":"5b80e59134efd37c1c99ea5247a524f9fa639261"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.590504958+00:00","status":"failed","tests":33,"discards":0,"time":"72us","error":null,"tool":"proptest","counterexample":"(value=3379463294)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.591743590+00:00","status":"failed","tests":33,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(value=2677537735)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.592822537+00:00","status":"failed","tests":33,"discards":0,"time":"65us","error":null,"tool":"proptest","counterexample":"(value=2987730156)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.593848046+00:00","status":"failed","tests":33,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(value=901915839)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.594759877+00:00","status":"failed","tests":33,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(value=3043625754)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.595648385+00:00","status":"failed","tests":33,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(value=2179866913)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.596574307+00:00","status":"failed","tests":33,"discards":0,"time":"84us","error":null,"tool":"proptest","counterexample":"(value=1681407780)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.597468363+00:00","status":"failed","tests":33,"discards":0,"time":"66us","error":null,"tool":"proptest","counterexample":"(value=4087364989)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.598395737+00:00","status":"failed","tests":33,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"(value=2218722542)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.599272863+00:00","status":"failed","tests":33,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"(value=2015539038)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.600404753+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.601329573+00:00","status":"failed","tests":2,"discards":0,"time":"17us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.602172198+00:00","status":"failed","tests":2,"discards":0,"time":"22us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.603079598+00:00","status":"failed","tests":2,"discards":0,"time":"29us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.603942002+00:00","status":"failed","tests":2,"discards":0,"time":"14us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.604861309+00:00","status":"failed","tests":2,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.605721680+00:00","status":"failed","tests":2,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.606582802+00:00","status":"failed","tests":2,"discards":0,"time":"25us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.607433499+00:00","status":"failed","tests":2,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.608318446+00:00","status":"failed","tests":2,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.609385471+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(17748108547057006207)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.610262336+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"crabcheck","counterexample":"(2168155268119606091)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.611140448+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(16215694758530886584)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.611987473+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(15915454588917116042)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.612884734+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"(5620511593316345205)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.613717248+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"crabcheck","counterexample":"(9979787890138832961)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.614585406+00:00","status":"failed","tests":1,"discards":0,"time":"70us","error":null,"tool":"crabcheck","counterexample":"(13129528185651667474)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.615440373+00:00","status":"failed","tests":1,"discards":0,"time":"15us","error":null,"tool":"crabcheck","counterexample":"(11761950283611080647)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.616293299+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(16600906837292018109)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.617108978+00:00","status":"failed","tests":1,"discards":0,"time":"18us","error":null,"tool":"crabcheck","counterexample":"(14305499836391763301)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.618227945+00:00","status":"failed","tests":12,"discards":0,"time":"132574us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.751819189+00:00","status":"failed","tests":12,"discards":0,"time":"134135us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:41.887422353+00:00","status":"failed","tests":12,"discards":0,"time":"133536us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.022275909+00:00","status":"failed","tests":12,"discards":0,"time":"136187us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.160078053+00:00","status":"failed","tests":12,"discards":0,"time":"132277us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.293703664+00:00","status":"failed","tests":12,"discards":0,"time":"136643us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.431630291+00:00","status":"failed","tests":12,"discards":0,"time":"135016us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.568005902+00:00","status":"failed","tests":12,"discards":0,"time":"132401us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.701692636+00:00","status":"failed","tests":12,"discards":0,"time":"136129us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SparseSecondaryNullInsertIgnored","mutations":["sparse_secondary_null_insert_guard_2d49bbd_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:42.839152752+00:00","status":"failed","tests":12,"discards":0,"time":"141234us","error":null,"tool":"hegel","counterexample":"(value=0)"},"hash":"a0f81216fb5b1b7b01d96a7495b89ca0dc106f18"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.913981554+00:00","status":"failed","tests":33,"discards":0,"time":"78us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=1316730527)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.915198734+00:00","status":"failed","tests":33,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=3454120820)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.916109924+00:00","status":"failed","tests":33,"discards":0,"time":"57us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=2418506549)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.917048421+00:00","status":"failed","tests":33,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=486306282)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.917975900+00:00","status":"failed","tests":33,"discards":0,"time":"69us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=1155573061)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.918864863+00:00","status":"failed","tests":33,"discards":0,"time":"68us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=692732046)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.919772102+00:00","status":"failed","tests":33,"discards":0,"time":"60us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=3820123667)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.920663619+00:00","status":"failed","tests":33,"discards":0,"time":"64us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=2358313928)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.921596246+00:00","status":"failed","tests":33,"discards":0,"time":"59us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=297218963)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.922472280+00:00","status":"failed","tests":33,"discards":0,"time":"63us","error":null,"tool":"proptest","counterexample":"(first_value=0 second_value=683453603)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.923735373+00:00","status":"failed","tests":3,"discards":0,"time":"21us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.924638037+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.925474712+00:00","status":"failed","tests":3,"discards":0,"time":"14us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.926303207+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.927107595+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.927999142+00:00","status":"failed","tests":3,"discards":0,"time":"20us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.928829458+00:00","status":"failed","tests":3,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.929715717+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.930532504+00:00","status":"failed","tests":2,"discards":0,"time":"14us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.931428077+00:00","status":"failed","tests":3,"discards":0,"time":"13us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.932635638+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(151693011 1544200791)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.933457212+00:00","status":"failed","tests":1,"discards":0,"time":"14us","error":null,"tool":"crabcheck","counterexample":"(3603546903 2357309396)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.934331793+00:00","status":"failed","tests":1,"discards":0,"time":"22us","error":null,"tool":"crabcheck","counterexample":"(506484706 484471084)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.935144724+00:00","status":"failed","tests":1,"discards":0,"time":"16us","error":null,"tool":"crabcheck","counterexample":"(331555559 3719189069)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.936013457+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(903636914 3026752657)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.936849983+00:00","status":"failed","tests":1,"discards":0,"time":"14us","error":null,"tool":"crabcheck","counterexample":"(4067646015 275017342)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.937669524+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(3363187065 2854946136)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.938499911+00:00","status":"failed","tests":1,"discards":0,"time":"14us","error":null,"tool":"crabcheck","counterexample":"(3429533037 1101122470)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.939400120+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(1575321870 1248371244)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.940222265+00:00","status":"failed","tests":1,"discards":0,"time":"13us","error":null,"tool":"crabcheck","counterexample":"(2057145355 1490111903)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:44.941449164+00:00","status":"failed","tests":12,"discards":0,"time":"150403us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.092912022+00:00","status":"failed","tests":12,"discards":0,"time":"148263us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.242594180+00:00","status":"failed","tests":12,"discards":0,"time":"146125us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.390133635+00:00","status":"failed","tests":12,"discards":0,"time":"146391us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.537975405+00:00","status":"failed","tests":12,"discards":0,"time":"151052us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.690382206+00:00","status":"failed","tests":12,"discards":0,"time":"145307us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.837072332+00:00","status":"failed","tests":12,"discards":0,"time":"151191us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:45.989788148+00:00","status":"failed","tests":12,"discards":0,"time":"155380us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:46.146599504+00:00","status":"failed","tests":12,"discards":0,"time":"150847us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SecondaryEntryDoesNotDoubleCount","mutations":["vacant_entry_insert_no_double_count_bd32b7d_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:46.298836851+00:00","status":"failed","tests":12,"discards":0,"time":"145783us","error":null,"tool":"hegel","counterexample":"(first_value=0 second_value=0)"},"hash":"94085b380c097f06a3939d8dfaf47fb8f8291167"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.408343411+00:00","status":"failed","tests":17,"discards":0,"time":"74us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.409575614+00:00","status":"failed","tests":17,"discards":0,"time":"61us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.410621128+00:00","status":"failed","tests":14,"discards":0,"time":"56us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.411619321+00:00","status":"failed","tests":13,"discards":0,"time":"62us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.412502326+00:00","status":"failed","tests":16,"discards":0,"time":"51us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.413408874+00:00","status":"failed","tests":17,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.414284428+00:00","status":"failed","tests":16,"discards":0,"time":"51us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.415136686+00:00","status":"failed","tests":17,"discards":0,"time":"55us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.416047682+00:00","status":"failed","tests":12,"discards":0,"time":"54us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"proptest","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.416912659+00:00","status":"failed","tests":17,"discards":0,"time":"52us","error":null,"tool":"proptest","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.418323109+00:00","status":"failed","tests":3,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.419139305+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.419984744+00:00","status":"failed","tests":3,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.420835095+00:00","status":"failed","tests":3,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.421688365+00:00","status":"failed","tests":3,"discards":0,"time":"15us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.422600297+00:00","status":"failed","tests":3,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.423469025+00:00","status":"failed","tests":3,"discards":0,"time":"18us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.424311645+00:00","status":"failed","tests":3,"discards":0,"time":"16us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.425138962+00:00","status":"failed","tests":3,"discards":0,"time":"23us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"quickcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.426034450+00:00","status":"failed","tests":3,"discards":0,"time":"19us","error":null,"tool":"quickcheck","counterexample":"(0 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.427440808+00:00","status":"failed","tests":1,"discards":0,"time":"28us","error":null,"tool":"crabcheck","counterexample":"(43 182)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.428329096+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(80 101)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.429153188+00:00","status":"failed","tests":1,"discards":0,"time":"19us","error":null,"tool":"crabcheck","counterexample":"(99 129)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.429989258+00:00","status":"failed","tests":1,"discards":0,"time":"26us","error":null,"tool":"crabcheck","counterexample":"(4 202)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.430883523+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(58 85)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.431722829+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(186 3)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.432555914+00:00","status":"failed","tests":1,"discards":0,"time":"17us","error":null,"tool":"crabcheck","counterexample":"(28 231)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.433446024+00:00","status":"failed","tests":1,"discards":0,"time":"23us","error":null,"tool":"crabcheck","counterexample":"(10 214)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.434279796+00:00","status":"failed","tests":1,"discards":0,"time":"20us","error":null,"tool":"crabcheck","counterexample":"(247 56)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"crabcheck","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.435145564+00:00","status":"failed","tests":1,"discards":0,"time":"29us","error":null,"tool":"crabcheck","counterexample":"(11 0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.436479562+00:00","status":"failed","tests":12,"discards":0,"time":"146642us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.584241140+00:00","status":"failed","tests":12,"discards":0,"time":"148291us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.733902282+00:00","status":"failed","tests":12,"discards":0,"time":"152202us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-04-30T19:41:48.887518593+00:00","status":"failed","tests":12,"discards":0,"time":"151448us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-04-30T19:41:49.040408040+00:00","status":"failed","tests":12,"discards":0,"time":"155298us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-04-30T19:41:49.197090403+00:00","status":"failed","tests":12,"discards":0,"time":"151825us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-04-30T19:41:49.350501912+00:00","status":"failed","tests":12,"discards":0,"time":"152335us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-04-30T19:41:49.504236383+00:00","status":"failed","tests":12,"discards":0,"time":"154066us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-04-30T19:41:49.659667144+00:00","status":"failed","tests":12,"discards":0,"time":"155367us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}
{"data":{"experiment":"ci-run","workload":"slotmap","language":"rust","strategy":"hegel","property":"SlotmapCloneFromDropsOverwrittenSlot","mutations":["slot_clone_from_drops_occupied_5c3fb22_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-04-30T19:41:49.816585173+00:00","status":"failed","tests":12,"discards":0,"time":"156988us","error":null,"tool":"hegel","counterexample":"(n_raw=0 remove_raw=0)"},"hash":"f4f014c678d70b632551c9e3c97e22dff3f170dd"}