25631   142227    1650     600 aaai10-planning-ipc5-pathways-13-step17.cnf
    53919   308235    2730     500 aaai10-planning-ipc5-pathways-17-step21.cnf
   289828  1008603      30      10 AProVE11-10.cnf
     6664    69700      60      30 E02F17.cnf
     9044   295685      80      30 E04F19.cnf
     4740    45569      30      10 korf-15.cnf
     6664    89966     410     200 korf-17.cnf
     7794   186934   10000     370 korf-18.cnf
    17298    57292     200      90 slp-synthesis-aes-bottom12.cnf
    19995    66333    3370     740 slp-synthesis-aes-bottom13.cnf
    71356   227126    9930    2930 slp-synthesis-aes-top25.cnf
    27224    68879   10000      10 smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf
   723130  3869060     760     370 transport-transport-citysequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf
    31229    93855      20      10 gss-14-s100.cnf
    31435    94548     290     120 gss-19-s100.cnf
    31616    95110   10000    1030 gss-22-s100.cnf
      300     2130    2250     950 homer14.shuffled.cnf
    64699   276210      20      10 ibm-2004-01-k90.cnf
   263022   782329    1770     350 manol-pipe-f7idw.cnf
   310434   923497    1990     180 manol-pipe-f7nidw.cnf
    50073   210239    1130     350 mizh-sha0-36-2.cnf
    50073   210235     590     180 mizh-sha0-36-4.cnf
     4020   466486    1830     340 ndhf_xits_19_UNKNOWN.cnf
     4800    14281    1370     170 rand_net60-40-10.shuffled.cnf
    50073   210223     430     210 sha0_36_5.cnf
    24415   711050     480     230 velev-pipe-o-uns-1.0-7.cnf
    17710   304026     900      90 velev-pipe-o-uns-1.1-6.cnf
      841   120147     220      20 vmpc_29.renamed-as.sat05-1916.cnf
     1156   194072   10000    2710 vmpc_34.renamed-as.sat05-1926.cnf