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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]petri_df__t1_petri_df2023-06-28 15:45 78K 
[   ]petri_df__t2_petri_df2023-06-28 15:46 57K 
[   ]petri_df__t3_petri_df2023-06-28 15:46 55K 
[   ]petri_df__t4_petri_df2023-06-28 15:47 83K 
[   ]petri_df__t5_petri_df2023-06-28 15:47 74K 
[   ]petri_df__t6_petri_df2023-06-28 15:48 312K 
[   ]petri_df__t7_petri_df2023-06-28 15:49 233K 
[   ]petri_df__t8_petri_df2023-06-28 15:49 166K 
[   ]petri_df__t9_petri_df2023-06-28 15:50 234K 
[   ]petri_df__t10_petri_df2023-06-28 15:51 417K 
[   ]petri_df__t11_petri_df2023-06-28 15:51 71K 
[   ]petri_df__t12_petri_df2023-06-28 15:52 76K 
[   ]petri_df__t13_petri_df2023-06-28 15:53 98K 
[   ]petri_df__t14_petri_df2023-06-28 15:53 111K 
[   ]petri_df__t15_petri_df2023-06-28 15:54 421K 
[   ]petri_df__t16_petri_df2023-06-28 15:55 345K 
[   ]petri_df__t17_petri_df2023-06-28 15:56 80K 

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