Corpus for semtimedop:

Coverage	Program
5287	semget$private-semget$private-semop-perf_event_open-semtimedop-semop-semget$private-getresgid-semget-getuid-stat-semctl$IPC_SET-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semtimedop-semctl$SEM_STAT_ANY-semop-semctl$SEM_INFO-unshare
1114	stat-openat$sr-mmap-semtimedop
664	semget$private-semtimedop-clock_gettime-semtimedop-semtimedop
529	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semtimedop
432	semget$private-semget$private-semtimedop-semtimedop-semtimedop
374	semtimedop
360	perf_event_open-stat-setresuid-semget$private-semtimedop
355	semget$private-semtimedop-semtimedop
355	semtimedop
343	semtimedop
330	perf_event_open-semop-semget$private-socket$inet6_icmp_raw-clock_gettime-semtimedop-semtimedop-semctl$IPC_RMID-semctl$SEM_STAT_ANY
327	semget$private-semtimedop-semtimedop
309	semtimedop
301	semget$private-semtimedop-semtimedop
301	semtimedop-getresuid
282	semtimedop
271	semtimedop
263	semtimedop-semget$private-clock_gettime-semtimedop-semtimedop
243	semtimedop
243	semtimedop
237	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semtimedop
120	stat-setresuid-semtimedop
50	semtimedop
37	semtimedop
35	semtimedop