diff --git a/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java b/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java
index 6492b561b6facfe2d0917209c1b033fb1334dad6..646616d22714495d2c96c133a19bdf36f8b319d5 100644
--- a/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java
+++ b/jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java
@@ -246,7 +246,7 @@ public class Benchmark {
       try (BufferedWriter solutionWriter = Files.newBufferedWriter(sfp.getSolutionPath(s))) {
         MquatString out = solution.print(new MquatWriteSettings(" "));
         solutionWriter.write(out.toString());
-      } catch (IOException e) {
+      } catch (NullPointerException | IOException e) {
         logger.catching(e);
       }
       if (!writeOutResult(writer, path, failCount, sb)) return false;