Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/csspace3
Name
Last modified
Size
Description
Parent Directory
-
csspace3__l3_csspace3
2024-07-28 17:09
36K
csspace3__l3_csspace3.depv1
2024-08-03 10:19
91
csspace3__l3_csspace3.depvmin1
2024-08-03 10:24
91
csspace3__l3_csspace3.vmin1
2024-08-03 10:19
1.3K
csspace3__l3_csspace3.vmin1out
2024-08-03 10:20
10K
csspace3__l3_csspace3.vout
2024-08-03 04:38
9.8K
csspace3__l7_csspace3
2024-07-28 17:11
37K
csspace3__l7_csspace3.depv1
2024-08-03 10:19
149
csspace3__l7_csspace3.depvmin1
2024-08-03 10:24
149
csspace3__l7_csspace3.vmin1
2024-08-03 10:19
5.7K
csspace3__l7_csspace3.vmin1out
2024-08-03 10:22
70K
csspace3__l7_csspace3.vout
2024-08-03 07:37
54K
csspace3__l13_csspace3
2024-07-28 17:26
64K
csspace3__l13_csspace3.vout
2024-08-03 07:37
4.7K
csspace3__t1_csspace3
2024-07-28 17:13
58K
csspace3__t1_csspace3.vout
2024-08-03 06:02
4.1K
csspace3__t2_csspace3
2024-07-28 17:06
30K
csspace3__t2_csspace3.depv1
2024-08-03 10:19
39
csspace3__t2_csspace3.depvmin1
2024-08-03 10:24
39
csspace3__t2_csspace3.vmin1
2024-08-03 10:19
2.5K
csspace3__t2_csspace3.vmin1out
2024-08-03 10:21
28K
csspace3__t2_csspace3.vout
2024-08-03 08:56
24K
csspace3__t3_csspace3
2024-07-28 17:14
42K
csspace3__t3_csspace3.vout
2024-08-03 08:20
7.3K
csspace3__t5_csspace3
2024-07-28 17:08
41K
csspace3__t5_csspace3.depv1
2024-08-03 10:19
338
csspace3__t5_csspace3.depvmin1
2024-08-03 10:24
338
csspace3__t5_csspace3.vmin1
2024-08-03 10:19
8.0K
csspace3__t5_csspace3.vmin1out
2024-08-03 10:21
81K
csspace3__t5_csspace3.vout
2024-08-03 04:47
84K
csspace3__t6_csspace3
2024-07-28 17:17
81K
csspace3__t6_csspace3.vout
2024-08-03 04:45
6.3K
csspace3__t7_csspace3
2024-07-28 17:19
89K
csspace3__t7_csspace3.vout
2024-08-03 07:08
4.7K
csspace3__t8_csspace3
2024-07-28 17:21
32K
csspace3__t8_csspace3.vout
2024-08-03 04:36
2.0K
csspace3__t9_csspace3
2024-07-28 17:24
120K
csspace3__t9_csspace3.vout
2024-08-03 08:53
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80