Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/petri_3
Name
Last modified
Size
Description
Parent Directory
-
petri_3__t9_petri_3.vout
2024-08-03 09:03
7.3K
petri_3__t9_petri_3
2024-07-27 08:23
50K
petri_3__t8_petri_3.vout
2024-08-03 04:45
7.3K
petri_3__t8_petri_3
2024-07-27 08:21
61K
petri_3__t7_petri_3.vout
2024-08-03 06:56
89K
petri_3__t7_petri_3.vmin1out
2024-08-03 10:21
87K
petri_3__t7_petri_3.vmin1
2024-08-03 10:19
2.2K
petri_3__t7_petri_3.depvmin1
2024-08-03 10:24
69
petri_3__t7_petri_3.depv1
2024-08-03 10:19
69
petri_3__t7_petri_3
2024-07-27 08:19
33K
petri_3__t6_petri_3.vout
2024-08-03 08:42
7.3K
petri_3__t6_petri_3
2024-07-27 08:17
27K
petri_3__t5_petri_3.vout
2024-08-03 09:17
6.8K
petri_3__t5_petri_3
2024-07-27 08:26
32K
petri_3__t4_petri_3.vout
2024-08-03 07:26
7.3K
petri_3__t4_petri_3
2024-07-27 08:25
25K
petri_3__t3_petri_3.vout
2024-08-03 09:07
60K
petri_3__t3_petri_3.vmin1out
2024-08-03 10:21
68K
petri_3__t3_petri_3.vmin1
2024-08-03 10:19
1.8K
petri_3__t3_petri_3.depvmin1
2024-08-03 10:24
72
petri_3__t3_petri_3.depv1
2024-08-03 10:19
72
petri_3__t3_petri_3
2024-07-27 08:16
16K
petri_3__t2_petri_3.vout
2024-08-03 04:53
7.3K
petri_3__t2_petri_3
2024-07-27 08:14
18K
petri_3__t1_petri_3.vout
2024-08-03 08:20
6.8K
petri_3__t1_petri_3
2024-07-27 08:13
18K
petri_3__l13_petri_3.vout
2024-08-03 09:14
43K
petri_3__l13_petri_3.vmin1out
2024-08-03 10:22
42K
petri_3__l13_petri_3.vmin1
2024-08-03 10:19
2.7K
petri_3__l13_petri_3.depvmin1
2024-08-03 10:24
129
petri_3__l13_petri_3.depv1
2024-08-03 10:19
216
petri_3__l13_petri_3
2024-07-27 08:28
22K
petri_3__l12_petri_3.vout
2024-08-03 08:33
7.3K
petri_3__l12_petri_3
2024-07-27 08:30
41K
petri_3__l6_petri_3.vout
2024-08-03 09:24
6.1K
petri_3__l6_petri_3.vmin1out
2024-08-03 10:20
5.7K
petri_3__l6_petri_3.vmin1
2024-08-03 10:19
470
petri_3__l6_petri_3.depvmin1
2024-08-03 10:24
57
petri_3__l6_petri_3.depv1
2024-08-03 10:19
57
petri_3__l6_petri_3
2024-07-27 08:27
6.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80