Index of /~mptp/mml5.63.1382/MPTP2/problems/algstr_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]algstr_2__l1_algstr_22023-06-28 11:19 21K 
[   ]algstr_2__l2_algstr_22023-06-28 11:24 26K 
[   ]algstr_2__l3_algstr_22023-06-28 11:25 20K 
[   ]algstr_2__l4_algstr_22023-06-28 11:19 21K 
[   ]algstr_2__l5_algstr_22023-06-28 11:20 20K 
[   ]algstr_2__l18_algstr_22023-06-28 11:25 5.3K 
[   ]algstr_2__l19_algstr_22023-06-28 11:25 6.6K 
[   ]algstr_2__l20_algstr_22023-06-28 11:25 6.6K 
[   ]algstr_2__t1_algstr_22023-06-28 11:20 20K 
[   ]algstr_2__t2_algstr_22023-06-28 11:21 13K 
[   ]algstr_2__t3_algstr_22023-06-28 11:21 4.6K 
[   ]algstr_2__t4_algstr_22023-06-28 11:21 12K 
[   ]algstr_2__t5_algstr_22023-06-28 11:21 13K 
[   ]algstr_2__t6_algstr_22023-06-28 11:22 20K 
[   ]algstr_2__t7_algstr_22023-06-28 11:22 12K 
[   ]algstr_2__t8_algstr_22023-06-28 11:22 12K 
[   ]algstr_2__t9_algstr_22023-06-28 11:22 12K 
[   ]algstr_2__t10_algstr_22023-06-28 11:23 21K 
[   ]algstr_2__t11_algstr_22023-06-28 11:23 24K 
[   ]algstr_2__t12_algstr_22023-06-28 11:24 18K 

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