Searched refs:start_world_time (Results 1 – 2 of 2) sorted by relevance
126 long start_world_time; member323 _stats.start_world_time) / 1000.0 ; in world_run_time()
83 _stats.start_world_time = 0; in CSolver()148 _stats.start_world_time = current_world_time(); in init()