Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/convex3
Name
Last modified
Size
Description
Parent Directory
-
convex3__l3_convex3
2024-07-27 21:52
9.4K
convex3__l3_convex3.depv1
2024-08-03 10:19
94
convex3__l3_convex3.depvmin1
2024-08-03 10:24
94
convex3__l3_convex3.vmin1
2024-08-03 10:19
562
convex3__l3_convex3.vmin1out
2024-08-03 10:21
4.0K
convex3__l3_convex3.vout
2024-08-03 09:54
3.7K
convex3__l5_convex3
2024-07-27 21:53
16K
convex3__l5_convex3.depv1
2024-08-03 10:19
214
convex3__l5_convex3.depvmin1
2024-08-03 10:24
134
convex3__l5_convex3.vmin1
2024-08-03 10:19
1.1K
convex3__l5_convex3.vmin1out
2024-08-03 10:23
7.0K
convex3__l5_convex3.vout
2024-08-03 09:50
8.9K
convex3__l8_convex3
2024-07-27 22:13
36K
convex3__l8_convex3.vout
2024-08-03 06:00
3.7K
convex3__l9_convex3
2024-07-27 22:09
99K
convex3__l9_convex3.vout
2024-08-03 07:56
6.8K
convex3__l10_convex3
2024-07-27 22:15
105K
convex3__l10_convex3.vout
2024-08-03 05:03
3.7K
convex3__l16_convex3
2024-07-27 22:11
57K
convex3__l16_convex3.vout
2024-08-03 05:05
6.8K
convex3__t1_convex3
2024-07-27 21:55
47K
convex3__t1_convex3.vout
2024-08-03 10:11
7.3K
convex3__t2_convex3
2024-07-27 21:57
56K
convex3__t2_convex3.vout
2024-08-03 04:21
6.8K
convex3__t3_convex3
2024-07-27 22:00
63K
convex3__t3_convex3.vout
2024-08-03 07:07
7.3K
convex3__t4_convex3
2024-07-27 21:52
27K
convex3__t4_convex3.depv1
2024-08-03 10:19
34
convex3__t4_convex3.depvmin1
2024-08-03 10:24
34
convex3__t4_convex3.vmin1
2024-08-03 10:19
1.2K
convex3__t4_convex3.vmin1out
2024-08-03 10:22
17K
convex3__t4_convex3.vout
2024-08-03 04:28
23K
convex3__t5_convex3
2024-07-27 22:06
38K
convex3__t5_convex3.vout
2024-08-03 08:58
3.7K
convex3__t6_convex3
2024-07-27 21:50
15K
convex3__t6_convex3.vout
2024-08-03 06:45
2.0K
convex3__t7_convex3
2024-07-27 22:01
41K
convex3__t7_convex3.vout
2024-08-03 10:05
2.0K
convex3__t8_convex3
2024-07-27 22:03
108K
convex3__t8_convex3.vout
2024-08-03 07:14
6.8K
convex3__t9_convex3
2024-07-27 22:04
18K
convex3__t9_convex3.vout
2024-08-03 08:15
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80