Hugging Face's logo

viai957
/
align

Text Generation
English
align
post-training
rlhf
sft
dpo
ppo
grpo
cispo
expert-iteration
lean4
theorem-proving
formal-verification
fsdp2
mixture-of-experts
code
Eval Results (legacy)
Model card Files
xet
 Community
align / code /bugfind /bench /ledger /baseline_sweep_proptest.jsonl
viai957's picture
viai957
Add files using upload-large-folder tool
4951e76 verified
Raw History Blame Contribute Delete
29.5 kB
{"item_id": "ker-bcrypt_split", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.4, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-bcrypt_split", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-bcrypt_split", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-bcrypt_split", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-bcrypt_split", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-bcrypt_split", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-bcrypt_split", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-bcrypt_split", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 6.8, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-bytes_reserve", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.6, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-bytes_reserve", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-claxon_rice", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.3, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-claxon_rice", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.1, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-claxon_rice", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-claxon_rice", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-claxon_rice", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.3, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-claxon_rice", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.1, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-claxon_rice", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-claxon_rice", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-ecdh_scalar", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.5, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ecdh_scalar", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ecdh_scalar", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ecdh_scalar", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ecdh_scalar", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 6.6, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-ecdh_scalar", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-ecdh_scalar", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-ecdh_scalar", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-evm_memset", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.5, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-evm_memset", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-evm_memset", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-evm_memset", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-evm_memset", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.6, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-evm_memset", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-evm_memset", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-evm_memset", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-exif_discard", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.6, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-exif_discard", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.1, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-exif_discard", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-exif_discard", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.5, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-exif_discard", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-exif_discard", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-matrix_power", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.3, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.8, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-matrix_power", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.2, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_hint", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-mldsa_norm", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-nanoid_mask", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nanoid_mask", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nanoid_mask", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-nanoid_mask", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-nanoid_mask", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.7, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nanoid_mask", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nanoid_mask", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nanoid_mask", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nostr_iv", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.9, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nostr_iv", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nostr_iv", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-nostr_iv", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.2, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-nostr_iv", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-nostr_iv", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-odoh_split", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-odoh_split", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-odoh_split", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-odoh_split", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.6, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-odoh_split", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-odoh_split", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-phone_ctx", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 7.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-phone_ctx", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-phone_ctx", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-phone_ctx", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.7, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-phone_ctx", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-phone_ctx", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.1, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-poly1305_key", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.7, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-poly1305_key", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-poly1305_key", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-poly1305_key", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.1, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-poly1305_key", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-poly1305_key", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-stack_insert", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-stack_insert", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-stack_insert", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-stack_insert", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.1, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-stack_insert", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-stack_insert", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tar_pax", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.9, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-tar_pax", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-tar_pax", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tar_pax", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tar_pax", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.7, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tar_pax", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tar_pax", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tar_pax", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tinyhttp_hdr", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.6, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-tinyhttp_hdr", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.9}
{"item_id": "ker-tinyhttp_hdr", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tinyhttp_hdr", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tinyhttp_hdr", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tinyhttp_hdr", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tinyhttp_hdr", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tinyhttp_hdr", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-toodee_drain", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-toodee_drain", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-toodee_drain", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-toodee_drain", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.5, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-toodee_drain", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-toodee_drain", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-tract_len", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 6.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-tract_len", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-tract_len", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-tract_len", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-tract_len", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 7.4, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tract_len", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-tract_len", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-tract_len", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-transpose_dims", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.6, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-transpose_dims", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-transpose_dims", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.1, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-transpose_dims", "revision": "pre", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-transpose_dims", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-transpose_dims", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-transpose_dims", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-transpose_dims", "revision": "post", "property": "p4", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-trustdns_ptr", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 6.2, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-trustdns_ptr", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-trustdns_ptr", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-trustdns_ptr", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.1, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-trustdns_ptr", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-trustdns_ptr", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.0}
{"item_id": "ker-versionize_fam", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 4.8, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-versionize_fam", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-versionize_fam", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-versionize_fam", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 5.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-versionize_fam", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-versionize_fam", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.1}
{"item_id": "ker-ring_ctr", "revision": "pre", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.2, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ring_ctr", "revision": "pre", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ring_ctr", "revision": "pre", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": true, "status": "ok", "cpu_seconds": 0.0}
{"item_id": "ker-ring_ctr", "revision": "post", "property": "p1", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.2, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-ring_ctr", "revision": "post", "property": "p2", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}
{"item_id": "ker-ring_ctr", "revision": "post", "property": "p3", "arm": "proptest", "cpu_budget": 4, "build_seconds": 0.0, "flagged": false, "status": "ok", "cpu_seconds": 4.1}