Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/gtarski1
Name
Last modified
Size
Description
Parent Directory
-
gtarski1__t1_gtarski1
2024-07-27 10:11
10K
gtarski1__t1_gtarski1.depv1
2024-08-03 10:19
56
gtarski1__t1_gtarski1.depvmin1
2024-08-03 10:24
56
gtarski1__t1_gtarski1.vmin1
2024-08-03 10:20
1.2K
gtarski1__t1_gtarski1.vmin1out
2024-08-03 10:22
14K
gtarski1__t1_gtarski1.vout
2024-08-03 04:57
13K
gtarski1__t2_gtarski1
2024-07-27 10:14
16K
gtarski1__t2_gtarski1.depv1
2024-08-03 10:19
162
gtarski1__t2_gtarski1.depvmin1
2024-08-03 10:24
124
gtarski1__t2_gtarski1.vmin1
2024-08-03 10:20
1.9K
gtarski1__t2_gtarski1.vmin1out
2024-08-03 10:23
15K
gtarski1__t2_gtarski1.vout
2024-08-03 07:47
20K
gtarski1__t3_gtarski1
2024-07-27 10:15
9.2K
gtarski1__t3_gtarski1.vout
2024-08-03 07:42
3.6K
gtarski1__t4_gtarski1
2024-07-27 10:16
9.5K
gtarski1__t4_gtarski1.vout
2024-08-03 04:32
3.6K
gtarski1__t5_gtarski1
2024-07-27 10:17
9.3K
gtarski1__t5_gtarski1.vout
2024-08-03 07:53
8.4K
gtarski1__t6_gtarski1
2024-07-27 10:17
9.9K
gtarski1__t6_gtarski1.vout
2024-08-03 07:56
3.6K
gtarski1__t7_gtarski1
2024-07-27 10:18
11K
gtarski1__t7_gtarski1.vout
2024-08-03 06:47
7.9K
gtarski1__t8_gtarski1
2024-07-27 10:19
9.1K
gtarski1__t8_gtarski1.vout
2024-08-03 04:33
8.4K
gtarski1__t9_gtarski1
2024-07-27 10:20
9.4K
gtarski1__t9_gtarski1.vout
2024-08-03 04:59
3.6K
gtarski1__t10_gtarski1
2024-07-27 10:21
9.9K
gtarski1__t10_gtarski1.depv1
2024-08-03 10:19
37
gtarski1__t10_gtarski1.depvmin1
2024-08-03 10:24
37
gtarski1__t10_gtarski1.vmin1
2024-08-03 10:20
897
gtarski1__t10_gtarski1.vmin1out
2024-08-03 10:22
9.3K
gtarski1__t10_gtarski1.vout
2024-08-03 10:10
9.4K
gtarski1__t11_gtarski1
2024-07-27 10:21
10K
gtarski1__t11_gtarski1.depv1
2024-08-03 10:19
38
gtarski1__t11_gtarski1.depvmin1
2024-08-03 10:24
38
gtarski1__t11_gtarski1.vmin1
2024-08-03 10:20
1.0K
gtarski1__t11_gtarski1.vmin1out
2024-08-03 10:20
11K
gtarski1__t11_gtarski1.vout
2024-08-03 08:51
11K
gtarski1__t12_gtarski1
2024-07-27 10:22
10K
gtarski1__t12_gtarski1.depv1
2024-08-03 10:19
38
gtarski1__t12_gtarski1.depvmin1
2024-08-03 10:24
38
gtarski1__t12_gtarski1.vmin1
2024-08-03 10:20
1.3K
gtarski1__t12_gtarski1.vmin1out
2024-08-03 10:23
16K
gtarski1__t12_gtarski1.vout
2024-08-03 09:54
16K
gtarski1__t13_gtarski1
2024-07-27 10:23
10K
gtarski1__t13_gtarski1.depv1
2024-08-03 10:19
37
gtarski1__t13_gtarski1.depvmin1
2024-08-03 10:24
37
gtarski1__t13_gtarski1.vmin1
2024-08-03 10:20
900
gtarski1__t13_gtarski1.vmin1out
2024-08-03 10:21
14K
gtarski1__t13_gtarski1.vout
2024-08-03 08:10
15K
gtarski1__t14_gtarski1
2024-07-27 10:24
10K
gtarski1__t14_gtarski1.depv1
2024-08-03 10:19
37
gtarski1__t14_gtarski1.depvmin1
2024-08-03 10:24
37
gtarski1__t14_gtarski1.vmin1
2024-08-03 10:20
867
gtarski1__t14_gtarski1.vmin1out
2024-08-03 10:20
11K
gtarski1__t14_gtarski1.vout
2024-08-03 05:14
13K
gtarski1__t15_gtarski1
2024-07-27 10:25
11K
gtarski1__t15_gtarski1.depv1
2024-08-03 10:19
62
gtarski1__t15_gtarski1.depvmin1
2024-08-03 10:24
62
gtarski1__t15_gtarski1.vmin1
2024-08-03 10:20
2.0K
gtarski1__t15_gtarski1.vmin1out
2024-08-03 10:22
15K
gtarski1__t15_gtarski1.vout
2024-08-03 06:00
15K
gtarski1__t16_gtarski1
2024-07-27 10:25
10K
gtarski1__t16_gtarski1.depv1
2024-08-03 10:19
50
gtarski1__t16_gtarski1.depvmin1
2024-08-03 10:24
50
gtarski1__t16_gtarski1.vmin1
2024-08-03 10:20
1.2K
gtarski1__t16_gtarski1.vmin1out
2024-08-03 10:22
15K
gtarski1__t16_gtarski1.vout
2024-08-03 06:55
18K
gtarski1__t17_gtarski1
2024-07-27 10:11
9.6K
gtarski1__t17_gtarski1.depv1
2024-08-03 10:19
39
gtarski1__t17_gtarski1.depvmin1
2024-08-03 10:24
39
gtarski1__t17_gtarski1.vmin1
2024-08-03 10:20
704
gtarski1__t17_gtarski1.vmin1out
2024-08-03 10:20
6.9K
gtarski1__t17_gtarski1.vout
2024-08-03 04:45
6.9K
gtarski1__t18_gtarski1
2024-07-27 10:26
9.9K
gtarski1__t18_gtarski1.depv1
2024-08-03 10:19
37
gtarski1__t18_gtarski1.depvmin1
2024-08-03 10:24
37
gtarski1__t18_gtarski1.vmin1
2024-08-03 10:20
1.0K
gtarski1__t18_gtarski1.vmin1out
2024-08-03 10:23
11K
gtarski1__t18_gtarski1.vout
2024-08-03 06:23
11K
gtarski1__t19_gtarski1
2024-07-27 10:27
10K
gtarski1__t19_gtarski1.depv1
2024-08-03 10:19
50
gtarski1__t19_gtarski1.depvmin1
2024-08-03 10:24
50
gtarski1__t19_gtarski1.vmin1
2024-08-03 10:20
1.3K
gtarski1__t19_gtarski1.vmin1out
2024-08-03 10:20
16K
gtarski1__t19_gtarski1.vout
2024-08-03 09:11
13K
gtarski1__t20_gtarski1
2024-07-27 10:28
11K
gtarski1__t20_gtarski1.vout
2024-08-03 05:13
7.2K
gtarski1__t21_gtarski1
2024-07-27 10:29
10K
gtarski1__t21_gtarski1.depv1
2024-08-03 10:19
51
gtarski1__t21_gtarski1.depvmin1
2024-08-03 10:24
51
gtarski1__t21_gtarski1.vmin1
2024-08-03 10:20
1.4K
gtarski1__t21_gtarski1.vmin1out
2024-08-03 10:21
28K
gtarski1__t21_gtarski1.vout
2024-08-03 04:42
28K
gtarski1__t22_gtarski1
2024-07-27 10:29
11K
gtarski1__t22_gtarski1.depv1
2024-08-03 10:19
64
gtarski1__t22_gtarski1.depvmin1
2024-08-03 10:24
64
gtarski1__t22_gtarski1.vmin1
2024-08-03 10:20
1.7K
gtarski1__t22_gtarski1.vmin1out
2024-08-03 10:21
20K
gtarski1__t22_gtarski1.vout
2024-08-03 05:07
13K
gtarski1__t23_gtarski1
2024-07-27 10:30
11K
gtarski1__t23_gtarski1.depv1
2024-08-03 10:19
77
gtarski1__t23_gtarski1.depvmin1
2024-08-03 10:24
51
gtarski1__t23_gtarski1.vmin1
2024-08-03 10:20
1.9K
gtarski1__t23_gtarski1.vmin1out
2024-08-03 10:22
18K
gtarski1__t23_gtarski1.vout
2024-08-03 06:06
14K
gtarski1__t24_gtarski1
2024-07-27 10:31
13K
gtarski1__t24_gtarski1.depv1
2024-08-03 10:19
100
gtarski1__t24_gtarski1.depvmin1
2024-08-03 10:24
100
gtarski1__t24_gtarski1.vmin1
2024-08-03 10:20
3.1K
gtarski1__t24_gtarski1.vmin1out
2024-08-03 10:20
54K
gtarski1__t24_gtarski1.vout
2024-08-03 08:40
43K
gtarski1__t25_gtarski1
2024-07-27 10:32
10K
gtarski1__t25_gtarski1.depv1
2024-08-03 10:19
38
gtarski1__t25_gtarski1.depvmin1
2024-08-03 10:24
38
gtarski1__t25_gtarski1.vmin1
2024-08-03 10:20
1.0K
gtarski1__t25_gtarski1.vmin1out
2024-08-03 10:22
15K
gtarski1__t25_gtarski1.vout
2024-08-03 07:52
14K
gtarski1__t26_gtarski1
2024-07-27 10:33
12K
gtarski1__t26_gtarski1.vout
2024-08-03 05:06
4.1K
gtarski1__t27_gtarski1
2024-07-27 10:34
12K
gtarski1__t27_gtarski1.vout
2024-08-03 06:04
3.2K
gtarski1__t28_gtarski1
2024-07-27 10:34
13K
gtarski1__t28_gtarski1.vout
2024-08-03 10:07
4.1K
gtarski1__t29_gtarski1
2024-07-27 10:35
10K
gtarski1__t29_gtarski1.depv1
2024-08-03 10:19
51
gtarski1__t29_gtarski1.depvmin1
2024-08-03 10:24
51
gtarski1__t29_gtarski1.vmin1
2024-08-03 10:20
1.4K
gtarski1__t29_gtarski1.vmin1out
2024-08-03 10:20
19K
gtarski1__t29_gtarski1.vout
2024-08-03 08:25
16K
gtarski1__t30_gtarski1
2024-07-27 10:36
13K
gtarski1__t30_gtarski1.vout
2024-08-03 07:40
4.1K
gtarski1__t31_gtarski1
2024-07-27 10:37
11K
gtarski1__t31_gtarski1.depv1
2024-08-03 10:19
64
gtarski1__t31_gtarski1.depvmin1
2024-08-03 10:24
64
gtarski1__t31_gtarski1.vmin1
2024-08-03 10:20
1.9K
gtarski1__t31_gtarski1.vmin1out
2024-08-03 10:20
17K
gtarski1__t31_gtarski1.vout
2024-08-03 09:03
17K
gtarski1__t32_gtarski1
2024-07-27 10:38
14K
gtarski1__t32_gtarski1.vout
2024-08-03 05:57
3.2K
gtarski1__t33_gtarski1
2024-07-27 10:39
13K
gtarski1__t33_gtarski1.vout
2024-08-03 07:10
3.6K
gtarski1__t34_gtarski1
2024-07-27 10:40
14K
gtarski1__t34_gtarski1.vout
2024-08-03 07:37
4.1K
gtarski1__t35_gtarski1
2024-07-27 10:40
12K
gtarski1__t35_gtarski1.depv1
2024-08-03 10:19
63
gtarski1__t35_gtarski1.depvmin1
2024-08-03 10:24
63
gtarski1__t35_gtarski1.vmin1
2024-08-03 10:20
2.1K
gtarski1__t35_gtarski1.vmin1out
2024-08-03 10:21
17K
gtarski1__t35_gtarski1.vout
2024-08-03 10:12
17K
gtarski1__t36_gtarski1
2024-07-27 10:41
12K
gtarski1__t36_gtarski1.depv1
2024-08-03 10:19
64
gtarski1__t36_gtarski1.depvmin1
2024-08-03 10:24
64
gtarski1__t36_gtarski1.vmin1
2024-08-03 10:20
2.1K
gtarski1__t36_gtarski1.vmin1out
2024-08-03 10:21
27K
gtarski1__t36_gtarski1.vout
2024-08-03 08:08
28K
gtarski1__t37_gtarski1
2024-07-27 10:42
18K
gtarski1__t37_gtarski1.vout
2024-08-03 04:24
4.1K
gtarski1__t38_gtarski1
2024-07-27 10:43
13K
gtarski1__t38_gtarski1.vout
2024-08-03 08:03
4.1K
gtarski1__t39_gtarski1
2024-07-27 10:44
11K
gtarski1__t39_gtarski1.depv1
2024-08-03 10:19
65
gtarski1__t39_gtarski1.depvmin1
2024-08-03 10:24
65
gtarski1__t39_gtarski1.vmin1
2024-08-03 10:20
1.8K
gtarski1__t39_gtarski1.vmin1out
2024-08-03 10:21
48K
gtarski1__t39_gtarski1.vout
2024-08-03 05:34
48K
gtarski1__t40_gtarski1
2024-07-27 10:12
1.5K
gtarski1__t40_gtarski1.depv1
2024-08-03 10:19
26
gtarski1__t40_gtarski1.depvmin1
2024-08-03 10:24
26
gtarski1__t40_gtarski1.vmin1
2024-08-03 10:20
686
gtarski1__t40_gtarski1.vmin1out
2024-08-03 10:23
14K
gtarski1__t40_gtarski1.vout
2024-08-03 05:52
14K
gtarski1__t41_gtarski1
2024-07-27 10:45
10K
gtarski1__t41_gtarski1.depv1
2024-08-03 10:19
52
gtarski1__t41_gtarski1.depvmin1
2024-08-03 10:24
52
gtarski1__t41_gtarski1.vmin1
2024-08-03 10:20
1.3K
gtarski1__t41_gtarski1.vmin1out
2024-08-03 10:20
52K
gtarski1__t41_gtarski1.vout
2024-08-03 09:31
53K
gtarski1__t42_gtarski1
2024-07-27 10:12
1.7K
gtarski1__t42_gtarski1.depv1
2024-08-03 10:19
26
gtarski1__t42_gtarski1.depvmin1
2024-08-03 10:24
26
gtarski1__t42_gtarski1.vmin1
2024-08-03 10:20
823
gtarski1__t42_gtarski1.vmin1out
2024-08-03 10:22
32K
gtarski1__t42_gtarski1.vout
2024-08-03 07:02
32K
gtarski1__t43_gtarski1
2024-07-27 10:13
1.8K
gtarski1__t43_gtarski1.depv1
2024-08-03 10:19
26
gtarski1__t43_gtarski1.depvmin1
2024-08-03 10:24
26
gtarski1__t43_gtarski1.vmin1
2024-08-03 10:20
966
gtarski1__t43_gtarski1.vmin1out
2024-08-03 10:22
41K
gtarski1__t43_gtarski1.vout
2024-08-03 04:31
41K
gtarski1__t44_gtarski1
2024-07-27 10:13
2.1K
gtarski1__t44_gtarski1.depv1
2024-08-03 10:19
26
gtarski1__t44_gtarski1.depvmin1
2024-08-03 10:24
26
gtarski1__t44_gtarski1.vmin1
2024-08-03 10:20
880
gtarski1__t44_gtarski1.vmin1out
2024-08-03 10:21
18K
gtarski1__t44_gtarski1.vout
2024-08-03 05:31
18K
gtarski1__t45_gtarski1
2024-07-27 10:45
2.5K
gtarski1__t45_gtarski1.depv1
2024-08-03 10:19
52
gtarski1__t45_gtarski1.depvmin1
2024-08-03 10:24
52
gtarski1__t45_gtarski1.vmin1
2024-08-03 10:20
1.3K
gtarski1__t45_gtarski1.vmin1out
2024-08-03 10:21
55K
gtarski1__t45_gtarski1.vout
2024-08-03 07:41
77K
gtarski1__t46_gtarski1
2024-07-27 10:46
2.9K
gtarski1__t46_gtarski1.vout
2024-08-03 05:44
7.7K
gtarski1__t47_gtarski1
2024-07-27 10:47
35K
gtarski1__t47_gtarski1.vout
2024-08-03 08:14
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80