Index of /research/regression/ICSE_2016/input_models/model_mutants/grep_fmmutants

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.litmutan..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K  
 grep.dimacs.constmut..> 2016-02-04 17:05  2.1K