Klever

Here is the scheduler log:

2019-01-15 09:15:44,105 - WARNING - Cannot determine /home/novikov/work/klever/addons/CPAchecker-1.7-svn 27946-unix/scripts/cpa.sh version, error output: Your Java version is too old, please install Java 1.8 or newer.
For Ubuntu: sudo apt-get install openjdk-8-jre
If you have installed Java 8, but it is not in your PATH,
let the environment variable JAVA point to the "java" binary.

Traceback (most recent call last):
  File "/home/novikov/work/klever/venv/bin/benchexec", line 11, in <module>
    sys.exit(main())
  File "/home/novikov/work/klever/venv/lib64/python3.6/site-packages/benchexec/benchexec.py", line 361, in main
    sys.exit(benchexec.start(argv or sys.argv))
  File "/home/novikov/work/klever/venv/lib64/python3.6/site-packages/benchexec/benchexec.py", line 79, in start
    rc = self.execute_benchmark(arg)
  File "/home/novikov/work/klever/venv/lib64/python3.6/site-packages/benchexec/benchexec.py", line 276, in execute_benchmark
    self.executor.init(self.config, benchmark)
  File "/home/novikov/work/klever/venv/lib64/python3.6/site-packages/benchexec/localexecution.py", line 78, in init
    benchmark.tool_version = benchmark.tool.version(benchmark.executable)
  File "/home/novikov/work/klever/venv/lib64/python3.6/site-packages/benchexec/tools/cpachecker.py", line 78, in version
    line = next(l for l in stdout.splitlines() if l.startswith('CPAchecker'))
StopIteration
root  INFO> Scheduler has 0 pending, 1 processing, 0 finished and 0 error tasks
root  INFO> Submit information about the workload to Bridge
17783: Cancelling process 17781
17783: Cancellation of 17781 is successfull, exiting
2019-01-15 09:15:44,936 SchedulerClient  INFO> Executor exited with non-zero exit code 1
2019-01-15 09:15:44,937 SchedulerClient  INFO> Task solution has finished with exit code 1
2019-01-15 09:15:44,937 SchedulerClient  INFO> Finish session at localhost:8998
root WARNING> Cannot obtain key 'solutions/Klever/3' from key-value storage: KeyError('Key not found (solutions/Klever/3)',)
root  INFO> Going to prepare execution of the task 3
root WARNING> StopIteration

root WARNING> Execution of task 3 terminated with an exception: StopIteration

root WARNING> Task failed 3: SchedulerException('Execution of task 3 terminated with an exception: StopIteration\n',)