{{"een-tipb-sr06-par1.cnf",UNS,1.03},{"een-tipb-sr06-tc6b.cnf",UNS,0.56},{"goldb-heqc-desmul.cnf",UNS,71.90},{"goldb-heqc-rotmul.cnf",UNS,19.27},{"grieu-vmpc-s05-24s.cnf",SAT,23.12},{"grieu-vmpc-s05-27r.cnf",SAT,8.24},{"hoons-vbmc-s04-05.cnf",UNS,0.85},{"hoons-vbmc-s04-07.cnf",UNS,62.01},{"manol-pipe-c10b.cnf",UNS,39.07},{"manol-pipe-c10ni_s.cnf",UNS,7.63},{"manol-pipe-c6id.cnf",UNS,25.18},{"manol-pipe-c6n.cnf",UNS,10.12},{"manol-pipe-c6nid_s.cnf",UNS,8.88},{"manol-pipe-c7_i.cnf",UNS,2.76},{"manol-pipe-c7idw.cnf",UNS,39.07},{"manol-pipe-c8b_i.cnf",UNS,13.42},{"manol-pipe-c8_i.cnf",UNS,3.98},{"manol-pipe-c8n.cnf",UNS,21.66},{"manol-pipe-f6b.cnf",UNS,1.62},{"manol-pipe-f6n.cnf",UNS,1.81},{"manol-pipe-g10idw.cnf",UNS,1507.23},{"manol-pipe-g6bid.cnf",UNS,2.21},{"manol-pipe-g7n.cnf",UNS,2.03},{"narai-vpn-10s.cnf",UNS,244.46},{"schup-l2s-s04-abp4.cnf",UNS,17.15},{"simon-mixed-s02bis-01.cnf",SAT,326.15},{"simon-mixed-s02bis-03.cnf",SAT,34.10},{"simon-mixed-s02bis-05.cnf",SAT,41.03},{"stric-bmc-ibm-10.cnf",SAT,1.69},{"stric-bmc-ibm-12.cnf",SAT,4.39},{"vange-color-inc-54.cnf",SAT,6.57},{"velev-eng-uns-1.0-04a.cnf",UNS,16.74},{"velev-eng-uns-1.0-04.cnf",UNS,4.60},{"velev-fvp-sat-3.0-07.cnf",SAT,12.06},{"velev-fvp-sat-3.0-12.cnf",SAT,10.29},{"velev-live-sat-1.0-01.cnf",SAT,70.54},{"velev-live-sat-1.0-03.cnf",SAT,90.09},{"velev-npe-1.0-02.cnf",UNS,7.44},{"velev-npe-1.0-03.cnf",SAT,42.44},{"velev-pipe-1.0-08.cnf",SAT,67.42},{"velev-pipe-1.0-09.cnf",SAT,109.59},{"velev-pipe-1.1-03.cnf",SAT,55.52},{"velev-pipe-1.1-05.cnf",SAT,123.75},{"velev-pipe-uns-1.0-08.cnf",UNK,3600.00},{"velev-pipe-uns-1.1-05.cnf",UNS,624.44},{"velev-pipe-uns-1.1-07.cnf",UNK,3600.00},{"velev-sss-1.0-cl.cnf",UNS,2.62},{"velev-vliw-sat-2.0-02.cnf",UNK,3600.00},{"velev-vliw-sat-2.0-04.cnf",SAT,156.86},{"velev-vliw-uns-2.0-02.cnf",UNK,3600.00}}