{{"een-tipb-sr06-par1.cnf",UNS,1.04},{"een-tipb-sr06-tc6b.cnf",UNS,0.58},{"goldb-heqc-desmul.cnf",UNS,80.79},{"goldb-heqc-rotmul.cnf",UNS,21.14},{"grieu-vmpc-s05-24s.cnf",SAT,4.86},{"grieu-vmpc-s05-27r.cnf",SAT,1381.93},{"hoons-vbmc-s04-05.cnf",UNS,2.02},{"hoons-vbmc-s04-07.cnf",UNS,70.91},{"manol-pipe-c10b.cnf",UNS,35.35},{"manol-pipe-c10ni_s.cnf",UNS,7.10},{"manol-pipe-c6id.cnf",UNS,32.83},{"manol-pipe-c6n.cnf",UNS,14.67},{"manol-pipe-c6nid_s.cnf",UNS,8.85},{"manol-pipe-c7_i.cnf",UNS,3.46},{"manol-pipe-c7idw.cnf",UNS,56.58},{"manol-pipe-c8b_i.cnf",UNS,18.91},{"manol-pipe-c8_i.cnf",UNS,3.40},{"manol-pipe-c8n.cnf",UNS,28.03},{"manol-pipe-f6b.cnf",UNS,2.71},{"manol-pipe-f6n.cnf",UNS,2.26},{"manol-pipe-g10idw.cnf",UNS,2203.39},{"manol-pipe-g6bid.cnf",UNS,4.21},{"manol-pipe-g7n.cnf",UNS,2.12},{"narai-vpn-10s.cnf",UNS,236.66},{"schup-l2s-s04-abp4.cnf",UNS,20.30},{"simon-mixed-s02bis-01.cnf",SAT,921.84},{"simon-mixed-s02bis-03.cnf",SAT,63.49},{"simon-mixed-s02bis-05.cnf",SAT,204.84},{"stric-bmc-ibm-10.cnf",SAT,2.08},{"stric-bmc-ibm-12.cnf",SAT,5.76},{"vange-color-inc-54.cnf",SAT,7.57},{"velev-eng-uns-1.0-04a.cnf",UNS,25.03},{"velev-eng-uns-1.0-04.cnf",UNS,6.61},{"velev-fvp-sat-3.0-07.cnf",SAT,11.95},{"velev-fvp-sat-3.0-12.cnf",SAT,13.59},{"velev-live-sat-1.0-01.cnf",SAT,51.38},{"velev-live-sat-1.0-03.cnf",SAT,202.58},{"velev-npe-1.0-02.cnf",UNS,9.15},{"velev-npe-1.0-03.cnf",SAT,89.00},{"velev-pipe-1.0-08.cnf",SAT,22.48},{"velev-pipe-1.0-09.cnf",SAT,85.79},{"velev-pipe-1.1-03.cnf",SAT,5.31},{"velev-pipe-1.1-05.cnf",SAT,59.08},{"velev-pipe-uns-1.0-08.cnf",UNK,3600.00},{"velev-pipe-uns-1.1-05.cnf",UNS,1380.34},{"velev-pipe-uns-1.1-07.cnf",UNK,3600.00},{"velev-sss-1.0-cl.cnf",UNS,2.21},{"velev-vliw-sat-2.0-02.cnf",SAT,71.05},{"velev-vliw-sat-2.0-04.cnf",SAT,324.19},{"velev-vliw-uns-2.0-02.cnf",UNK,3600.00}}