To be recognized by mjtest, the input files need to be numbered.
Attach a file by drag & drop or click to upload
Maximilian Stemmer-Grabow authored