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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]petri__t1_petri2021-07-18 15:07 20K 
[   ]petri__t2_petri2021-07-18 15:07 19K 
[   ]petri__t3_petri2021-07-18 15:07 20K 
[   ]petri__t4_petri2021-07-18 15:08 19K 
[   ]petri__t5_petri2021-07-18 15:08 20K 
[   ]petri__t6_petri2021-07-18 15:08 19K 
[   ]petri__t7_petri2021-07-18 15:08 20K 
[   ]petri__t8_petri2021-07-18 15:09 19K 
[   ]petri__t9_petri2021-07-18 15:09 18K 
[   ]petri__t10_petri2021-07-18 15:09 18K 
[   ]petri__t11_petri2021-07-18 15:09 18K 
[   ]petri__t12_petri2021-07-18 15:10 18K 
[   ]petri__t13_petri2021-07-18 15:06 18K 
[   ]petri__t14_petri2021-07-18 15:07 20K 
[   ]petri__t15_petri2021-07-18 15:10 27K 
[   ]petri__t16_petri2021-07-18 15:10 27K 
[   ]petri__t17_petri2021-07-18 15:11 25K 
[   ]petri__t18_petri2021-07-18 15:11 25K 
[   ]petri__t19_petri2021-07-18 15:11 24K 
[   ]petri__t20_petri2021-07-18 15:11 24K 

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