Index of /~mptp/mml5.63.1382/MPTP2/problems_small/topreal9
Name
Last modified
Size
Description
Parent Directory
-
topreal9__l28_topreal9
2021-07-18 05:08
75K
topreal9__l28_topreal9.vout
2021-07-25 17:05
3.7K
topreal9__l29_topreal9
2021-07-18 05:09
59K
topreal9__l29_topreal9.vout
2021-07-25 20:17
3.7K
topreal9__t3_topreal9
2021-07-18 04:31
42K
topreal9__t3_topreal9.depv1
2021-07-25 20:57
253
topreal9__t3_topreal9.depvmin1
2021-07-25 21:03
194
topreal9__t3_topreal9.vmin1
2021-07-25 20:57
2.8K
topreal9__t3_topreal9.vmin1out
2021-07-25 21:01
18K
topreal9__t3_topreal9.vout
2021-07-25 20:36
26K
topreal9__t4_topreal9
2021-07-18 04:32
39K
topreal9__t4_topreal9.vout
2021-07-25 19:42
4.7K
topreal9__t5_topreal9
2021-07-18 04:32
34K
topreal9__t5_topreal9.depv1
2021-07-25 20:57
116
topreal9__t5_topreal9.depvmin1
2021-07-25 21:03
116
topreal9__t5_topreal9.vmin1
2021-07-25 20:57
1.2K
topreal9__t5_topreal9.vmin1out
2021-07-25 21:01
11K
topreal9__t5_topreal9.vout
2021-07-25 19:44
15K
topreal9__t6_topreal9
2021-07-18 04:33
27K
topreal9__t6_topreal9.vout
2021-07-25 16:15
4.7K
topreal9__t7_topreal9
2021-07-18 04:33
41K
topreal9__t7_topreal9.depv1
2021-07-25 20:57
71
topreal9__t7_topreal9.depvmin1
2021-07-25 21:03
71
topreal9__t7_topreal9.vmin1
2021-07-25 20:57
958
topreal9__t7_topreal9.vmin1out
2021-07-25 21:02
17K
topreal9__t7_topreal9.vout
2021-07-25 17:15
16K
topreal9__t8_topreal9
2021-07-18 04:34
41K
topreal9__t8_topreal9.depv1
2021-07-25 20:57
71
topreal9__t8_topreal9.depvmin1
2021-07-25 21:03
71
topreal9__t8_topreal9.vmin1
2021-07-25 20:57
946
topreal9__t8_topreal9.vmin1out
2021-07-25 21:00
17K
topreal9__t8_topreal9.vout
2021-07-25 16:44
16K
topreal9__t9_topreal9
2021-07-18 04:35
40K
topreal9__t9_topreal9.depv1
2021-07-25 20:57
71
topreal9__t9_topreal9.depvmin1
2021-07-25 21:03
71
topreal9__t9_topreal9.vmin1
2021-07-25 20:57
918
topreal9__t9_topreal9.vmin1out
2021-07-25 20:57
18K
topreal9__t9_topreal9.vout
2021-07-25 14:32
16K
topreal9__t10_topreal9
2021-07-18 04:35
42K
topreal9__t10_topreal9.depv1
2021-07-25 20:57
134
topreal9__t10_topreal9.depvmin1
2021-07-25 21:03
134
topreal9__t10_topreal9.vmin1
2021-07-25 20:57
1.8K
topreal9__t10_topreal9.vmin1out
2021-07-25 21:02
17K
topreal9__t10_topreal9.vout
2021-07-25 15:08
20K
topreal9__t11_topreal9
2021-07-18 04:36
42K
topreal9__t11_topreal9.depv1
2021-07-25 20:57
134
topreal9__t11_topreal9.depvmin1
2021-07-25 21:03
134
topreal9__t11_topreal9.vmin1
2021-07-25 20:57
1.8K
topreal9__t11_topreal9.vmin1out
2021-07-25 20:57
17K
topreal9__t11_topreal9.vout
2021-07-25 15:10
20K
topreal9__t12_topreal9
2021-07-18 04:37
41K
topreal9__t12_topreal9.depv1
2021-07-25 20:57
134
topreal9__t12_topreal9.depvmin1
2021-07-25 21:03
134
topreal9__t12_topreal9.vmin1
2021-07-25 20:57
1.8K
topreal9__t12_topreal9.vmin1out
2021-07-25 20:59
20K
topreal9__t12_topreal9.vout
2021-07-25 14:54
20K
topreal9__t13_topreal9
2021-07-18 04:37
48K
topreal9__t13_topreal9.vout
2021-07-25 19:59
7.9K
topreal9__t14_topreal9
2021-07-18 04:38
47K
topreal9__t14_topreal9.vout
2021-07-25 15:04
7.4K
topreal9__t15_topreal9
2021-07-18 04:39
46K
topreal9__t15_topreal9.vout
2021-07-25 17:30
7.4K
topreal9__t16_topreal9
2021-07-18 04:40
47K
topreal9__t16_topreal9.depv1
2021-07-25 20:57
78
topreal9__t16_topreal9.depvmin1
2021-07-25 21:03
78
topreal9__t16_topreal9.vmin1
2021-07-25 20:57
1.3K
topreal9__t16_topreal9.vmin1out
2021-07-25 21:02
15K
topreal9__t16_topreal9.vout
2021-07-25 15:23
11K
topreal9__t17_topreal9
2021-07-18 04:41
47K
topreal9__t17_topreal9.depv1
2021-07-25 20:57
78
topreal9__t17_topreal9.depvmin1
2021-07-25 21:03
78
topreal9__t17_topreal9.vmin1
2021-07-25 20:57
1.3K
topreal9__t17_topreal9.vmin1out
2021-07-25 20:59
15K
topreal9__t17_topreal9.vout
2021-07-25 18:36
12K
topreal9__t18_topreal9
2021-07-18 04:41
51K
topreal9__t18_topreal9.vout
2021-07-25 18:56
7.3K
topreal9__t19_topreal9
2021-07-18 04:42
44K
topreal9__t19_topreal9.depv1
2021-07-25 20:57
186
topreal9__t19_topreal9.depvmin1
2021-07-25 21:03
157
topreal9__t19_topreal9.vmin1
2021-07-25 20:57
2.2K
topreal9__t19_topreal9.vmin1out
2021-07-25 20:59
18K
topreal9__t19_topreal9.vout
2021-07-25 16:44
22K
topreal9__t20_topreal9
2021-07-18 04:26
42K
topreal9__t20_topreal9.depv1
2021-07-25 20:57
106
topreal9__t20_topreal9.depvmin1
2021-07-25 21:03
106
topreal9__t20_topreal9.vmin1
2021-07-25 20:57
957
topreal9__t20_topreal9.vmin1out
2021-07-25 21:02
8.6K
topreal9__t20_topreal9.vout
2021-07-25 16:56
11K
topreal9__t21_topreal9
2021-07-18 04:27
53K
topreal9__t21_topreal9.depv1
2021-07-25 20:57
107
topreal9__t21_topreal9.depvmin1
2021-07-25 21:03
107
topreal9__t21_topreal9.vmin1
2021-07-25 20:57
942
topreal9__t21_topreal9.vmin1out
2021-07-25 20:57
8.3K
topreal9__t21_topreal9.vout
2021-07-25 15:01
11K
topreal9__t22_topreal9
2021-07-18 04:28
42K
topreal9__t22_topreal9.depv1
2021-07-25 20:57
106
topreal9__t22_topreal9.depvmin1
2021-07-25 21:03
106
topreal9__t22_topreal9.vmin1
2021-07-25 20:57
958
topreal9__t22_topreal9.vmin1out
2021-07-25 21:02
8.6K
topreal9__t22_topreal9.vout
2021-07-25 17:03
11K
topreal9__t23_topreal9
2021-07-18 04:29
53K
topreal9__t23_topreal9.depv1
2021-07-25 20:57
107
topreal9__t23_topreal9.depvmin1
2021-07-25 21:03
107
topreal9__t23_topreal9.vmin1
2021-07-25 20:57
941
topreal9__t23_topreal9.vmin1out
2021-07-25 20:59
8.3K
topreal9__t23_topreal9.vout
2021-07-25 15:45
11K
topreal9__t24_topreal9
2021-07-18 04:43
63K
topreal9__t24_topreal9.vout
2021-07-25 17:42
6.8K
topreal9__t26_topreal9
2021-07-18 04:29
37K
topreal9__t26_topreal9.depv1
2021-07-25 20:57
96
topreal9__t26_topreal9.depvmin1
2021-07-25 21:03
96
topreal9__t26_topreal9.vmin1
2021-07-25 20:57
1.6K
topreal9__t26_topreal9.vmin1out
2021-07-25 21:00
53K
topreal9__t26_topreal9.vout
2021-07-25 18:32
54K
topreal9__t27_topreal9
2021-07-18 04:43
39K
topreal9__t27_topreal9.depv1
2021-07-25 20:57
398
topreal9__t27_topreal9.depvmin1
2021-07-25 21:03
377
topreal9__t27_topreal9.vmin1
2021-07-25 20:57
4.0K
topreal9__t27_topreal9.vmin1out
2021-07-25 20:58
39K
topreal9__t27_topreal9.vout
2021-07-25 14:42
51K
topreal9__t28_topreal9
2021-07-18 04:44
39K
topreal9__t28_topreal9.depv1
2021-07-25 20:57
413
topreal9__t28_topreal9.depvmin1
2021-07-25 21:03
402
topreal9__t28_topreal9.vmin1
2021-07-25 20:57
3.8K
topreal9__t28_topreal9.vmin1out
2021-07-25 21:01
40K
topreal9__t28_topreal9.vout
2021-07-25 19:15
49K
topreal9__t29_topreal9
2021-07-18 04:44
38K
topreal9__t29_topreal9.vout
2021-07-25 16:56
5.3K
topreal9__t30_topreal9
2021-07-18 04:45
41K
topreal9__t30_topreal9.vout
2021-07-25 16:46
4.2K
topreal9__t31_topreal9
2021-07-18 04:45
57K
topreal9__t31_topreal9.vout
2021-07-25 16:48
4.2K
topreal9__t32_topreal9
2021-07-18 04:46
40K
topreal9__t32_topreal9.vout
2021-07-25 19:08
3.7K
topreal9__t33_topreal9
2021-07-18 04:47
71K
topreal9__t33_topreal9.vout
2021-07-25 19:49
3.7K
topreal9__t34_topreal9
2021-07-18 04:48
296K
topreal9__t34_topreal9.vout
2021-07-25 14:30
3.7K
topreal9__t35_topreal9
2021-07-18 04:48
60K
topreal9__t35_topreal9.vout
2021-07-25 18:50
4.2K
topreal9__t36_topreal9
2021-07-18 04:49
74K
topreal9__t36_topreal9.vout
2021-07-25 16:55
4.2K
topreal9__t37_topreal9
2021-07-18 04:50
253K
topreal9__t37_topreal9.vout
2021-07-25 17:51
3.7K
topreal9__t38_topreal9
2021-07-18 04:51
256K
topreal9__t38_topreal9.vout
2021-07-25 19:15
3.7K
topreal9__t39_topreal9
2021-07-18 04:30
42K
topreal9__t39_topreal9.depv1
2021-07-25 20:57
107
topreal9__t39_topreal9.depvmin1
2021-07-25 21:03
107
topreal9__t39_topreal9.vmin1
2021-07-25 20:57
959
topreal9__t39_topreal9.vmin1out
2021-07-25 20:59
8.6K
topreal9__t39_topreal9.vout
2021-07-25 20:43
11K
topreal9__t40_topreal9
2021-07-18 04:30
53K
topreal9__t40_topreal9.depv1
2021-07-25 20:57
108
topreal9__t40_topreal9.depvmin1
2021-07-25 21:03
108
topreal9__t40_topreal9.vmin1
2021-07-25 20:57
1.0K
topreal9__t40_topreal9.vmin1out
2021-07-25 21:01
8.9K
topreal9__t40_topreal9.vout
2021-07-25 18:30
12K
topreal9__t41_topreal9
2021-07-18 04:51
44K
topreal9__t41_topreal9.depv1
2021-07-25 20:57
162
topreal9__t41_topreal9.depvmin1
2021-07-25 21:03
162
topreal9__t41_topreal9.vmin1
2021-07-25 20:57
1.9K
topreal9__t41_topreal9.vmin1out
2021-07-25 20:58
19K
topreal9__t41_topreal9.vout
2021-07-25 18:35
18K
topreal9__t42_topreal9
2021-07-18 04:52
44K
topreal9__t42_topreal9.depv1
2021-07-25 20:57
162
topreal9__t42_topreal9.depvmin1
2021-07-25 21:03
162
topreal9__t42_topreal9.vmin1
2021-07-25 20:57
1.9K
topreal9__t42_topreal9.vmin1out
2021-07-25 20:58
18K
topreal9__t42_topreal9.vout
2021-07-25 17:43
18K
topreal9__t43_topreal9
2021-07-18 04:52
41K
topreal9__t43_topreal9.depv1
2021-07-25 20:57
72
topreal9__t43_topreal9.depvmin1
2021-07-25 21:03
72
topreal9__t43_topreal9.vmin1
2021-07-25 20:57
859
topreal9__t43_topreal9.vmin1out
2021-07-25 21:01
17K
topreal9__t43_topreal9.vout
2021-07-25 14:26
16K
topreal9__t44_topreal9
2021-07-18 04:53
42K
topreal9__t44_topreal9.depv1
2021-07-25 20:57
72
topreal9__t44_topreal9.depvmin1
2021-07-25 21:03
72
topreal9__t44_topreal9.vmin1
2021-07-25 20:57
887
topreal9__t44_topreal9.vmin1out
2021-07-25 20:59
17K
topreal9__t44_topreal9.vout
2021-07-25 20:27
16K
topreal9__t45_topreal9
2021-07-18 04:53
42K
topreal9__t45_topreal9.depv1
2021-07-25 20:57
72
topreal9__t45_topreal9.depvmin1
2021-07-25 21:03
72
topreal9__t45_topreal9.vmin1
2021-07-25 20:57
899
topreal9__t45_topreal9.vmin1out
2021-07-25 21:02
17K
topreal9__t45_topreal9.vout
2021-07-25 19:05
16K
topreal9__t46_topreal9
2021-07-18 04:54
42K
topreal9__t46_topreal9.depv1
2021-07-25 20:57
162
topreal9__t46_topreal9.depvmin1
2021-07-25 21:03
133
topreal9__t46_topreal9.vmin1
2021-07-25 20:57
1.8K
topreal9__t46_topreal9.vmin1out
2021-07-25 20:59
20K
topreal9__t46_topreal9.vout
2021-07-25 19:56
18K
topreal9__t47_topreal9
2021-07-18 04:55
48K
topreal9__t47_topreal9.vout
2021-07-25 17:25
7.3K
topreal9__t48_topreal9
2021-07-18 04:56
48K
topreal9__t48_topreal9.vout
2021-07-25 16:46
7.3K
topreal9__t49_topreal9
2021-07-18 04:56
46K
topreal9__t49_topreal9.vout
2021-07-25 15:13
7.3K
topreal9__t50_topreal9
2021-07-18 04:57
49K
topreal9__t50_topreal9.depv1
2021-07-25 20:57
92
topreal9__t50_topreal9.depvmin1
2021-07-25 21:03
92
topreal9__t50_topreal9.vmin1
2021-07-25 20:57
1.1K
topreal9__t50_topreal9.vmin1out
2021-07-25 20:59
14K
topreal9__t50_topreal9.vout
2021-07-25 19:20
16K
topreal9__t51_topreal9
2021-07-18 04:58
48K
topreal9__t51_topreal9.depv1
2021-07-25 20:57
92
topreal9__t51_topreal9.depvmin1
2021-07-25 21:03
92
topreal9__t51_topreal9.vmin1
2021-07-25 20:57
1.1K
topreal9__t51_topreal9.vmin1out
2021-07-25 20:59
14K
topreal9__t51_topreal9.vout
2021-07-25 18:32
16K
topreal9__t52_topreal9
2021-07-18 04:58
46K
topreal9__t52_topreal9.depv1
2021-07-25 20:57
92
topreal9__t52_topreal9.depvmin1
2021-07-25 21:03
92
topreal9__t52_topreal9.vmin1
2021-07-25 20:57
1.1K
topreal9__t52_topreal9.vmin1out
2021-07-25 21:00
14K
topreal9__t52_topreal9.vout
2021-07-25 20:46
16K
topreal9__t53_topreal9
2021-07-18 04:59
43K
topreal9__t53_topreal9.vout
2021-07-25 15:43
7.4K
topreal9__t54_topreal9
2021-07-18 05:00
44K
topreal9__t54_topreal9.depv1
2021-07-25 20:57
135
topreal9__t54_topreal9.depvmin1
2021-07-25 21:03
135
topreal9__t54_topreal9.vmin1
2021-07-25 20:57
1.6K
topreal9__t54_topreal9.vmin1out
2021-07-25 21:00
21K
topreal9__t54_topreal9.vout
2021-07-25 19:00
17K
topreal9__t55_topreal9
2021-07-18 05:00
42K
topreal9__t55_topreal9.vout
2021-07-25 14:24
4.1K
topreal9__t56_topreal9
2021-07-18 05:01
62K
topreal9__t56_topreal9.depv1
2021-07-25 20:57
174
topreal9__t56_topreal9.depvmin1
2021-07-25 21:03
174
topreal9__t56_topreal9.vmin1
2021-07-25 20:57
2.1K
topreal9__t56_topreal9.vmin1out
2021-07-25 21:00
21K
topreal9__t56_topreal9.vout
2021-07-25 17:55
21K
topreal9__t57_topreal9
2021-07-18 05:02
41K
topreal9__t57_topreal9.depv1
2021-07-25 20:57
182
topreal9__t57_topreal9.depvmin1
2021-07-25 21:03
182
topreal9__t57_topreal9.vmin1
2021-07-25 20:57
2.8K
topreal9__t57_topreal9.vmin1out
2021-07-25 21:01
29K
topreal9__t57_topreal9.vout
2021-07-25 14:34
33K
topreal9__t58_topreal9
2021-07-18 05:02
176K
topreal9__t58_topreal9.depv1
2021-07-25 20:57
93
topreal9__t58_topreal9.depvmin1
2021-07-25 21:03
93
topreal9__t58_topreal9.vmin1
2021-07-25 20:57
3.3K
topreal9__t58_topreal9.vmin1out
2021-07-25 20:59
115K
topreal9__t58_topreal9.vout
2021-07-25 17:42
106K
topreal9__t59_topreal9
2021-07-18 05:03
67K
topreal9__t59_topreal9.vout
2021-07-25 19:09
7.3K
topreal9__t60_topreal9
2021-07-18 05:04
65K
topreal9__t60_topreal9.vout
2021-07-25 17:06
4.2K
topreal9__t61_topreal9
2021-07-18 05:04
63K
topreal9__t61_topreal9.vout
2021-07-25 14:57
7.3K
topreal9__t62_topreal9
2021-07-18 05:05
63K
topreal9__t62_topreal9.vout
2021-07-25 20:13
7.3K
topreal9__t63_topreal9
2021-07-18 05:06
181K
topreal9__t63_topreal9.depv1
2021-07-25 20:57
131
topreal9__t63_topreal9.depvmin1
2021-07-25 21:03
131
topreal9__t63_topreal9.vmin1
2021-07-25 20:57
5.9K
topreal9__t63_topreal9.vmin1out
2021-07-25 21:01
202K
topreal9__t63_topreal9.vout
2021-07-25 17:16
218K
topreal9__t64_topreal9
2021-07-18 05:06
39K
topreal9__t64_topreal9.vout
2021-07-25 20:56
5.3K
topreal9__t65_topreal9
2021-07-18 05:07
44K
topreal9__t65_topreal9.vout
2021-07-25 15:41
4.2K
topreal9__t66_topreal9
2021-07-18 05:07
60K
topreal9__t66_topreal9.vout
2021-07-25 15:18
7.4K
topreal9__t67_topreal9
2021-07-18 05:08
48K
topreal9__t67_topreal9.vout
2021-07-25 16:43
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80