Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rsspace2
Name
Last modified
Size
Description
Parent Directory
-
rsspace2__l3_rsspace2
2024-07-27 02:06
38K
rsspace2__l3_rsspace2.vout
2024-08-03 06:22
6.8K
rsspace2__l4_rsspace2
2024-07-27 02:07
36K
rsspace2__l4_rsspace2.vout
2024-08-03 06:36
2.0K
rsspace2__l6_rsspace2
2024-07-27 02:09
68K
rsspace2__l6_rsspace2.vout
2024-08-03 07:15
4.7K
rsspace2__l7_rsspace2
2024-07-27 02:11
69K
rsspace2__l7_rsspace2.vout
2024-08-03 05:27
4.7K
rsspace2__t1_rsspace2
2024-07-27 02:03
133K
rsspace2__t1_rsspace2.vout
2024-08-03 09:31
6.2K
rsspace2__t2_rsspace2
2024-07-27 02:05
88K
rsspace2__t2_rsspace2.vout
2024-08-03 07:59
4.7K
rsspace2__t3_rsspace2
2024-07-27 01:55
28K
rsspace2__t3_rsspace2.depv1
2024-08-03 10:19
48
rsspace2__t3_rsspace2.depvmin1
2024-08-03 10:24
24
rsspace2__t3_rsspace2.vmin1
2024-08-03 10:19
1.5K
rsspace2__t3_rsspace2.vmin1out
2024-08-03 10:23
39K
rsspace2__t3_rsspace2.vout
2024-08-03 04:29
42K
rsspace2__t4_rsspace2
2024-07-27 01:56
22K
rsspace2__t4_rsspace2.depv1
2024-08-03 10:19
24
rsspace2__t4_rsspace2.depvmin1
2024-08-03 10:24
24
rsspace2__t4_rsspace2.vmin1
2024-08-03 10:19
917
rsspace2__t4_rsspace2.vmin1out
2024-08-03 10:22
12K
rsspace2__t4_rsspace2.vout
2024-08-03 04:50
12K
rsspace2__t5_rsspace2
2024-07-27 01:57
27K
rsspace2__t5_rsspace2.depv1
2024-08-03 10:19
24
rsspace2__t5_rsspace2.depvmin1
2024-08-03 10:24
24
rsspace2__t5_rsspace2.vmin1
2024-08-03 10:19
815
rsspace2__t5_rsspace2.vmin1out
2024-08-03 10:22
13K
rsspace2__t5_rsspace2.vout
2024-08-03 10:03
22K
rsspace2__t6_rsspace2
2024-07-27 01:58
33K
rsspace2__t6_rsspace2.vout
2024-08-03 06:51
2.0K
rsspace2__t7_rsspace2
2024-07-27 01:59
34K
rsspace2__t7_rsspace2.vout
2024-08-03 09:52
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80