Generated on 2014-06-09 23:18:12.683376 using flat file crafted-flat-6229938697.csv, seed 6229938697 and application-specific cost function
  num. total: 300
  num. application: 0
  num. crafted: 300
  num. SAT: 150
  num. UNSAT: 150
  num. UNKNOWN: 0
  num. new: 218
  num. old: 82
  num. easy: 0
  num. medium: 44
  num. hard: 207
  num. too-hard: 49
  Eval. solver: num_non-error / num_solved  / avg_time / med_time
    solver 1: 300 / 168 / 5270.00 sec / 4297.11 sec
    solver 2: 300 / 175 / 5103.45 sec / 4011.84 sec
    solver 3: 300 / 170 / 5308.86 sec / 5087.99 sec
    solver 4: 178 / 64 / 6595.35 sec / 10000.00 sec
    solver 5: 300 / 157 / 5457.38 sec / 5351.57 sec
    std.dev : --  / 41.82 / 536.14 sec / -- 
                      Bucket     cnt    appl    craf     SAT    UNSA    UNKN     new     old    easy    medi    hard    too-
               VanderWaerden       1       0       1       1       0       0       0       1       0       1       0       0
             autocorrelation      14       0      14      14       0       0      14       0       0       0       2      12
    automata-synchronization       1       0       1       1       0       0       0       1       0       0       1       0
                clique-width       7       0       7       4       3       0       5       2       0       1       6       0
              cliquecoloring      21       0      21       0      21       0      21       0       0       1       5      15
             connm-ue-csp-sa       1       0       1       1       0       0       0       1       0       0       1       0
                counting-php       1       0       1       0       1       0       1       0       0       0       0       1
                edgematching       6       0       6       6       0       0       0       6       0       3       3       0
        ensemble-computation       5       0       5       5       0       0       0       5       0       0       5       0
            erdos-disperancy      20       0      20      20       0       0      20       0       0       0       5      15
                   factoring      10       0      10      10       0       0       0      10       0       1       9       0
          fixed-shape-forced       4       0       4       4       0       0       0       4       0       0       4       0
                         frb       2       0       2       2       0       0       0       2       0       1       1       0
                games-hidoku      12       0      12       2      10       0      10       2       0       7       2       3
                games-parity       2       0       2       2       0       0       0       2       0       0       2       0
              games-pebbling       1       0       1       1       0       0       0       1       0       1       0       0
           graph-isomorphism      30       0      30       0      30       0      30       0       0       4      26       0
                    greentao       2       0       2       2       0       0       0       2       0       0       2       0
               grid-coloring       1       0       1       1       0       0       0       1       0       0       1       0
                        labs      10       0      10       9       1       0       3       7       0       0      10       0
                 modcircuits       8       0       8       8       0       0       0       8       0       0       8       0
                    planning      30       0      30      29       1       0      30       0       0       1      29       0
   puzzle-nqueens-with-rooks      30       0      30       0      30       0      30       0       0       0      30       0
             puzzle-polarium       1       0       1       1       0       0       1       0       0       0       1       0
                  ramseycube       1       0       1       1       0       0       0       1       0       0       1       0
                       rbsat       6       0       6       6       0       0       0       6       0       0       6       0
                        sgen      16       0      16      10       6       0       6      10       0       1      12       3
          software-bit-verif      27       0      27      10      17       0      17      10       0      18       9       0
                zeronedesign      30       0      30       0      30       0      30       0       0       4      26       0