Generated on 2014-06-09 00:41:58.280536 using flat file application-flat-6571437458.csv, seed 6571437458 and application-specific cost function
  num. total: 300
  num. application: 300
  num. crafted: 0
  num. SAT: 150
  num. UNSAT: 150
  num. UNKNOWN: 0
  num. new: 136
  num. old: 164
  num. easy: 0
  num. medium: 110
  num. hard: 156
  num. too-hard: 34
  Eval. solver: num_non-error / num_solved  / avg_time / med_time
    solver 1: 298 / 206 / 3681.91 sec / 871.09 sec
    solver 2: 300 / 206 / 4056.05 sec / 1681.96 sec
    solver 3: 299 / 206 / 4650.94 sec / 3523.98 sec
    solver 4: 300 / 206 / 4309.28 sec / 2663.41 sec
    solver 5: 300 / 206 / 3813.72 sec / 1245.47 sec
    std.dev : --  / 0.00 / 348.14 sec / -- 
                      Bucket     cnt    appl    craf     SAT    UNSA    UNKN     new     old    easy    medi    hard    too-
            2d-strip-packing       4       4       0       2       2       0       0       4       0       3       1       0
               argumentation      20      20       0      20       0       0      20       0       0       5      15       0
                         bio      11      11       0       2       9       0       0      11       0      10       1       0
                  crypto-aes       8       8       0       8       0       0       0       8       0       0       8       0
                  crypto-des       7       7       0       7       0       0       0       7       0       3       4       0
                  crypto-gos       9       9       0       0       9       0       2       7       0       0       9       0
                  crypto-md5      21      21       0      21       0       0      21       0       0       1       0      20
                  crypto-sha      29      29       0      29       0       0      29       0       0       1      18      10
                 crypto-vmpc       4       4       0       4       0       0       0       4       0       3       1       0
                   diagnosis      28      28       0      14      14       0       0      28       0      20       8       0
                fpga-routing       1       1       0       0       1       0       0       1       0       1       0       0
                hardware-bmc       4       4       0       0       4       0       0       4       0       2       0       2
            hardware-bmc-ibm      18      18       0       1      17       0       0      18       0       0      18       0
                hardware-cec      30      30       0       0      30       0      30       0       0       0      30       0
           hardware-manolios       6       6       0       0       6       0       0       6       0       6       0       0
              hardware-velev      27      27       0       8      19       0       0      27       0      19       8       0
                    planning      19      19       0      11       8       0       0      19       0      14       4       1
                  scheduling      30      30       0      18      12       0      30       0       0       9      21       0
             scheduling-pesp       3       3       0       0       3       0       3       0       0       0       2       1
          software-bit-verif       9       9       0       1       8       0       0       9       0       7       2       0
                software-bmc       6       6       0       3       3       0       0       6       0       2       4       0
         symbolic-simulation       1       1       0       0       1       0       1       0       0       0       1       0
                 termination       5       5       0       1       4       0       0       5       0       4       1       0