text: DROP TABLE IF EXISTS `tags`;
  CREATE TABLE `tags` (
    `runID` bigint(20) NOT NULL,
    `tagname` varchar(500) NOT NULL,
    `tag` varchar(500) NOT NULL
  );
  
  DROP TABLE IF EXISTS `reduceDB`;
  CREATE TABLE `reduceDB` (
    `runID` bigint(20) NOT NULL,
    `simplifications` int(20) NOT NULL,
    `restarts` bigint(20) NOT NULL,
    `conflicts` bigint(20) NOT NULL,
    `runtime` float NOT NULL,
  
    `clauseID` int(20) NOT NULL,
    `dump_no` int(20) NOT NULL,
    `conflicts_made` bigint(20) NOT NULL,
    `sum_of_branch_depth_conflict` bigint(20) NOT NULL,
    `propagations_made` bigint(20) NOT NULL,
    `clause_looked_at` bigint(20) NOT NULL,
    `used_for_uip_creation` bigint(20) NOT NULL,
    `last_touched_diff` bigint(20) NOT NULL,
    `activity_rel` float(20) NOT NULL,
    `locked` int(20) NOT NULL,
    `in_xor` int(20) NOT NULL,
    `glue` int(20) NOT NULL,
    `size` int(20) NOT NULL,
    `ttl` int(20) NOT NULL
  );
  
  DROP TABLE IF EXISTS `restart`;
  CREATE TABLE `restart` (
    `runID` bigint(20) NOT NULL,
    `simplifications` int(20) NOT NULL,
    `restarts` bigint(20) NOT NULL,
    `conflicts` bigint(20) NOT NULL,
    `latest_feature_calc` int(20) NOT NULL,
    `runtime` float NOT NULL,
    `numIrredBins` int(20) NOT NULL,
    `numIrredLongs` int(20) NOT NULL,
    `numRedBins` int(20) NOT NULL,
    `numRedLongs` int(20) NOT NULL,
    `numIrredLits` bigint(20) NOT NULL,
    `numredLits` bigint(20) NOT NULL,
    `restart_type` char(20) NOT NULL,
    `glue` float NOT NULL,
    `glueSD` float NOT NULL,
    `glueMin` int(20) NOT NULL,
    `glueMax` int(20) NOT NULL,
    `size` float NOT NULL,
    `sizeSD` float NOT NULL,
    `sizeMin` int(20) NOT NULL,
    `sizeMax` int(20) NOT NULL,
    `resolutions` float NOT NULL,
    `resolutionsSD` float NOT NULL,
    `resolutionsMin` int(20) NOT NULL,
    `resolutionsMax` int(20) NOT NULL,
    `branchDepth` float NOT NULL,
    `branchDepthSD` float NOT NULL,
    `branchDepthMin` int(20) NOT NULL,
    `branchDepthMax` int(20) NOT NULL,
    `branchDepthDelta` float NOT NULL,
    `branchDepthDeltaSD` float NOT NULL,
    `branchDepthDeltaMin` int(20) NOT NULL,
    `branchDepthDeltaMax` int(20) NOT NULL,
    `trailDepth` float NOT NULL,
    `trailDepthSD` float NOT NULL,
    `trailDepthMin` int(20) NOT NULL,
    `trailDepthMax` int(20) NOT NULL,
    `trailDepthDelta` float NOT NULL,
    `trailDepthDeltaSD` float NOT NULL,
    `trailDepthDeltaMin` int(20) NOT NULL,
    `trailDepthDeltaMax` int(20) NOT NULL,
    `propBinIrred` bigint(20) NOT NULL,
    `propBinRed` bigint(20) NOT NULL,
    `propLongIrred` bigint(20) NOT NULL,
    `propLongRed` bigint(20) NOT NULL,
    `conflBinIrred` bigint(20) NOT NULL,
    `conflBinRed` bigint(20) NOT NULL,
    `conflLongIrred` bigint(20) NOT NULL,
    `conflLongRed` bigint(20) NOT NULL,
    `learntUnits` int(20) NOT NULL,
    `learntBins` int(20) NOT NULL,
    `learntLongs` int(20) NOT NULL,
    `resolBinIrred` bigint(20) NOT NULL,
    `resolBinRed` bigint(20) NOT NULL,
    `resolLIrred` bigint(20) NOT NULL,
    `resolLRed` bigint(20) NOT NULL,
    `propagations` bigint(20) NOT NULL,
    `decisions` bigint(20) NOT NULL,
    `flipped` bigint(20) NOT NULL,
    `varSetPos` bigint(20) NOT NULL,
    `varSetNeg` bigint(20) NOT NULL,
    `free` int(20) NOT NULL,
    `replaced` int(20) NOT NULL,
    `eliminated` int(20) NOT NULL,
    `set` int(20) NOT NULL,
    `clauseIDstartInclusive` int(20) NOT NULL,
    `clauseIDendExclusive` int(20) NOT NULL
  );
  
  DROP TABLE IF EXISTS `timepassed`;
  CREATE TABLE `timepassed` (
    `runID` bigint(20) NOT NULL,
    `simplifications` bigint(20) NOT NULL,
    `conflicts` bigint(20) NOT NULL,
    `runtime` float NOT NULL,
    `name` varchar(200) NOT NULL,
    `elapsed` float NOT NULL,
    `timeout` int(20) DEFAULT NULL,
    `percenttimeremain` float DEFAULT NULL
  );
  
  DROP TABLE IF EXISTS `memused`;
  CREATE TABLE `memused` (
    `runID` bigint(20) NOT NULL,
    `simplifications` bigint(20) NOT NULL,
    `conflicts` bigint(20) NOT NULL,
    `runtime` float NOT NULL,
    `name` varchar(200) NOT NULL,
    `MB` int(20) NOT NULL
  );
  
  DROP TABLE IF EXISTS `solverRun`;
  CREATE TABLE `solverRun` (
    `runID` bigint(20) NOT NULL,
    `runtime` float NOT NULL,
    `gitrev` varchar(100) NOT NULL
  );
  
  DROP TABLE IF EXISTS `startup`;
  CREATE TABLE `startup` (
    `runID` bigint(20) NOT NULL,
    `startTime` datetime NOT NULL
  );
  
  DROP TABLE IF EXISTS `finishup`;
  CREATE TABLE `finishup` (
    `runID` bigint(20) NOT NULL,
    `endTime` datetime NOT NULL,
    `status` varchar(255) NOT NULL
  );
  
  DROP TABLE IF EXISTS `clauseStats`;
  CREATE TABLE `clauseStats` (
    `runID` bigint(20) NOT NULL,
    `simplifications` int(20) NOT NULL,
    `restarts` bigint(20) NOT NULL,
    `prev_restart` bigint(20) NOT NULL,
    `conflicts` bigint(20) NOT NULL,
    `latest_feature_calc` int(20) NOT NULL,
    `clauseID` bigint(20) NOT NULL,
  
    `glue` int(20) NOT NULL,
    `size` int(20) NOT NULL,
    `conflicts_this_restart` bigint(20) NOT NULL,
    `num_overlap_literals` int(20) NOT NULL,
    `num_antecedents` int(20) NOT NULL,
    `num_total_lits_antecedents` int(20) NOT NULL,
    `antecedents_avg_size` float(20) NOT NULL,
  
    `backtrack_level` int(20) NOT NULL,
    `decision_level` int(20) NOT NULL,
    `decision_level_pre1` int(20) NOT NULL,
    `decision_level_pre2` int(20) NOT NULL,
    `trail_depth_level` int(20) NOT NULL,
    `cur_restart_type` char(20) NOT NULL,
  
    `atedecents_binIrred` int(20) NOT NULL,
    `atedecents_binRed` int(20) NOT NULL,
    `atedecents_longIrred` int(20) NOT NULL,
    `atedecents_longRed` int(20) NOT NULL,
  
    `last_dec_var_act_vsids_0` float NOT NULL,
    `last_dec_var_act_vsids_1` float NOT NULL,
    `first_dec_var_act_vsids_0` float NOT NULL,
    `first_dec_var_act_vsids_1` float NOT NULL,
  
    `vsids_vars_avg` float NOT NULL,
    `vsids_vars_var` float NOT NULL,
    `vsids_vars_min` float NOT NULL,
    `vsids_vars_max` float NOT NULL,
  
    `antecedents_glue_long_reds_avg` float NOT NULL,
    `antecedents_glue_long_reds_var` float NOT NULL,
    `antecedents_glue_long_reds_min` int(20) NOT NULL,
    `antecedents_glue_long_reds_max` int(20) NOT NULL,
  
    `antecedents_long_red_age_avg` float NOT NULL,
    `antecedents_long_red_age_var` float NOT NULL,
    `antecedents_long_red_age_min` bigint(20) NOT NULL,
    `antecedents_long_red_age_max` bigint(20) NOT NULL,
  
    `vsids_of_resolving_literals_avg` float NOT NULL,
    `vsids_of_resolving_literals_var` float NOT NULL,
    `vsids_of_resolving_literals_min` float NOT NULL,
    `vsids_of_resolving_literals_max` float NOT NULL,
  
    `vsids_of_all_incoming_lits_avg` float NOT NULL,
    `vsids_of_all_incoming_lits_var` float NOT NULL,
    `vsids_of_all_incoming_lits_min` float NOT NULL,
    `vsids_of_all_incoming_lits_max` float NOT NULL,
  
    `antecedents_antecedents_vsids_avg` float NOT NULL,
  
    `decision_level_hist` float NOT NULL,
    `backtrack_level_hist_lt` float NOT NULL,
    `trail_depth_level_hist` float NOT NULL,
    `vsids_vars_hist` float NOT NULL,
    `size_hist` float NOT NULL,
    `glue_hist` float NOT NULL,
    `num_antecedents_hist` float NOT NULL,
    `antec_sum_size_hist` float NOT NULL,
    `antec_overlap_hist` float NOT NULL,
  
    `branch_depth_hist_queue` float NOT NULL,
    `trail_depth_hist` float NOT NULL,
    `trail_depth_hist_longer` float NOT NULL,
    `num_resolutions_hist` float NOT NULL,
    `confl_size_hist` float NOT NULL,
    `trail_depth_delta_hist` float NOT NULL,
    `backtrack_level_hist` float NOT NULL,
    `glue_hist_queue` float NOT NULL,
    `glue_hist_long` float NOT NULL
  );
  
  DROP TABLE IF EXISTS `features`;
  CREATE TABLE `features` (
    `runID` bigint(20) NOT NULL,
    `simplifications` int(20) NOT NULL,
    `restarts` bigint(20) NOT NULL,
    `conflicts` bigint(20) NOT NULL,
    `latest_feature_calc` int(20) NOT NULL,
  
    `numVars` int(20) NOT NULL,
    `numClauses` int(20) NOT NULL,
    `var_cl_ratio` double NOT NULL,
  
    -- Clause distribution
    `binary` double NOT NULL,
    `horn` double NOT NULL,
    `horn_mean` double NOT NULL,
    `horn_std` double NOT NULL,
    `horn_min` double NOT NULL,
    `horn_max` double NOT NULL,
    `horn_spread` double NOT NULL,
  
    `vcg_var_mean` double NOT NULL,
    `vcg_var_std` double NOT NULL,
    `vcg_var_min` double NOT NULL,
    `vcg_var_max` double NOT NULL,
    `vcg_var_spread` double NOT NULL,
  
    `vcg_cls_mean` double NOT NULL,
    `vcg_cls_std` double NOT NULL,
    `vcg_cls_min` double NOT NULL,
    `vcg_cls_max` double NOT NULL,
    `vcg_cls_spread` double NOT NULL,
  
    `pnr_var_mean` double NOT NULL,
    `pnr_var_std` double NOT NULL,
    `pnr_var_min` double NOT NULL,
    `pnr_var_max` double NOT NULL,
    `pnr_var_spread` double NOT NULL,
  
    `pnr_cls_mean` double NOT NULL,
    `pnr_cls_std` double NOT NULL,
    `pnr_cls_min` double NOT NULL,
    `pnr_cls_max` double NOT NULL,
    `pnr_cls_spread` double NOT NULL,
  
    -- Conflict clauses
    `avg_confl_size` double NOT NULL,
    `confl_size_min` double NOT NULL,
    `confl_size_max` double NOT NULL,
    `avg_confl_glue` double NOT NULL,
    `confl_glue_min` double NOT NULL,
    `confl_glue_max` double NOT NULL,
    `avg_num_resolutions` double NOT NULL,
    `num_resolutions_min` double NOT NULL,
    `num_resolutions_max` double NOT NULL,
    `learnt_bins_per_confl` double NOT NULL,
  
    -- Search
    `avg_branch_depth` double NOT NULL,
    `branch_depth_min` double NOT NULL,
    `branch_depth_max` double NOT NULL,
    `avg_trail_depth_delta` double NOT NULL,
    `trail_depth_delta_min` double NOT NULL,
    `trail_depth_delta_max` double NOT NULL,
    `avg_branch_depth_delta` double NOT NULL,
    `props_per_confl` double NOT NULL,
    `confl_per_restart` double NOT NULL,
    `decisions_per_conflict` double NOT NULL,
  
      -- clause distributions
    `red_glue_distr_mean` double NOT NULL,
    `red_glue_distr_var` double NOT NULL,
    `red_size_distr_mean` double NOT NULL,
    `red_size_distr_var` double NOT NULL,
    `red_activity_distr_mean` double NOT NULL,
    `red_activity_distr_var` double NOT NULL,
  
    `irred_glue_distr_mean` double NOT NULL,
    `irred_glue_distr_var` double NOT NULL,
    `irred_size_distr_mean` double NOT NULL,
    `irred_size_distr_var` double NOT NULL,
    `irred_activity_distr_mean` double NOT NULL,
    `irred_activity_distr_var` double NOT NULL
  );
  
  DROP TABLE IF EXISTS `goodClauses`;
  create table `goodClauses` (
      `runID` bigint(20) NOT NULL,
      `clauseID` bigint(20) NOT NULL,
      `num_used` bigint(20) NOT NULL,
      `last_confl_used` bigint(20) NOT NULL
  );
  
  -- create index `idx6` on `restart` (`runID`,`simplifications`);
  -- create index `idx7` on `timepassed` (`runID`,`conflicts`);
  -- create index `idx7_2` on `memused` (`runID`,`conflicts`);
  -- create index `idx9` on `solverRun` (`runID`);
  -- create index `idx10` on `startup` (`runID`);
  -- create index `idx11` on `finishup` (`runID`);
  -- create index `idx3` on `tags` (`runID`);
  -- create index `idx4` on `reduceDB` (`runID`,`conflicts`);
  -- create index `idx12` on `sum_clause_stats` (`runID`,`reduceDB`);
  