{"status":"PASS","protected_unchanged":14046,"read_sources_unchanged":33,"confirmed_executions":23279,"ten_runs":true,"temporal_snippets":[{"run":"odkcollect-Rep2","first":1899,"last":1902,"ids":["g11e101:1899","g11e140:1900","g11e102:1901","g11e119:1902"],"continuous":true},{"run":"omninotes-Rep1","first":1004,"last":1022,"ids":["g14e546:1004","g14e571:1005","g14e572:1006","g14e573:1007","g14e571:1008","g15e574:1009","g15e575:1010","g15e576:1011","g15e575:1012","g15e577:1013","g15e575:1014","g15e578:1015","g15e575:1016","g15e579:1017","g15e575:1018","g15e580:1019","g15e581:1020","g15e582:1021","g15e583:1022"],"continuous":true},{"run":"wikipedia-Rep2","first":1872,"last":1876,"ids":["g90e1526:1872","g90e1527:1873","g90e1528:1874","g90e1529:1875","g90e1530:1876"],"continuous":true},{"run":"activitydiary-Rep1","first":231,"last":232,"ids":["g28e189:231","g28e190:232"],"continuous":true}],"inventory_levels":{"PARTIAL":19027,"INFERRED":4252},"concrete_coverage_reimplemented":false,"remaining_concrete":null,"numerical_validation":true,"ppr_cut_validation_cases":28,"viewer_files":3287,"viewer_max_file_bytes":15620959,"formal_code_changed":false,"new_experiments":false,"head":"9a5b577b77a6a87efcd8e6e218693af6faed17ce"}