Index of /~mptp/mml5.63.1382/MPTP2/problems_small/petri_df
Name
Last modified
Size
Description
Parent Directory
-
petri_df__t5_petri_df.vout
2021-07-25 14:46
1.1K
petri_df__t2_petri_df.vout
2021-07-25 15:07
2.0K
petri_df__t6_petri_df.vout
2021-07-25 17:43
2.0K
petri_df__t16_petri_df.vout
2021-07-25 17:30
3.7K
petri_df__t1_petri_df.vout
2021-07-25 17:45
4.1K
petri_df__t3_petri_df.vout
2021-07-25 16:36
4.2K
petri_df__t13_petri_df.vout
2021-07-25 20:42
4.7K
petri_df__t11_petri_df.vout
2021-07-25 20:13
4.7K
petri_df__t4_petri_df.vout
2021-07-25 16:45
6.3K
petri_df__t14_petri_df.vout
2021-07-25 19:23
6.8K
petri_df__t9_petri_df.vout
2021-07-25 17:36
7.3K
petri_df__t7_petri_df.vout
2021-07-25 15:35
7.3K
petri_df__t8_petri_df.vout
2021-07-25 16:29
7.3K
petri_df__t17_petri_df.vout
2021-07-25 18:22
7.3K
petri_df__t10_petri_df.vout
2021-07-25 18:56
7.3K
petri_df__t15_petri_df.vout
2021-07-25 19:12
7.3K
petri_df__t12_petri_df.vout
2021-07-25 15:41
7.4K
petri_df__t3_petri_df
2021-07-17 23:49
34K
petri_df__t2_petri_df
2021-07-17 23:48
35K
petri_df__t11_petri_df
2021-07-17 23:54
44K
petri_df__t5_petri_df
2021-07-17 23:50
46K
petri_df__t1_petri_df
2021-07-17 23:48
46K
petri_df__t12_petri_df
2021-07-17 23:55
47K
petri_df__t4_petri_df
2021-07-17 23:49
51K
petri_df__t17_petri_df
2021-07-17 23:59
52K
petri_df__t13_petri_df
2021-07-17 23:55
61K
petri_df__t14_petri_df
2021-07-17 23:56
69K
petri_df__t8_petri_df
2021-07-17 23:52
95K
petri_df__t7_petri_df
2021-07-17 23:51
129K
petri_df__t9_petri_df
2021-07-17 23:53
130K
petri_df__t6_petri_df
2021-07-17 23:51
169K
petri_df__t16_petri_df
2021-07-17 23:58
196K
petri_df__t10_petri_df
2021-07-17 23:53
224K
petri_df__t15_petri_df
2021-07-17 23:57
227K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80