Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/msafree1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]msafree1__l8_msafree12024-07-28 09:49 33K 
[   ]msafree1__l8_msafree1.vout2024-08-03 05:50 5.8K 
[   ]msafree1__t1_msafree12024-07-28 09:42 15K 
[   ]msafree1__t1_msafree1.depv12024-08-03 10:19 76  
[   ]msafree1__t1_msafree1.depvmin12024-08-03 10:24 76  
[   ]msafree1__t1_msafree1.vmin12024-08-03 10:20 1.1K 
[   ]msafree1__t1_msafree1.vmin1out2024-08-03 10:23 24K 
[   ]msafree1__t1_msafree1.vout2024-08-03 05:31 19K 
[   ]msafree1__t2_msafree12024-07-28 09:43 35K 
[   ]msafree1__t2_msafree1.vout2024-08-03 05:11 7.3K 
[   ]msafree1__t3_msafree12024-07-28 09:45 35K 
[   ]msafree1__t3_msafree1.vout2024-08-03 08:09 2.0K 
[   ]msafree1__t4_msafree12024-07-28 09:46 25K 
[   ]msafree1__t4_msafree1.vout2024-08-03 08:05 4.1K 
[   ]msafree1__t5_msafree12024-07-28 09:47 43K 
[   ]msafree1__t5_msafree1.vout2024-08-03 06:25 7.3K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80