{{"een-tipb-sr06-par1.cnf",UNS,2.25},{"een-tipb-sr06-tc6b.cnf",UNS,6.82},{"goldb-heqc-desmul.cnf",UNS,133.63},{"goldb-heqc-rotmul.cnf",UNS,766.08},{"grieu-vmpc-s05-24s.cnf",SAT,15.99},{"grieu-vmpc-s05-27r.cnf",SAT,1614.44},{"hoons-vbmc-s04-05.cnf",UNS,35.06},{"hoons-vbmc-s04-07.cnf",UNS,531.06},{"manol-pipe-c10b.cnf",UNK,3600.00},{"manol-pipe-c10ni_s.cnf",UNS,8.64},{"manol-pipe-c6id.cnf",UNS,827.10},{"manol-pipe-c6n.cnf",UNS,408.19},{"manol-pipe-c6nid_s.cnf",UNS,54.65},{"manol-pipe-c7_i.cnf",UNS,37.18},{"manol-pipe-c7idw.cnf",UNS,621.79},{"manol-pipe-c8b_i.cnf",UNS,2184.00},{"manol-pipe-c8_i.cnf",UNS,113.35},{"manol-pipe-c8n.cnf",UNS,1555.23},{"manol-pipe-f6b.cnf",UNS,7.32},{"manol-pipe-f6n.cnf",UNS,4.38},{"manol-pipe-g10idw.cnf",UNS,885.92},{"manol-pipe-g6bid.cnf",UNS,9.34},{"manol-pipe-g7n.cnf",UNS,17.38},{"narai-vpn-10s.cnf",UNK,3600.00},{"schup-l2s-s04-abp4.cnf",UNS,1600.90},{"simon-mixed-s02bis-01.cnf",SAT,2282.81},{"simon-mixed-s02bis-03.cnf",SAT,697.57},{"simon-mixed-s02bis-05.cnf",SAT,2917.76},{"stric-bmc-ibm-10.cnf",SAT,10.37},{"stric-bmc-ibm-12.cnf",SAT,11.01},{"vange-color-inc-54.cnf",SAT,306.24},{"velev-eng-uns-1.0-04a.cnf",UNS,336.60},{"velev-eng-uns-1.0-04.cnf",UNS,30.27},{"velev-fvp-sat-3.0-07.cnf",SAT,629.57},{"velev-fvp-sat-3.0-12.cnf",SAT,378.64},{"velev-live-sat-1.0-01.cnf",SAT,81.12},{"velev-live-sat-1.0-03.cnf",SAT,51.20},{"velev-npe-1.0-02.cnf",UNS,631.03},{"velev-npe-1.0-03.cnf",SAT,1334.42},{"velev-pipe-1.0-08.cnf",SAT,253.60},{"velev-pipe-1.0-09.cnf",UNK,3600.00},{"velev-pipe-1.1-03.cnf",SAT,491.18},{"velev-pipe-1.1-05.cnf",SAT,1901.94},{"velev-pipe-uns-1.0-08.cnf",UNK,3600.00},{"velev-pipe-uns-1.1-05.cnf",UNS,1161.83},{"velev-pipe-uns-1.1-07.cnf",UNK,3600.00},{"velev-sss-1.0-cl.cnf",UNS,3.22},{"velev-vliw-sat-2.0-02.cnf",SAT,31.30},{"velev-vliw-sat-2.0-04.cnf",SAT,508.26},{"velev-vliw-uns-2.0-02.cnf",UNK,3600.00}}