add result file
[model-checker-benchmarks.git] / seqlock /
drwxr-xr-x   ..
-rw-r--r-- 122 Makefile
-rwxr-xr-x 49421 seqlock
-rw-r--r-- 1495 seqlock.c