{{"een-tipb-sr06-par1.cnf",UNS,1.09},{"een-tipb-sr06-tc6b.cnf",UNS,6.26},{"goldb-heqc-desmul.cnf",UNS,132.83},{"goldb-heqc-rotmul.cnf",UNS,765.14},{"grieu-vmpc-s05-24s.cnf",SAT,15.92},{"grieu-vmpc-s05-27r.cnf",SAT,1612.26},{"hoons-vbmc-s04-05.cnf",UNS,35.16},{"hoons-vbmc-s04-07.cnf",UNS,533.52},{"manol-pipe-c10b.cnf",UNK,3600.00},{"manol-pipe-c10ni_s.cnf",UNS,8.40},{"manol-pipe-c6id.cnf",UNS,838.04},{"manol-pipe-c6n.cnf",UNS,411.39},{"manol-pipe-c6nid_s.cnf",UNS,54.96},{"manol-pipe-c7_i.cnf",UNS,37.39},{"manol-pipe-c7idw.cnf",UNS,625.49},{"manol-pipe-c8b_i.cnf",UNS,2192.03},{"manol-pipe-c8_i.cnf",UNS,113.80},{"manol-pipe-c8n.cnf",UNS,1581.22},{"manol-pipe-f6b.cnf",UNS,7.25},{"manol-pipe-f6n.cnf",UNS,4.31},{"manol-pipe-g10idw.cnf",UNS,886.20},{"manol-pipe-g6bid.cnf",UNS,9.39},{"manol-pipe-g7n.cnf",UNS,17.44},{"narai-vpn-10s.cnf",UNK,3600.00},{"schup-l2s-s04-abp4.cnf",UNS,1592.16},{"simon-mixed-s02bis-01.cnf",SAT,2282.70},{"simon-mixed-s02bis-03.cnf",SAT,700.95},{"simon-mixed-s02bis-05.cnf",SAT,2913.74},{"stric-bmc-ibm-10.cnf",SAT,9.93},{"stric-bmc-ibm-12.cnf",SAT,10.84},{"vange-color-inc-54.cnf",SAT,304.78},{"velev-eng-uns-1.0-04a.cnf",UNS,334.95},{"velev-eng-uns-1.0-04.cnf",UNS,30.14},{"velev-fvp-sat-3.0-07.cnf",SAT,521.35},{"velev-fvp-sat-3.0-12.cnf",SAT,374.37},{"velev-live-sat-1.0-01.cnf",SAT,78.40},{"velev-live-sat-1.0-03.cnf",SAT,48.10},{"velev-npe-1.0-02.cnf",UNS,628.80},{"velev-npe-1.0-03.cnf",SAT,1204.81},{"velev-pipe-1.0-08.cnf",SAT,251.23},{"velev-pipe-1.0-09.cnf",UNK,3600.00},{"velev-pipe-1.1-03.cnf",SAT,501.23},{"velev-pipe-1.1-05.cnf",SAT,1962.98},{"velev-pipe-uns-1.0-08.cnf",UNK,3600.00},{"velev-pipe-uns-1.1-05.cnf",UNS,1179.73},{"velev-pipe-uns-1.1-07.cnf",UNK,3600.00},{"velev-sss-1.0-cl.cnf",UNS,3.23},{"velev-vliw-sat-2.0-02.cnf",SAT,25.72},{"velev-vliw-sat-2.0-04.cnf",SAT,416.94},{"velev-vliw-uns-2.0-02.cnf",UNK,3600.00}}