Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small/petri_2
Name
Last modified
Size
Description
Parent Directory
-
petri_2__t7_petri_2.vout
2021-07-25 16:02
7.3K
petri_2__t7_petri_2
2021-07-18 05:25
23K
petri_2__t6_petri_2.vout
2021-07-25 19:43
7.3K
petri_2__t6_petri_2
2021-07-18 05:23
25K
petri_2__t5_petri_2.vout
2021-07-25 14:26
7.3K
petri_2__t5_petri_2
2021-07-18 05:24
25K
petri_2__t4_petri_2.vout
2021-07-25 16:57
7.3K
petri_2__t4_petri_2
2021-07-18 05:24
19K
petri_2__t3_petri_2.vout
2021-07-25 15:04
7.3K
petri_2__t3_petri_2
2021-07-18 05:24
19K
petri_2__t2_petri_2.vout
2021-07-25 19:22
7.3K
petri_2__t2_petri_2
2021-07-18 05:24
18K
petri_2__t1_petri_2.vout
2021-07-25 19:52
7.3K
petri_2__t1_petri_2
2021-07-18 05:25
18K
petri_2__l24_petri_2.vout
2021-07-25 18:01
29K
petri_2__l24_petri_2.vmin1out
2021-07-25 21:02
27K
petri_2__l24_petri_2.vmin1
2021-07-25 20:57
1.5K
petri_2__l24_petri_2.depvmin1
2021-07-25 21:03
191
petri_2__l24_petri_2.depv1
2021-07-25 20:57
191
petri_2__l24_petri_2
2021-07-18 05:26
11K
petri_2__l23_petri_2.vout
2021-07-25 18:03
49K
petri_2__l23_petri_2.vmin1out
2021-07-25 20:58
58K
petri_2__l23_petri_2.vmin1
2021-07-25 20:57
2.2K
petri_2__l23_petri_2.depvmin1
2021-07-25 21:03
133
petri_2__l23_petri_2.depv1
2021-07-25 20:57
142
petri_2__l23_petri_2
2021-07-18 05:26
8.1K
petri_2__l9_petri_2.vout
2021-07-25 14:23
6.8K
petri_2__l9_petri_2
2021-07-18 05:26
18K
petri_2__l8_petri_2.vout
2021-07-25 18:40
6.8K
petri_2__l8_petri_2
2021-07-18 05:26
21K
petri_2__l7_petri_2.vout
2021-07-25 14:42
6.8K
petri_2__l7_petri_2
2021-07-18 05:25
20K
petri_2__l6_petri_2.vout
2021-07-25 18:35
3.7K
petri_2__l6_petri_2
2021-07-18 05:25
10K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80