68952  1029036      10      50 aaai10-planning-ipc5-pipesworld-12-step16.cnf
   141856  2742601      80    1140 aaai10-planning-ipc5-pipesworld-18-step16.cnf
      596     2780      90    3390 aes_64_1_keyfind_1.cnf
   652445 11706080      30      90 blocks-blocks-36-0.160-NOTKNOWN.cnf
   733825 13169160      50     110 blocks-blocks-36-0.180-SAT.cnf
    10420   395383     100     300 E02F20.cnf
   324116  1643601      10      40 openstacks-sequencedstrips-nonadl-nonnegated-ossequencedstrips-p30_3.085-SAT.cnf
    94998   302862     250     560 slp-synthesis-aes-top29.cnf
    98651  3362666      10      20 traffic_r_sat.cnf
   467551  4467733     110     250 traffic_r_uc_sat.cnf
  1260306  6771840    1140    6000 transport-transport-citysequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf
  1575206  8464620    1230   10000 transport-transport-citysequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
     3189    11039     110     320 AProVE07-21.cnf
    31248    93904      10      90 gss-16-s100.cnf
   181484   890298      40      90 ibm-2002-30r-k85.cnf
   165064   686589      50     370 IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
   181484   890298      40      90 SAT_dat.k85.cnf
   889302 14582074      60     650 velev-npe-1.0-9dlx-b71.cnf
     1296   230544    4540   10000 vmpc_36.renamed-as.sat05-1922.cnf