Constrained REwriting Sortware Tool version 0.8.3.0 for analyzing LCTRSs.

Usage: crest-sn-benchmark BENCHMARKPATH [-t|--timeout TIMEOUT] 
                          [-j|--threads THREADS] [--z3] [--cvc5] [--yices] 
                          [-m|--methods [Int]] [--html]

  (Non-)Termination analysis benchmarking executable of the Constrained
  REwriting Sortware Tool version 0.8.3.0. Searches for files with ".ari" file
  extension in the given directory.

Available options:
  -h,--help                Show this help text
  BENCHMARKPATH            Path to directory containing benchmarks
  -t,--timeout TIMEOUT     Timeout of the analysis
  -j,--threads THREADS     Number of threads for the analysis
  --z3                     Use Z3 (default)
  --cvc5                   Use CVC5
  --yices                  Use Yices
  -m,--methods [Int]       Specify an integer list of methods (if not set, all
                           are used): 1 = DP graph with no SCCs 2 = Constrained
                           Reduction Order, 3 = Value Criterion, 4 = Constrained
                           Reduction Order on DP problem, 5 = Reduction Pair
                           (using RPO, Value Criterion and Polynomial
                           Interpretations)
  --html                   Print proofs to files and produce a
                           "crest-sn-benchmark.html".