Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/petri_df
Name
Last modified
Size
Description
Parent Directory
-
petri_df__t1_petri_df
2024-07-27 19:40
51K
petri_df__t1_petri_df.vout
2024-08-03 08:31
4.1K
petri_df__t2_petri_df
2024-07-27 19:42
40K
petri_df__t2_petri_df.vout
2024-08-03 07:55
2.0K
petri_df__t3_petri_df
2024-07-27 19:43
39K
petri_df__t3_petri_df.vout
2024-08-03 10:13
4.2K
petri_df__t4_petri_df
2024-07-27 19:45
56K
petri_df__t4_petri_df.vout
2024-08-03 08:45
6.2K
petri_df__t5_petri_df
2024-07-27 19:47
51K
petri_df__t5_petri_df.vout
2024-08-03 09:34
1.1K
petri_df__t6_petri_df
2024-07-27 19:48
181K
petri_df__t6_petri_df.vout
2024-08-03 08:29
2.0K
petri_df__t7_petri_df
2024-07-27 19:50
137K
petri_df__t7_petri_df.vout
2024-08-03 08:02
7.4K
petri_df__t8_petri_df
2024-07-27 19:52
102K
petri_df__t8_petri_df.vout
2024-08-03 04:34
7.3K
petri_df__t9_petri_df
2024-07-27 19:54
138K
petri_df__t9_petri_df.vout
2024-08-03 05:19
7.3K
petri_df__t10_petri_df
2024-07-27 19:56
240K
petri_df__t10_petri_df.vout
2024-08-03 05:59
7.3K
petri_df__t11_petri_df
2024-07-27 19:58
49K
petri_df__t11_petri_df.vout
2024-08-03 09:14
4.7K
petri_df__t12_petri_df
2024-07-27 20:00
53K
petri_df__t12_petri_df.vout
2024-08-03 04:44
7.4K
petri_df__t13_petri_df
2024-07-27 20:02
68K
petri_df__t13_petri_df.vout
2024-08-03 04:57
4.7K
petri_df__t14_petri_df
2024-07-27 20:04
77K
petri_df__t14_petri_df.vout
2024-08-03 06:18
6.8K
petri_df__t15_petri_df
2024-07-27 20:06
243K
petri_df__t15_petri_df.vout
2024-08-03 05:06
7.3K
petri_df__t16_petri_df
2024-07-27 20:10
211K
petri_df__t16_petri_df.vout
2024-08-03 06:35
3.7K
petri_df__t17_petri_df
2024-07-27 20:12
57K
petri_df__t17_petri_df.vout
2024-08-03 05:55
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80