session verifythis_2018_array_based_queuing_lock_2 = NTP4Verif +
theories
  "verifythis_2018_array_based_queuing_lock_2_ABQL_tickqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_fetch_and_addqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_last_pushqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_consecutive_last_pushqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_hd_pushqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_consecutive_implies_sortedqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_numof_equivqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_numof_addqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_mod_diffqtvc"
  "verifythis_2018_array_based_queuing_lock_2_ABQL_mainqtvc"
