Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/petri

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]petri__t1_petri2019-08-26 06:59 71K 
[   ]petri__t2_petri2019-08-26 06:58 74K 
[   ]petri__t3_petri2019-08-26 07:00 71K 
[   ]petri__t4_petri2019-08-26 06:58 74K 
[   ]petri__t5_petri2019-08-26 07:00 71K 
[   ]petri__t6_petri2019-08-26 06:58 74K 
[   ]petri__t7_petri2019-08-26 07:00 71K 
[   ]petri__t8_petri2019-08-26 06:58 74K 
[   ]petri__t9_petri2019-08-26 06:59 36K 
[   ]petri__t10_petri2019-08-26 06:59 36K 
[   ]petri__t11_petri2019-08-26 06:59 36K 
[   ]petri__t12_petri2019-08-26 06:59 36K 
[   ]petri__t13_petri2019-08-26 06:59 27K 
[   ]petri__t14_petri2019-08-26 06:59 28K 
[   ]petri__t15_petri2019-08-26 06:59 76K 
[   ]petri__t16_petri2019-08-26 06:59 76K 
[   ]petri__t17_petri2019-08-26 06:59 54K 
[   ]petri__t18_petri2019-08-26 06:59 54K 
[   ]petri__t19_petri2019-08-26 06:59 81K 
[   ]petri__t20_petri2019-08-26 06:59 81K 

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