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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]petri_df__t17_petri_df2025-09-13 08:50 88K 
[ ]petri_df__t16_petri_df2025-09-13 08:47 361K 
[ ]petri_df__t15_petri_df2025-09-13 08:43 445K 
[ ]petri_df__t14_petri_df2025-09-13 08:40 122K 
[ ]petri_df__t13_petri_df2025-09-13 08:38 108K 
[ ]petri_df__t12_petri_df2025-09-13 08:36 85K 
[ ]petri_df__t11_petri_df2025-09-13 08:33 80K 
[ ]petri_df__t10_petri_df2025-09-13 08:31 441K 
[ ]petri_df__t9_petri_df2025-09-13 08:29 241K 
[ ]petri_df__t8_petri_df2025-09-13 08:27 172K 
[ ]petri_df__t7_petri_df2025-09-13 08:24 239K 
[ ]petri_df__t6_petri_df2025-09-13 08:22 333K 
[ ]petri_df__t5_petri_df2025-09-13 08:20 82K 
[ ]petri_df__t4_petri_df2025-09-13 08:18 92K 
[ ]petri_df__t3_petri_df2025-09-13 08:16 63K 
[ ]petri_df__t2_petri_df2025-09-13 08:14 65K 
[ ]petri_df__t1_petri_df2025-09-13 08:12 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80