failnix/injections/07-07_18-13-00_tacle-kernel-binarysearch_c_fail/resultsdata.csv

1	benchmark	resulttype	faults
2	ip	OK_MARKER	384
3	ip	FAIL_MARKER	83
4	ip	TIMEOUT	59
5	ip	TRAP	1117
6	ip	ACCESS_OUTERSPACE	2261
7	mem	OK_MARKER	17128
8	mem	FAIL_MARKER	3158
9	mem	TIMEOUT	446
10	mem	TRAP	3014
11	mem	ACCESS_OUTERSPACE	11446
12	regs	OK_MARKER	4636
13	regs	FAIL_MARKER	139
14	regs	TIMEOUT	120
15	regs	TRAP	204
16	regs	WRITE_TEXTSEGMENT	58
17	regs	ACCESS_OUTERSPACE	4923