Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/roughs_4
Name
Last modified
Size
Description
Parent Directory
-
roughs_4__l37_roughs_4
2024-07-27 18:37
26K
roughs_4__l37_roughs_4.depv1
2024-08-03 10:19
105
roughs_4__l37_roughs_4.depvmin1
2024-08-03 10:24
64
roughs_4__l37_roughs_4.vmin1
2024-08-03 10:19
1.4K
roughs_4__l37_roughs_4.vmin1out
2024-08-03 10:21
11K
roughs_4__l37_roughs_4.vout
2024-08-03 04:45
17K
roughs_4__t1_roughs_4
2024-07-27 18:35
9.2K
roughs_4__t1_roughs_4.depv1
2024-08-03 10:19
79
roughs_4__t1_roughs_4.depvmin1
2024-08-03 10:24
79
roughs_4__t1_roughs_4.vmin1
2024-08-03 10:19
695
roughs_4__t1_roughs_4.vmin1out
2024-08-03 10:20
14K
roughs_4__t1_roughs_4.vout
2024-08-03 05:49
13K
roughs_4__t2_roughs_4
2024-07-27 18:09
14K
roughs_4__t2_roughs_4.depv1
2024-08-03 10:19
152
roughs_4__t2_roughs_4.depvmin1
2024-08-03 10:24
152
roughs_4__t2_roughs_4.vmin1
2024-08-03 10:19
1.3K
roughs_4__t2_roughs_4.vmin1out
2024-08-03 10:21
27K
roughs_4__t2_roughs_4.vout
2024-08-03 09:07
27K
roughs_4__t3_roughs_4
2024-07-27 18:10
13K
roughs_4__t3_roughs_4.depv1
2024-08-03 10:19
129
roughs_4__t3_roughs_4.depvmin1
2024-08-03 10:24
100
roughs_4__t3_roughs_4.vmin1
2024-08-03 10:19
1.1K
roughs_4__t3_roughs_4.vmin1out
2024-08-03 10:22
15K
roughs_4__t3_roughs_4.vout
2024-08-03 05:38
17K
roughs_4__t4_roughs_4
2024-07-27 18:11
25K
roughs_4__t4_roughs_4.vout
2024-08-03 09:35
5.3K
roughs_4__t5_roughs_4
2024-07-27 18:12
16K
roughs_4__t5_roughs_4.vout
2024-08-03 08:29
8.4K
roughs_4__t6_roughs_4
2024-07-27 18:14
20K
roughs_4__t6_roughs_4.vout
2024-08-03 05:08
7.9K
roughs_4__t7_roughs_4
2024-07-27 18:15
22K
roughs_4__t7_roughs_4.vout
2024-08-03 09:39
7.3K
roughs_4__t8_roughs_4
2024-07-27 18:16
22K
roughs_4__t8_roughs_4.vout
2024-08-03 08:57
7.3K
roughs_4__t9_roughs_4
2024-07-27 18:17
27K
roughs_4__t9_roughs_4.vout
2024-08-03 04:43
7.3K
roughs_4__t10_roughs_4
2024-07-27 18:19
28K
roughs_4__t10_roughs_4.depv1
2024-08-03 10:19
158
roughs_4__t10_roughs_4.depvmin1
2024-08-03 10:24
158
roughs_4__t10_roughs_4.vmin1
2024-08-03 10:19
1.9K
roughs_4__t10_roughs_4.vmin1out
2024-08-03 10:22
24K
roughs_4__t10_roughs_4.vout
2024-08-03 04:07
29K
roughs_4__t11_roughs_4
2024-07-27 18:20
27K
roughs_4__t11_roughs_4.vout
2024-08-03 06:48
7.9K
roughs_4__t12_roughs_4
2024-07-27 18:22
30K
roughs_4__t12_roughs_4.depv1
2024-08-03 10:19
77
roughs_4__t12_roughs_4.depvmin1
2024-08-03 10:24
77
roughs_4__t12_roughs_4.vmin1
2024-08-03 10:19
1.2K
roughs_4__t12_roughs_4.vmin1out
2024-08-03 10:23
11K
roughs_4__t12_roughs_4.vout
2024-08-03 07:58
15K
roughs_4__t13_roughs_4
2024-07-27 18:07
29K
roughs_4__t13_roughs_4.vout
2024-08-03 07:50
7.3K
roughs_4__t14_roughs_4
2024-07-27 18:23
29K
roughs_4__t14_roughs_4.vout
2024-08-03 05:51
7.9K
roughs_4__t15_roughs_4
2024-07-27 18:24
30K
roughs_4__t15_roughs_4.depv1
2024-08-03 10:19
265
roughs_4__t15_roughs_4.depvmin1
2024-08-03 10:24
167
roughs_4__t15_roughs_4.vmin1
2024-08-03 10:19
3.2K
roughs_4__t15_roughs_4.vmin1out
2024-08-03 10:22
32K
roughs_4__t15_roughs_4.vout
2024-08-03 04:27
40K
roughs_4__t16_roughs_4
2024-07-27 18:26
30K
roughs_4__t16_roughs_4.vout
2024-08-03 04:48
7.9K
roughs_4__t17_roughs_4
2024-07-27 18:27
30K
roughs_4__t17_roughs_4.depv1
2024-08-03 10:19
180
roughs_4__t17_roughs_4.depvmin1
2024-08-03 10:24
180
roughs_4__t17_roughs_4.vmin1
2024-08-03 10:19
2.4K
roughs_4__t17_roughs_4.vmin1out
2024-08-03 10:21
28K
roughs_4__t17_roughs_4.vout
2024-08-03 07:24
29K
roughs_4__t18_roughs_4
2024-07-27 18:08
30K
roughs_4__t18_roughs_4.depv1
2024-08-03 10:19
118
roughs_4__t18_roughs_4.depvmin1
2024-08-03 10:24
118
roughs_4__t18_roughs_4.vmin1
2024-08-03 10:19
1.7K
roughs_4__t18_roughs_4.vmin1out
2024-08-03 10:21
18K
roughs_4__t18_roughs_4.vout
2024-08-03 09:49
23K
roughs_4__t19_roughs_4
2024-07-27 18:29
30K
roughs_4__t19_roughs_4.depv1
2024-08-03 10:19
96
roughs_4__t19_roughs_4.depvmin1
2024-08-03 10:24
96
roughs_4__t19_roughs_4.vmin1
2024-08-03 10:19
1.4K
roughs_4__t19_roughs_4.vmin1out
2024-08-03 10:20
14K
roughs_4__t19_roughs_4.vout
2024-08-03 08:32
15K
roughs_4__t20_roughs_4
2024-07-27 18:30
36K
roughs_4__t20_roughs_4.vout
2024-08-03 05:09
7.4K
roughs_4__t21_roughs_4
2024-07-27 18:32
34K
roughs_4__t21_roughs_4.depv1
2024-08-03 10:19
50
roughs_4__t21_roughs_4.depvmin1
2024-08-03 10:24
37
roughs_4__t21_roughs_4.vmin1
2024-08-03 10:19
834
roughs_4__t21_roughs_4.vmin1out
2024-08-03 10:22
5.9K
roughs_4__t21_roughs_4.vout
2024-08-03 07:08
11K
roughs_4__t22_roughs_4
2024-07-27 18:33
41K
roughs_4__t22_roughs_4.vout
2024-08-03 05:42
7.3K
roughs_4__t23_roughs_4
2024-07-27 18:35
39K
roughs_4__t23_roughs_4.depv1
2024-08-03 10:19
37
roughs_4__t23_roughs_4.depvmin1
2024-08-03 10:24
37
roughs_4__t23_roughs_4.vmin1
2024-08-03 10:19
791
roughs_4__t23_roughs_4.vmin1out
2024-08-03 10:20
7.1K
roughs_4__t23_roughs_4.vout
2024-08-03 04:26
7.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80