Roomdraw-Calculations.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 117,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "import rooms.dbmanager as dbm\n",
    "from datetime import datetime\n",
    "\n",
    "import pandas as pd\n",
    "from pony.orm import select, show"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 118,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "db = dbm.connect(\"rooms.sqlite\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 119,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[2016, 2013]"
      ]
     },
     "execution_count": 119,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "select(rd.draw_year for rd in db.RoomDraw)[:]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 120,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "mathey_start_draw  = datetime.strptime(\"04/18/18 09:00 AM\", \"%m/%d/%y %H:%M %p\")\n",
    "my_mathey_drawtime = datetime.strptime(\"04/19/18 10:16 AM\", \"%m/%d/%y %H:%M %p\")\n",
    "\n",
    "upperclass_start_draw = datetime.strptime(\"04/30/18 09:00 AM\", \"%m/%d/%y %I:%M %p\")\n",
    "my_upperclass_drawtime = datetime.strptime(\"05/03/18 04:36 PM\", \"%m/%d/%y %I:%M %p\")\n",
    "my_upperclass_delta = my_upperclass_drawtime - upperclass_start_draw"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 121,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "def unix2timedelta(unix):\n",
    "    days = unix // 86400\n",
    "    unix = unix % 86400\n",
    "    hours = unix // 3600\n",
    "    unix = unix % 3600\n",
    "    minutes = unix // 60\n",
    "    unix = unix % 60\n",
    "    seconds = unix\n",
    "    return (days, hours, minutes, seconds)\n",
    "\n",
    "def room2time(room):\n",
    "    draws = room.drawings.select()[:]\n",
    "    for rd in draws:\n",
    "        if rd.draw_year == 2016:\n",
    "            return rd.timefromstart\n",
    "    return None\n",
    "\n",
    "def compute_min(college=\"Upperclass\"):\n",
    "    times = select(\n",
    "        rd.timefromstart \n",
    "        for rd in db.RoomDraw \n",
    "        if rd.draw_year == 2016 and rd.room.college == college\n",
    "    )[:]\n",
    "    return min(times)\n",
    "\n",
    "def later_rooms(rooms, min_time_in_draw, my_timedelta_in_draw):\n",
    "    times = [room2time(room) for room in rooms]\n",
    "    rooms = [r for r, t in zip(rooms, times) if t is not None]\n",
    "    times = [t for t in times if t is not None]\n",
    "    adjusted = [t - min_time_in_draw for t in times]\n",
    "    tds = [unix2timedelta(t) for t in adjusted]\n",
    "    is_later = [td >= my_timedelta_in_draw for td in tds]\n",
    "    return [r for r, l in zip(rooms, is_later) if l]\n",
    "\n",
    "def tabular(rooms, min_time_in_draw):\n",
    "    dicts = []\n",
    "    for r in rooms: \n",
    "        d = r.to_dict()\n",
    "        if room2time(r) is not None:\n",
    "            d[\"delta\"]  = unix2timedelta(room2time(r) - min_time_in_draw)\n",
    "        dicts.append(d)\n",
    "    return pd.DataFrame(dicts).sort_values(\"delta\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Upperclass"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 126,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "You draw 3d 7h 36m 0s after the start.\n",
      "45 / 115\n"
     ]
    }
   ],
   "source": [
    "query_rooms = select(r for r in db.Room if r.college == \"Upperclass\" and r.occupancy == 3)[:]\n",
    "min_time = compute_min(college=\"Upperclass\")\n",
    "my_delta = unix2timedelta(my_upperclass_delta.total_seconds())\n",
    "print(\"You draw %dd %dh %dm %ds after the start.\" % my_delta)\n",
    "possibles = later_rooms(query_rooms, min_time, my_delta)\n",
    "\n",
    "print(\"%d / %d\" % (len(possibles), len(query_rooms)))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 128,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style>\n",
       "    .dataframe thead tr:only-child th {\n",
       "        text-align: right;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: left;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>building</th>\n",
       "      <th>college</th>\n",
       "      <th>delta</th>\n",
       "      <th>floor</th>\n",
       "      <th>id</th>\n",
       "      <th>numrooms</th>\n",
       "      <th>occupancy</th>\n",
       "      <th>reserved</th>\n",
       "      <th>roomnum</th>\n",
       "      <th>sqft</th>\n",
       "      <th>subfree</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>38</th>\n",
       "      <td>Patton Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(3, 8, 15, 53)</td>\n",
       "      <td>2</td>\n",
       "      <td>1306</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>063</td>\n",
       "      <td>430</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>33</th>\n",
       "      <td>Laughlin Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(3, 8, 31, 36)</td>\n",
       "      <td>1</td>\n",
       "      <td>1133</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>616</td>\n",
       "      <td>409</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>7</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(3, 8, 32, 4)</td>\n",
       "      <td>1</td>\n",
       "      <td>576</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>211</td>\n",
       "      <td>425</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>4</th>\n",
       "      <td>1903 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 0, 5, 23)</td>\n",
       "      <td>2</td>\n",
       "      <td>112</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>321</td>\n",
       "      <td>393</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>5</th>\n",
       "      <td>1903 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 0, 5, 25)</td>\n",
       "      <td>2</td>\n",
       "      <td>115</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>324</td>\n",
       "      <td>389</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>27</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 0, 19, 5)</td>\n",
       "      <td>3</td>\n",
       "      <td>1032</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>232</td>\n",
       "      <td>454</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>39</th>\n",
       "      <td>Patton Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 0, 25, 39)</td>\n",
       "      <td>1</td>\n",
       "      <td>1330</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>T03</td>\n",
       "      <td>419</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>11</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 0, 55, 15)</td>\n",
       "      <td>1</td>\n",
       "      <td>587</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>312</td>\n",
       "      <td>415</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>16</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 1, 17, 17)</td>\n",
       "      <td>1</td>\n",
       "      <td>896</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>114</td>\n",
       "      <td>441</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>44</th>\n",
       "      <td>Wright Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 1, 39, 49)</td>\n",
       "      <td>4</td>\n",
       "      <td>1846</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>407</td>\n",
       "      <td>429</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>43</th>\n",
       "      <td>Wright Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 1, 40, 14)</td>\n",
       "      <td>2</td>\n",
       "      <td>1832</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>020</td>\n",
       "      <td>435</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>37</th>\n",
       "      <td>Lockhart Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 2, 5, 42)</td>\n",
       "      <td>1</td>\n",
       "      <td>1273</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>311</td>\n",
       "      <td>400</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>28</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 2, 19, 13)</td>\n",
       "      <td>3</td>\n",
       "      <td>1034</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>234</td>\n",
       "      <td>436</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>19</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 2, 54, 14)</td>\n",
       "      <td>2</td>\n",
       "      <td>912</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>221</td>\n",
       "      <td>430</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>40</th>\n",
       "      <td>Pyne Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 3, 31, 51)</td>\n",
       "      <td>1</td>\n",
       "      <td>1377</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>314</td>\n",
       "      <td>407</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 3, 44, 53)</td>\n",
       "      <td>2</td>\n",
       "      <td>578</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>221</td>\n",
       "      <td>428</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>22</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 3, 50, 55)</td>\n",
       "      <td>2</td>\n",
       "      <td>930</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>322</td>\n",
       "      <td>437</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>10</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 3, 55, 56)</td>\n",
       "      <td>2</td>\n",
       "      <td>579</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>222</td>\n",
       "      <td>415</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>14</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 4, 41, 29)</td>\n",
       "      <td>2</td>\n",
       "      <td>598</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>422</td>\n",
       "      <td>396</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>8</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 4, 42, 32)</td>\n",
       "      <td>1</td>\n",
       "      <td>577</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>212</td>\n",
       "      <td>409</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>6</th>\n",
       "      <td>1903 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 4, 50, 7)</td>\n",
       "      <td>3</td>\n",
       "      <td>152</td>\n",
       "      <td>2</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>535</td>\n",
       "      <td>486</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>13</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 4, 50, 56)</td>\n",
       "      <td>1</td>\n",
       "      <td>594</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>412</td>\n",
       "      <td>399</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>17</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 5, 24, 33)</td>\n",
       "      <td>2</td>\n",
       "      <td>897</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>121</td>\n",
       "      <td>414</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>12</th>\n",
       "      <td>Cuyler Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 5, 43, 30)</td>\n",
       "      <td>0</td>\n",
       "      <td>591</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>402</td>\n",
       "      <td>399</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>1901 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 5, 45, 51)</td>\n",
       "      <td>1</td>\n",
       "      <td>13</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>118</td>\n",
       "      <td>427</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>1901 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 6, 10, 31)</td>\n",
       "      <td>3</td>\n",
       "      <td>23</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>133</td>\n",
       "      <td>415</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>1901 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 6, 23, 47)</td>\n",
       "      <td>0</td>\n",
       "      <td>4</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>104</td>\n",
       "      <td>404</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>21</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 6, 56, 4)</td>\n",
       "      <td>1</td>\n",
       "      <td>921</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>311</td>\n",
       "      <td>414</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>41</th>\n",
       "      <td>Pyne Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 7, 6, 10)</td>\n",
       "      <td>1</td>\n",
       "      <td>1424</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>614</td>\n",
       "      <td>402</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>42</th>\n",
       "      <td>Pyne Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 7, 7, 34)</td>\n",
       "      <td>1</td>\n",
       "      <td>1453</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>718</td>\n",
       "      <td>389</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>20</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 7, 30, 18)</td>\n",
       "      <td>0</td>\n",
       "      <td>917</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>304</td>\n",
       "      <td>431</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>35</th>\n",
       "      <td>Laughlin Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 7, 55, 59)</td>\n",
       "      <td>3</td>\n",
       "      <td>1143</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>631</td>\n",
       "      <td>444</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>25</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 8, 13, 39)</td>\n",
       "      <td>1</td>\n",
       "      <td>986</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>112</td>\n",
       "      <td>395</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>24</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 8, 14, 23)</td>\n",
       "      <td>1</td>\n",
       "      <td>985</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>111</td>\n",
       "      <td>388</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>15</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(4, 23, 55, 5)</td>\n",
       "      <td>1</td>\n",
       "      <td>893</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>111</td>\n",
       "      <td>401</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>18</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 0, 27, 35)</td>\n",
       "      <td>3</td>\n",
       "      <td>901</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>131</td>\n",
       "      <td>400</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>30</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 0, 30, 39)</td>\n",
       "      <td>3</td>\n",
       "      <td>1048</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>333</td>\n",
       "      <td>402</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>26</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 0, 47, 33)</td>\n",
       "      <td>2</td>\n",
       "      <td>992</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>122</td>\n",
       "      <td>392</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>1901 Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 0, 49, 15)</td>\n",
       "      <td>1</td>\n",
       "      <td>28</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>212</td>\n",
       "      <td>378</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>23</th>\n",
       "      <td>Foulke Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 2, 13, 24)</td>\n",
       "      <td>2</td>\n",
       "      <td>934</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>326</td>\n",
       "      <td>386</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>36</th>\n",
       "      <td>Lockhart Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 2, 15, 16)</td>\n",
       "      <td>1</td>\n",
       "      <td>1253</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>113</td>\n",
       "      <td>377</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>29</th>\n",
       "      <td>Henry Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 2, 27, 30)</td>\n",
       "      <td>0</td>\n",
       "      <td>1038</td>\n",
       "      <td>2</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>302</td>\n",
       "      <td>436</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>34</th>\n",
       "      <td>Laughlin Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 2, 38, 50)</td>\n",
       "      <td>2</td>\n",
       "      <td>1140</td>\n",
       "      <td>3</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>625</td>\n",
       "      <td>395</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>32</th>\n",
       "      <td>Laughlin Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 3, 0, 25)</td>\n",
       "      <td>2</td>\n",
       "      <td>1122</td>\n",
       "      <td>2</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>521</td>\n",
       "      <td>440</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>31</th>\n",
       "      <td>Laughlin Hall</td>\n",
       "      <td>Upperclass</td>\n",
       "      <td>(5, 3, 1, 17)</td>\n",
       "      <td>1</td>\n",
       "      <td>1119</td>\n",
       "      <td>2</td>\n",
       "      <td>3</td>\n",
       "      <td>False</td>\n",
       "      <td>511</td>\n",
       "      <td>436</td>\n",
       "      <td>False</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "         building     college           delta floor    id  numrooms  \\\n",
       "38    Patton Hall  Upperclass  (3, 8, 15, 53)     2  1306         3   \n",
       "33  Laughlin Hall  Upperclass  (3, 8, 31, 36)     1  1133         3   \n",
       "7     Cuyler Hall  Upperclass   (3, 8, 32, 4)     1   576         3   \n",
       "4       1903 Hall  Upperclass   (4, 0, 5, 23)     2   112         3   \n",
       "5       1903 Hall  Upperclass   (4, 0, 5, 25)     2   115         3   \n",
       "27     Henry Hall  Upperclass   (4, 0, 19, 5)     3  1032         3   \n",
       "39    Patton Hall  Upperclass  (4, 0, 25, 39)     1  1330         3   \n",
       "11    Cuyler Hall  Upperclass  (4, 0, 55, 15)     1   587         3   \n",
       "16    Foulke Hall  Upperclass  (4, 1, 17, 17)     1   896         3   \n",
       "44    Wright Hall  Upperclass  (4, 1, 39, 49)     4  1846         3   \n",
       "43    Wright Hall  Upperclass  (4, 1, 40, 14)     2  1832         3   \n",
       "37  Lockhart Hall  Upperclass   (4, 2, 5, 42)     1  1273         3   \n",
       "28     Henry Hall  Upperclass  (4, 2, 19, 13)     3  1034         3   \n",
       "19    Foulke Hall  Upperclass  (4, 2, 54, 14)     2   912         3   \n",
       "40      Pyne Hall  Upperclass  (4, 3, 31, 51)     1  1377         3   \n",
       "9     Cuyler Hall  Upperclass  (4, 3, 44, 53)     2   578         3   \n",
       "22    Foulke Hall  Upperclass  (4, 3, 50, 55)     2   930         3   \n",
       "10    Cuyler Hall  Upperclass  (4, 3, 55, 56)     2   579         3   \n",
       "14    Cuyler Hall  Upperclass  (4, 4, 41, 29)     2   598         3   \n",
       "8     Cuyler Hall  Upperclass  (4, 4, 42, 32)     1   577         3   \n",
       "6       1903 Hall  Upperclass   (4, 4, 50, 7)     3   152         2   \n",
       "13    Cuyler Hall  Upperclass  (4, 4, 50, 56)     1   594         3   \n",
       "17    Foulke Hall  Upperclass  (4, 5, 24, 33)     2   897         3   \n",
       "12    Cuyler Hall  Upperclass  (4, 5, 43, 30)     0   591         3   \n",
       "1       1901 Hall  Upperclass  (4, 5, 45, 51)     1    13         3   \n",
       "2       1901 Hall  Upperclass  (4, 6, 10, 31)     3    23         3   \n",
       "0       1901 Hall  Upperclass  (4, 6, 23, 47)     0     4         3   \n",
       "21    Foulke Hall  Upperclass   (4, 6, 56, 4)     1   921         3   \n",
       "41      Pyne Hall  Upperclass   (4, 7, 6, 10)     1  1424         3   \n",
       "42      Pyne Hall  Upperclass   (4, 7, 7, 34)     1  1453         3   \n",
       "20    Foulke Hall  Upperclass  (4, 7, 30, 18)     0   917         3   \n",
       "35  Laughlin Hall  Upperclass  (4, 7, 55, 59)     3  1143         3   \n",
       "25     Henry Hall  Upperclass  (4, 8, 13, 39)     1   986         3   \n",
       "24     Henry Hall  Upperclass  (4, 8, 14, 23)     1   985         3   \n",
       "15    Foulke Hall  Upperclass  (4, 23, 55, 5)     1   893         3   \n",
       "18    Foulke Hall  Upperclass  (5, 0, 27, 35)     3   901         3   \n",
       "30     Henry Hall  Upperclass  (5, 0, 30, 39)     3  1048         3   \n",
       "26     Henry Hall  Upperclass  (5, 0, 47, 33)     2   992         3   \n",
       "3       1901 Hall  Upperclass  (5, 0, 49, 15)     1    28         3   \n",
       "23    Foulke Hall  Upperclass  (5, 2, 13, 24)     2   934         3   \n",
       "36  Lockhart Hall  Upperclass  (5, 2, 15, 16)     1  1253         3   \n",
       "29     Henry Hall  Upperclass  (5, 2, 27, 30)     0  1038         2   \n",
       "34  Laughlin Hall  Upperclass  (5, 2, 38, 50)     2  1140         3   \n",
       "32  Laughlin Hall  Upperclass   (5, 3, 0, 25)     2  1122         2   \n",
       "31  Laughlin Hall  Upperclass   (5, 3, 1, 17)     1  1119         2   \n",
       "\n",
       "    occupancy  reserved roomnum  sqft  subfree  \n",
       "38          3     False     063   430    False  \n",
       "33          3     False     616   409    False  \n",
       "7           3     False     211   425    False  \n",
       "4           3     False     321   393    False  \n",
       "5           3     False     324   389    False  \n",
       "27          3     False     232   454    False  \n",
       "39          3     False     T03   419    False  \n",
       "11          3     False     312   415    False  \n",
       "16          3     False     114   441    False  \n",
       "44          3     False     407   429    False  \n",
       "43          3     False     020   435    False  \n",
       "37          3     False     311   400    False  \n",
       "28          3     False     234   436    False  \n",
       "19          3     False     221   430    False  \n",
       "40          3     False     314   407    False  \n",
       "9           3     False     221   428    False  \n",
       "22          3     False     322   437    False  \n",
       "10          3     False     222   415    False  \n",
       "14          3     False     422   396    False  \n",
       "8           3     False     212   409    False  \n",
       "6           3     False     535   486    False  \n",
       "13          3     False     412   399    False  \n",
       "17          3     False     121   414    False  \n",
       "12          3     False     402   399    False  \n",
       "1           3     False     118   427    False  \n",
       "2           3     False     133   415    False  \n",
       "0           3     False     104   404    False  \n",
       "21          3     False     311   414    False  \n",
       "41          3     False     614   402    False  \n",
       "42          3     False     718   389    False  \n",
       "20          3     False     304   431    False  \n",
       "35          3     False     631   444    False  \n",
       "25          3     False     112   395    False  \n",
       "24          3     False     111   388    False  \n",
       "15          3     False     111   401    False  \n",
       "18          3     False     131   400    False  \n",
       "30          3     False     333   402    False  \n",
       "26          3     False     122   392    False  \n",
       "3           3     False     212   378    False  \n",
       "23          3     False     326   386    False  \n",
       "36          3     False     113   377    False  \n",
       "29          3     False     302   436    False  \n",
       "34          3     False     625   395    False  \n",
       "32          3     False     521   440    False  \n",
       "31          3     False     511   436    False  "
      ]
     },
     "execution_count": 128,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "tabular(possibles, min_time)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 78,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "instance of Room\n",
      "id|reserved|college   |building |floor|roomnum|sqft|occupancy|numrooms|subfree\n",
      "--+--------+----------+---------+-----+-------+----+---------+--------+-------\n",
      "9 |False   |Upperclass|1901 Hall|1    |114    |191 |1        |1       |False  \n"
     ]
    }
   ],
   "source": [
    "show(possibles[0])"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Mathey"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "mathey_singles = select(r for r in db.Room)"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.1"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}