Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmring4
Name
Last modified
Size
Description
Parent Directory
-
scmring4__t12_scmring4.vout
2024-08-03 06:21
4.7K
scmring4__t12_scmring4
2024-07-28 07:26
362K
scmring4__t11_scmring4.vout
2024-08-03 08:32
4.1K
scmring4__t11_scmring4
2024-07-28 07:23
70K
scmring4__t10_scmring4.vout
2024-08-03 05:24
3.2K
scmring4__t10_scmring4
2024-07-28 07:20
64K
scmring4__t9_scmring4.vout
2024-08-03 04:25
3.2K
scmring4__t9_scmring4
2024-07-28 07:18
64K
scmring4__t8_scmring4.vout
2024-08-03 05:27
3.2K
scmring4__t8_scmring4
2024-07-28 07:16
64K
scmring4__t7_scmring4.vout
2024-08-03 04:16
3.2K
scmring4__t7_scmring4
2024-07-28 07:14
63K
scmring4__t6_scmring4.vout
2024-08-03 08:39
4.7K
scmring4__t6_scmring4
2024-07-28 07:11
64K
scmring4__t5_scmring4.vout
2024-08-03 04:19
4.7K
scmring4__t5_scmring4
2024-07-28 07:09
55K
scmring4__t4_scmring4.vout
2024-08-03 08:01
3.2K
scmring4__t4_scmring4
2024-07-28 07:07
44K
scmring4__t3_scmring4.vout
2024-08-03 04:08
7.7K
scmring4__t3_scmring4.vmin1out
2024-08-03 10:22
8.1K
scmring4__t3_scmring4.vmin1
2024-08-03 10:19
848
scmring4__t3_scmring4.depvmin1
2024-08-03 10:24
36
scmring4__t3_scmring4.depv1
2024-08-03 10:19
36
scmring4__t3_scmring4
2024-07-28 07:05
37K
scmring4__t2_scmring4.vout
2024-08-03 07:46
22K
scmring4__t2_scmring4.vmin1out
2024-08-03 10:22
22K
scmring4__t2_scmring4.vmin1
2024-08-03 10:19
1.7K
scmring4__t2_scmring4.depvmin1
2024-08-03 10:24
78
scmring4__t2_scmring4.depv1
2024-08-03 10:19
137
scmring4__t2_scmring4
2024-07-28 07:04
43K
scmring4__t1_scmring4.vout
2024-08-03 06:32
6.3K
scmring4__t1_scmring4.vmin1out
2024-08-03 10:20
8.3K
scmring4__t1_scmring4.vmin1
2024-08-03 10:19
720
scmring4__t1_scmring4.depvmin1
2024-08-03 10:24
34
scmring4__t1_scmring4.depv1
2024-08-03 10:19
34
scmring4__t1_scmring4
2024-07-28 07:02
39K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80