Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/number10
Name
Last modified
Size
Description
Parent Directory
-
number10__t69_number10.vout
2024-08-03 04:30
5.9K
number10__t69_number10
2024-07-26 22:59
802K
number10__t68_number10.vout
2024-08-03 09:01
5.3K
number10__t68_number10
2024-07-26 22:57
1.9M
number10__t67_number10.vout
2024-08-03 08:47
7.3K
number10__t67_number10
2024-07-26 22:26
561K
number10__t66_number10.vout
2024-08-03 05:44
6.8K
number10__t66_number10
2024-07-26 20:37
561K
number10__t65_number10.vout
2024-08-03 04:08
6.8K
number10__t65_number10
2024-07-26 22:24
306K
number10__t64_number10.vout
2024-08-03 10:04
7.3K
number10__t64_number10
2024-07-26 22:22
862K
number10__t63_number10.vout
2024-08-03 04:22
7.3K
number10__t63_number10
2024-07-26 22:20
946K
number10__t62_number10.vout
2024-08-03 06:36
7.3K
number10__t62_number10
2024-07-26 22:18
186K
number10__t61_number10.vout
2024-08-03 09:57
5.4K
number10__t61_number10.vmin1out
2024-08-03 10:23
4.4K
number10__t61_number10.vmin1
2024-08-03 10:19
523
number10__t61_number10.depvmin1
2024-08-03 10:24
39
number10__t61_number10.depv1
2024-08-03 10:19
63
number10__t61_number10
2024-07-26 20:36
103K
number10__t60_number10.vout
2024-08-03 06:54
6.3K
number10__t60_number10.vmin1out
2024-08-03 10:23
6.1K
number10__t60_number10.vmin1
2024-08-03 10:19
485
number10__t60_number10.depvmin1
2024-08-03 10:24
35
number10__t60_number10.depv1
2024-08-03 10:19
35
number10__t60_number10
2024-07-26 22:16
330K
number10__t59_number10.vout
2024-08-03 08:30
8.2K
number10__t59_number10.vmin1out
2024-08-03 10:23
7.9K
number10__t59_number10.vmin1
2024-08-03 10:19
513
number10__t59_number10.depvmin1
2024-08-03 10:24
60
number10__t59_number10.depv1
2024-08-03 10:19
60
number10__t59_number10
2024-07-26 22:14
268K
number10__t58_number10.vout
2024-08-03 07:46
5.9K
number10__t58_number10
2024-07-26 22:54
422K
number10__t57_number10.vout
2024-08-03 04:19
9.2K
number10__t57_number10
2024-07-26 22:52
4.4M
number10__t56_number10.vout
2024-08-03 08:35
5.9K
number10__t56_number10
2024-07-26 22:48
496K
number10__t55_number10.vout
2024-08-03 04:33
5.3K
number10__t55_number10
2024-07-26 22:46
1.8M
number10__t54_number10.vout
2024-08-03 09:13
5.9K
number10__t54_number10
2024-07-26 22:43
266K
number10__t53_number10.vout
2024-08-03 05:18
5.3K
number10__t53_number10
2024-07-26 22:41
575K
number10__t52_number10.vout
2024-08-03 05:47
6.9K
number10__t52_number10
2024-07-26 22:12
7.2M
number10__t51_number10.vout
2024-08-03 04:19
7.4K
number10__t51_number10
2024-07-26 22:05
102K
number10__t50_number10.vout
2024-08-03 06:22
7.3K
number10__t50_number10
2024-07-26 22:03
215K
number10__t49_number10.vout
2024-08-03 07:25
7.3K
number10__t49_number10
2024-07-26 22:01
340K
number10__t48_number10.vout
2024-08-03 09:05
7.4K
number10__t48_number10
2024-07-26 21:59
215K
number10__t47_number10.vout
2024-08-03 07:55
7.3K
number10__t47_number10
2024-07-26 21:57
215K
number10__t46_number10.vout
2024-08-03 06:29
3.7K
number10__t46_number10
2024-07-26 22:39
186K
number10__t45_number10.vout
2024-08-03 06:58
7.3K
number10__t45_number10
2024-07-26 22:37
91K
number10__t44_number10.vout
2024-08-03 08:19
3.7K
number10__t44_number10
2024-07-26 22:35
98K
number10__t43_number10.vout
2024-08-03 04:21
3.7K
number10__t43_number10
2024-07-26 22:33
189K
number10__t42_number10.vout
2024-08-03 09:59
7.4K
number10__t42_number10
2024-07-26 22:31
1.5M
number10__t41_number10.vout
2024-08-03 07:52
6.8K
number10__t41_number10
2024-07-26 21:54
1.3M
number10__t40_number10.vout
2024-08-03 10:16
7.3K
number10__t40_number10
2024-07-26 21:52
316K
number10__t39_number10.vout
2024-08-03 07:42
6.8K
number10__t39_number10
2024-07-26 21:50
861K
number10__t38_number10.vout
2024-08-03 08:17
6.8K
number10__t38_number10
2024-07-26 21:48
254K
number10__t37_number10.vout
2024-08-03 08:43
6.8K
number10__t37_number10
2024-07-26 21:46
185K
number10__t36_number10.vout
2024-08-03 05:20
5.3K
number10__t36_number10
2024-07-26 22:29
407K
number10__t35_number10.vout
2024-08-03 06:51
16K
number10__t35_number10.vmin1out
2024-08-03 10:23
15K
number10__t35_number10.vmin1
2024-08-03 10:19
1.2K
number10__t35_number10.depvmin1
2024-08-03 10:24
171
number10__t35_number10.depv1
2024-08-03 10:19
171
number10__t35_number10
2024-07-26 21:44
107K
number10__t34_number10.vout
2024-08-03 06:21
21K
number10__t34_number10.vmin1out
2024-08-03 10:23
18K
number10__t34_number10.vmin1
2024-08-03 10:19
1.2K
number10__t34_number10.depvmin1
2024-08-03 10:24
116
number10__t34_number10.depv1
2024-08-03 10:19
116
number10__t34_number10
2024-07-26 21:42
72K
number10__t33_number10.vout
2024-08-03 04:31
6.8K
number10__t33_number10
2024-07-26 21:40
316K
number10__t32_number10.vout
2024-08-03 05:09
7.3K
number10__t32_number10
2024-07-26 21:39
72K
number10__t31_number10.vout
2024-08-03 06:42
7.3K
number10__t31_number10
2024-07-26 21:37
114K
number10__t30_number10.vout
2024-08-03 04:48
7.3K
number10__t30_number10
2024-07-26 21:35
113K
number10__t29_number10.vout
2024-08-03 09:29
7.3K
number10__t29_number10
2024-07-26 21:33
1.0M
number10__t28_number10.vout
2024-08-03 04:10
7.3K
number10__t28_number10
2024-07-26 21:31
55K
number10__t27_number10.vout
2024-08-03 05:13
6.5K
number10__t27_number10.vmin1out
2024-08-03 10:20
6.1K
number10__t27_number10.vmin1
2024-08-03 10:19
639
number10__t27_number10.depvmin1
2024-08-03 10:24
94
number10__t27_number10.depv1
2024-08-03 10:19
94
number10__t27_number10
2024-07-26 20:34
51K
number10__t26_number10.vout
2024-08-03 04:41
6.5K
number10__t26_number10.vmin1out
2024-08-03 10:20
6.1K
number10__t26_number10.vmin1
2024-08-03 10:19
639
number10__t26_number10.depvmin1
2024-08-03 10:24
94
number10__t26_number10.depv1
2024-08-03 10:19
94
number10__t26_number10
2024-07-26 20:32
50K
number10__t25_number10.vout
2024-08-03 05:24
6.5K
number10__t25_number10.vmin1out
2024-08-03 10:20
6.1K
number10__t25_number10.vmin1
2024-08-03 10:19
634
number10__t25_number10.depvmin1
2024-08-03 10:24
93
number10__t25_number10.depv1
2024-08-03 10:19
93
number10__t25_number10
2024-07-26 20:30
50K
number10__t24_number10.vout
2024-08-03 06:07
6.5K
number10__t24_number10.vmin1out
2024-08-03 10:20
6.1K
number10__t24_number10.vmin1
2024-08-03 10:19
634
number10__t24_number10.depvmin1
2024-08-03 10:24
93
number10__t24_number10.depv1
2024-08-03 10:19
93
number10__t24_number10
2024-07-26 20:29
50K
number10__t23_number10.vout
2024-08-03 08:36
5.2K
number10__t23_number10.vmin1out
2024-08-03 10:21
6.1K
number10__t23_number10.vmin1
2024-08-03 10:19
634
number10__t23_number10.depvmin1
2024-08-03 10:24
93
number10__t23_number10.depv1
2024-08-03 10:19
93
number10__t23_number10
2024-07-26 20:27
50K
number10__t22_number10.vout
2024-08-03 04:46
6.4K
number10__t22_number10.vmin1out
2024-08-03 10:23
5.8K
number10__t22_number10.vmin1
2024-08-03 10:19
752
number10__t22_number10.depvmin1
2024-08-03 10:24
129
number10__t22_number10.depv1
2024-08-03 10:19
129
number10__t22_number10
2024-07-26 20:26
50K
number10__t21_number10.vout
2024-08-03 05:28
7.6K
number10__t21_number10.vmin1out
2024-08-03 10:22
8.3K
number10__t21_number10.vmin1
2024-08-03 10:19
448
number10__t21_number10.depvmin1
2024-08-03 10:24
40
number10__t21_number10.depv1
2024-08-03 10:19
40
number10__t21_number10
2024-07-26 21:29
50K
number10__t20_number10.vout
2024-08-03 06:27
12K
number10__t20_number10.vmin1out
2024-08-03 10:22
13K
number10__t20_number10.vmin1
2024-08-03 10:19
954
number10__t20_number10.depvmin1
2024-08-03 10:24
102
number10__t20_number10.depv1
2024-08-03 10:19
102
number10__t20_number10
2024-07-26 21:27
50K
number10__t19_number10.vout
2024-08-03 07:40
10K
number10__t19_number10
2024-07-26 21:26
74K
number10__t18_number10.vout
2024-08-03 07:38
7.9K
number10__t18_number10
2024-07-26 21:24
379K
number10__t17_number10.vout
2024-08-03 06:48
10K
number10__t17_number10
2024-07-26 21:22
408K
number10__t16_number10.vout
2024-08-03 07:01
7.4K
number10__t16_number10
2024-07-26 21:20
72K
number10__t15_number10.vout
2024-08-03 09:44
7.3K
number10__t15_number10
2024-07-26 21:18
76K
number10__t14_number10.vout
2024-08-03 10:16
7.3K
number10__t14_number10
2024-07-26 21:16
78K
number10__t13_number10.vout
2024-08-03 06:32
7.4K
number10__t13_number10
2024-07-26 21:14
76K
number10__t12_number10.vout
2024-08-03 07:11
7.4K
number10__t12_number10
2024-07-26 21:12
76K
number10__t11_number10.vout
2024-08-03 08:11
9.6K
number10__t11_number10.vmin1out
2024-08-03 10:20
9.0K
number10__t11_number10.vmin1
2024-08-03 10:19
613
number10__t11_number10.depvmin1
2024-08-03 10:24
77
number10__t11_number10.depv1
2024-08-03 10:19
77
number10__t11_number10
2024-07-26 21:11
67K
number10__t10_number10.vout
2024-08-03 08:58
7.4K
number10__t10_number10
2024-07-26 21:09
70K
number10__t9_number10.vout
2024-08-03 05:12
3.7K
number10__t9_number10
2024-07-26 21:07
70K
number10__t8_number10.vout
2024-08-03 05:22
7.3K
number10__t8_number10
2024-07-26 21:05
67K
number10__t7_number10.vout
2024-08-03 04:53
12K
number10__t7_number10.vmin1out
2024-08-03 10:20
11K
number10__t7_number10.vmin1
2024-08-03 10:19
573
number10__t7_number10.depvmin1
2024-08-03 10:24
71
number10__t7_number10.depv1
2024-08-03 10:19
71
number10__t7_number10
2024-07-26 21:04
66K
number10__t6_number10.vout
2024-08-03 05:11
7.3K
number10__t6_number10
2024-07-26 21:02
185K
number10__t5_number10.vout
2024-08-03 09:28
7.3K
number10__t5_number10
2024-07-26 21:00
185K
number10__t4_number10.vout
2024-08-03 05:39
7.3K
number10__t4_number10
2024-07-26 20:58
185K
number10__t3_number10.vout
2024-08-03 07:30
7.3K
number10__t3_number10
2024-07-26 20:56
185K
number10__t2_number10.vout
2024-08-03 06:31
19K
number10__t2_number10.vmin1out
2024-08-03 10:23
17K
number10__t2_number10.vmin1
2024-08-03 10:19
2.2K
number10__t2_number10.depvmin1
2024-08-03 10:24
251
number10__t2_number10.depv1
2024-08-03 10:19
360
number10__t2_number10
2024-07-26 20:55
111K
number10__t1_number10.vout
2024-08-03 07:35
6.8K
number10__t1_number10
2024-07-26 20:53
72K
number10__l98_number10.vout
2024-08-03 09:12
8.1K
number10__l98_number10.vmin1out
2024-08-03 10:22
7.4K
number10__l98_number10.vmin1
2024-08-03 10:19
1.0K
number10__l98_number10.depvmin1
2024-08-03 10:24
166
number10__l98_number10.depv1
2024-08-03 10:19
166
number10__l98_number10
2024-07-26 20:51
92K
number10__l92_number10.vout
2024-08-03 09:13
7.3K
number10__l92_number10
2024-07-26 23:26
136K
number10__l90_number10.vout
2024-08-03 05:00
7.3K
number10__l90_number10
2024-07-26 23:25
185K
number10__l88_number10.vout
2024-08-03 07:40
7.3K
number10__l88_number10
2024-07-26 23:23
265K
number10__l85_number10.vout
2024-08-03 09:03
7.3K
number10__l85_number10
2024-07-26 23:21
126K
number10__l83_number10.vout
2024-08-03 04:30
7.3K
number10__l83_number10
2024-07-26 23:19
268K
number10__l82_number10.vout
2024-08-03 05:21
7.3K
number10__l82_number10
2024-07-26 23:17
268K
number10__l80_number10.vout
2024-08-03 07:24
7.3K
number10__l80_number10
2024-07-26 23:15
189K
number10__l62_number10.vout
2024-08-03 09:06
6.8K
number10__l62_number10
2024-07-26 23:14
747K
number10__l61_number10.vout
2024-08-03 10:06
6.8K
number10__l61_number10
2024-07-26 23:12
187K
number10__l60_number10.vout
2024-08-03 08:21
15K
number10__l60_number10.vmin1out
2024-08-03 10:22
13K
number10__l60_number10.vmin1
2024-08-03 10:19
1.5K
number10__l60_number10.depvmin1
2024-08-03 10:24
311
number10__l60_number10.depv1
2024-08-03 10:19
342
number10__l60_number10
2024-07-26 20:49
78K
number10__l59_number10.vout
2024-08-03 06:52
34K
number10__l59_number10.vmin1out
2024-08-03 10:23
17K
number10__l59_number10.vmin1
2024-08-03 10:19
3.8K
number10__l59_number10.depvmin1
2024-08-03 10:24
538
number10__l59_number10.depv1
2024-08-03 10:19
835
number10__l59_number10
2024-07-26 20:47
82K
number10__l58_number10.vout
2024-08-03 05:38
7.4K
number10__l58_number10
2024-07-26 23:10
183K
number10__l57_number10.vout
2024-08-03 05:49
7.3K
number10__l57_number10
2024-07-26 23:08
184K
number10__l56_number10.vout
2024-08-03 08:04
7.3K
number10__l56_number10
2024-07-26 23:06
374K
number10__l55_number10.vout
2024-08-03 10:07
7.3K
number10__l55_number10
2024-07-26 23:05
375K
number10__l54_number10.vout
2024-08-03 07:36
7.3K
number10__l54_number10
2024-07-26 23:03
746K
number10__l53_number10.vout
2024-08-03 06:39
7.3K
number10__l53_number10
2024-07-26 23:01
748K
number10__l48_number10.vout
2024-08-03 07:11
2.6K
number10__l48_number10.vmin1out
2024-08-03 10:23
2.7K
number10__l48_number10.vmin1
2024-08-03 10:19
269
number10__l48_number10.depvmin1
2024-08-03 10:24
52
number10__l48_number10.depv1
2024-08-03 10:19
52
number10__l48_number10
2024-07-26 20:46
50K
number10__l47_number10.vout
2024-08-03 09:48
2.6K
number10__l47_number10.vmin1out
2024-08-03 10:21
2.7K
number10__l47_number10.vmin1
2024-08-03 10:19
269
number10__l47_number10.depvmin1
2024-08-03 10:24
52
number10__l47_number10.depv1
2024-08-03 10:19
52
number10__l47_number10
2024-07-26 20:44
49K
number10__l46_number10.vout
2024-08-03 09:29
2.6K
number10__l46_number10.vmin1out
2024-08-03 10:21
2.7K
number10__l46_number10.vmin1
2024-08-03 10:19
269
number10__l46_number10.depvmin1
2024-08-03 10:24
52
number10__l46_number10.depv1
2024-08-03 10:19
52
number10__l46_number10
2024-07-26 20:43
49K
number10__l2_number10.vout
2024-08-03 09:33
11K
number10__l2_number10.vmin1out
2024-08-03 10:23
9.6K
number10__l2_number10.vmin1
2024-08-03 10:19
1.3K
number10__l2_number10.depvmin1
2024-08-03 10:24
264
number10__l2_number10.depv1
2024-08-03 10:19
264
number10__l2_number10
2024-07-26 20:41
71K
number10__l1_number10.vout
2024-08-03 04:11
9.4K
number10__l1_number10.vmin1out
2024-08-03 10:20
6.0K
number10__l1_number10.vmin1
2024-08-03 10:19
904
number10__l1_number10.depvmin1
2024-08-03 10:24
155
number10__l1_number10.depv1
2024-08-03 10:19
155
number10__l1_number10
2024-07-26 20:39
70K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80