Index of /logs/student-heinz/20180817-153250-student-heinz-no-git

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 bench.log                              2018-08-17 15:01   71K  
 results_08-Crewplanning_Makespan.tex   2018-08-17 11:45  1.5K  
 results_08-Crewplanning_Refinement.tex 2018-08-17 11:45  1.0K  
 results_08-Crewplanning_Time.tex       2018-08-17 11:45  1.6K  
 results_08-Elevators_Makespan.tex      2018-08-17 13:51  1.2K  
 results_08-Elevators_Refinement.tex    2018-08-17 13:51  1.0K  
 results_08-Elevators_Time.tex          2018-08-17 13:51  1.3K  
 results_08-OpenStacks_Makespan.tex     2018-08-17 12:44  1.3K  
 results_08-OpenStacks_Refinement.tex   2018-08-17 12:44  1.0K  
 results_08-OpenStacks_Time.tex         2018-08-17 12:44  1.5K  
 results_08-Pegsol_Makespan.tex         2018-08-17 12:44  1.2K  
 results_08-Pegsol_Refinement.tex       2018-08-17 12:44  1.0K  
 results_08-Pegsol_Time.tex             2018-08-17 12:44  1.7K  
 results_08-Sokoban_Makespan.tex        2018-08-17 15:01  1.2K  
 results_08-Sokoban_Refinement.tex      2018-08-17 15:01  1.0K  
 results_08-Sokoban_Time.tex            2018-08-17 15:01  1.4K