Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/isocat_1
Name
Last modified
Size
Description
Parent Directory
-
isocat_1__t3_isocat_1
2024-07-27 16:40
22K
isocat_1__t3_isocat_1.vout
2024-08-03 05:33
7.3K
isocat_1__t4_isocat_1
2024-07-27 16:41
18K
isocat_1__t4_isocat_1.depv1
2024-08-03 10:19
84
isocat_1__t4_isocat_1.depvmin1
2024-08-03 10:24
72
isocat_1__t4_isocat_1.vmin1
2024-08-03 10:19
3.0K
isocat_1__t4_isocat_1.vmin1out
2024-08-03 10:20
36K
isocat_1__t4_isocat_1.vout
2024-08-03 07:38
71K
isocat_1__t5_isocat_1
2024-07-27 16:42
20K
isocat_1__t5_isocat_1.vout
2024-08-03 08:01
7.3K
isocat_1__t6_isocat_1
2024-07-27 16:43
18K
isocat_1__t6_isocat_1.vout
2024-08-03 05:46
7.9K
isocat_1__t7_isocat_1
2024-07-27 16:44
10K
isocat_1__t7_isocat_1.vout
2024-08-03 06:37
7.3K
isocat_1__t8_isocat_1
2024-07-27 16:45
13K
isocat_1__t8_isocat_1.vout
2024-08-03 06:16
7.3K
isocat_1__t9_isocat_1
2024-07-27 16:46
14K
isocat_1__t9_isocat_1.depv1
2024-08-03 10:19
411
isocat_1__t9_isocat_1.depvmin1
2024-08-03 10:24
353
isocat_1__t9_isocat_1.vmin1
2024-08-03 10:19
6.5K
isocat_1__t9_isocat_1.vmin1out
2024-08-03 10:21
69K
isocat_1__t9_isocat_1.vout
2024-08-03 06:54
132K
isocat_1__t10_isocat_1
2024-07-27 16:47
11K
isocat_1__t10_isocat_1.depv1
2024-08-03 10:19
259
isocat_1__t10_isocat_1.depvmin1
2024-08-03 10:24
259
isocat_1__t10_isocat_1.vmin1
2024-08-03 10:19
4.0K
isocat_1__t10_isocat_1.vmin1out
2024-08-03 10:21
95K
isocat_1__t10_isocat_1.vout
2024-08-03 09:38
97K
isocat_1__t11_isocat_1
2024-07-27 16:48
18K
isocat_1__t11_isocat_1.vout
2024-08-03 08:43
5.3K
isocat_1__t12_isocat_1
2024-07-27 16:49
11K
isocat_1__t12_isocat_1.vout
2024-08-03 08:50
4.7K
isocat_1__t13_isocat_1
2024-07-27 16:50
15K
isocat_1__t13_isocat_1.vout
2024-08-03 09:38
4.7K
isocat_1__t14_isocat_1
2024-07-27 16:51
13K
isocat_1__t14_isocat_1.depv1
2024-08-03 10:19
288
isocat_1__t14_isocat_1.depvmin1
2024-08-03 10:24
288
isocat_1__t14_isocat_1.vmin1
2024-08-03 10:19
4.6K
isocat_1__t14_isocat_1.vmin1out
2024-08-03 10:23
169K
isocat_1__t14_isocat_1.vout
2024-08-03 06:52
175K
isocat_1__t15_isocat_1
2024-07-27 16:52
13K
isocat_1__t15_isocat_1.depv1
2024-08-03 10:19
50
isocat_1__t15_isocat_1.depvmin1
2024-08-03 10:24
50
isocat_1__t15_isocat_1.vmin1
2024-08-03 10:19
2.4K
isocat_1__t15_isocat_1.vmin1out
2024-08-03 10:23
37K
isocat_1__t15_isocat_1.vout
2024-08-03 06:00
33K
isocat_1__t16_isocat_1
2024-07-27 16:53
23K
isocat_1__t16_isocat_1.vout
2024-08-03 06:25
5.8K
isocat_1__t17_isocat_1
2024-07-27 16:55
27K
isocat_1__t17_isocat_1.vout
2024-08-03 09:20
7.9K
isocat_1__t18_isocat_1
2024-07-27 16:56
30K
isocat_1__t18_isocat_1.vout
2024-08-03 05:21
7.9K
isocat_1__t19_isocat_1
2024-07-27 16:57
20K
isocat_1__t19_isocat_1.vout
2024-08-03 10:02
7.4K
isocat_1__t20_isocat_1
2024-07-27 16:59
24K
isocat_1__t20_isocat_1.vout
2024-08-03 07:17
7.3K
isocat_1__t21_isocat_1
2024-07-27 17:00
25K
isocat_1__t21_isocat_1.vout
2024-08-03 09:42
7.3K
isocat_1__t22_isocat_1
2024-07-27 17:01
35K
isocat_1__t22_isocat_1.vout
2024-08-03 06:53
7.3K
isocat_1__t23_isocat_1
2024-07-27 17:02
27K
isocat_1__t23_isocat_1.depv1
2024-08-03 10:19
87
isocat_1__t23_isocat_1.depvmin1
2024-08-03 10:24
87
isocat_1__t23_isocat_1.vmin1
2024-08-03 10:19
4.8K
isocat_1__t23_isocat_1.vmin1out
2024-08-03 10:22
97K
isocat_1__t23_isocat_1.vout
2024-08-03 08:23
109K
isocat_1__t24_isocat_1
2024-07-27 17:03
27K
isocat_1__t24_isocat_1.depv1
2024-08-03 10:19
65
isocat_1__t24_isocat_1.depvmin1
2024-08-03 10:24
65
isocat_1__t24_isocat_1.vmin1
2024-08-03 10:19
4.1K
isocat_1__t24_isocat_1.vmin1out
2024-08-03 10:23
76K
isocat_1__t24_isocat_1.vout
2024-08-03 05:08
88K
isocat_1__t25_isocat_1
2024-07-27 16:38
20K
isocat_1__t25_isocat_1.depv1
2024-08-03 10:19
49
isocat_1__t25_isocat_1.depvmin1
2024-08-03 10:24
49
isocat_1__t25_isocat_1.vmin1
2024-08-03 10:19
2.2K
isocat_1__t25_isocat_1.vmin1out
2024-08-03 10:20
38K
isocat_1__t25_isocat_1.vout
2024-08-03 06:10
52K
isocat_1__t26_isocat_1
2024-07-27 16:39
22K
isocat_1__t26_isocat_1.depv1
2024-08-03 10:19
127
isocat_1__t26_isocat_1.depvmin1
2024-08-03 10:24
53
isocat_1__t26_isocat_1.vmin1
2024-08-03 10:19
3.5K
isocat_1__t26_isocat_1.vmin1out
2024-08-03 10:23
64K
isocat_1__t26_isocat_1.vout
2024-08-03 08:15
45K
isocat_1__t27_isocat_1
2024-07-27 17:05
31K
isocat_1__t27_isocat_1.vout
2024-08-03 10:13
7.3K
isocat_1__t28_isocat_1
2024-07-27 17:06
30K
isocat_1__t28_isocat_1.vout
2024-08-03 06:49
7.3K
isocat_1__t29_isocat_1
2024-07-27 17:07
28K
isocat_1__t29_isocat_1.vout
2024-08-03 07:42
7.3K
isocat_1__t30_isocat_1
2024-07-27 17:08
30K
isocat_1__t30_isocat_1.vout
2024-08-03 05:57
7.3K
isocat_1__t31_isocat_1
2024-07-27 17:10
30K
isocat_1__t31_isocat_1.vout
2024-08-03 06:17
7.3K
isocat_1__t32_isocat_1
2024-07-27 17:11
30K
isocat_1__t32_isocat_1.vout
2024-08-03 06:26
7.3K
isocat_1__t33_isocat_1
2024-07-27 17:12
30K
isocat_1__t33_isocat_1.vout
2024-08-03 05:21
7.3K
isocat_1__t34_isocat_1
2024-07-27 17:13
28K
isocat_1__t34_isocat_1.vout
2024-08-03 04:54
7.3K
isocat_1__t35_isocat_1
2024-07-27 17:14
29K
isocat_1__t35_isocat_1.vout
2024-08-03 09:16
7.3K
isocat_1__t36_isocat_1
2024-07-27 17:16
35K
isocat_1__t36_isocat_1.vout
2024-08-03 07:57
7.3K
isocat_1__t37_isocat_1
2024-07-27 17:17
32K
isocat_1__t37_isocat_1.vout
2024-08-03 06:03
7.4K
isocat_1__t38_isocat_1
2024-07-27 17:18
32K
isocat_1__t38_isocat_1.vout
2024-08-03 08:17
7.3K
isocat_1__t39_isocat_1
2024-07-27 17:20
36K
isocat_1__t39_isocat_1.vout
2024-08-03 06:03
7.3K
isocat_1__t40_isocat_1
2024-07-27 17:21
31K
isocat_1__t40_isocat_1.vout
2024-08-03 05:51
7.3K
isocat_1__t41_isocat_1
2024-07-27 17:22
31K
isocat_1__t41_isocat_1.vout
2024-08-03 05:16
7.3K
isocat_1__t42_isocat_1
2024-07-27 17:23
33K
isocat_1__t42_isocat_1.vout
2024-08-03 09:32
7.3K
isocat_1__t43_isocat_1
2024-07-27 17:25
30K
isocat_1__t43_isocat_1.vout
2024-08-03 09:58
7.3K
isocat_1__t44_isocat_1
2024-07-27 17:26
20K
isocat_1__t44_isocat_1.depv1
2024-08-03 10:19
185
isocat_1__t44_isocat_1.depvmin1
2024-08-03 10:24
160
isocat_1__t44_isocat_1.vmin1
2024-08-03 10:19
4.2K
isocat_1__t44_isocat_1.vmin1out
2024-08-03 10:22
34K
isocat_1__t44_isocat_1.vout
2024-08-03 05:21
96K
isocat_1__t45_isocat_1
2024-07-27 17:27
21K
isocat_1__t45_isocat_1.depv1
2024-08-03 10:19
173
isocat_1__t45_isocat_1.depvmin1
2024-08-03 10:24
173
isocat_1__t45_isocat_1.vmin1
2024-08-03 10:19
5.2K
isocat_1__t45_isocat_1.vmin1out
2024-08-03 10:22
148K
isocat_1__t45_isocat_1.vout
2024-08-03 06:48
151K
isocat_1__t46_isocat_1
2024-07-27 17:28
21K
isocat_1__t46_isocat_1.vout
2024-08-03 04:27
5.8K
isocat_1__t47_isocat_1
2024-07-27 17:29
20K
isocat_1__t47_isocat_1.depv1
2024-08-03 10:19
230
isocat_1__t47_isocat_1.depvmin1
2024-08-03 10:24
230
isocat_1__t47_isocat_1.vmin1
2024-08-03 10:19
4.7K
isocat_1__t47_isocat_1.vmin1out
2024-08-03 10:23
68K
isocat_1__t47_isocat_1.vout
2024-08-03 04:43
61K
isocat_1__t48_isocat_1
2024-07-27 17:30
23K
isocat_1__t48_isocat_1.vout
2024-08-03 06:29
4.7K
isocat_1__t49_isocat_1
2024-07-27 17:31
19K
isocat_1__t49_isocat_1.depv1
2024-08-03 10:19
62
isocat_1__t49_isocat_1.depvmin1
2024-08-03 10:24
62
isocat_1__t49_isocat_1.vmin1
2024-08-03 10:19
2.0K
isocat_1__t49_isocat_1.vmin1out
2024-08-03 10:22
65K
isocat_1__t49_isocat_1.vout
2024-08-03 05:28
30K
isocat_1__t50_isocat_1
2024-07-27 17:32
29K
isocat_1__t50_isocat_1.vout
2024-08-03 06:24
7.3K
isocat_1__t51_isocat_1
2024-07-27 17:33
40K
isocat_1__t51_isocat_1.vout
2024-08-03 06:29
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80