STRUCTURE FOR THE SEED FILES:

1. For 3sat_const_ratio, 3sat_varying_ratio:

   <seed1> <seed2> <seed3> <seed4>

   seed1 = seed for rsat, e.g.

           $ rsat -s$seed1 3 10 40 | lparse -d all > temp1.sm

   seed2 = seed for drop, e.g.

           $ drop -s$seed2 temp1.sm > temp2.sm

   seed3 = seed for shuffling the first input file

           $ shuffle -s$seed3 temp1.sm > $input1.sm      

   seed4 = seed for shuffling the second input file

           $ shuffle -s$seed4 temp2.sm > $input2.sm 

   -> verify equivalence of input1.sm and input2.sm using either
      lpeq or naive.sh

2. For color and hc:

   <seed1> <seed2> <seed3> <seed4>

   seed1 = seed for planar, e.g.

   $ planar 10 $seed1 | cat color.lp - | lparse -c c=4 > temp1.sm

   or

   $ planar 10 $seed1 | cat hc.lp - | lparse > temp1.sm

   seed2, seed3, seed4: see the case 1.

3. For queens1, queens2 and knapsack:
 
   <seed1> <seed2>

   Seeds used to shuffle the first and the second input file, respectively.

