new command for benchs.py: inconsistency (detects inconsistencies in provers results)
new command for benchs.py: inconsistency (detects inconsistencies in provers results)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition