For several files, the translated output has no consequent. For example, in qf_shls_entl/clones-01-e01.tptp.smt2, the output is (showing only the relevant parts):
checkentail nil=nil & nil!=x1
|- .
This seems to mainly affect the clones-* benchmarks.
For several files, the translated output has no consequent. For example, in
qf_shls_entl/clones-01-e01.tptp.smt2
, the output is (showing only the relevant parts):This seems to mainly affect the
clones-*
benchmarks.