There are no benchexec .xml files in results-dataraces/, cannot exclude timeouts properly
We processed 2175 .log files but collected only 1221 results. Possible reason: missing benchexec files
Categories
    661  specifications checked. All of them hold
    159  Killed by 15
    133  DataRaceFoundResult
    126  encountered a call to a var args function and varargs usage is unknown
     38  ExceptionOrErrorResult
     36  UnsupportedOperationException: Unsupported type
     36  UnsupportedSyntaxResult
     13  stderr output: (error "out of memory")
      9  We were not able to verify any specifiation because the program does not contain any specification
      6  TypeErrorResult
      4  RESULT: Ultimate could not prove your program: Toolchain returned no result.

Actual results (n>=10)
    661  specifications ch...      10 specifications checked. All of them hold:
    159  Killed by 15          Killed by 15:
    133  DataRaceFoundResult     - DataRaceFoundResult [Line: 757]: Data race detected:
    126  encountered a cal...  [2022-04-18 17:09:42,286 ERROR L326         MainTranslator]: Unsupported Syntax: encountered a call to a var args function and varargs usage is unknown: snprintf:
     36  UnsupportedOperat...  java.lang.UnsupportedOperationException: Unsupported type((*file *~wait_queue_head_t~0 *poll_table_struct ) : VOID):
     18  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: passing these results is not yet implemented: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.CHandler.visit(CHandler.java:1224):
     13  stderr output: (e...  [2022-04-18 20:21:30,529 WARN  L230               Executor]: External (MP /storage/repos/ultimate/releaseScripts/default/UTaipan-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1) with exit command (exit)) stderr output: (error "out of memory"):
     12  UnsupportedSyntax...      Unsupported function: pthread_attr_init:
     12  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.:

Actual results (n<10)
      9  We were not able ...      We were not able to verify any specifiation because the program does not contain any specification.:
      8  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: ArithmeticException: BigInteger out of long range: java.base/java.math.BigInteger.longValueExact(BigInteger.java:4765):
      7  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: AssertionError: Should have been eliminated by DER: de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.arrays.DerPreprocessor.<init>(DerPreprocessor.java:113):
      6  UnsupportedSyntax...      Unsupported function: pthread_setspecific:
      6  UnsupportedSyntax...      Unsupported function: pthread_getspecific:
      6  TypeErrorResult           Break label not found: BreakStatement[null]:
      4  RESULT: Ultimate ...  RESULT: Ultimate could not prove your program: Toolchain returned no result.:
      2  ExceptionOrErrorR...      de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: SMTLIBException: generated interpolants did not pass sanity check: de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.Interpolator.getInterpolants(Interpolator.java:233):
      2  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):
      1  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:421):