id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
cord-031641-x51pprjt	Beyer, Dirk	CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering	2020-03-13		.txt	text/plain	2714	142	57	In order to make energy measurements as easy as possible, we integrated CPU Energy Meter into BenchExec, a benchmarking tool that is already used by many researchers and competitions in the domain of formal methods. Using CPU Energy Meter does not require any extra hardware, but accesses the existing feature for energy measurement called RAPL that Intel CPUs provide. The 8 th International Competition on Software Verification (SV-COMP'19) [3] measured energy consumption of verification tools using BenchExec and CPU Energy Meter and for the first time provided an alternative "green" ranking based on energy efficiency (CPU-energy usage divided by achieved score). The lightweight tool CPU Energy Meter fills this gap: It supports reading Intel-RAPL-based energy measurements in a convenient way and -via integration into BenchExec-using a tool environment that many verification researchers use anyway already.	./cache/cord-031641-x51pprjt.txt	./txt/cord-031641-x51pprjt.txt