We processed 735 .log files but collected only 650 results. Possible reason: something is wrong
Categories
    470  specifications checked. All of them hold
     85  DataRaceFoundResult
     61  TimeoutResultAtElement
     21  encountered a call to a var args function and varargs usage is unknown
      6  ExceptionOrErrorResult
      5  UnsupportedSyntaxResult
      2  We were not able to verify any specification because the program does not contain any specification

Actual results (n>=10)
    470  specifications ch...      254 specifications checked. All of them hold:
     85  DataRaceFoundResult     - DataRaceFoundResult [Line: 681]: Data race detected:
     61  TimeoutResultAtEl...    - TimeoutResultAtElement [Line: 307]: Timeout (TraceAbstraction):
     21  encountered a cal...  [2022-11-11 13:29:01,964 ERROR L326         MainTranslator]: Unsupported Syntax: encountered a call to a var args function and varargs usage is unknown: snprintf:

Actual results (n<10)
      3  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: SMTLIBException: Timeout exceeded: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.Interpolator.walkResolutionNode(Interpolator.java:275):
      2  We were not able ...      We were not able to verify any specification because the program does not contain any specification.:
      2  UnsupportedSyntax...      The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.:
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: ProcedureMultiplier does not support IcfgCallTransition. Calls and returns should habe been removed by inlining. (Did the inlining fail because this program is recursive.): de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.cfg.ProcedureMultiplier.constructEdgeCopy(ProcedureMultiplier.java:210):
      1  UnsupportedSyntax...      Unsupported function: scanf:
      1  UnsupportedSyntax...      Unsupported function: pthread_setspecific:
      1  UnsupportedSyntax...      Unsupported function: pthread_getspecific:
      1  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: AssertionError: null: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.InterpolantChecker.checkInductivity(InterpolantChecker.java:409):

Detailed actual results (n>=10)
    470  specifications ch...      254 specifications checked. All of them hold:
     85  DataRaceFoundResult     - DataRaceFoundResult [Line: 681]: Data race detected:
     61  TimeoutResultAtEl...    - TimeoutResultAtElement [Line: 307]: Timeout (TraceAbstraction):
     21  encountered a cal...  [2022-11-11 13:29:01,964 ERROR L326         MainTranslator]: Unsupported Syntax: encountered a call to a var args function and varargs usage is unknown: snprintf:

Detailed actual results (n<10)
      3  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: SMTLIBException: Timeout exceeded: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.Interpolator.walkResolutionNode(Interpolator.java:275):
      2  We were not able ...      We were not able to verify any specification because the program does not contain any specification.:
      2  UnsupportedSyntax...      The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.:
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: ProcedureMultiplier does not support IcfgCallTransition. Calls and returns should habe been removed by inlining. (Did the inlining fail because this program is recursive.): de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.cfg.ProcedureMultiplier.constructEdgeCopy(ProcedureMultiplier.java:210):
      1  UnsupportedSyntax...      Unsupported function: scanf:
      1  UnsupportedSyntax...      Unsupported function: pthread_setspecific:
      1  UnsupportedSyntax...      Unsupported function: pthread_getspecific:
      1  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: AssertionError: null: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.InterpolantChecker.checkInductivity(InterpolantChecker.java:409):