Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf1/bor_cant

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bor_cant__t1_bor_cant2023-06-27 17:13 176K 
[   ]bor_cant__t2_bor_cant2023-06-27 17:13 192K 
[   ]bor_cant__t3_bor_cant2023-06-27 17:13 101K 
[   ]bor_cant__t4_bor_cant2023-06-27 17:13 136K 
[   ]bor_cant__t5_bor_cant2023-06-27 17:13 136K 
[   ]bor_cant__t6_bor_cant2023-06-27 17:13 221K 
[   ]bor_cant__t10_bor_cant2023-06-27 17:13 140K 
[   ]bor_cant__t13_bor_cant2023-06-27 17:13 176K 
[   ]bor_cant__t16_bor_cant2023-06-27 17:13 213K 
[   ]bor_cant__t19_bor_cant2023-06-27 17:13 116K 

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