Index of /logs/CHC/20180621-CHC-small/chc-small-treeautomizer-naive.2018-06-20_2245.logfiles

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 TreeAutomizer-Naive.chc-lia-0061.smt2.log 2018-06-20 22:46  9.5K  
 TreeAutomizer-Naive.chc-lia-0113.smt2.log 2018-06-20 22:48  9.5K  
 TreeAutomizer-Naive.chc-lia-0124.smt2.log 2018-06-20 22:49   13K  
 TreeAutomizer-Naive.chc-lia-0216.smt2.log 2018-06-20 22:49  9.7K  
 TreeAutomizer-Naive.chc-lia-0237.smt2.log 2018-06-20 22:48   13K  
 TreeAutomizer-Naive.chc-lia-0269.smt2.log 2018-06-20 22:47   13K  
 TreeAutomizer-Naive.chc-lia-0321.smt2.log 2018-06-20 22:46  7.2K  
 TreeAutomizer-Naive.chc-lia-0323.smt2.log 2018-06-20 22:46  7.2K  
 TreeAutomizer-Naive.chc-lia-0359.smt2.log 2018-06-20 22:47  7.2K  
 TreeAutomizer-Naive.chc-lia-0390.smt2.log 2018-06-20 22:50  6.9K  
 TreeAutomizer-Naive.chc-lra-0003.smt2.log 2018-06-20 22:54   14K  
 TreeAutomizer-Naive.chc-lra-0012.smt2.log 2018-06-20 22:53  6.8K  
 TreeAutomizer-Naive.chc-lra-0022.smt2.log 2018-06-20 22:53  9.7K  
 TreeAutomizer-Naive.chc-lra-0034.smt2.log 2018-06-20 22:52  9.6K  
 TreeAutomizer-Naive.chc-lra-0041.smt2.log 2018-06-20 22:55  9.5K  
 TreeAutomizer-Naive.chc-lra-0068.smt2.log 2018-06-20 22:54  9.7K  
 TreeAutomizer-Naive.chc-lra-0082.smt2.log 2018-06-20 22:51  7.2K  
 TreeAutomizer-Naive.chc-lra-0085.smt2.log 2018-06-20 22:52   13K  
 TreeAutomizer-Naive.chc-lra-0124.smt2.log 2018-06-20 22:51  9.5K  
 TreeAutomizer-Naive.chc-lra-0134.smt2.log 2018-06-20 22:53   13K