Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/bor_cant

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bor_cant__l15_bor_cant2025-09-11 17:47 62K 
[   ]bor_cant__l27_bor_cant2025-09-11 17:24 54K 
[   ]bor_cant__t3_bor_cant2025-09-11 17:27 109K 
[   ]bor_cant__t4_bor_cant2025-09-11 17:30 148K 
[   ]bor_cant__t7_bor_cant2025-09-11 17:31 64K 
[   ]bor_cant__t8_bor_cant2025-09-11 17:33 66K 
[   ]bor_cant__t9_bor_cant2025-09-11 17:35 60K 
[   ]bor_cant__t15_bor_cant2025-09-11 17:37 107K 
[   ]bor_cant__t17_bor_cant2025-09-11 17:39 103K 
[   ]bor_cant__t18_bor_cant2025-09-11 17:42 85K 
[   ]bor_cant__t20_bor_cant2025-09-11 17:43 69K 
[   ]bor_cant__t21_bor_cant2025-09-11 17:45 79K 

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