We processed 1470 .log files but collected only 1159 results. Possible reason: something is wrong
Categories
    690  ExceptionOrErrorResult
    277  specifications checked. All of them hold
     85  DataRaceFoundResult
     51  TimeoutResultAtElement
     42  encountered a call to a var args function and varargs usage is unknown
     10  UnsupportedSyntaxResult
      4  We were not able to verify any specification because the program does not contain any specification

Actual results (n>=10)
    681  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: NullPointerException: null: de.uni_freiburg.informatik.ultimate.automata.partialorder.independence.IndependenceResultAggregator.aggregate(IndependenceResultAggregator.java:63):
    277  specifications ch...      56 specifications checked. All of them hold:
     85  DataRaceFoundResult     - DataRaceFoundResult [Line: 922]: Data race detected:
     51  TimeoutResultAtEl...    - TimeoutResultAtElement [Line: 1718]: Timeout (TraceAbstraction):
     42  encountered a cal...  [2022-11-10 17:05:10,206 ERROR L326         MainTranslator]: Unsupported Syntax: encountered a call to a var args function and varargs usage is unknown: snprintf:

Actual results (n<10)
      4  We were not able ...      We were not able to verify any specification because the program does not contain any specification.:
      4  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.:
      4  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):
      2  UnsupportedSyntax...      Unsupported function: scanf:
      2  UnsupportedSyntax...      Unsupported function: pthread_setspecific:
      2  UnsupportedSyntax...      Unsupported function: pthread_getspecific:
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: constants not yet supported: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.cfg.transitions.TransFormulaBuilder.constructTransFormulaFromTerm(TransFormulaBuilder.java:408):
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: SMTLIBException: Timeout exceeded: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.Interpolator.walkLeafNode(Interpolator.java:304):
      1  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: AssertionError: at most one deprecated predicate: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.predicates.PredicateUnifier$PredicateComparison.compare(PredicateUnifier.java:973):

Detailed actual results (n>=10)
    681  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: NullPointerException: null: de.uni_freiburg.informatik.ultimate.automata.partialorder.independence.IndependenceResultAggregator.aggregate(IndependenceResultAggregator.java:63):
    277  specifications ch...      56 specifications checked. All of them hold:
     85  DataRaceFoundResult     - DataRaceFoundResult [Line: 922]: Data race detected:
     51  TimeoutResultAtEl...    - TimeoutResultAtElement [Line: 1718]: Timeout (TraceAbstraction):
     42  encountered a cal...  [2022-11-10 17:05:10,206 ERROR L326         MainTranslator]: Unsupported Syntax: encountered a call to a var args function and varargs usage is unknown: snprintf:

Detailed actual results (n<10)
      4  We were not able ...      We were not able to verify any specification because the program does not contain any specification.:
      4  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.:
      4  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):
      2  UnsupportedSyntax...      Unsupported function: scanf:
      2  UnsupportedSyntax...      Unsupported function: pthread_setspecific:
      2  UnsupportedSyntax...      Unsupported function: pthread_getspecific:
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: constants not yet supported: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.cfg.transitions.TransFormulaBuilder.constructTransFormulaFromTerm(TransFormulaBuilder.java:408):
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: SMTLIBException: Timeout exceeded: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.Interpolator.walkLeafNode(Interpolator.java:304):
      1  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: AssertionError: at most one deprecated predicate: de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.smt.predicates.PredicateUnifier$PredicateComparison.compare(PredicateUnifier.java:973):