Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rusub_7
Name
Last modified
Size
Description
Parent Directory
-
rusub_7__l17_rusub_7
2024-07-26 18:37
49K
rusub_7__l17_rusub_7.depv1
2024-08-03 10:19
127
rusub_7__l17_rusub_7.depvmin1
2024-08-03 10:24
127
rusub_7__l17_rusub_7.vmin1
2024-08-03 10:19
2.8K
rusub_7__l17_rusub_7.vmin1out
2024-08-03 10:23
50K
rusub_7__l17_rusub_7.vout
2024-08-03 06:54
51K
rusub_7__l18_rusub_7
2024-07-26 18:39
72K
rusub_7__l18_rusub_7.vout
2024-08-03 07:39
7.3K
rusub_7__l24_rusub_7
2024-07-26 18:47
37K
rusub_7__l24_rusub_7.vout
2024-08-03 07:19
7.3K
rusub_7__l25_rusub_7
2024-07-26 18:48
38K
rusub_7__l25_rusub_7.vout
2024-08-03 08:57
6.8K
rusub_7__l26_rusub_7
2024-07-26 18:41
38K
rusub_7__l26_rusub_7.vout
2024-08-03 09:47
7.3K
rusub_7__l29_rusub_7
2024-07-26 18:43
45K
rusub_7__l29_rusub_7.vout
2024-08-03 08:37
6.8K
rusub_7__l35_rusub_7
2024-07-26 18:45
56K
rusub_7__l35_rusub_7.vout
2024-08-03 05:04
6.8K
rusub_7__t1_rusub_7
2024-07-26 17:33
47K
rusub_7__t1_rusub_7.vout
2024-08-03 04:26
4.1K
rusub_7__t2_rusub_7
2024-07-26 18:26
49K
rusub_7__t2_rusub_7.vout
2024-08-03 06:18
7.3K
rusub_7__t3_rusub_7
2024-07-26 18:28
49K
rusub_7__t3_rusub_7.vout
2024-08-03 07:36
7.3K
rusub_7__t4_rusub_7
2024-07-26 17:36
50K
rusub_7__t4_rusub_7.vout
2024-08-03 04:33
4.7K
rusub_7__t5_rusub_7
2024-07-26 17:38
51K
rusub_7__t5_rusub_7.vout
2024-08-03 04:15
4.7K
rusub_7__t6_rusub_7
2024-07-26 17:40
52K
rusub_7__t6_rusub_7.vout
2024-08-03 05:40
4.7K
rusub_7__t7_rusub_7
2024-07-26 18:31
51K
rusub_7__t7_rusub_7.vout
2024-08-03 04:53
4.2K
rusub_7__t8_rusub_7
2024-07-26 18:33
51K
rusub_7__t8_rusub_7.vout
2024-08-03 05:58
7.3K
rusub_7__t9_rusub_7
2024-07-26 18:35
51K
rusub_7__t9_rusub_7.vout
2024-08-03 04:41
7.3K
rusub_7__t10_rusub_7
2024-07-26 17:42
48K
rusub_7__t10_rusub_7.vout
2024-08-03 09:53
4.1K
rusub_7__t11_rusub_7
2024-07-26 17:44
47K
rusub_7__t11_rusub_7.vout
2024-08-03 07:39
4.1K
rusub_7__t12_rusub_7
2024-07-26 17:46
47K
rusub_7__t12_rusub_7.vout
2024-08-03 05:26
7.3K
rusub_7__t13_rusub_7
2024-07-26 17:48
49K
rusub_7__t13_rusub_7.vout
2024-08-03 05:28
7.8K
rusub_7__t14_rusub_7
2024-07-26 17:51
53K
rusub_7__t14_rusub_7.vout
2024-08-03 06:12
5.3K
rusub_7__t15_rusub_7
2024-07-26 17:53
42K
rusub_7__t15_rusub_7.vout
2024-08-03 05:37
4.1K
rusub_7__t16_rusub_7
2024-07-26 17:55
41K
rusub_7__t16_rusub_7.vout
2024-08-03 08:36
4.1K
rusub_7__t17_rusub_7
2024-07-26 17:57
54K
rusub_7__t17_rusub_7.vout
2024-08-03 05:32
2.0K
rusub_7__t18_rusub_7
2024-07-26 17:59
60K
rusub_7__t18_rusub_7.vout
2024-08-03 04:13
4.7K
rusub_7__t19_rusub_7
2024-07-26 18:02
527K
rusub_7__t19_rusub_7.vout
2024-08-03 05:44
3.7K
rusub_7__t20_rusub_7
2024-07-26 18:04
43K
rusub_7__t20_rusub_7.vout
2024-08-03 10:08
7.3K
rusub_7__t21_rusub_7
2024-07-26 18:06
79K
rusub_7__t21_rusub_7.vout
2024-08-03 08:16
6.8K
rusub_7__t22_rusub_7
2024-07-26 18:08
48K
rusub_7__t22_rusub_7.depv1
2024-08-03 10:19
36
rusub_7__t22_rusub_7.depvmin1
2024-08-03 10:24
36
rusub_7__t22_rusub_7.vmin1
2024-08-03 10:19
2.0K
rusub_7__t22_rusub_7.vmin1out
2024-08-03 10:23
34K
rusub_7__t22_rusub_7.vout
2024-08-03 09:04
44K
rusub_7__t23_rusub_7
2024-07-26 18:10
45K
rusub_7__t23_rusub_7.vout
2024-08-03 08:45
7.3K
rusub_7__t24_rusub_7
2024-07-26 18:12
40K
rusub_7__t24_rusub_7.vout
2024-08-03 09:17
7.3K
rusub_7__t25_rusub_7
2024-07-26 18:14
73K
rusub_7__t25_rusub_7.vout
2024-08-03 07:09
3.7K
rusub_7__t26_rusub_7
2024-07-26 18:17
66K
rusub_7__t26_rusub_7.vout
2024-08-03 05:29
3.7K
rusub_7__t27_rusub_7
2024-07-26 18:20
62K
rusub_7__t27_rusub_7.vout
2024-08-03 04:28
6.8K
rusub_7__t28_rusub_7
2024-07-26 18:22
52K
rusub_7__t28_rusub_7.vout
2024-08-03 07:37
7.3K
rusub_7__t29_rusub_7
2024-07-26 18:24
52K
rusub_7__t29_rusub_7.vout
2024-08-03 10:02
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80