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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]csspace3__l3_csspace32023-06-28 14:26 53K 
[   ]csspace3__l7_csspace32023-06-28 14:27 55K 
[   ]csspace3__l13_csspace32023-06-28 14:32 95K 
[   ]csspace3__t1_csspace32023-06-28 14:27 86K 
[   ]csspace3__t2_csspace32023-06-28 14:25 45K 
[   ]csspace3__t3_csspace32023-06-28 14:28 61K 
[   ]csspace3__t5_csspace32023-06-28 14:25 63K 
[   ]csspace3__t6_csspace32023-06-28 14:29 123K 
[   ]csspace3__t7_csspace32023-06-28 14:29 137K 
[   ]csspace3__t8_csspace32023-06-28 14:30 48K 
[   ]csspace3__t9_csspace32023-06-28 14:31 181K 

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