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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rolle__t1_rolle2025-09-13 08:57 170K 
[   ]rolle__t2_rolle2025-09-13 08:59 96K 
[   ]rolle__t3_rolle2025-09-13 09:01 127K 
[   ]rolle__t4_rolle2025-09-13 09:03 96K 
[   ]rolle__t5_rolle2025-09-13 09:05 150K 
[   ]rolle__t6_rolle2025-09-13 09:06 98K 
[   ]rolle__t7_rolle2025-09-13 09:08 104K 
[   ]rolle__t8_rolle2025-09-13 09:10 79K 
[   ]rolle__t9_rolle2025-09-13 09:11 102K 
[   ]rolle__t10_rolle2025-09-13 09:13 102K 
[   ]rolle__t11_rolle2025-09-13 09:15 102K 
[   ]rolle__t12_rolle2025-09-13 09:17 102K 

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