session vstte10_queens = NTP4Verif +
theories
  "vstte10_queens_NQueens_eq_board_setqtvc"
  "vstte10_queens_NQueens_eq_board_symqtvc"
  "vstte10_queens_NQueens_eq_board_transqtvc"
  "vstte10_queens_NQueens_eq_board_extensionqtvc"
  "vstte10_queens_NQueens_consistent_row_eqqtvc"
  "vstte10_queens_NQueens_check_is_consistentqtvc"
  "vstte10_queens_NQueens_solution_eq_boardqtvc"
  "vstte10_queens_NQueens_bt_queensqtvc"
  "vstte10_queens_NQueens_queensqtvc"
  "vstte10_queens_NQueens_test8qtvc"
  "vstte10_queens_NQueens_count_bt_queensqtvc"
  "vstte10_queens_NQueens_count_queensqtvc"
  "vstte10_queens_NQueens_test_count_8qtvc"
  "vstte10_queens_NQueens63_check_is_consistentqtvc"
  "vstte10_queens_NQueens63_count_bt_queensqtvc"
  "vstte10_queens_NQueens63_count_queensqtvc"
  "vstte10_queens_NQueens63_test_count_8qtvc"
