Troubleshooting¶
Mopta08 Executables¶
The executables for the baxus.benchmarks.real_world_benchmarks.MoptaSoftConstraints
benchmark are not contained in the repository but downloaded when necessary.
We support four different architectures/operating systems: ARM (32 bit), Windows (64 bit), Linux (64 bit), Linux (32 bit).
The files are automatically downloaded and made executable.
However, this might cause problems if there are no sufficient permissions for writing or making the file executable.
In that case, please download the correct file and move it to baxus/benchmarks/mopta08/.
The files can be downloaded at
64bit Windows: http://mopta-executables.s3-website.eu-north-1.amazonaws.com/mopta08_amd64.exe
32bit ARM: http://mopta-executables.s3-website.eu-north-1.amazonaws.com/mopta08_armhf.bin
32bit Linux: http://mopta-executables.s3-website.eu-north-1.amazonaws.com/mopta08_elf32.bin
64bit Linux: http://mopta-executables.s3-website.eu-north-1.amazonaws.com/mopta08_elf64.bin
Slice Locatization Data¶
Similarly, it can happen that there are no sufficient permissions to download the slice localization data
for the baxus.benchmarks.real_world_benchmarks.SVMBenchmark benchmark.
Please download it from http://mopta-executables.s3-website.eu-north-1.amazonaws.com/slice_localization_data.csv.xz
and move it to baxus/data/.