Correct Input File Names for Benchmarks
In order to be recognized by mjtest, the input file names associated with test cases need to be numbered, i.e. end in .0.inputc instead of simply .inputc.
In order to be recognized by mjtest, the input file names associated with test cases need to be numbered, i.e. end in .0.inputc instead of simply .inputc.