model-checker : remove binary

diff --git a/examples/smpi/mc/bugged1 b/examples/smpi/mc/bugged1
deleted file mode 100755 (executable)
index fa4c2ec..0000000
Binary files a/examples/smpi/mc/bugged1 and /dev/null differ

diff --git a/examples/smpi/mc/bugged1_liveness b/examples/smpi/mc/bugged1_liveness
deleted file mode 100755 (executable)
index d643793..0000000
Binary files a/examples/smpi/mc/bugged1_liveness and /dev/null differ

diff --git a/examples/smpi/mc/bugged2 b/examples/smpi/mc/bugged2
deleted file mode 100755 (executable)
index d9bb0d2..0000000
Binary files a/examples/smpi/mc/bugged2 and /dev/null differ