Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/rolle

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rolle__t1_rolle2021-07-19 01:00 164K 
[   ]rolle__t2_rolle2021-07-19 01:00 89K 
[   ]rolle__t3_rolle2021-07-19 01:01 121K 
[   ]rolle__t4_rolle2021-07-19 01:01 89K 
[   ]rolle__t5_rolle2021-07-19 01:02 144K 
[   ]rolle__t6_rolle2021-07-19 01:03 92K 
[   ]rolle__t7_rolle2021-07-19 01:03 98K 
[   ]rolle__t8_rolle2021-07-19 01:04 73K 
[   ]rolle__t9_rolle2021-07-19 01:04 96K 
[   ]rolle__t10_rolle2021-07-19 01:05 96K 
[   ]rolle__t11_rolle2021-07-19 01:06 96K 
[   ]rolle__t12_rolle2021-07-19 01:06 96K 

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