Fixing local B&S problems with GPU device.
Number of digits for times shown in parse_trace.py are now chosen automatically.