/^[^#]/ {
	result=tolower($1);
	if( $2 ~ "\.opt$" )
		compilation="opt"
	else
		compilation="byte"
	test=$3	
	time="0:" $4
	mark=$7
	if ( $8 ~ "^GC=off$") 
		options="'no-gc'"
	else
		options="''"
		
	printf "INSERT bench (result, compilation, test, time, mark, options) VALUES ('%s', '%s', '%s', '%s', '%s', %s);\n", result, compilation, test, time, mark, options;
	}