base version for Decovalex23 task F benchmarks