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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]normsp_0__l1_normsp_02024-07-28 06:14 4.5K 
[   ]normsp_0__l1_normsp_0.depv12024-08-03 10:19 95  
[   ]normsp_0__l1_normsp_0.depvmin12024-08-03 10:24 95  
[   ]normsp_0__l1_normsp_0.vmin12024-08-03 10:19 428  
[   ]normsp_0__l1_normsp_0.vmin1out2024-08-03 10:21 3.3K 
[   ]normsp_0__l1_normsp_0.vout2024-08-03 04:50 3.6K 
[   ]normsp_0__l2_normsp_02024-07-28 06:15 9.4K 
[   ]normsp_0__l2_normsp_0.depv12024-08-03 10:19 206  
[   ]normsp_0__l2_normsp_0.depvmin12024-08-03 10:24 206  
[   ]normsp_0__l2_normsp_0.vmin12024-08-03 10:19 1.5K 
[   ]normsp_0__l2_normsp_0.vmin1out2024-08-03 10:22 9.4K 
[   ]normsp_0__l2_normsp_0.vout2024-08-03 07:15 9.9K 
[   ]normsp_0__l3_normsp_02024-07-28 06:16 4.4K 
[   ]normsp_0__l3_normsp_0.depv12024-08-03 10:19 79  
[   ]normsp_0__l3_normsp_0.depvmin12024-08-03 10:24 79  
[   ]normsp_0__l3_normsp_0.vmin12024-08-03 10:19 431  
[   ]normsp_0__l3_normsp_0.vmin1out2024-08-03 10:21 5.0K 
[   ]normsp_0__l3_normsp_0.vout2024-08-03 09:53 4.9K 

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