Index of /logs/student-heinz/20180825-080832-student-heinz-no-git

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 result                                       2018-08-24 17:26   21K  
 results_08-Crewplanning_Makespan.tex         2018-08-24 15:56  1.4K  
 results_08-Crewplanning_Refinement.tex       2018-08-24 15:56  1.0K  
 results_08-Crewplanning_Refinement_Fixed.tex 2018-08-24 15:56  1.0K  
 results_08-Crewplanning_Time.tex             2018-08-24 15:56  1.4K  
 results_08-Elevators_Makespan.tex            2018-08-24 16:56  1.3K  
 results_08-Elevators_Refinement.tex          2018-08-24 16:56  1.0K  
 results_08-Elevators_Refinement_Fixed.tex    2018-08-24 16:56  1.0K  
 results_08-Elevators_Time.tex                2018-08-24 16:56  1.3K  
 results_08-OpenStacks_Makespan.tex           2018-08-24 16:26  1.3K  
 results_08-OpenStacks_Refinement.tex         2018-08-24 16:26  1.0K  
 results_08-OpenStacks_Refinement_Fixed.tex   2018-08-24 16:26  1.0K  
 results_08-OpenStacks_Time.tex               2018-08-24 16:26  1.4K  
 results_08-Pegsol_Makespan.tex               2018-08-24 16:26  1.3K  
 results_08-Pegsol_Refinement.tex             2018-08-24 16:26  1.0K  
 results_08-Pegsol_Refinement_Fixed.tex       2018-08-24 16:26  1.0K  
 results_08-Pegsol_Time.tex                   2018-08-24 16:26  1.5K  
 results_08-Sokoban_Makespan.tex              2018-08-24 17:26  1.3K  
 results_08-Sokoban_Refinement.tex            2018-08-24 17:26  1.0K  
 results_08-Sokoban_Refinement_Fixed.tex      2018-08-24 17:26  1.0K  
 results_08-Sokoban_Time.tex                  2018-08-24 17:26  1.4K