Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rsspace
Name
Last modified
Size
Description
Parent Directory
-
rsspace__t1_rsspace
2024-07-28 02:30
22K
rsspace__t1_rsspace.depv1
2024-08-03 10:19
47
rsspace__t1_rsspace.depvmin1
2024-08-03 10:24
47
rsspace__t1_rsspace.vmin1
2024-08-03 10:20
719
rsspace__t1_rsspace.vmin1out
2024-08-03 10:20
8.6K
rsspace__t1_rsspace.vout
2024-08-03 07:09
6.2K
rsspace__t2_rsspace
2024-07-28 02:36
48K
rsspace__t2_rsspace.vout
2024-08-03 08:30
4.7K
rsspace__t3_rsspace
2024-07-28 02:38
43K
rsspace__t3_rsspace.vout
2024-08-03 06:42
4.7K
rsspace__t4_rsspace
2024-07-28 02:39
26K
rsspace__t4_rsspace.depv1
2024-08-03 10:19
404
rsspace__t4_rsspace.depvmin1
2024-08-03 10:24
392
rsspace__t4_rsspace.vmin1
2024-08-03 10:20
3.2K
rsspace__t4_rsspace.vmin1out
2024-08-03 10:23
33K
rsspace__t4_rsspace.vout
2024-08-03 06:57
26K
rsspace__t5_rsspace
2024-07-28 02:40
26K
rsspace__t5_rsspace.depv1
2024-08-03 10:19
323
rsspace__t5_rsspace.depvmin1
2024-08-03 10:24
323
rsspace__t5_rsspace.vmin1
2024-08-03 10:20
2.3K
rsspace__t5_rsspace.vmin1out
2024-08-03 10:21
23K
rsspace__t5_rsspace.vout
2024-08-03 05:04
23K
rsspace__t11_rsspace
2024-07-28 02:42
37K
rsspace__t11_rsspace.depv1
2024-08-03 10:19
140
rsspace__t11_rsspace.depvmin1
2024-08-03 10:24
140
rsspace__t11_rsspace.vmin1
2024-08-03 10:20
4.3K
rsspace__t11_rsspace.vmin1out
2024-08-03 10:21
91K
rsspace__t11_rsspace.vout
2024-08-03 08:02
45K
rsspace__t12_rsspace
2024-07-28 02:32
36K
rsspace__t12_rsspace.depv1
2024-08-03 10:19
88
rsspace__t12_rsspace.depvmin1
2024-08-03 10:24
88
rsspace__t12_rsspace.vmin1
2024-08-03 10:20
1.3K
rsspace__t12_rsspace.vmin1out
2024-08-03 10:20
10K
rsspace__t12_rsspace.vout
2024-08-03 06:30
9.7K
rsspace__t13_rsspace
2024-07-28 02:34
37K
rsspace__t13_rsspace.depv1
2024-08-03 10:19
159
rsspace__t13_rsspace.depvmin1
2024-08-03 10:24
102
rsspace__t13_rsspace.vmin1
2024-08-03 10:20
4.8K
rsspace__t13_rsspace.vmin1out
2024-08-03 10:21
32K
rsspace__t13_rsspace.vout
2024-08-03 08:05
62K
rsspace__t15_rsspace
2024-07-28 02:44
39K
rsspace__t15_rsspace.vout
2024-08-03 09:56
7.3K
rsspace__t16_rsspace
2024-07-28 02:45
35K
rsspace__t16_rsspace.vout
2024-08-03 09:44
7.3K
rsspace__t17_rsspace
2024-07-28 02:46
46K
rsspace__t17_rsspace.vout
2024-08-03 05:48
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80