Benchmark now automatically reports the timestamps in seconds at which each planner progress sample was taken, and is accessible via the property 'progress sample times REAL SERIES'.
Benchmark now automatically reports the timestamps in seconds at which each planner progress sample was taken, and is accessible via the property 'progress sample times REAL SERIES'.

--HG--
branch : cost_updates_luis
extra : source : 7d0fa5a341de7f596838ddd67f74d878c68cb018

utiasASRL/batch-informed-trees,sonny-tarbouriech/ompl,utiasASRL/batch-informed-trees,utiasASRL/batch-informed-trees,jvgomez/ompl,utiasASRL/batch-informed-trees,davetcoleman/ompl,florianhauer/ompl,sonny-tarbouriech/ompl,utiasASRL/batch-informed-trees,florianhauer/ompl,florianhauer/ompl,davetcoleman/ompl,jvgomez/ompl,jvgomez/ompl,sonny-tarbouriech/ompl,davetcoleman/ompl,sonny-tarbouriech/ompl,florianhauer/ompl,florianhauer/ompl,jvgomez/ompl,davetcoleman/ompl,davetcoleman/ompl,jvgomez/ompl,florianhauer/ompl,utiasASRL/batch-informed-trees,jvgomez/ompl,davetcoleman/ompl,sonny-tarbouriech/ompl,sonny-tarbouriech/ompl