Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/lopban11
Name
Last modified
Size
Description
Parent Directory
-
lopban11__t1_lopban11
2025-09-09 02:22
70K
lopban11__t1_lopban11.vout
2025-09-15 19:02
2.0K
lopban11__t2_lopban11
2025-09-09 02:24
63K
lopban11__t2_lopban11.vout
2025-09-15 15:07
7.3K
lopban11__t3_lopban11
2025-09-09 02:26
75K
lopban11__t3_lopban11.vout
2025-09-15 14:44
7.9K
lopban11__t4_lopban11
2025-09-09 02:27
37K
lopban11__t4_lopban11.depv1
2025-09-15 19:47
132
lopban11__t4_lopban11.depvmin1
2025-09-15 19:52
132
lopban11__t4_lopban11.vmin1
2025-09-15 19:47
1.9K
lopban11__t4_lopban11.vmin1out
2025-09-15 19:48
35K
lopban11__t4_lopban11.vout
2025-09-15 17:46
34K
lopban11__t5_lopban11
2025-09-09 02:29
54K
lopban11__t5_lopban11.vout
2025-09-15 18:08
4.1K
lopban11__t6_lopban11
2025-09-09 02:32
57K
lopban11__t6_lopban11.depv1
2025-09-15 19:47
116
lopban11__t6_lopban11.depvmin1
2025-09-15 19:52
116
lopban11__t6_lopban11.vmin1
2025-09-15 19:47
2.7K
lopban11__t6_lopban11.vmin1out
2025-09-15 19:49
47K
lopban11__t6_lopban11.vout
2025-09-15 13:28
25K
lopban11__t7_lopban11
2025-09-09 02:33
36K
lopban11__t7_lopban11.depv1
2025-09-15 19:47
56
lopban11__t7_lopban11.depvmin1
2025-09-15 19:52
32
lopban11__t7_lopban11.vmin1
2025-09-15 19:47
629
lopban11__t7_lopban11.vmin1out
2025-09-15 19:49
5.9K
lopban11__t7_lopban11.vout
2025-09-15 16:36
6.6K
lopban11__t9_lopban11
2025-09-09 02:35
60K
lopban11__t9_lopban11.depv1
2025-09-15 19:47
242
lopban11__t9_lopban11.depvmin1
2025-09-15 19:52
67
lopban11__t9_lopban11.vmin1
2025-09-15 19:47
6.4K
lopban11__t9_lopban11.vmin1out
2025-09-15 19:50
37K
lopban11__t9_lopban11.vout
2025-09-15 13:55
71K
lopban11__t10_lopban11
2025-09-09 02:37
70K
lopban11__t10_lopban11.vout
2025-09-15 14:46
7.3K
lopban11__t12_lopban11
2025-09-09 02:41
241K
lopban11__t12_lopban11.vout
2025-09-15 17:08
3.7K
lopban11__t13_lopban11
2025-09-09 02:44
87K
lopban11__t13_lopban11.vout
2025-09-15 14:34
3.7K
lopban11__t14_lopban11
2025-09-09 02:48
186K
lopban11__t14_lopban11.vout
2025-09-15 16:16
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80