session ring_decision = NTP4Verif +
sessions
  "Why3STD"
theories
  "strassen_InfMatrixGen"
  "ringdecision_UnitaryCommutativeRingDecision"
  "strassen_MaxFun"
  "strassen_Sum_extended"
  "strassen_InfIntMatrix"
  "strassen_InfIntMatrixDecision"
