Untitled

{"evidence_level":"功能执行","instruction_variants":208,"program_lengths":[0,1,2],"programs":43473,"fixed_initial_state":{"regs":[0,1,2,4],"memory_words":8,"text_word_range":[0,4]},"properties":["x0_is_zero","store_does_not_modify_text"],"buggy_counterexample":{"program":["addi x0,x0,-1"],"x0":4294967295},"unbounded_proof":false}