Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/rsspace4
Name
Last modified
Size
Description
Parent Directory
-
rsspace4__l1_rsspace4
2021-07-18 21:13
40K
rsspace4__l2_rsspace4
2021-07-18 21:13
48K
rsspace4__l4_rsspace4
2021-07-18 20:59
56K
rsspace4__l5_rsspace4
2021-07-18 21:00
58K
rsspace4__l7_rsspace4
2021-07-18 21:13
62K
rsspace4__l8_rsspace4
2021-07-18 21:14
52K
rsspace4__t1_rsspace4
2021-07-18 20:58
47K
rsspace4__t2_rsspace4
2021-07-18 21:00
148K
rsspace4__t3_rsspace4
2021-07-18 21:01
159K
rsspace4__t4_rsspace4
2021-07-18 21:02
190K
rsspace4__t5_rsspace4
2021-07-18 21:03
51K
rsspace4__t6_rsspace4
2021-07-18 21:03
88K
rsspace4__t7_rsspace4
2021-07-18 20:58
52K
rsspace4__t8_rsspace4
2021-07-18 21:04
69K
rsspace4__t9_rsspace4
2021-07-18 21:04
66K
rsspace4__t10_rsspace4
2021-07-18 21:05
62K
rsspace4__t11_rsspace4
2021-07-18 21:05
53K
rsspace4__t12_rsspace4
2021-07-18 21:06
56K
rsspace4__t13_rsspace4
2021-07-18 21:06
47K
rsspace4__t14_rsspace4
2021-07-18 21:07
56K
rsspace4__t15_rsspace4
2021-07-18 21:07
66K
rsspace4__t16_rsspace4
2021-07-18 21:08
67K
rsspace4__t17_rsspace4
2021-07-18 21:08
67K
rsspace4__t18_rsspace4
2021-07-18 21:09
73K
rsspace4__t19_rsspace4
2021-07-18 21:09
72K
rsspace4__t20_rsspace4
2021-07-18 21:10
69K
rsspace4__t22_rsspace4
2021-07-18 20:59
72K
rsspace4__t23_rsspace4
2021-07-18 21:10
62K
rsspace4__t24_rsspace4
2021-07-18 21:11
69K
rsspace4__t25_rsspace4
2021-07-18 21:12
127K
rsspace4__t26_rsspace4
2021-07-18 21:12
57K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80