{{"een-tipb-sr06-par1.cnf",UNS,3.00},{"een-tipb-sr06-tc6b.cnf",UNS,0.38},{"goldb-heqc-desmul.cnf",UNS,57.22},{"goldb-heqc-rotmul.cnf",UNS,383.55},{"grieu-vmpc-s05-24s.cnf",SAT,7.40},{"grieu-vmpc-s05-27r.cnf",SAT,145.42},{"hoons-vbmc-s04-05.cnf",UNS,25.41},{"hoons-vbmc-s04-07.cnf",UNS,237.80},{"manol-pipe-c10b.cnf",UNS,474.47},{"manol-pipe-c10ni_s.cnf",UNS,8.05},{"manol-pipe-c6id.cnf",UNS,176.18},{"manol-pipe-c6n.cnf",UNS,42.63},{"manol-pipe-c6nid_s.cnf",UNS,172.82},{"manol-pipe-c7_i.cnf",UNS,11.69},{"manol-pipe-c7idw.cnf",UNS,269.10},{"manol-pipe-c8b_i.cnf",UNS,212.33},{"manol-pipe-c8_i.cnf",UNS,21.99},{"manol-pipe-c8n.cnf",UNS,452.58},{"manol-pipe-f6b.cnf",UNS,6.30},{"manol-pipe-f6n.cnf",UNS,8.32},{"manol-pipe-g10idw.cnf",UNS,266.15},{"manol-pipe-g6bid.cnf",UNS,4.62},{"manol-pipe-g7n.cnf",UNS,3.80},{"narai-vpn-10s.cnf",UNS,195.32},{"schup-l2s-s04-abp4.cnf",UNS,682.78},{"simon-mixed-s02bis-01.cnf",SAT,877.45},{"simon-mixed-s02bis-03.cnf",SAT,149.65},{"simon-mixed-s02bis-05.cnf",SAT,399.46},{"stric-bmc-ibm-10.cnf",SAT,2.17},{"stric-bmc-ibm-12.cnf",SAT,6.72},{"vange-color-inc-54.cnf",SAT,86.64},{"velev-eng-uns-1.0-04a.cnf",UNS,46.49},{"velev-eng-uns-1.0-04.cnf",UNS,8.73},{"velev-fvp-sat-3.0-07.cnf",UNK,3600.00},{"velev-fvp-sat-3.0-12.cnf",SAT,3.82},{"velev-live-sat-1.0-01.cnf",SAT,4.25},{"velev-live-sat-1.0-03.cnf",SAT,20.32},{"velev-npe-1.0-02.cnf",UNS,54.11},{"velev-npe-1.0-03.cnf",SAT,15.53},{"velev-pipe-1.0-08.cnf",UNK,3600.00},{"velev-pipe-1.0-09.cnf",SAT,34.18},{"velev-pipe-1.1-03.cnf",UNK,3600.00},{"velev-pipe-1.1-05.cnf",SAT,132.14},{"velev-pipe-uns-1.0-08.cnf",UNK,3600.00},{"velev-pipe-uns-1.1-05.cnf",UNK,3600.00},{"velev-pipe-uns-1.1-07.cnf",UNK,3600.00},{"velev-sss-1.0-cl.cnf",UNS,16.89},{"velev-vliw-sat-2.0-02.cnf",SAT,23.05},{"velev-vliw-sat-2.0-04.cnf",SAT,276.38},{"velev-vliw-uns-2.0-02.cnf",UNK,3600.00}}