the array of a flat-combining queue should be the number of threads, not an arbitrary number.
linearization points are timestamped in the flat-combining queue now
changed the python scripts
readability changes
add script to calculate the actual-time linearization