out violating property 2 for the specific time marker.
the time complexity for checking property 1 is O(|V|) and that for property 2 is O(|T |×|E|), where |T | is the total number of unique time markers.