/storage/svcomp/c/bin/ltl-realworld/17-windows_os_frag4_prop1_true-valid-ltl.c.oi: \
  17-windows_os_frag4_prop1_true-valid-ltl.c.i