Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/isocat_2
Name
Last modified
Size
Description
Parent Directory
-
isocat_2__t31_isocat_2
2025-09-09 00:26
26K
isocat_2__t32_isocat_2
2025-09-09 00:27
24K
isocat_2__t34_isocat_2
2025-09-09 00:28
23K
isocat_2__t36_isocat_2
2025-09-09 00:29
25K
isocat_2__t1_isocat_2
2025-09-09 00:30
8.4K
isocat_2__t2_isocat_2
2025-09-09 00:31
10K
isocat_2__t5_isocat_2
2025-09-09 00:31
13K
isocat_2__t6_isocat_2
2025-09-09 00:32
13K
isocat_2__t7_isocat_2
2025-09-09 00:33
29K
isocat_2__t8_isocat_2
2025-09-09 00:35
38K
isocat_2__t9_isocat_2
2025-09-09 00:37
53K
isocat_2__t10_isocat_2
2025-09-09 00:38
22K
isocat_2__t11_isocat_2
2025-09-09 00:39
19K
isocat_2__t12_isocat_2
2025-09-09 00:41
22K
isocat_2__t13_isocat_2
2025-09-09 00:42
45K
isocat_2__t14_isocat_2
2025-09-09 00:43
20K
isocat_2__t15_isocat_2
2025-09-09 00:45
53K
isocat_2__t16_isocat_2
2025-09-09 00:47
33K
isocat_2__t17_isocat_2
2025-09-09 00:48
42K
isocat_2__t18_isocat_2
2025-09-09 00:50
42K
isocat_2__t19_isocat_2
2025-09-09 00:51
53K
isocat_2__t20_isocat_2
2025-09-09 00:53
41K
isocat_2__t21_isocat_2
2025-09-09 00:54
22K
isocat_2__t22_isocat_2
2025-09-09 00:55
42K
isocat_2__t23_isocat_2
2025-09-09 00:58
75K
isocat_2__t24_isocat_2
2025-09-09 01:00
55K
isocat_2__t25_isocat_2
2025-09-09 01:02
50K
isocat_2__t26_isocat_2
2025-09-09 01:03
40K
isocat_2__t27_isocat_2
2025-09-09 01:06
70K
isocat_2__t28_isocat_2
2025-09-09 01:08
79K
isocat_2__t29_isocat_2
2025-09-09 01:09
18K
isocat_2__t30_isocat_2
2025-09-09 01:10
27K
isocat_2__t33_isocat_2
2025-09-09 01:12
40K
isocat_2__t35_isocat_2
2025-09-09 01:13
25K
isocat_2__t37_isocat_2
2025-09-09 01:15
31K
isocat_2__t38_isocat_2
2025-09-09 01:16
32K
isocat_2__t39_isocat_2
2025-09-09 01:18
49K
isocat_2__t40_isocat_2
2025-09-09 01:19
18K
isocat_2__l24_isocat_2
2025-09-09 01:20
18K
isocat_2__l45_isocat_2
2025-09-09 01:21
27K
isocat_2__l48_isocat_2
2025-09-09 01:23
31K
isocat_2__l52_isocat_2
2025-09-09 01:24
38K
isocat_2__t36_isocat_2.vout
2025-09-15 13:35
7.3K
isocat_2__t26_isocat_2.vout
2025-09-15 13:37
7.3K
isocat_2__t14_isocat_2.vout
2025-09-15 13:43
40K
isocat_2__t21_isocat_2.vout
2025-09-15 13:49
15K
isocat_2__t8_isocat_2.vout
2025-09-15 14:01
7.3K
isocat_2__t34_isocat_2.vout
2025-09-15 14:03
7.3K
isocat_2__t29_isocat_2.vout
2025-09-15 14:15
67K
isocat_2__t15_isocat_2.vout
2025-09-15 14:17
6.8K
isocat_2__t38_isocat_2.vout
2025-09-15 14:38
396K
isocat_2__t31_isocat_2.vout
2025-09-15 14:38
4.7K
isocat_2__t24_isocat_2.vout
2025-09-15 14:44
7.3K
isocat_2__t27_isocat_2.vout
2025-09-15 14:55
7.3K
isocat_2__t40_isocat_2.vout
2025-09-15 15:06
73K
isocat_2__t10_isocat_2.vout
2025-09-15 15:10
7.3K
isocat_2__t39_isocat_2.vout
2025-09-15 15:10
7.3K
isocat_2__t35_isocat_2.vout
2025-09-15 15:18
7.3K
isocat_2__t7_isocat_2.vout
2025-09-15 15:30
4.7K
isocat_2__t37_isocat_2.vout
2025-09-15 15:32
7.3K
isocat_2__t11_isocat_2.vout
2025-09-15 15:32
50K
isocat_2__t13_isocat_2.vout
2025-09-15 15:56
7.3K
isocat_2__t5_isocat_2.vout
2025-09-15 16:01
49K
isocat_2__t16_isocat_2.vout
2025-09-15 16:13
50K
isocat_2__t17_isocat_2.vout
2025-09-15 16:14
7.3K
isocat_2__t9_isocat_2.vout
2025-09-15 16:25
4.2K
isocat_2__t23_isocat_2.vout
2025-09-15 16:28
7.3K
isocat_2__t18_isocat_2.vout
2025-09-15 16:58
4.7K
isocat_2__t28_isocat_2.vout
2025-09-15 17:15
7.3K
isocat_2__t33_isocat_2.vout
2025-09-15 17:25
7.3K
isocat_2__t6_isocat_2.vout
2025-09-15 17:33
49K
isocat_2__l45_isocat_2.vout
2025-09-15 17:35
7.3K
isocat_2__t2_isocat_2.vout
2025-09-15 17:38
7.3K
isocat_2__t30_isocat_2.vout
2025-09-15 17:39
63K
isocat_2__t32_isocat_2.vout
2025-09-15 18:19
4.7K
isocat_2__l48_isocat_2.vout
2025-09-15 18:21
7.3K
isocat_2__l24_isocat_2.vout
2025-09-15 18:29
70K
isocat_2__t19_isocat_2.vout
2025-09-15 18:34
7.3K
isocat_2__t1_isocat_2.vout
2025-09-15 18:42
32K
isocat_2__t25_isocat_2.vout
2025-09-15 18:45
7.3K
isocat_2__t12_isocat_2.vout
2025-09-15 18:57
7.3K
isocat_2__t20_isocat_2.vout
2025-09-15 19:26
4.7K
isocat_2__t22_isocat_2.vout
2025-09-15 19:33
4.7K
isocat_2__l52_isocat_2.vout
2025-09-15 19:36
6.8K
isocat_2__t11_isocat_2.depv1
2025-09-15 19:47
36
isocat_2__t38_isocat_2.depv1
2025-09-15 19:47
131
isocat_2__t1_isocat_2.depv1
2025-09-15 19:47
226
isocat_2__t29_isocat_2.depv1
2025-09-15 19:47
80
isocat_2__t30_isocat_2.depv1
2025-09-15 19:47
116
isocat_2__t6_isocat_2.depv1
2025-09-15 19:47
158
isocat_2__t14_isocat_2.depv1
2025-09-15 19:47
103
isocat_2__t40_isocat_2.depv1
2025-09-15 19:47
81
isocat_2__l24_isocat_2.depv1
2025-09-15 19:47
73
isocat_2__t16_isocat_2.depv1
2025-09-15 19:47
94
isocat_2__t21_isocat_2.depv1
2025-09-15 19:47
39
isocat_2__t5_isocat_2.depv1
2025-09-15 19:47
158
isocat_2__l24_isocat_2.vmin1
2025-09-15 19:47
2.9K
isocat_2__t1_isocat_2.vmin1
2025-09-15 19:47
2.7K
isocat_2__t5_isocat_2.vmin1
2025-09-15 19:47
3.3K
isocat_2__t6_isocat_2.vmin1
2025-09-15 19:47
3.3K
isocat_2__t11_isocat_2.vmin1
2025-09-15 19:47
1.5K
isocat_2__t14_isocat_2.vmin1
2025-09-15 19:47
2.7K
isocat_2__t16_isocat_2.vmin1
2025-09-15 19:47
2.7K
isocat_2__t21_isocat_2.vmin1
2025-09-15 19:47
2.1K
isocat_2__t29_isocat_2.vmin1
2025-09-15 19:47
3.6K
isocat_2__t30_isocat_2.vmin1
2025-09-15 19:47
5.3K
isocat_2__t38_isocat_2.vmin1
2025-09-15 19:47
7.5K
isocat_2__t40_isocat_2.vmin1
2025-09-15 19:47
3.6K
isocat_2__t1_isocat_2.vmin1out
2025-09-15 19:47
23K
isocat_2__t11_isocat_2.vmin1out
2025-09-15 19:47
48K
isocat_2__t6_isocat_2.vmin1out
2025-09-15 19:48
47K
isocat_2__t5_isocat_2.vmin1out
2025-09-15 19:48
56K
isocat_2__t14_isocat_2.vmin1out
2025-09-15 19:49
45K
isocat_2__l24_isocat_2.vmin1out
2025-09-15 19:49
47K
isocat_2__t38_isocat_2.vmin1out
2025-09-15 19:49
4.2K
isocat_2__t29_isocat_2.vmin1out
2025-09-15 19:50
212K
isocat_2__t21_isocat_2.vmin1out
2025-09-15 19:51
33K
isocat_2__t16_isocat_2.vmin1out
2025-09-15 19:51
36K
isocat_2__t30_isocat_2.vmin1out
2025-09-15 19:51
95K
isocat_2__t40_isocat_2.vmin1out
2025-09-15 19:51
256K
isocat_2__t11_isocat_2.depvmin1
2025-09-15 19:52
36
isocat_2__t1_isocat_2.depvmin1
2025-09-15 19:52
226
isocat_2__t29_isocat_2.depvmin1
2025-09-15 19:52
80
isocat_2__t30_isocat_2.depvmin1
2025-09-15 19:52
116
isocat_2__t6_isocat_2.depvmin1
2025-09-15 19:52
158
isocat_2__t14_isocat_2.depvmin1
2025-09-15 19:52
103
isocat_2__l24_isocat_2.depvmin1
2025-09-15 19:52
73
isocat_2__t21_isocat_2.depvmin1
2025-09-15 19:52
39
isocat_2__t40_isocat_2.depvmin1
2025-09-15 19:52
81
isocat_2__t5_isocat_2.depvmin1
2025-09-15 19:52
158
isocat_2__t16_isocat_2.depvmin1
2025-09-15 19:52
94
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80