Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small/rsspace2
Name
Last modified
Size
Description
Parent Directory
-
rsspace2__l3_rsspace2
2021-07-18 11:07
34K
rsspace2__l3_rsspace2.vout
2021-07-25 20:32
6.8K
rsspace2__l4_rsspace2
2021-07-18 11:07
36K
rsspace2__l4_rsspace2.vout
2021-07-25 15:31
2.0K
rsspace2__l6_rsspace2
2021-07-18 11:08
65K
rsspace2__l6_rsspace2.vout
2021-07-25 17:27
4.7K
rsspace2__l7_rsspace2
2021-07-18 11:08
65K
rsspace2__l7_rsspace2.vout
2021-07-25 16:46
4.7K
rsspace2__t1_rsspace2
2021-07-18 11:06
133K
rsspace2__t1_rsspace2.vout
2021-07-25 14:50
6.3K
rsspace2__t2_rsspace2
2021-07-18 11:07
88K
rsspace2__t2_rsspace2.vout
2021-07-25 14:33
4.7K
rsspace2__t3_rsspace2
2021-07-18 11:04
24K
rsspace2__t3_rsspace2.depv1
2021-07-25 20:57
48
rsspace2__t3_rsspace2.depvmin1
2021-07-25 21:03
24
rsspace2__t3_rsspace2.vmin1
2021-07-25 20:57
1.5K
rsspace2__t3_rsspace2.vmin1out
2021-07-25 21:01
39K
rsspace2__t3_rsspace2.vout
2021-07-25 15:02
42K
rsspace2__t4_rsspace2
2021-07-18 11:04
23K
rsspace2__t4_rsspace2.depv1
2021-07-25 20:57
24
rsspace2__t4_rsspace2.depvmin1
2021-07-25 21:03
24
rsspace2__t4_rsspace2.vmin1
2021-07-25 20:57
917
rsspace2__t4_rsspace2.vmin1out
2021-07-25 20:58
12K
rsspace2__t4_rsspace2.vout
2021-07-25 14:37
12K
rsspace2__t5_rsspace2
2021-07-18 11:04
23K
rsspace2__t5_rsspace2.depv1
2021-07-25 20:57
24
rsspace2__t5_rsspace2.depvmin1
2021-07-25 21:03
24
rsspace2__t5_rsspace2.vmin1
2021-07-25 20:57
815
rsspace2__t5_rsspace2.vmin1out
2021-07-25 20:59
13K
rsspace2__t5_rsspace2.vout
2021-07-25 17:09
22K
rsspace2__t6_rsspace2
2021-07-18 11:05
30K
rsspace2__t6_rsspace2.vout
2021-07-25 18:33
2.0K
rsspace2__t7_rsspace2
2021-07-18 11:05
30K
rsspace2__t7_rsspace2.vout
2021-07-25 18:00
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80