Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/mod_2
Name
Last modified
Size
Description
Parent Directory
-
mod_2__t1_mod_2
2024-07-27 09:55
26K
mod_2__t3_mod_2
2024-07-27 09:56
23K
mod_2__t22_mod_2
2024-07-27 09:57
21K
mod_2__t2_mod_2
2024-07-27 09:58
18K
mod_2__t4_mod_2
2024-07-27 10:00
20K
mod_2__t5_mod_2
2024-07-27 10:01
22K
mod_2__t6_mod_2
2024-07-27 10:03
27K
mod_2__t7_mod_2
2024-07-27 10:04
25K
mod_2__t8_mod_2
2024-07-27 10:05
23K
mod_2__t9_mod_2
2024-07-27 10:06
14K
mod_2__t10_mod_2
2024-07-27 10:08
24K
mod_2__t11_mod_2
2024-07-27 10:09
15K
mod_2__t12_mod_2
2024-07-27 10:10
30K
mod_2__t13_mod_2
2024-07-27 10:12
31K
mod_2__t14_mod_2
2024-07-27 10:13
32K
mod_2__t15_mod_2
2024-07-27 10:15
24K
mod_2__t16_mod_2
2024-07-27 10:16
29K
mod_2__t17_mod_2
2024-07-27 10:18
26K
mod_2__t18_mod_2
2024-07-27 10:19
35K
mod_2__t19_mod_2
2024-07-27 10:20
4.4K
mod_2__t20_mod_2
2024-07-27 10:20
3.4K
mod_2__t21_mod_2
2024-07-27 10:21
3.4K
mod_2__t23_mod_2
2024-07-27 10:22
23K
mod_2__t24_mod_2
2024-07-27 10:24
22K
mod_2__t25_mod_2
2024-07-27 10:24
4.5K
mod_2__t26_mod_2
2024-07-27 10:26
22K
mod_2__t27_mod_2
2024-07-27 10:27
33K
mod_2__t28_mod_2
2024-07-27 10:28
7.2K
mod_2__t29_mod_2
2024-07-27 10:29
22K
mod_2__l1_mod_2
2024-07-27 10:31
32K
mod_2__l34_mod_2
2024-07-27 10:31
2.0K
mod_2__l35_mod_2
2024-07-27 10:32
2.0K
mod_2__l36_mod_2
2024-07-27 10:32
2.0K
mod_2__l46_mod_2
2024-07-27 10:34
20K
mod_2__l48_mod_2
2024-07-27 10:35
22K
mod_2__l49_mod_2
2024-07-27 10:35
3.3K
mod_2__l55_mod_2
2024-07-27 10:37
20K
mod_2__l57_mod_2
2024-07-27 10:37
7.6K
mod_2__t11_mod_2.vout
2024-08-03 04:13
158K
mod_2__t9_mod_2.vout
2024-08-03 04:18
65K
mod_2__t7_mod_2.vout
2024-08-03 04:24
36K
mod_2__t6_mod_2.vout
2024-08-03 04:28
227K
mod_2__t26_mod_2.vout
2024-08-03 04:39
6.7K
mod_2__l48_mod_2.vout
2024-08-03 04:47
6.2K
mod_2__t2_mod_2.vout
2024-08-03 04:54
2.0K
mod_2__t22_mod_2.vout
2024-08-03 04:59
56K
mod_2__t8_mod_2.vout
2024-08-03 05:06
49K
mod_2__t4_mod_2.vout
2024-08-03 05:15
13K
mod_2__t21_mod_2.vout
2024-08-03 05:51
7.1K
mod_2__t20_mod_2.vout
2024-08-03 05:58
8.7K
mod_2__t12_mod_2.vout
2024-08-03 06:15
4.7K
mod_2__t1_mod_2.vout
2024-08-03 06:17
51K
mod_2__t17_mod_2.vout
2024-08-03 06:51
60K
mod_2__t13_mod_2.vout
2024-08-03 06:57
4.7K
mod_2__t29_mod_2.vout
2024-08-03 07:19
32K
mod_2__t27_mod_2.vout
2024-08-03 07:30
8.7K
mod_2__l35_mod_2.vout
2024-08-03 07:37
6.9K
mod_2__t23_mod_2.vout
2024-08-03 07:48
4.7K
mod_2__t10_mod_2.vout
2024-08-03 07:58
76K
mod_2__t19_mod_2.vout
2024-08-03 08:00
14K
mod_2__t24_mod_2.vout
2024-08-03 08:04
51K
mod_2__l57_mod_2.vout
2024-08-03 08:09
28K
mod_2__l36_mod_2.vout
2024-08-03 08:11
6.9K
mod_2__l46_mod_2.vout
2024-08-03 08:13
7.7K
mod_2__t14_mod_2.vout
2024-08-03 08:25
155K
mod_2__t5_mod_2.vout
2024-08-03 08:31
75K
mod_2__t18_mod_2.vout
2024-08-03 09:04
4.7K
mod_2__l34_mod_2.vout
2024-08-03 09:08
7.0K
mod_2__t28_mod_2.vout
2024-08-03 09:11
15K
mod_2__t16_mod_2.vout
2024-08-03 09:13
5.2K
mod_2__t3_mod_2.vout
2024-08-03 09:14
112K
mod_2__l1_mod_2.vout
2024-08-03 09:23
5.7K
mod_2__l49_mod_2.vout
2024-08-03 09:31
51K
mod_2__t15_mod_2.vout
2024-08-03 09:35
7.2K
mod_2__t25_mod_2.vout
2024-08-03 09:38
6.7K
mod_2__l55_mod_2.vout
2024-08-03 10:06
7.8K
mod_2__t17_mod_2.depv1
2024-08-03 10:19
53
mod_2__t21_mod_2.depv1
2024-08-03 10:19
154
mod_2__t1_mod_2.depv1
2024-08-03 10:19
387
mod_2__t29_mod_2.depv1
2024-08-03 10:19
252
mod_2__l57_mod_2.depv1
2024-08-03 10:19
102
mod_2__t9_mod_2.depv1
2024-08-03 10:19
51
mod_2__t22_mod_2.depv1
2024-08-03 10:19
383
mod_2__t11_mod_2.depv1
2024-08-03 10:19
64
mod_2__t20_mod_2.depv1
2024-08-03 10:19
102
mod_2__l34_mod_2.depv1
2024-08-03 10:19
92
mod_2__t4_mod_2.depv1
2024-08-03 10:19
45
mod_2__t10_mod_2.depv1
2024-08-03 10:19
50
mod_2__l35_mod_2.depv1
2024-08-03 10:19
92
mod_2__l49_mod_2.depv1
2024-08-03 10:19
170
mod_2__t14_mod_2.depv1
2024-08-03 10:19
62
mod_2__l36_mod_2.depv1
2024-08-03 10:19
92
mod_2__t6_mod_2.depv1
2024-08-03 10:19
117
mod_2__t5_mod_2.depv1
2024-08-03 10:19
27
mod_2__t19_mod_2.depv1
2024-08-03 10:19
168
mod_2__t28_mod_2.depv1
2024-08-03 10:19
97
mod_2__t3_mod_2.depv1
2024-08-03 10:19
180
mod_2__t24_mod_2.depv1
2024-08-03 10:19
218
mod_2__t7_mod_2.depv1
2024-08-03 10:19
69
mod_2__t8_mod_2.depv1
2024-08-03 10:19
52
mod_2__l34_mod_2.vmin1
2024-08-03 10:19
588
mod_2__l35_mod_2.vmin1
2024-08-03 10:19
579
mod_2__l36_mod_2.vmin1
2024-08-03 10:19
579
mod_2__l49_mod_2.vmin1
2024-08-03 10:19
2.0K
mod_2__l57_mod_2.vmin1
2024-08-03 10:19
1.7K
mod_2__t1_mod_2.vmin1
2024-08-03 10:19
4.4K
mod_2__t3_mod_2.vmin1
2024-08-03 10:19
5.0K
mod_2__t4_mod_2.vmin1
2024-08-03 10:19
1.7K
mod_2__t5_mod_2.vmin1
2024-08-03 10:19
2.2K
mod_2__t6_mod_2.vmin1
2024-08-03 10:19
6.2K
mod_2__t7_mod_2.vmin1
2024-08-03 10:19
4.1K
mod_2__t8_mod_2.vmin1
2024-08-03 10:19
3.1K
mod_2__t9_mod_2.vmin1
2024-08-03 10:19
3.1K
mod_2__t10_mod_2.vmin1
2024-08-03 10:19
3.2K
mod_2__t11_mod_2.vmin1
2024-08-03 10:19
4.1K
mod_2__t14_mod_2.vmin1
2024-08-03 10:19
6.3K
mod_2__t17_mod_2.vmin1
2024-08-03 10:19
4.1K
mod_2__t19_mod_2.vmin1
2024-08-03 10:19
1.5K
mod_2__t20_mod_2.vmin1
2024-08-03 10:19
923
mod_2__t21_mod_2.vmin1
2024-08-03 10:19
860
mod_2__t22_mod_2.vmin1
2024-08-03 10:19
4.1K
mod_2__t24_mod_2.vmin1
2024-08-03 10:19
2.7K
mod_2__t28_mod_2.vmin1
2024-08-03 10:19
1.2K
mod_2__t29_mod_2.vmin1
2024-08-03 10:19
3.1K
mod_2__t7_mod_2.vmin1out
2024-08-03 10:20
151K
mod_2__t20_mod_2.vmin1out
2024-08-03 10:20
7.3K
mod_2__t19_mod_2.vmin1out
2024-08-03 10:20
12K
mod_2__t22_mod_2.vmin1out
2024-08-03 10:20
60K
mod_2__t3_mod_2.vmin1out
2024-08-03 10:20
71K
mod_2__t8_mod_2.vmin1out
2024-08-03 10:20
136K
mod_2__t21_mod_2.vmin1out
2024-08-03 10:20
7.1K
mod_2__l57_mod_2.vmin1out
2024-08-03 10:21
19K
mod_2__l35_mod_2.vmin1out
2024-08-03 10:21
7.0K
mod_2__t29_mod_2.vmin1out
2024-08-03 10:21
29K
mod_2__t9_mod_2.vmin1out
2024-08-03 10:21
63K
mod_2__t10_mod_2.vmin1out
2024-08-03 10:21
206K
mod_2__l49_mod_2.vmin1out
2024-08-03 10:21
52K
mod_2__l36_mod_2.vmin1out
2024-08-03 10:21
7.0K
mod_2__t5_mod_2.vmin1out
2024-08-03 10:21
76K
mod_2__t4_mod_2.vmin1out
2024-08-03 10:21
25K
mod_2__t11_mod_2.vmin1out
2024-08-03 10:21
132K
mod_2__t6_mod_2.vmin1out
2024-08-03 10:22
124K
mod_2__t14_mod_2.vmin1out
2024-08-03 10:22
113K
mod_2__t1_mod_2.vmin1out
2024-08-03 10:22
63K
mod_2__l34_mod_2.vmin1out
2024-08-03 10:22
7.1K
mod_2__t28_mod_2.vmin1out
2024-08-03 10:22
15K
mod_2__t17_mod_2.vmin1out
2024-08-03 10:23
65K
mod_2__t24_mod_2.vmin1out
2024-08-03 10:23
46K
mod_2__t1_mod_2.depvmin1
2024-08-03 10:24
341
mod_2__t17_mod_2.depvmin1
2024-08-03 10:24
53
mod_2__t21_mod_2.depvmin1
2024-08-03 10:24
154
mod_2__l57_mod_2.depvmin1
2024-08-03 10:24
56
mod_2__t9_mod_2.depvmin1
2024-08-03 10:24
51
mod_2__t29_mod_2.depvmin1
2024-08-03 10:24
252
mod_2__t11_mod_2.depvmin1
2024-08-03 10:24
43
mod_2__t22_mod_2.depvmin1
2024-08-03 10:24
294
mod_2__t4_mod_2.depvmin1
2024-08-03 10:24
45
mod_2__t10_mod_2.depvmin1
2024-08-03 10:24
50
mod_2__t20_mod_2.depvmin1
2024-08-03 10:24
102
mod_2__l34_mod_2.depvmin1
2024-08-03 10:24
92
mod_2__l35_mod_2.depvmin1
2024-08-03 10:24
92
mod_2__l49_mod_2.depvmin1
2024-08-03 10:24
170
mod_2__l36_mod_2.depvmin1
2024-08-03 10:24
92
mod_2__t6_mod_2.depvmin1
2024-08-03 10:24
117
mod_2__t14_mod_2.depvmin1
2024-08-03 10:24
62
mod_2__t5_mod_2.depvmin1
2024-08-03 10:24
27
mod_2__t19_mod_2.depvmin1
2024-08-03 10:24
168
mod_2__t28_mod_2.depvmin1
2024-08-03 10:24
97
mod_2__t3_mod_2.depvmin1
2024-08-03 10:24
180
mod_2__t7_mod_2.depvmin1
2024-08-03 10:24
69
mod_2__t24_mod_2.depvmin1
2024-08-03 10:24
149
mod_2__t8_mod_2.depvmin1
2024-08-03 10:24
52
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80