{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.702765671+00:00","status":"failed","tests":17,"discards":0,"time":"308us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [-0.0, -1.4544242554425947e-185]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.704640122+00:00","status":"failed","tests":28,"discards":0,"time":"405us","error":null,"tool":"proptest","counterexample":"([[0.0, -0.0], [-0.0, -1.1359154295775487e-98]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.706156128+00:00","status":"failed","tests":14,"discards":0,"time":"213us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [-0.0, -1.1851068619179777e-232]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.707395429+00:00","status":"failed","tests":31,"discards":0,"time":"455us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [-2.1865379435738305e-308, -0.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.708925028+00:00","status":"failed","tests":22,"discards":0,"time":"317us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [-0.0, -1.4600895759472545e-272]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.710295255+00:00","status":"failed","tests":21,"discards":0,"time":"322us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [0.0, 4.152389064654162e-209]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.711605166+00:00","status":"failed","tests":44,"discards":0,"time":"698us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [0.0, -7.104821540089103e-43]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.713363252+00:00","status":"failed","tests":14,"discards":0,"time":"242us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [0.0, 6.654394713560921e-22]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.714591011+00:00","status":"failed","tests":21,"discards":0,"time":"293us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [0.0, 6.3777128447387605e-308]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.715963912+00:00","status":"failed","tests":9,"discards":0,"time":"166us","error":null,"tool":"proptest","counterexample":"([[0.0, 0.0], [0.0, 4.002489585088056e-79]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.717234300+00:00","status":"failed","tests":97,"discards":0,"time":"206us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.718508878+00:00","status":"failed","tests":96,"discards":0,"time":"131us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.719654063+00:00","status":"failed","tests":102,"discards":0,"time":"135us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.720799452+00:00","status":"failed","tests":102,"discards":0,"time":"136us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.721935531+00:00","status":"failed","tests":84,"discards":0,"time":"118us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.723093683+00:00","status":"failed","tests":184,"discards":0,"time":"217us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.724408177+00:00","status":"failed","tests":95,"discards":0,"time":"132us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.725614142+00:00","status":"failed","tests":87,"discards":0,"time":"122us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, 1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.726759974+00:00","status":"failed","tests":59,"discards":0,"time":"95us","error":null,"tool":"quickcheck","counterexample":"([0, 0, -1, 0])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.727896573+00:00","status":"failed","tests":66,"discards":0,"time":"102us","error":null,"tool":"quickcheck","counterexample":"([0, 0, 0, -1])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.729146827+00:00","status":"failed","tests":16,"discards":0,"time":"63us","error":null,"tool":"crabcheck","counterexample":"([-414, -25452, 7574, 362])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.730220248+00:00","status":"failed","tests":16,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"([-12599, 26245, -3385, 3977])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.731302971+00:00","status":"failed","tests":16,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"([31412, 15831, 20971, -27204])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.732381963+00:00","status":"failed","tests":16,"discards":0,"time":"97us","error":null,"tool":"crabcheck","counterexample":"([13411, 26959, -1641, 21249])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.733447714+00:00","status":"failed","tests":16,"discards":0,"time":"61us","error":null,"tool":"crabcheck","counterexample":"([19716, -15961, 1198, 26212])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.734536454+00:00","status":"failed","tests":16,"discards":0,"time":"62us","error":null,"tool":"crabcheck","counterexample":"([8692, -16910, 29362, 335])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.735595563+00:00","status":"failed","tests":16,"discards":0,"time":"61us","error":null,"tool":"crabcheck","counterexample":"([31057, -10394, -12503, 6758])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.736671038+00:00","status":"failed","tests":16,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"([-2287, -32333, -23106, 10037])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.737734696+00:00","status":"failed","tests":16,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"([10327, 30169, 20170, 30721])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.738805171+00:00","status":"failed","tests":16,"discards":0,"time":"69us","error":null,"tool":"crabcheck","counterexample":"([-19838, 9212, -21204, 10733])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:06.740138981+00:00","status":"failed","tests":90,"discards":0,"time":"749019us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:07.490407678+00:00","status":"failed","tests":90,"discards":0,"time":"282968us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:07.775184773+00:00","status":"failed","tests":90,"discards":0,"time":"275262us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:08.052364191+00:00","status":"failed","tests":90,"discards":0,"time":"268525us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:08.322574676+00:00","status":"failed","tests":90,"discards":0,"time":"270190us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:08.594550943+00:00","status":"failed","tests":90,"discards":0,"time":"271719us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:08.868052957+00:00","status":"failed","tests":90,"discards":0,"time":"264890us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:09.134571889+00:00","status":"failed","tests":90,"discards":0,"time":"263201us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:09.399307302+00:00","status":"failed","tests":90,"discards":0,"time":"267829us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"MinSizeOneNoPanic","mutations":["min_size_one_log_clamp_44e1bf5_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:09.668824479+00:00","status":"failed","tests":90,"discards":0,"time":"264347us","error":null,"tool":"hegel","counterexample":"([[0.0, 0.0], [0.0, 1.0]])"},"hash":"fec8a20a5225acca0452f676456ad77374a8e8fb"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:14.082952948+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6695) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:14.241024833+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6704) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:14.389293911+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6718) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:14.550328019+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6736) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:14.760788859+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6755) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:15.008434365+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6774) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:15.244263973+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6789) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:15.488552226+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6806) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:15.697994544+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6827) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:15.921884513+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known\n\nthread 'main' (6841) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.140724384+00:00","status":"passed","tests":201,"discards":0,"time":"273us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.142487398+00:00","status":"passed","tests":200,"discards":0,"time":"240us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.147355156+00:00","status":"passed","tests":202,"discards":0,"time":"235us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.149459544+00:00","status":"passed","tests":201,"discards":0,"time":"230us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.151017097+00:00","status":"passed","tests":200,"discards":0,"time":"260us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.152545617+00:00","status":"passed","tests":200,"discards":0,"time":"235us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.154067003+00:00","status":"passed","tests":201,"discards":0,"time":"263us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.155606642+00:00","status":"passed","tests":200,"discards":0,"time":"230us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.157167460+00:00","status":"passed","tests":202,"discards":0,"time":"238us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.158763865+00:00","status":"passed","tests":200,"discards":0,"time":"237us","error":null,"tool":"quickcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.160769329+00:00","status":"passed","tests":200,"discards":0,"time":"118us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.162352189+00:00","status":"passed","tests":200,"discards":0,"time":"115us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.163830404+00:00","status":"passed","tests":200,"discards":0,"time":"130us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.165404658+00:00","status":"passed","tests":200,"discards":0,"time":"112us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.166876321+00:00","status":"passed","tests":200,"discards":0,"time":"113us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.168398207+00:00","status":"passed","tests":200,"discards":0,"time":"122us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.169798969+00:00","status":"passed","tests":200,"discards":0,"time":"117us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.173253755+00:00","status":"passed","tests":200,"discards":0,"time":"119us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.174704409+00:00","status":"passed","tests":200,"discards":0,"time":"116us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.176184708+00:00","status":"passed","tests":200,"discards":0,"time":"230us","error":null,"tool":"crabcheck","counterexample":null},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.178044161+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6919) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:16.680623528+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6945) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:17.191813173+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6974) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:17.702721258+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (6997) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:18.266517125+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7021) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:18.794238544+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7041) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:19.293690119+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7060) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:19.816876965+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7083) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:20.408772567+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7110) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"BulkLoadSizeCorrect","mutations":["bulk_load_clusters_clamp_0139255a_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:20.946791906+00:00","status":"aborted","error":"Process failed with status: signal: 6 (SIGABRT) (core dumped)\nstderr: \nthread 'main' (7138) has overflowed its stack\nfatal runtime error: stack overflow, aborting\n"},"hash":"5f21a03f77fefca8f64f997ce76bbc5ea39fa012"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.152183454+00:00","status":"failed","tests":39,"discards":0,"time":"392us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.154288584+00:00","status":"failed","tests":38,"discards":0,"time":"368us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.155924732+00:00","status":"failed","tests":40,"discards":0,"time":"483us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.157691053+00:00","status":"failed","tests":37,"discards":0,"time":"356us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.159814035+00:00","status":"failed","tests":33,"discards":0,"time":"347us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.161542964+00:00","status":"failed","tests":38,"discards":0,"time":"356us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.163510388+00:00","status":"failed","tests":35,"discards":0,"time":"306us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.165187465+00:00","status":"failed","tests":41,"discards":0,"time":"352us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.166900945+00:00","status":"failed","tests":37,"discards":0,"time":"451us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"proptest","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.168761931+00:00","status":"failed","tests":39,"discards":0,"time":"347us","error":null,"tool":"proptest","counterexample":"((0, 0, 0))"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.170958110+00:00","status":"failed","tests":1,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.172387344+00:00","status":"failed","tests":1,"discards":0,"time":"60us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.173845171+00:00","status":"failed","tests":1,"discards":0,"time":"56us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.175393707+00:00","status":"failed","tests":1,"discards":0,"time":"65us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.176717466+00:00","status":"failed","tests":2,"discards":0,"time":"66us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.178079014+00:00","status":"failed","tests":1,"discards":0,"time":"76us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.179501346+00:00","status":"failed","tests":2,"discards":0,"time":"68us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.181052036+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.182403926+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"quickcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.183899244+00:00","status":"failed","tests":1,"discards":0,"time":"58us","error":null,"tool":"quickcheck","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.185959610+00:00","status":"failed","tests":1,"discards":0,"time":"60us","error":null,"tool":"crabcheck","counterexample":"(-654772656839671038 9187467494277049507 -6460067406098050821)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.187427145+00:00","status":"failed","tests":1,"discards":0,"time":"54us","error":null,"tool":"crabcheck","counterexample":"(8476128408713818713 8251631350953953232 -2601923078375381159)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.188739823+00:00","status":"failed","tests":1,"discards":0,"time":"61us","error":null,"tool":"crabcheck","counterexample":"(2669354982045784119 -4798039792715861935 4850596516214589338)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.190133792+00:00","status":"failed","tests":1,"discards":0,"time":"112us","error":null,"tool":"crabcheck","counterexample":"(6498277865272018739 -1491996072708495223 575248724764232296)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.191476816+00:00","status":"failed","tests":1,"discards":0,"time":"57us","error":null,"tool":"crabcheck","counterexample":"(-6099046912558367186 7851834366756425442 2182651371602388283)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.192816905+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"(-2844520194210761963 1735135430373981544 -7843373015386530633)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.194443466+00:00","status":"failed","tests":1,"discards":0,"time":"59us","error":null,"tool":"crabcheck","counterexample":"(7463466095370828276 -2172966479793253922 1176074555010234652)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.195775640+00:00","status":"failed","tests":1,"discards":0,"time":"56us","error":null,"tool":"crabcheck","counterexample":"(5207066446146420718 -7841992632041758272 2384425686421696668)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.197149972+00:00","status":"failed","tests":1,"discards":0,"time":"58us","error":null,"tool":"crabcheck","counterexample":"(7846199932861128259 4606577424453437016 -213672546711385374)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"crabcheck","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.198559740+00:00","status":"failed","tests":1,"discards":0,"time":"55us","error":null,"tool":"crabcheck","counterexample":"(5341797154514950582 -9175968172397315008 -4533521950047062854)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":0,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.200505514+00:00","status":"failed","tests":12,"discards":0,"time":"262660us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":1,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.465250643+00:00","status":"failed","tests":12,"discards":0,"time":"355961us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":2,"timeout":60.0,"timestamp":"2026-05-01T22:45:30.824434702+00:00","status":"failed","tests":12,"discards":0,"time":"337851us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":3,"timeout":60.0,"timestamp":"2026-05-01T22:45:31.164726514+00:00","status":"failed","tests":12,"discards":0,"time":"275136us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":4,"timeout":60.0,"timestamp":"2026-05-01T22:45:31.441922466+00:00","status":"failed","tests":12,"discards":0,"time":"276424us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":5,"timeout":60.0,"timestamp":"2026-05-01T22:45:31.720359593+00:00","status":"failed","tests":12,"discards":0,"time":"289527us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":6,"timeout":60.0,"timestamp":"2026-05-01T22:45:32.011697252+00:00","status":"failed","tests":12,"discards":0,"time":"264694us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":7,"timeout":60.0,"timestamp":"2026-05-01T22:45:32.278550531+00:00","status":"failed","tests":12,"discards":0,"time":"271619us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":8,"timeout":60.0,"timestamp":"2026-05-01T22:45:32.552216952+00:00","status":"failed","tests":12,"discards":0,"time":"321563us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}
{"data":{"experiment":"ci-run","workload":"rstar","language":"rust","strategy":"hegel","property":"EmptyTreeQueryNoPanic","mutations":["empty_tree_iter_no_overflow_4b44c03_1"],"mode":"solve","trial":9,"timeout":60.0,"timestamp":"2026-05-01T22:45:32.875563033+00:00","status":"failed","tests":12,"discards":0,"time":"352131us","error":null,"tool":"hegel","counterexample":"(0 0 0)"},"hash":"ac7f5b4a11b9668c666dc774039ef6b1c1dba0a8"}