SPUR-expe-analysis.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import pandas as pd \n",
    "import numpy as np\n",
    "\n",
    "df_spur = pd.read_csv(\"experiments-SPUR-fla.csv\")\n",
    "#df_spur = pd.read_csv(\"experiments-SPUR-blaster.csv\")\n",
    "#df_spur = pd.read_csv(\"experiments-SPUR-V7.csv\")\n",
    "#df_spur = pd.read_csv(\"experiments-SPUR-V3.csv\")\n",
    "#df_spur = pd.read_csv(\"experiments-SPUR-V15.csv\")\n",
    "#df_spur = pd.read_csv(\"experiments-SPUR-fmeasy.csv\")\n",
    "#df_spur = pd.read_csv(\"experiments-SPUR-fm.csv\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(70, 16)"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "df_spur.shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>start_time</th>\n",
       "      <th>formula_file</th>\n",
       "      <th>num_vars</th>\n",
       "      <th>independent_support_size</th>\n",
       "      <th>num_clauses</th>\n",
       "      <th>tot_num_models</th>\n",
       "      <th>max_component_split_depth</th>\n",
       "      <th>max_branch_var_depth</th>\n",
       "      <th>num_samples</th>\n",
       "      <th>num_second_pass_groups</th>\n",
       "      <th>avg_second_pass_var</th>\n",
       "      <th>execution_time</th>\n",
       "      <th>pass1_time</th>\n",
       "      <th>pass2_time</th>\n",
       "      <th>timeout</th>\n",
       "      <th>execution_time_in</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>0</th>\n",
       "      <td>Mon Jun 10 20:54:58 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/36.sk_3_77.cnf</td>\n",
       "      <td>8047.0</td>\n",
       "      <td>77.0</td>\n",
       "      <td>28733.0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>NaN</td>\n",
       "      <td>0.127471</td>\n",
       "      <td>1.797690e+308</td>\n",
       "      <td>1.797690e+308</td>\n",
       "      <td>False</td>\n",
       "      <td>0.929754</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>1</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/partition.sk_22_15...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>2</th>\n",
       "      <td>Mon Jun 10 20:58:58 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/109.sk_4_36.cnf</td>\n",
       "      <td>3565.0</td>\n",
       "      <td>36.0</td>\n",
       "      <td>14012.0</td>\n",
       "      <td>889192448</td>\n",
       "      <td>2.0</td>\n",
       "      <td>8.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>3.0</td>\n",
       "      <td>26.33</td>\n",
       "      <td>0.137009</td>\n",
       "      <td>8.887900e-02</td>\n",
       "      <td>4.813000e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.148163</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>3</th>\n",
       "      <td>Mon Jun 10 20:58:58 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/polynomial.sk_7_25...</td>\n",
       "      <td>313.0</td>\n",
       "      <td>25.0</td>\n",
       "      <td>1027.0</td>\n",
       "      <td>64</td>\n",
       "      <td>0.0</td>\n",
       "      <td>6.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.026572</td>\n",
       "      <td>2.578700e-02</td>\n",
       "      <td>7.850000e-04</td>\n",
       "      <td>False</td>\n",
       "      <td>0.031689</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>4</th>\n",
       "      <td>Mon Jun 10 20:58:59 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/80.sk_2_48.cnf</td>\n",
       "      <td>4969.0</td>\n",
       "      <td>48.0</td>\n",
       "      <td>17060.0</td>\n",
       "      <td>1099511627776</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.067982</td>\n",
       "      <td>6.367600e-02</td>\n",
       "      <td>4.306000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.078335</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>5</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/isolateRightmost.s...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>6</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/logcount.sk_16_86.cnf</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>7</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/listReverse.sk_11_...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>8</th>\n",
       "      <td>Mon Jun 10 21:10:59 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/111.sk_2_36.cnf</td>\n",
       "      <td>2348.0</td>\n",
       "      <td>36.0</td>\n",
       "      <td>5479.0</td>\n",
       "      <td>536870912</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.013494</td>\n",
       "      <td>1.262000e-02</td>\n",
       "      <td>8.740000e-04</td>\n",
       "      <td>False</td>\n",
       "      <td>0.023124</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>9</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/log2.sk_72_391.cnf</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>10</th>\n",
       "      <td>Mon Jun 10 21:15:00 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/71.sk_3_65.cnf</td>\n",
       "      <td>5670.0</td>\n",
       "      <td>65.0</td>\n",
       "      <td>14618.0</td>\n",
       "      <td>533271095898275840</td>\n",
       "      <td>4.0</td>\n",
       "      <td>17.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>8.0</td>\n",
       "      <td>122.25</td>\n",
       "      <td>0.585926</td>\n",
       "      <td>3.267520e-01</td>\n",
       "      <td>2.591740e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.607944</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>11</th>\n",
       "      <td>Mon Jun 10 21:15:00 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/57.sk_4_64.cnf</td>\n",
       "      <td>6917.0</td>\n",
       "      <td>64.0</td>\n",
       "      <td>23549.0</td>\n",
       "      <td>9007199254740992</td>\n",
       "      <td>1.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>2.0</td>\n",
       "      <td>2.00</td>\n",
       "      <td>0.079242</td>\n",
       "      <td>4.266600e-02</td>\n",
       "      <td>3.657600e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.088372</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>12</th>\n",
       "      <td>Mon Jun 10 21:15:06 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/NotificationServic...</td>\n",
       "      <td>3540.0</td>\n",
       "      <td>36.0</td>\n",
       "      <td>13425.0</td>\n",
       "      <td>139767338668606357504</td>\n",
       "      <td>7.0</td>\n",
       "      <td>40.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>621.40</td>\n",
       "      <td>6.192660</td>\n",
       "      <td>5.824810e+00</td>\n",
       "      <td>3.678520e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>6.203873</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>13</th>\n",
       "      <td>Mon Jun 10 21:15:06 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/77.sk_3_44.cnf</td>\n",
       "      <td>14535.0</td>\n",
       "      <td>44.0</td>\n",
       "      <td>27573.0</td>\n",
       "      <td>18253611008</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.136224</td>\n",
       "      <td>1.321310e-01</td>\n",
       "      <td>4.093000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.156078</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>14</th>\n",
       "      <td>Mon Jun 10 21:15:06 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/32.sk_4_38.cnf</td>\n",
       "      <td>3834.0</td>\n",
       "      <td>38.0</td>\n",
       "      <td>13594.0</td>\n",
       "      <td>2147483648</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.045668</td>\n",
       "      <td>4.378400e-02</td>\n",
       "      <td>1.884000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.051812</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>15</th>\n",
       "      <td>Mon Jun 10 21:15:06 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/79.sk_4_40.cnf</td>\n",
       "      <td>5707.0</td>\n",
       "      <td>40.0</td>\n",
       "      <td>21005.0</td>\n",
       "      <td>0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>NaN</td>\n",
       "      <td>0.051398</td>\n",
       "      <td>1.797690e+308</td>\n",
       "      <td>1.797690e+308</td>\n",
       "      <td>False</td>\n",
       "      <td>0.058395</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>16</th>\n",
       "      <td>Mon Jun 10 21:15:07 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/19.sk_3_48.cnf</td>\n",
       "      <td>6993.0</td>\n",
       "      <td>48.0</td>\n",
       "      <td>23867.0</td>\n",
       "      <td>2959802892288</td>\n",
       "      <td>4.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>4.0</td>\n",
       "      <td>46.75</td>\n",
       "      <td>0.261029</td>\n",
       "      <td>7.814600e-02</td>\n",
       "      <td>1.828830e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.274484</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>17</th>\n",
       "      <td>Mon Jun 10 21:15:08 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/IssueServiceImpl.s...</td>\n",
       "      <td>1393.0</td>\n",
       "      <td>30.0</td>\n",
       "      <td>4319.0</td>\n",
       "      <td>483915270910377984</td>\n",
       "      <td>4.0</td>\n",
       "      <td>32.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>469.70</td>\n",
       "      <td>1.377820</td>\n",
       "      <td>1.242190e+00</td>\n",
       "      <td>1.356320e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>1.385509</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>18</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/ProcessBean.sk_8_6...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>19</th>\n",
       "      <td>Mon Jun 10 21:19:08 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/110.sk_3_88.cnf</td>\n",
       "      <td>18570.0</td>\n",
       "      <td>88.0</td>\n",
       "      <td>63471.0</td>\n",
       "      <td>18889465931478580854784</td>\n",
       "      <td>1.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>2.0</td>\n",
       "      <td>1.00</td>\n",
       "      <td>0.251486</td>\n",
       "      <td>1.074410e-01</td>\n",
       "      <td>1.440450e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.290869</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>20</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/jburnim_morton.sk_...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>21</th>\n",
       "      <td>Mon Jun 10 21:23:30 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/54.sk_12_97.cnf</td>\n",
       "      <td>21726.0</td>\n",
       "      <td>97.0</td>\n",
       "      <td>73504.0</td>\n",
       "      <td>6833899789107057016176640</td>\n",
       "      <td>4.0</td>\n",
       "      <td>27.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>809.80</td>\n",
       "      <td>21.090100</td>\n",
       "      <td>1.923800e+01</td>\n",
       "      <td>1.852140e+00</td>\n",
       "      <td>False</td>\n",
       "      <td>21.141570</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>22</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/ConcreteRoleAffect...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>23</th>\n",
       "      <td>Mon Jun 10 21:27:30 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/35.sk_3_52.cnf</td>\n",
       "      <td>4915.0</td>\n",
       "      <td>52.0</td>\n",
       "      <td>10547.0</td>\n",
       "      <td>4398046511104</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.027030</td>\n",
       "      <td>2.545800e-02</td>\n",
       "      <td>1.572000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.033942</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>24</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/sort.sk_8_52.cnf</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>25</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/parity.sk_11_11.cnf</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>26</th>\n",
       "      <td>Mon Jun 10 21:35:30 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/55.sk_3_46.cnf</td>\n",
       "      <td>3128.0</td>\n",
       "      <td>46.0</td>\n",
       "      <td>12145.0</td>\n",
       "      <td>274877906944</td>\n",
       "      <td>1.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>2.0</td>\n",
       "      <td>1.50</td>\n",
       "      <td>0.059772</td>\n",
       "      <td>3.709900e-02</td>\n",
       "      <td>2.267300e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.074482</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>27</th>\n",
       "      <td>Mon Jun 10 21:35:33 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/LoginService.sk_20...</td>\n",
       "      <td>8200.0</td>\n",
       "      <td>34.0</td>\n",
       "      <td>26697.0</td>\n",
       "      <td>126476067702571008000</td>\n",
       "      <td>5.0</td>\n",
       "      <td>32.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>829.90</td>\n",
       "      <td>2.477440</td>\n",
       "      <td>2.047310e+00</td>\n",
       "      <td>4.301320e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>2.490579</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>28</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/LoginService2.sk_2...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>29</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/karatsuba.sk_7_41.cnf</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>...</th>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "      <td>...</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>40</th>\n",
       "      <td>Mon Jun 10 21:55:38 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/tutorial1.sk_1_1.cnf</td>\n",
       "      <td>67.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>66.0</td>\n",
       "      <td>2</td>\n",
       "      <td>0.0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.002691</td>\n",
       "      <td>2.436000e-03</td>\n",
       "      <td>2.550000e-04</td>\n",
       "      <td>False</td>\n",
       "      <td>0.006640</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>41</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/signedAvg.sk_8_102...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>42</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/compress.sk_17_291...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>43</th>\n",
       "      <td>Mon Jun 10 22:03:38 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/51.sk_4_38.cnf</td>\n",
       "      <td>3708.0</td>\n",
       "      <td>38.0</td>\n",
       "      <td>14594.0</td>\n",
       "      <td>2617245696</td>\n",
       "      <td>1.0</td>\n",
       "      <td>9.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>2.0</td>\n",
       "      <td>25.00</td>\n",
       "      <td>0.072231</td>\n",
       "      <td>4.836300e-02</td>\n",
       "      <td>2.386800e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.085793</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>44</th>\n",
       "      <td>Mon Jun 10 22:03:41 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/reverse.sk_11_258.cnf</td>\n",
       "      <td>75641.0</td>\n",
       "      <td>258.0</td>\n",
       "      <td>380869.0</td>\n",
       "      <td>158456325028528675187087900672</td>\n",
       "      <td>0.0</td>\n",
       "      <td>0.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>2.840090</td>\n",
       "      <td>2.773510e+00</td>\n",
       "      <td>6.658400e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>2.894442</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>45</th>\n",
       "      <td>Mon Jun 10 22:03:42 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/ConcreteActivitySe...</td>\n",
       "      <td>2481.0</td>\n",
       "      <td>28.0</td>\n",
       "      <td>9011.0</td>\n",
       "      <td>1124281700604444672</td>\n",
       "      <td>5.0</td>\n",
       "      <td>25.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>9.0</td>\n",
       "      <td>542.78</td>\n",
       "      <td>0.465383</td>\n",
       "      <td>3.276110e-01</td>\n",
       "      <td>1.377720e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.475172</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>46</th>\n",
       "      <td>Mon Jun 10 22:03:43 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/IterationService.s...</td>\n",
       "      <td>1896.0</td>\n",
       "      <td>27.0</td>\n",
       "      <td>6732.0</td>\n",
       "      <td>159544772187389952</td>\n",
       "      <td>6.0</td>\n",
       "      <td>40.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>8.0</td>\n",
       "      <td>437.75</td>\n",
       "      <td>0.873912</td>\n",
       "      <td>7.714930e-01</td>\n",
       "      <td>1.024190e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.882803</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>47</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/xpose.sk_6_134.cnf</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>48</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/diagStencilClean.s...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>49</th>\n",
       "      <td>Mon Jun 10 22:11:43 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/GuidanceService2.s...</td>\n",
       "      <td>715.0</td>\n",
       "      <td>27.0</td>\n",
       "      <td>2181.0</td>\n",
       "      <td>3251598930961498112</td>\n",
       "      <td>6.0</td>\n",
       "      <td>12.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>8.0</td>\n",
       "      <td>132.12</td>\n",
       "      <td>0.083575</td>\n",
       "      <td>4.387400e-02</td>\n",
       "      <td>3.970100e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.091432</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>50</th>\n",
       "      <td>Mon Jun 10 22:11:46 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/SetTest.sk_9_21.cnf</td>\n",
       "      <td>33744.0</td>\n",
       "      <td>21.0</td>\n",
       "      <td>148948.0</td>\n",
       "      <td>36</td>\n",
       "      <td>1.0</td>\n",
       "      <td>3.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>2.670850</td>\n",
       "      <td>2.647090e+00</td>\n",
       "      <td>2.376600e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>2.703885</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>51</th>\n",
       "      <td>Mon Jun 10 22:11:46 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/81.sk_5_51.cnf</td>\n",
       "      <td>10775.0</td>\n",
       "      <td>51.0</td>\n",
       "      <td>38006.0</td>\n",
       "      <td>18141941858304</td>\n",
       "      <td>4.0</td>\n",
       "      <td>13.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>205.40</td>\n",
       "      <td>0.817291</td>\n",
       "      <td>5.186760e-01</td>\n",
       "      <td>2.986150e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.830999</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>52</th>\n",
       "      <td>Mon Jun 10 22:11:47 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/63.sk_3_64.cnf</td>\n",
       "      <td>7242.0</td>\n",
       "      <td>64.0</td>\n",
       "      <td>24379.0</td>\n",
       "      <td>19421773393035264</td>\n",
       "      <td>2.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>3.0</td>\n",
       "      <td>1.67</td>\n",
       "      <td>0.193847</td>\n",
       "      <td>1.402130e-01</td>\n",
       "      <td>5.363400e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.203962</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>53</th>\n",
       "      <td>Mon Jun 10 22:11:48 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/107.sk_3_90.cnf</td>\n",
       "      <td>8948.0</td>\n",
       "      <td>90.0</td>\n",
       "      <td>40147.0</td>\n",
       "      <td>18889465931478580854784</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>1.386010</td>\n",
       "      <td>1.380240e+00</td>\n",
       "      <td>5.768000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>1.396677</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>54</th>\n",
       "      <td>Mon Jun 10 22:11:48 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/17.sk_3_45.cnf</td>\n",
       "      <td>10090.0</td>\n",
       "      <td>45.0</td>\n",
       "      <td>27056.0</td>\n",
       "      <td>274877906944</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.050668</td>\n",
       "      <td>4.671900e-02</td>\n",
       "      <td>3.949000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.061124</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>55</th>\n",
       "      <td>Mon Jun 10 22:11:48 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/56.sk_6_38.cnf</td>\n",
       "      <td>4842.0</td>\n",
       "      <td>38.0</td>\n",
       "      <td>17828.0</td>\n",
       "      <td>3690987520</td>\n",
       "      <td>1.0</td>\n",
       "      <td>9.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>3.0</td>\n",
       "      <td>25.33</td>\n",
       "      <td>0.082454</td>\n",
       "      <td>4.131800e-02</td>\n",
       "      <td>4.113600e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.089734</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>56</th>\n",
       "      <td>Mon Jun 10 22:11:49 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/10.sk_1_46.cnf</td>\n",
       "      <td>1494.0</td>\n",
       "      <td>46.0</td>\n",
       "      <td>2215.0</td>\n",
       "      <td>1081274793984</td>\n",
       "      <td>2.0</td>\n",
       "      <td>11.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>27.80</td>\n",
       "      <td>0.372774</td>\n",
       "      <td>3.358270e-01</td>\n",
       "      <td>3.694700e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.379988</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>57</th>\n",
       "      <td>Mon Jun 10 22:11:50 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/GuidanceService.sk...</td>\n",
       "      <td>988.0</td>\n",
       "      <td>27.0</td>\n",
       "      <td>3089.0</td>\n",
       "      <td>315947792977625088</td>\n",
       "      <td>11.0</td>\n",
       "      <td>28.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>290.20</td>\n",
       "      <td>0.922044</td>\n",
       "      <td>8.444530e-01</td>\n",
       "      <td>7.759100e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.927234</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>58</th>\n",
       "      <td>Mon Jun 10 22:11:50 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/7.sk_4_50.cnf</td>\n",
       "      <td>6683.0</td>\n",
       "      <td>50.0</td>\n",
       "      <td>24816.0</td>\n",
       "      <td>2199023255552</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.045032</td>\n",
       "      <td>4.154100e-02</td>\n",
       "      <td>3.491000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.053269</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>59</th>\n",
       "      <td>Mon Jun 10 22:11:51 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/doublyLinkedList.s...</td>\n",
       "      <td>6890.0</td>\n",
       "      <td>37.0</td>\n",
       "      <td>26918.0</td>\n",
       "      <td>2038431744</td>\n",
       "      <td>4.0</td>\n",
       "      <td>22.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>9.0</td>\n",
       "      <td>338.89</td>\n",
       "      <td>0.856050</td>\n",
       "      <td>5.498180e-01</td>\n",
       "      <td>3.062320e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.871168</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>60</th>\n",
       "      <td>Mon Jun 10 22:11:51 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/84.sk_4_77.cnf</td>\n",
       "      <td>15678.0</td>\n",
       "      <td>77.0</td>\n",
       "      <td>70956.0</td>\n",
       "      <td>36893488147419103232</td>\n",
       "      <td>1.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>2.0</td>\n",
       "      <td>2.50</td>\n",
       "      <td>0.377843</td>\n",
       "      <td>1.904580e-01</td>\n",
       "      <td>1.873850e-01</td>\n",
       "      <td>False</td>\n",
       "      <td>0.394762</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>61</th>\n",
       "      <td>Mon Jun 10 22:11:51 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/70.sk_3_40.cnf</td>\n",
       "      <td>4670.0</td>\n",
       "      <td>40.0</td>\n",
       "      <td>15864.0</td>\n",
       "      <td>8589934592</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.030349</td>\n",
       "      <td>2.812500e-02</td>\n",
       "      <td>2.224000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.037146</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>62</th>\n",
       "      <td>Mon Jun 10 22:11:51 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/tutorial2.sk_3_4.cnf</td>\n",
       "      <td>16726.0</td>\n",
       "      <td>4.0</td>\n",
       "      <td>77653.0</td>\n",
       "      <td>4</td>\n",
       "      <td>0.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.145784</td>\n",
       "      <td>1.332160e-01</td>\n",
       "      <td>1.256800e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.162394</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>63</th>\n",
       "      <td>Mon Jun 10 22:11:51 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/ActivityService.sk...</td>\n",
       "      <td>1837.0</td>\n",
       "      <td>27.0</td>\n",
       "      <td>5968.0</td>\n",
       "      <td>1804710898040832</td>\n",
       "      <td>4.0</td>\n",
       "      <td>21.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>292.00</td>\n",
       "      <td>0.125757</td>\n",
       "      <td>8.505700e-02</td>\n",
       "      <td>4.070000e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.131641</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>64</th>\n",
       "      <td>NaN</td>\n",
       "      <td>/home/samplingfm/Benchmarks/enqueueSeqSK.sk_10...</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>NaN</td>\n",
       "      <td>True</td>\n",
       "      <td>240.000000</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>65</th>\n",
       "      <td>Mon Jun 10 22:15:52 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/53.sk_4_32.cnf</td>\n",
       "      <td>2586.0</td>\n",
       "      <td>32.0</td>\n",
       "      <td>10747.0</td>\n",
       "      <td>67108864</td>\n",
       "      <td>1.0</td>\n",
       "      <td>5.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.00</td>\n",
       "      <td>0.034089</td>\n",
       "      <td>3.142600e-02</td>\n",
       "      <td>2.663000e-03</td>\n",
       "      <td>False</td>\n",
       "      <td>0.041967</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>66</th>\n",
       "      <td>Mon Jun 10 22:15:52 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/UserServiceImpl.sk...</td>\n",
       "      <td>1509.0</td>\n",
       "      <td>32.0</td>\n",
       "      <td>5009.0</td>\n",
       "      <td>26318028519946321920</td>\n",
       "      <td>10.0</td>\n",
       "      <td>21.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>9.0</td>\n",
       "      <td>340.89</td>\n",
       "      <td>0.203066</td>\n",
       "      <td>1.338820e-01</td>\n",
       "      <td>6.918400e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.208941</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>67</th>\n",
       "      <td>Mon Jun 10 22:16:24 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/lss.sk_6_7.cnf</td>\n",
       "      <td>82362.0</td>\n",
       "      <td>7.0</td>\n",
       "      <td>259553.0</td>\n",
       "      <td>23864</td>\n",
       "      <td>1.0</td>\n",
       "      <td>24.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>480.50</td>\n",
       "      <td>32.683100</td>\n",
       "      <td>9.096470e+00</td>\n",
       "      <td>2.358660e+01</td>\n",
       "      <td>False</td>\n",
       "      <td>32.751645</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>68</th>\n",
       "      <td>Mon Jun 10 22:16:25 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/PhaseService.sk_14...</td>\n",
       "      <td>1686.0</td>\n",
       "      <td>27.0</td>\n",
       "      <td>5655.0</td>\n",
       "      <td>3705491624558592</td>\n",
       "      <td>6.0</td>\n",
       "      <td>29.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>8.0</td>\n",
       "      <td>540.88</td>\n",
       "      <td>0.309002</td>\n",
       "      <td>2.149900e-01</td>\n",
       "      <td>9.401200e-02</td>\n",
       "      <td>False</td>\n",
       "      <td>0.316150</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>69</th>\n",
       "      <td>Mon Jun 10 22:18:48 2019</td>\n",
       "      <td>/home/samplingfm/Benchmarks/Pollard.sk_1_10.cnf</td>\n",
       "      <td>7815.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>41258.0</td>\n",
       "      <td>423880182400</td>\n",
       "      <td>3.0</td>\n",
       "      <td>90.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>10.0</td>\n",
       "      <td>1555.50</td>\n",
       "      <td>143.064000</td>\n",
       "      <td>1.273190e+02</td>\n",
       "      <td>1.574510e+01</td>\n",
       "      <td>False</td>\n",
       "      <td>143.106296</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "<p>70 rows × 16 columns</p>\n",
       "</div>"
      ],
      "text/plain": [
       "                  start_time  \\\n",
       "0   Mon Jun 10 20:54:58 2019   \n",
       "1                        NaN   \n",
       "2   Mon Jun 10 20:58:58 2019   \n",
       "3   Mon Jun 10 20:58:58 2019   \n",
       "4   Mon Jun 10 20:58:59 2019   \n",
       "5                        NaN   \n",
       "6                        NaN   \n",
       "7                        NaN   \n",
       "8   Mon Jun 10 21:10:59 2019   \n",
       "9                        NaN   \n",
       "10  Mon Jun 10 21:15:00 2019   \n",
       "11  Mon Jun 10 21:15:00 2019   \n",
       "12  Mon Jun 10 21:15:06 2019   \n",
       "13  Mon Jun 10 21:15:06 2019   \n",
       "14  Mon Jun 10 21:15:06 2019   \n",
       "15  Mon Jun 10 21:15:06 2019   \n",
       "16  Mon Jun 10 21:15:07 2019   \n",
       "17  Mon Jun 10 21:15:08 2019   \n",
       "18                       NaN   \n",
       "19  Mon Jun 10 21:19:08 2019   \n",
       "20                       NaN   \n",
       "21  Mon Jun 10 21:23:30 2019   \n",
       "22                       NaN   \n",
       "23  Mon Jun 10 21:27:30 2019   \n",
       "24                       NaN   \n",
       "25                       NaN   \n",
       "26  Mon Jun 10 21:35:30 2019   \n",
       "27  Mon Jun 10 21:35:33 2019   \n",
       "28                       NaN   \n",
       "29                       NaN   \n",
       "..                       ...   \n",
       "40  Mon Jun 10 21:55:38 2019   \n",
       "41                       NaN   \n",
       "42                       NaN   \n",
       "43  Mon Jun 10 22:03:38 2019   \n",
       "44  Mon Jun 10 22:03:41 2019   \n",
       "45  Mon Jun 10 22:03:42 2019   \n",
       "46  Mon Jun 10 22:03:43 2019   \n",
       "47                       NaN   \n",
       "48                       NaN   \n",
       "49  Mon Jun 10 22:11:43 2019   \n",
       "50  Mon Jun 10 22:11:46 2019   \n",
       "51  Mon Jun 10 22:11:46 2019   \n",
       "52  Mon Jun 10 22:11:47 2019   \n",
       "53  Mon Jun 10 22:11:48 2019   \n",
       "54  Mon Jun 10 22:11:48 2019   \n",
       "55  Mon Jun 10 22:11:48 2019   \n",
       "56  Mon Jun 10 22:11:49 2019   \n",
       "57  Mon Jun 10 22:11:50 2019   \n",
       "58  Mon Jun 10 22:11:50 2019   \n",
       "59  Mon Jun 10 22:11:51 2019   \n",
       "60  Mon Jun 10 22:11:51 2019   \n",
       "61  Mon Jun 10 22:11:51 2019   \n",
       "62  Mon Jun 10 22:11:51 2019   \n",
       "63  Mon Jun 10 22:11:51 2019   \n",
       "64                       NaN   \n",
       "65  Mon Jun 10 22:15:52 2019   \n",
       "66  Mon Jun 10 22:15:52 2019   \n",
       "67  Mon Jun 10 22:16:24 2019   \n",
       "68  Mon Jun 10 22:16:25 2019   \n",
       "69  Mon Jun 10 22:18:48 2019   \n",
       "\n",
       "                                         formula_file  num_vars  \\\n",
       "0          /home/samplingfm/Benchmarks/36.sk_3_77.cnf    8047.0   \n",
       "1   /home/samplingfm/Benchmarks/partition.sk_22_15...       NaN   \n",
       "2         /home/samplingfm/Benchmarks/109.sk_4_36.cnf    3565.0   \n",
       "3   /home/samplingfm/Benchmarks/polynomial.sk_7_25...     313.0   \n",
       "4          /home/samplingfm/Benchmarks/80.sk_2_48.cnf    4969.0   \n",
       "5   /home/samplingfm/Benchmarks/isolateRightmost.s...       NaN   \n",
       "6   /home/samplingfm/Benchmarks/logcount.sk_16_86.cnf       NaN   \n",
       "7   /home/samplingfm/Benchmarks/listReverse.sk_11_...       NaN   \n",
       "8         /home/samplingfm/Benchmarks/111.sk_2_36.cnf    2348.0   \n",
       "9      /home/samplingfm/Benchmarks/log2.sk_72_391.cnf       NaN   \n",
       "10         /home/samplingfm/Benchmarks/71.sk_3_65.cnf    5670.0   \n",
       "11         /home/samplingfm/Benchmarks/57.sk_4_64.cnf    6917.0   \n",
       "12  /home/samplingfm/Benchmarks/NotificationServic...    3540.0   \n",
       "13         /home/samplingfm/Benchmarks/77.sk_3_44.cnf   14535.0   \n",
       "14         /home/samplingfm/Benchmarks/32.sk_4_38.cnf    3834.0   \n",
       "15         /home/samplingfm/Benchmarks/79.sk_4_40.cnf    5707.0   \n",
       "16         /home/samplingfm/Benchmarks/19.sk_3_48.cnf    6993.0   \n",
       "17  /home/samplingfm/Benchmarks/IssueServiceImpl.s...    1393.0   \n",
       "18  /home/samplingfm/Benchmarks/ProcessBean.sk_8_6...       NaN   \n",
       "19        /home/samplingfm/Benchmarks/110.sk_3_88.cnf   18570.0   \n",
       "20  /home/samplingfm/Benchmarks/jburnim_morton.sk_...       NaN   \n",
       "21        /home/samplingfm/Benchmarks/54.sk_12_97.cnf   21726.0   \n",
       "22  /home/samplingfm/Benchmarks/ConcreteRoleAffect...       NaN   \n",
       "23         /home/samplingfm/Benchmarks/35.sk_3_52.cnf    4915.0   \n",
       "24       /home/samplingfm/Benchmarks/sort.sk_8_52.cnf       NaN   \n",
       "25    /home/samplingfm/Benchmarks/parity.sk_11_11.cnf       NaN   \n",
       "26         /home/samplingfm/Benchmarks/55.sk_3_46.cnf    3128.0   \n",
       "27  /home/samplingfm/Benchmarks/LoginService.sk_20...    8200.0   \n",
       "28  /home/samplingfm/Benchmarks/LoginService2.sk_2...       NaN   \n",
       "29  /home/samplingfm/Benchmarks/karatsuba.sk_7_41.cnf       NaN   \n",
       "..                                                ...       ...   \n",
       "40   /home/samplingfm/Benchmarks/tutorial1.sk_1_1.cnf      67.0   \n",
       "41  /home/samplingfm/Benchmarks/signedAvg.sk_8_102...       NaN   \n",
       "42  /home/samplingfm/Benchmarks/compress.sk_17_291...       NaN   \n",
       "43         /home/samplingfm/Benchmarks/51.sk_4_38.cnf    3708.0   \n",
       "44  /home/samplingfm/Benchmarks/reverse.sk_11_258.cnf   75641.0   \n",
       "45  /home/samplingfm/Benchmarks/ConcreteActivitySe...    2481.0   \n",
       "46  /home/samplingfm/Benchmarks/IterationService.s...    1896.0   \n",
       "47     /home/samplingfm/Benchmarks/xpose.sk_6_134.cnf       NaN   \n",
       "48  /home/samplingfm/Benchmarks/diagStencilClean.s...       NaN   \n",
       "49  /home/samplingfm/Benchmarks/GuidanceService2.s...     715.0   \n",
       "50    /home/samplingfm/Benchmarks/SetTest.sk_9_21.cnf   33744.0   \n",
       "51         /home/samplingfm/Benchmarks/81.sk_5_51.cnf   10775.0   \n",
       "52         /home/samplingfm/Benchmarks/63.sk_3_64.cnf    7242.0   \n",
       "53        /home/samplingfm/Benchmarks/107.sk_3_90.cnf    8948.0   \n",
       "54         /home/samplingfm/Benchmarks/17.sk_3_45.cnf   10090.0   \n",
       "55         /home/samplingfm/Benchmarks/56.sk_6_38.cnf    4842.0   \n",
       "56         /home/samplingfm/Benchmarks/10.sk_1_46.cnf    1494.0   \n",
       "57  /home/samplingfm/Benchmarks/GuidanceService.sk...     988.0   \n",
       "58          /home/samplingfm/Benchmarks/7.sk_4_50.cnf    6683.0   \n",
       "59  /home/samplingfm/Benchmarks/doublyLinkedList.s...    6890.0   \n",
       "60         /home/samplingfm/Benchmarks/84.sk_4_77.cnf   15678.0   \n",
       "61         /home/samplingfm/Benchmarks/70.sk_3_40.cnf    4670.0   \n",
       "62   /home/samplingfm/Benchmarks/tutorial2.sk_3_4.cnf   16726.0   \n",
       "63  /home/samplingfm/Benchmarks/ActivityService.sk...    1837.0   \n",
       "64  /home/samplingfm/Benchmarks/enqueueSeqSK.sk_10...       NaN   \n",
       "65         /home/samplingfm/Benchmarks/53.sk_4_32.cnf    2586.0   \n",
       "66  /home/samplingfm/Benchmarks/UserServiceImpl.sk...    1509.0   \n",
       "67         /home/samplingfm/Benchmarks/lss.sk_6_7.cnf   82362.0   \n",
       "68  /home/samplingfm/Benchmarks/PhaseService.sk_14...    1686.0   \n",
       "69    /home/samplingfm/Benchmarks/Pollard.sk_1_10.cnf    7815.0   \n",
       "\n",
       "    independent_support_size  num_clauses                  tot_num_models  \\\n",
       "0                       77.0      28733.0                               0   \n",
       "1                        NaN          NaN                             NaN   \n",
       "2                       36.0      14012.0                       889192448   \n",
       "3                       25.0       1027.0                              64   \n",
       "4                       48.0      17060.0                   1099511627776   \n",
       "5                        NaN          NaN                             NaN   \n",
       "6                        NaN          NaN                             NaN   \n",
       "7                        NaN          NaN                             NaN   \n",
       "8                       36.0       5479.0                       536870912   \n",
       "9                        NaN          NaN                             NaN   \n",
       "10                      65.0      14618.0              533271095898275840   \n",
       "11                      64.0      23549.0                9007199254740992   \n",
       "12                      36.0      13425.0           139767338668606357504   \n",
       "13                      44.0      27573.0                     18253611008   \n",
       "14                      38.0      13594.0                      2147483648   \n",
       "15                      40.0      21005.0                               0   \n",
       "16                      48.0      23867.0                   2959802892288   \n",
       "17                      30.0       4319.0              483915270910377984   \n",
       "18                       NaN          NaN                             NaN   \n",
       "19                      88.0      63471.0         18889465931478580854784   \n",
       "20                       NaN          NaN                             NaN   \n",
       "21                      97.0      73504.0       6833899789107057016176640   \n",
       "22                       NaN          NaN                             NaN   \n",
       "23                      52.0      10547.0                   4398046511104   \n",
       "24                       NaN          NaN                             NaN   \n",
       "25                       NaN          NaN                             NaN   \n",
       "26                      46.0      12145.0                    274877906944   \n",
       "27                      34.0      26697.0           126476067702571008000   \n",
       "28                       NaN          NaN                             NaN   \n",
       "29                       NaN          NaN                             NaN   \n",
       "..                       ...          ...                             ...   \n",
       "40                       1.0         66.0                               2   \n",
       "41                       NaN          NaN                             NaN   \n",
       "42                       NaN          NaN                             NaN   \n",
       "43                      38.0      14594.0                      2617245696   \n",
       "44                     258.0     380869.0  158456325028528675187087900672   \n",
       "45                      28.0       9011.0             1124281700604444672   \n",
       "46                      27.0       6732.0              159544772187389952   \n",
       "47                       NaN          NaN                             NaN   \n",
       "48                       NaN          NaN                             NaN   \n",
       "49                      27.0       2181.0             3251598930961498112   \n",
       "50                      21.0     148948.0                              36   \n",
       "51                      51.0      38006.0                  18141941858304   \n",
       "52                      64.0      24379.0               19421773393035264   \n",
       "53                      90.0      40147.0         18889465931478580854784   \n",
       "54                      45.0      27056.0                    274877906944   \n",
       "55                      38.0      17828.0                      3690987520   \n",
       "56                      46.0       2215.0                   1081274793984   \n",
       "57                      27.0       3089.0              315947792977625088   \n",
       "58                      50.0      24816.0                   2199023255552   \n",
       "59                      37.0      26918.0                      2038431744   \n",
       "60                      77.0      70956.0            36893488147419103232   \n",
       "61                      40.0      15864.0                      8589934592   \n",
       "62                       4.0      77653.0                               4   \n",
       "63                      27.0       5968.0                1804710898040832   \n",
       "64                       NaN          NaN                             NaN   \n",
       "65                      32.0      10747.0                        67108864   \n",
       "66                      32.0       5009.0            26318028519946321920   \n",
       "67                       7.0     259553.0                           23864   \n",
       "68                      27.0       5655.0                3705491624558592   \n",
       "69                      10.0      41258.0                    423880182400   \n",
       "\n",
       "    max_component_split_depth  max_branch_var_depth  num_samples  \\\n",
       "0                         0.0                   0.0         10.0   \n",
       "1                         NaN                   NaN          NaN   \n",
       "2                         2.0                   8.0         10.0   \n",
       "3                         0.0                   6.0         10.0   \n",
       "4                         1.0                   5.0         10.0   \n",
       "5                         NaN                   NaN          NaN   \n",
       "6                         NaN                   NaN          NaN   \n",
       "7                         NaN                   NaN          NaN   \n",
       "8                         1.0                   5.0         10.0   \n",
       "9                         NaN                   NaN          NaN   \n",
       "10                        4.0                  17.0         10.0   \n",
       "11                        1.0                   7.0         10.0   \n",
       "12                        7.0                  40.0         10.0   \n",
       "13                        1.0                   5.0         10.0   \n",
       "14                        1.0                   5.0         10.0   \n",
       "15                        0.0                   0.0         10.0   \n",
       "16                        4.0                  10.0         10.0   \n",
       "17                        4.0                  32.0         10.0   \n",
       "18                        NaN                   NaN          NaN   \n",
       "19                        1.0                   7.0         10.0   \n",
       "20                        NaN                   NaN          NaN   \n",
       "21                        4.0                  27.0         10.0   \n",
       "22                        NaN                   NaN          NaN   \n",
       "23                        1.0                   5.0         10.0   \n",
       "24                        NaN                   NaN          NaN   \n",
       "25                        NaN                   NaN          NaN   \n",
       "26                        1.0                   7.0         10.0   \n",
       "27                        5.0                  32.0         10.0   \n",
       "28                        NaN                   NaN          NaN   \n",
       "29                        NaN                   NaN          NaN   \n",
       "..                        ...                   ...          ...   \n",
       "40                        0.0                   0.0         10.0   \n",
       "41                        NaN                   NaN          NaN   \n",
       "42                        NaN                   NaN          NaN   \n",
       "43                        1.0                   9.0         10.0   \n",
       "44                        0.0                   0.0         10.0   \n",
       "45                        5.0                  25.0         10.0   \n",
       "46                        6.0                  40.0         10.0   \n",
       "47                        NaN                   NaN          NaN   \n",
       "48                        NaN                   NaN          NaN   \n",
       "49                        6.0                  12.0         10.0   \n",
       "50                        1.0                   3.0         10.0   \n",
       "51                        4.0                  13.0         10.0   \n",
       "52                        2.0                   7.0         10.0   \n",
       "53                        1.0                   5.0         10.0   \n",
       "54                        1.0                   5.0         10.0   \n",
       "55                        1.0                   9.0         10.0   \n",
       "56                        2.0                  11.0         10.0   \n",
       "57                       11.0                  28.0         10.0   \n",
       "58                        1.0                   5.0         10.0   \n",
       "59                        4.0                  22.0         10.0   \n",
       "60                        1.0                   7.0         10.0   \n",
       "61                        1.0                   5.0         10.0   \n",
       "62                        0.0                   1.0         10.0   \n",
       "63                        4.0                  21.0         10.0   \n",
       "64                        NaN                   NaN          NaN   \n",
       "65                        1.0                   5.0         10.0   \n",
       "66                       10.0                  21.0         10.0   \n",
       "67                        1.0                  24.0         10.0   \n",
       "68                        6.0                  29.0         10.0   \n",
       "69                        3.0                  90.0         10.0   \n",
       "\n",
       "    num_second_pass_groups  avg_second_pass_var  execution_time  \\\n",
       "0                      0.0                  NaN        0.127471   \n",
       "1                      NaN                  NaN             NaN   \n",
       "2                      3.0                26.33        0.137009   \n",
       "3                      1.0                 0.00        0.026572   \n",
       "4                      1.0                 0.00        0.067982   \n",
       "5                      NaN                  NaN             NaN   \n",
       "6                      NaN                  NaN             NaN   \n",
       "7                      NaN                  NaN             NaN   \n",
       "8                      1.0                 0.00        0.013494   \n",
       "9                      NaN                  NaN             NaN   \n",
       "10                     8.0               122.25        0.585926   \n",
       "11                     2.0                 2.00        0.079242   \n",
       "12                    10.0               621.40        6.192660   \n",
       "13                     1.0                 0.00        0.136224   \n",
       "14                     1.0                 0.00        0.045668   \n",
       "15                     0.0                  NaN        0.051398   \n",
       "16                     4.0                46.75        0.261029   \n",
       "17                    10.0               469.70        1.377820   \n",
       "18                     NaN                  NaN             NaN   \n",
       "19                     2.0                 1.00        0.251486   \n",
       "20                     NaN                  NaN             NaN   \n",
       "21                    10.0               809.80       21.090100   \n",
       "22                     NaN                  NaN             NaN   \n",
       "23                     1.0                 0.00        0.027030   \n",
       "24                     NaN                  NaN             NaN   \n",
       "25                     NaN                  NaN             NaN   \n",
       "26                     2.0                 1.50        0.059772   \n",
       "27                    10.0               829.90        2.477440   \n",
       "28                     NaN                  NaN             NaN   \n",
       "29                     NaN                  NaN             NaN   \n",
       "..                     ...                  ...             ...   \n",
       "40                     1.0                 0.00        0.002691   \n",
       "41                     NaN                  NaN             NaN   \n",
       "42                     NaN                  NaN             NaN   \n",
       "43                     2.0                25.00        0.072231   \n",
       "44                     1.0                 0.00        2.840090   \n",
       "45                     9.0               542.78        0.465383   \n",
       "46                     8.0               437.75        0.873912   \n",
       "47                     NaN                  NaN             NaN   \n",
       "48                     NaN                  NaN             NaN   \n",
       "49                     8.0               132.12        0.083575   \n",
       "50                     1.0                 0.00        2.670850   \n",
       "51                     5.0               205.40        0.817291   \n",
       "52                     3.0                 1.67        0.193847   \n",
       "53                     1.0                 0.00        1.386010   \n",
       "54                     1.0                 0.00        0.050668   \n",
       "55                     3.0                25.33        0.082454   \n",
       "56                     5.0                27.80        0.372774   \n",
       "57                    10.0               290.20        0.922044   \n",
       "58                     1.0                 0.00        0.045032   \n",
       "59                     9.0               338.89        0.856050   \n",
       "60                     2.0                 2.50        0.377843   \n",
       "61                     1.0                 0.00        0.030349   \n",
       "62                     1.0                 0.00        0.145784   \n",
       "63                     7.0               292.00        0.125757   \n",
       "64                     NaN                  NaN             NaN   \n",
       "65                     1.0                 0.00        0.034089   \n",
       "66                     9.0               340.89        0.203066   \n",
       "67                    10.0               480.50       32.683100   \n",
       "68                     8.0               540.88        0.309002   \n",
       "69                    10.0              1555.50      143.064000   \n",
       "\n",
       "       pass1_time     pass2_time  timeout  execution_time_in  \n",
       "0   1.797690e+308  1.797690e+308    False           0.929754  \n",
       "1             NaN            NaN     True         240.000000  \n",
       "2    8.887900e-02   4.813000e-02    False           0.148163  \n",
       "3    2.578700e-02   7.850000e-04    False           0.031689  \n",
       "4    6.367600e-02   4.306000e-03    False           0.078335  \n",
       "5             NaN            NaN     True         240.000000  \n",
       "6             NaN            NaN     True         240.000000  \n",
       "7             NaN            NaN     True         240.000000  \n",
       "8    1.262000e-02   8.740000e-04    False           0.023124  \n",
       "9             NaN            NaN     True         240.000000  \n",
       "10   3.267520e-01   2.591740e-01    False           0.607944  \n",
       "11   4.266600e-02   3.657600e-02    False           0.088372  \n",
       "12   5.824810e+00   3.678520e-01    False           6.203873  \n",
       "13   1.321310e-01   4.093000e-03    False           0.156078  \n",
       "14   4.378400e-02   1.884000e-03    False           0.051812  \n",
       "15  1.797690e+308  1.797690e+308    False           0.058395  \n",
       "16   7.814600e-02   1.828830e-01    False           0.274484  \n",
       "17   1.242190e+00   1.356320e-01    False           1.385509  \n",
       "18            NaN            NaN     True         240.000000  \n",
       "19   1.074410e-01   1.440450e-01    False           0.290869  \n",
       "20            NaN            NaN     True         240.000000  \n",
       "21   1.923800e+01   1.852140e+00    False          21.141570  \n",
       "22            NaN            NaN     True         240.000000  \n",
       "23   2.545800e-02   1.572000e-03    False           0.033942  \n",
       "24            NaN            NaN     True         240.000000  \n",
       "25            NaN            NaN     True         240.000000  \n",
       "26   3.709900e-02   2.267300e-02    False           0.074482  \n",
       "27   2.047310e+00   4.301320e-01    False           2.490579  \n",
       "28            NaN            NaN     True         240.000000  \n",
       "29            NaN            NaN     True         240.000000  \n",
       "..            ...            ...      ...                ...  \n",
       "40   2.436000e-03   2.550000e-04    False           0.006640  \n",
       "41            NaN            NaN     True         240.000000  \n",
       "42            NaN            NaN     True         240.000000  \n",
       "43   4.836300e-02   2.386800e-02    False           0.085793  \n",
       "44   2.773510e+00   6.658400e-02    False           2.894442  \n",
       "45   3.276110e-01   1.377720e-01    False           0.475172  \n",
       "46   7.714930e-01   1.024190e-01    False           0.882803  \n",
       "47            NaN            NaN     True         240.000000  \n",
       "48            NaN            NaN     True         240.000000  \n",
       "49   4.387400e-02   3.970100e-02    False           0.091432  \n",
       "50   2.647090e+00   2.376600e-02    False           2.703885  \n",
       "51   5.186760e-01   2.986150e-01    False           0.830999  \n",
       "52   1.402130e-01   5.363400e-02    False           0.203962  \n",
       "53   1.380240e+00   5.768000e-03    False           1.396677  \n",
       "54   4.671900e-02   3.949000e-03    False           0.061124  \n",
       "55   4.131800e-02   4.113600e-02    False           0.089734  \n",
       "56   3.358270e-01   3.694700e-02    False           0.379988  \n",
       "57   8.444530e-01   7.759100e-02    False           0.927234  \n",
       "58   4.154100e-02   3.491000e-03    False           0.053269  \n",
       "59   5.498180e-01   3.062320e-01    False           0.871168  \n",
       "60   1.904580e-01   1.873850e-01    False           0.394762  \n",
       "61   2.812500e-02   2.224000e-03    False           0.037146  \n",
       "62   1.332160e-01   1.256800e-02    False           0.162394  \n",
       "63   8.505700e-02   4.070000e-02    False           0.131641  \n",
       "64            NaN            NaN     True         240.000000  \n",
       "65   3.142600e-02   2.663000e-03    False           0.041967  \n",
       "66   1.338820e-01   6.918400e-02    False           0.208941  \n",
       "67   9.096470e+00   2.358660e+01    False          32.751645  \n",
       "68   2.149900e-01   9.401200e-02    False           0.316150  \n",
       "69   1.273190e+02   1.574510e+01    False         143.106296  \n",
       "\n",
       "[70 rows x 16 columns]"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "df_spur"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "(50, 16)"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "df_spur.query(\"timeout == False\").shape"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "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.7.3"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}