Help not displayed.

[sergedurand]

Describe the bug
Calling the main script to display help by

python abcrown.py --help

fails with

ValueError: unsupported format character ')' (0x29) at index 17

To Reproduce
Just use above command on current main.

System configuration:

• OS: Ubuntu 20.04
• Python version: 3.9
• Pytorch Version: 1.12
• Hardware: irrelevant
• Have you tried to reproduce the problem in a cleanly created conda/virtualenv environment using official installation instructions and the latest code on the main branch?: Yes. Same error occurs.

Fix
The error seems to come from the use of "%" in a help message: l.291 in arguments.py

        self.add_argument('--mip_refine_timeout', type=float, default=0.8,
                          help='Percentage (x100%) of time used for improving all intermediate layer bounds using mip. Default to be 0.8*timeout.',
                          hierarchy=h + ["refine_neuron_time_percentage"])

Doubling % fixes the error (https://stackoverflow.com/questions/20480018/valueerror-unsupported-format-character)

[huanzhang12]

@sergedurand Thank you for reporting the issue!
I've fixed it in commit 7a46097