Index of /~mptp/mml5.63.1382/MPTP2/problems_small/gtarski2
Name
Last modified
Size
Description
Parent Directory
-
gtarski2__t50_gtarski2.vout
2021-07-25 19:24
7.9K
gtarski2__t50_gtarski2
2021-07-18 02:08
44K
gtarski2__t49_gtarski2.vout
2021-07-25 19:58
30K
gtarski2__t49_gtarski2.vmin1out
2021-07-25 20:57
29K
gtarski2__t49_gtarski2.vmin1
2021-07-25 20:57
2.1K
gtarski2__t49_gtarski2.depvmin1
2021-07-25 21:03
176
gtarski2__t49_gtarski2.depv1
2021-07-25 20:57
207
gtarski2__t49_gtarski2
2021-07-18 02:07
30K
gtarski2__t48_gtarski2.vout
2021-07-25 19:21
3.7K
gtarski2__t48_gtarski2
2021-07-18 02:06
126K
gtarski2__t47_gtarski2.vout
2021-07-25 19:31
4.7K
gtarski2__t47_gtarski2
2021-07-18 02:05
79K
gtarski2__t46_gtarski2.vout
2021-07-25 20:51
4.7K
gtarski2__t46_gtarski2
2021-07-18 02:04
49K
gtarski2__t45_gtarski2.vout
2021-07-25 19:55
8.4K
gtarski2__t45_gtarski2
2021-07-18 02:03
65K
gtarski2__t44_gtarski2.vout
2021-07-25 16:54
6.8K
gtarski2__t44_gtarski2
2021-07-18 02:02
64K
gtarski2__t43_gtarski2.vout
2021-07-25 18:01
4.7K
gtarski2__t43_gtarski2
2021-07-18 02:01
56K
gtarski2__t42_gtarski2.vout
2021-07-25 16:55
4.7K
gtarski2__t42_gtarski2
2021-07-18 02:01
61K
gtarski2__t41_gtarski2.vout
2021-07-25 18:30
7.9K
gtarski2__t41_gtarski2
2021-07-18 02:00
38K
gtarski2__t40_gtarski2.vout
2021-07-25 15:42
19K
gtarski2__t40_gtarski2.vmin1out
2021-07-25 21:00
25K
gtarski2__t40_gtarski2.vmin1
2021-07-25 20:57
1.4K
gtarski2__t40_gtarski2.depvmin1
2021-07-25 21:03
66
gtarski2__t40_gtarski2.depv1
2021-07-25 20:57
66
gtarski2__t40_gtarski2
2021-07-18 01:59
37K
gtarski2__t39_gtarski2.vout
2021-07-25 20:00
4.7K
gtarski2__t39_gtarski2
2021-07-18 01:58
57K
gtarski2__t38_gtarski2.vout
2021-07-25 17:32
24K
gtarski2__t38_gtarski2.vmin1out
2021-07-25 20:58
17K
gtarski2__t38_gtarski2.vmin1
2021-07-25 20:57
1.4K
gtarski2__t38_gtarski2.depvmin1
2021-07-25 21:03
66
gtarski2__t38_gtarski2.depv1
2021-07-25 20:57
66
gtarski2__t38_gtarski2
2021-07-18 01:58
37K
gtarski2__t37_gtarski2.vout
2021-07-25 15:16
7.9K
gtarski2__t37_gtarski2
2021-07-18 01:57
51K
gtarski2__t36_gtarski2.vout
2021-07-25 16:53
24K
gtarski2__t36_gtarski2.vmin1out
2021-07-25 20:59
17K
gtarski2__t36_gtarski2.vmin1
2021-07-25 20:57
1.4K
gtarski2__t36_gtarski2.depvmin1
2021-07-25 21:03
66
gtarski2__t36_gtarski2.depv1
2021-07-25 20:57
66
gtarski2__t36_gtarski2
2021-07-18 01:56
37K
gtarski2__t35_gtarski2.vout
2021-07-25 17:26
53K
gtarski2__t35_gtarski2.vmin1out
2021-07-25 20:58
56K
gtarski2__t35_gtarski2.vmin1
2021-07-25 20:57
3.8K
gtarski2__t35_gtarski2.depvmin1
2021-07-25 21:03
218
gtarski2__t35_gtarski2.depv1
2021-07-25 20:57
218
gtarski2__t35_gtarski2
2021-07-18 01:56
34K
gtarski2__t34_gtarski2.vout
2021-07-25 17:49
7.4K
gtarski2__t34_gtarski2
2021-07-18 01:55
53K
gtarski2__t33_gtarski2.vout
2021-07-25 15:34
28K
gtarski2__t33_gtarski2.vmin1out
2021-07-25 21:01
40K
gtarski2__t33_gtarski2.vmin1
2021-07-25 20:57
1.6K
gtarski2__t33_gtarski2.depvmin1
2021-07-25 21:03
66
gtarski2__t33_gtarski2.depv1
2021-07-25 20:57
66
gtarski2__t33_gtarski2
2021-07-18 01:54
40K
gtarski2__t32_gtarski2.vout
2021-07-25 17:11
69K
gtarski2__t32_gtarski2.vmin1out
2021-07-25 21:00
82K
gtarski2__t32_gtarski2.vmin1
2021-07-25 20:57
4.3K
gtarski2__t32_gtarski2.depvmin1
2021-07-25 21:03
234
gtarski2__t32_gtarski2.depv1
2021-07-25 20:57
261
gtarski2__t32_gtarski2
2021-07-18 01:54
34K
gtarski2__t31_gtarski2.vout
2021-07-25 18:44
7.4K
gtarski2__t31_gtarski2
2021-07-18 01:53
77K
gtarski2__t30_gtarski2.vout
2021-07-25 14:52
8.8K
gtarski2__t30_gtarski2
2021-07-18 01:52
60K
gtarski2__t29_gtarski2.vout
2021-07-25 16:40
3.8K
gtarski2__t29_gtarski2.vmin1out
2021-07-25 21:00
2.7K
gtarski2__t29_gtarski2.vmin1
2021-07-25 20:57
347
gtarski2__t29_gtarski2.depvmin1
2021-07-25 21:03
26
gtarski2__t29_gtarski2.depv1
2021-07-25 20:57
26
gtarski2__t29_gtarski2
2021-07-18 01:32
28K
gtarski2__t28_gtarski2.vout
2021-07-25 18:38
8.4K
gtarski2__t28_gtarski2
2021-07-18 01:51
35K
gtarski2__t27_gtarski2.vout
2021-07-25 16:02
8.4K
gtarski2__t27_gtarski2
2021-07-18 01:51
38K
gtarski2__t26_gtarski2.vout
2021-07-25 16:31
8.4K
gtarski2__t26_gtarski2
2021-07-18 01:32
33K
gtarski2__t25_gtarski2.vout
2021-07-25 15:53
4.7K
gtarski2__t25_gtarski2
2021-07-18 01:50
54K
gtarski2__t24_gtarski2.vout
2021-07-25 15:57
7.3K
gtarski2__t24_gtarski2
2021-07-18 01:50
45K
gtarski2__t23_gtarski2.vout
2021-07-25 18:08
30K
gtarski2__t23_gtarski2.vmin1out
2021-07-25 21:02
27K
gtarski2__t23_gtarski2.vmin1
2021-07-25 20:57
2.7K
gtarski2__t23_gtarski2.depvmin1
2021-07-25 21:03
260
gtarski2__t23_gtarski2.depv1
2021-07-25 20:57
260
gtarski2__t23_gtarski2
2021-07-18 01:49
39K
gtarski2__t22_gtarski2.vout
2021-07-25 19:56
29K
gtarski2__t22_gtarski2.vmin1out
2021-07-25 21:01
23K
gtarski2__t22_gtarski2.vmin1
2021-07-25 20:57
2.1K
gtarski2__t22_gtarski2.depvmin1
2021-07-25 21:03
157
gtarski2__t22_gtarski2.depv1
2021-07-25 20:57
157
gtarski2__t22_gtarski2
2021-07-18 01:48
37K
gtarski2__t21_gtarski2.vout
2021-07-25 16:13
31K
gtarski2__t21_gtarski2.vmin1out
2021-07-25 21:00
28K
gtarski2__t21_gtarski2.vmin1
2021-07-25 20:57
2.4K
gtarski2__t21_gtarski2.depvmin1
2021-07-25 21:03
170
gtarski2__t21_gtarski2.depv1
2021-07-25 20:57
170
gtarski2__t21_gtarski2
2021-07-18 01:47
37K
gtarski2__t20_gtarski2.vout
2021-07-25 15:42
25K
gtarski2__t20_gtarski2.vmin1out
2021-07-25 21:00
23K
gtarski2__t20_gtarski2.vmin1
2021-07-25 20:57
1.7K
gtarski2__t20_gtarski2.depvmin1
2021-07-25 21:03
123
gtarski2__t20_gtarski2.depv1
2021-07-25 20:57
123
gtarski2__t20_gtarski2
2021-07-18 01:47
46K
gtarski2__t19_gtarski2.vout
2021-07-25 18:42
4.7K
gtarski2__t19_gtarski2
2021-07-18 01:46
47K
gtarski2__t18_gtarski2.vout
2021-07-25 18:00
62K
gtarski2__t18_gtarski2.vmin1out
2021-07-25 20:58
48K
gtarski2__t18_gtarski2.vmin1
2021-07-25 20:57
4.0K
gtarski2__t18_gtarski2.depvmin1
2021-07-25 21:03
188
gtarski2__t18_gtarski2.depv1
2021-07-25 20:57
346
gtarski2__t18_gtarski2
2021-07-18 01:45
49K
gtarski2__t17_gtarski2.vout
2021-07-25 18:44
7.8K
gtarski2__t17_gtarski2
2021-07-18 01:44
46K
gtarski2__t16_gtarski2.vout
2021-07-25 19:58
4.7K
gtarski2__t16_gtarski2
2021-07-18 01:43
44K
gtarski2__t15_gtarski2.vout
2021-07-25 15:51
37K
gtarski2__t15_gtarski2.vmin1out
2021-07-25 21:00
29K
gtarski2__t15_gtarski2.vmin1
2021-07-25 20:57
3.1K
gtarski2__t15_gtarski2.depvmin1
2021-07-25 21:03
253
gtarski2__t15_gtarski2.depv1
2021-07-25 20:57
253
gtarski2__t15_gtarski2
2021-07-18 01:42
28K
gtarski2__t14_gtarski2.vout
2021-07-25 20:56
98K
gtarski2__t14_gtarski2.vmin1out
2021-07-25 21:01
101K
gtarski2__t14_gtarski2.vmin1
2021-07-25 20:57
3.7K
gtarski2__t14_gtarski2.depvmin1
2021-07-25 21:03
119
gtarski2__t14_gtarski2.depv1
2021-07-25 20:57
119
gtarski2__t14_gtarski2
2021-07-18 01:42
273K
gtarski2__t13_gtarski2.vout
2021-07-25 17:44
4.7K
gtarski2__t13_gtarski2
2021-07-18 01:40
52K
gtarski2__t12_gtarski2.vout
2021-07-25 14:40
6.2K
gtarski2__t12_gtarski2
2021-07-18 01:39
45K
gtarski2__t11_gtarski2.vout
2021-07-25 18:43
10K
gtarski2__t11_gtarski2
2021-07-18 01:39
41K
gtarski2__t10_gtarski2.vout
2021-07-25 20:44
10K
gtarski2__t10_gtarski2
2021-07-18 01:38
41K
gtarski2__t9_gtarski2.vout
2021-07-25 19:43
10K
gtarski2__t9_gtarski2
2021-07-18 01:37
41K
gtarski2__t8_gtarski2.vout
2021-07-25 20:46
4.7K
gtarski2__t8_gtarski2
2021-07-18 01:37
42K
gtarski2__t7_gtarski2.vout
2021-07-25 20:54
5.8K
gtarski2__t7_gtarski2
2021-07-18 01:36
39K
gtarski2__t6_gtarski2.vout
2021-07-25 20:11
5.8K
gtarski2__t6_gtarski2
2021-07-18 01:35
39K
gtarski2__t5_gtarski2.vout
2021-07-25 19:00
2.0K
gtarski2__t5_gtarski2
2021-07-18 01:35
49K
gtarski2__t4_gtarski2.vout
2021-07-25 18:48
2.0K
gtarski2__t4_gtarski2
2021-07-18 01:35
35K
gtarski2__t3_gtarski2.vout
2021-07-25 14:55
4.7K
gtarski2__t3_gtarski2
2021-07-18 01:34
44K
gtarski2__t2_gtarski2.vout
2021-07-25 15:03
27K
gtarski2__t2_gtarski2.vmin1out
2021-07-25 21:02
29K
gtarski2__t2_gtarski2.vmin1
2021-07-25 20:57
2.4K
gtarski2__t2_gtarski2.depvmin1
2021-07-25 21:03
222
gtarski2__t2_gtarski2.depv1
2021-07-25 20:57
222
gtarski2__t2_gtarski2
2021-07-18 01:34
35K
gtarski2__t1_gtarski2.vout
2021-07-25 20:51
7.3K
gtarski2__t1_gtarski2
2021-07-18 01:33
40K
gtarski2__l53_gtarski2.vout
2021-07-25 20:36
13K
gtarski2__l53_gtarski2
2021-07-18 02:14
127K
gtarski2__l41_gtarski2.vout
2021-07-25 18:32
50K
gtarski2__l41_gtarski2.vmin1out
2021-07-25 20:58
39K
gtarski2__l41_gtarski2.vmin1
2021-07-25 20:57
3.9K
gtarski2__l41_gtarski2.depvmin1
2021-07-25 21:03
270
gtarski2__l41_gtarski2.depv1
2021-07-25 20:57
343
gtarski2__l41_gtarski2
2021-07-18 02:13
39K
gtarski2__l40_gtarski2.vout
2021-07-25 20:10
7.8K
gtarski2__l40_gtarski2
2021-07-18 02:12
134K
gtarski2__l39_gtarski2.vout
2021-07-25 18:35
7.8K
gtarski2__l39_gtarski2
2021-07-18 02:11
124K
gtarski2__l38_gtarski2.vout
2021-07-25 17:50
37K
gtarski2__l38_gtarski2.vmin1out
2021-07-25 20:59
36K
gtarski2__l38_gtarski2.vmin1
2021-07-25 20:57
2.5K
gtarski2__l38_gtarski2.depvmin1
2021-07-25 21:03
212
gtarski2__l38_gtarski2.depv1
2021-07-25 20:57
263
gtarski2__l38_gtarski2
2021-07-18 02:10
32K
gtarski2__l37_gtarski2.vout
2021-07-25 16:50
8.4K
gtarski2__l37_gtarski2
2021-07-18 02:09
32K
gtarski2__l36_gtarski2.vout
2021-07-25 16:36
11K
gtarski2__l36_gtarski2
2021-07-18 02:09
32K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80