../ rev-equiv-goal1.t.t.smt2 21-Apr-2021 08:05 427 rev-equiv-goal5.t.t.smt2 21-Apr-2021 08:05 2945 rotate-goal5.t.t.smt2 21-Apr-2021 08:05 920 rotate-goal7.t.t.smt2 21-Apr-2021 08:05 3693 unsat-rev-equiv-goal1.t.t.smt2 21-Apr-2021 08:05 426 unsat-rev-equiv-goal5.t.t.smt2 21-Apr-2021 08:05 2944 unsat-rotate-goal5.t.t.smt2 21-Apr-2021 08:05 919 unsat-rotate-goal7.t.t.smt2 21-Apr-2021 08:05 1946