Index of /logs/student-heinz/20180807-092904-student-heinz-no-git

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 bench_results.log                      2018-08-06 21:36   70K  
 results_08-Crewplanning_Makespan.tex   2018-08-06 18:02  1.3K  
 results_08-Crewplanning_Refinement.tex 2018-08-06 18:02  1.0K  
 results_08-Crewplanning_Time.tex       2018-08-06 18:02  1.4K  
 results_08-Elevators_Makespan.tex      2018-08-06 20:35  1.2K  
 results_08-Elevators_Refinement.tex    2018-08-06 20:35  1.0K  
 results_08-Elevators_Time.tex          2018-08-06 20:35  1.2K  
 results_08-OpenStacks_Makespan.tex     2018-08-06 19:13  1.2K  
 results_08-OpenStacks_Refinement.tex   2018-08-06 19:13  1.0K  
 results_08-OpenStacks_Time.tex         2018-08-06 19:13  1.3K  
 results_08-Pegsol_Makespan.tex         2018-08-06 19:24  1.1K  
 results_08-Pegsol_Refinement.tex       2018-08-06 19:24  1.0K  
 results_08-Pegsol_Time.tex             2018-08-06 19:24  1.5K  
 results_08-Sokoban_Makespan.tex        2018-08-06 21:36  1.1K  
 results_08-Sokoban_Refinement.tex      2018-08-06 21:36  1.0K  
 results_08-Sokoban_Time.tex            2018-08-06 21:36  1.3K