Corpus for semtimedop:

Coverage	Program
2164	perf_event_open-unshare-semget$private-perf_event_open-semctl$SETALL-epoll_ctl$EPOLL_CTL_ADD-semget-semtimedop-semctl$IPC_RMID-setsockopt$inet_int
2035	unshare-semget$private-semtimedop-semctl$IPC_RMID
2007	unshare-semget$private-semctl$SETALL-semtimedop
1970	unshare-semget$private-semctl$SETALL-semtimedop
1214	semget$private-semtimedop-perf_event_open-semget$private-semctl$IPC_RMID-semget$private-semctl$GETNCNT-semctl$GETALL-semctl$SEM_INFO-semtimedop-semtimedop-clock_gettime-semtimedop-semctl$IPC_RMID-openat$vcs-clone3-semctl$SEM_INFO-semctl$SETALL-semget-semop
551	perf_event_open-unshare-semget$private-semtimedop
425	semget$private-perf_event_open-semtimedop
386	perf_event_open-semget-semtimedop
375	semget$private-semget-semctl$SETALL-semtimedop-semctl$SETALL-semtimedop-semget-semctl$IPC_RMID-semctl$IPC_RMID-semget$private-semget-semctl$IPC_RMID
293	semget$private-semtimedop-semget$private-semtimedop-semget$private-semtimedop
292	prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-semtimedop
241	sched_setaffinity-perf_event_open-timer_create-semtimedop
235	semget$private-semop-semtimedop
217	perf_event_open-unshare-semget$private-semtimedop
167	semget$private-semtimedop
66	semtimedop