Failed /Users/fmora/Documents/software/eudoxus/docs/data/BaierKatoen/bk-ex2_17.txt after 5 iterations using gpt-3.5-turbo-0125.
Failed /Users/fmora/Documents/software/eudoxus/docs/data/BaierKatoen/bk-ex2_17.txt after 5 iterations using gpt-4-turbo-2024-04-09.
