Solver Disagreements on QF_S (Single Query Track)

Page generated on 2020-07-02 15:49:34 +0000

QF_S/2020-sygus-qgen/queries-no-ree/query4914.smt2

• Z3str4: unsat
• CVC4: sat

QF_S/2020-sygus-qgen/queries/query7989.smt2

• Z3str4: unsat
• CVC4: sat

ⁿ Non-competing.
^u Solver is unsound in this division.