Software

The BMCW (BMC Wizard) will help you to compute all the measures for the challenge. First, download the BMCW binary running on your platform:

Then, run it, click "Next", and choose

  • The directory of the ground truth of your sequence
  • The directory of the output of your algorithm

Click "Commit", and (after a while), all the measures are computed.