Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rinfsup1
Name
Last modified
Size
Description
Parent Directory
-
rinfsup1__l1_rinfsup1
2024-07-27 01:26
15K
rinfsup1__l1_rinfsup1.vout
2024-08-03 08:54
2.0K
rinfsup1__l70_rinfsup1
2024-07-27 01:27
25K
rinfsup1__l70_rinfsup1.depv1
2024-08-03 10:19
66
rinfsup1__l70_rinfsup1.depvmin1
2024-08-03 10:24
66
rinfsup1__l70_rinfsup1.vmin1
2024-08-03 10:19
1.7K
rinfsup1__l70_rinfsup1.vmin1out
2024-08-03 10:23
22K
rinfsup1__l70_rinfsup1.vout
2024-08-03 04:47
23K
rinfsup1__l77_rinfsup1
2024-07-27 01:29
25K
rinfsup1__l77_rinfsup1.depv1
2024-08-03 10:19
66
rinfsup1__l77_rinfsup1.depvmin1
2024-08-03 10:24
66
rinfsup1__l77_rinfsup1.vmin1
2024-08-03 10:19
1.7K
rinfsup1__l77_rinfsup1.vmin1out
2024-08-03 10:22
22K
rinfsup1__l77_rinfsup1.vout
2024-08-03 07:57
23K
rinfsup1__t1_rinfsup1
2024-07-26 23:38
14K
rinfsup1__t1_rinfsup1.depv1
2024-08-03 10:19
161
rinfsup1__t1_rinfsup1.depvmin1
2024-08-03 10:24
161
rinfsup1__t1_rinfsup1.vmin1
2024-08-03 10:19
1.6K
rinfsup1__t1_rinfsup1.vmin1out
2024-08-03 10:22
26K
rinfsup1__t1_rinfsup1.vout
2024-08-03 09:11
39K
rinfsup1__t2_rinfsup1
2024-07-26 23:39
47K
rinfsup1__t2_rinfsup1.vout
2024-08-03 05:11
4.1K
rinfsup1__t3_rinfsup1
2024-07-26 23:40
44K
rinfsup1__t3_rinfsup1.vout
2024-08-03 07:40
4.1K
rinfsup1__t4_rinfsup1
2024-07-26 23:42
35K
rinfsup1__t4_rinfsup1.vout
2024-08-03 04:07
6.4K
rinfsup1__t5_rinfsup1
2024-07-26 23:43
32K
rinfsup1__t5_rinfsup1.vout
2024-08-03 07:33
7.3K
rinfsup1__t6_rinfsup1
2024-07-26 23:44
34K
rinfsup1__t6_rinfsup1.vout
2024-08-03 07:34
7.3K
rinfsup1__t7_rinfsup1
2024-07-26 23:46
31K
rinfsup1__t7_rinfsup1.vout
2024-08-03 07:38
7.3K
rinfsup1__t8_rinfsup1
2024-07-26 23:47
31K
rinfsup1__t8_rinfsup1.vout
2024-08-03 09:53
7.3K
rinfsup1__t9_rinfsup1
2024-07-26 23:48
34K
rinfsup1__t9_rinfsup1.vout
2024-08-03 06:55
7.3K
rinfsup1__t10_rinfsup1
2024-07-26 23:50
34K
rinfsup1__t10_rinfsup1.vout
2024-08-03 06:56
7.3K
rinfsup1__t11_rinfsup1
2024-07-26 23:51
44K
rinfsup1__t11_rinfsup1.depv1
2024-08-03 10:19
264
rinfsup1__t11_rinfsup1.depvmin1
2024-08-03 10:24
248
rinfsup1__t11_rinfsup1.vmin1
2024-08-03 10:19
2.8K
rinfsup1__t11_rinfsup1.vmin1out
2024-08-03 10:21
26K
rinfsup1__t11_rinfsup1.vout
2024-08-03 04:17
35K
rinfsup1__t12_rinfsup1
2024-07-26 23:52
32K
rinfsup1__t12_rinfsup1.depv1
2024-08-03 10:19
248
rinfsup1__t12_rinfsup1.depvmin1
2024-08-03 10:24
248
rinfsup1__t12_rinfsup1.vmin1
2024-08-03 10:19
2.5K
rinfsup1__t12_rinfsup1.vmin1out
2024-08-03 10:21
24K
rinfsup1__t12_rinfsup1.vout
2024-08-03 06:49
31K
rinfsup1__t13_rinfsup1
2024-07-26 23:54
40K
rinfsup1__t13_rinfsup1.depv1
2024-08-03 10:19
383
rinfsup1__t13_rinfsup1.depvmin1
2024-08-03 10:24
304
rinfsup1__t13_rinfsup1.vmin1
2024-08-03 10:19
4.2K
rinfsup1__t13_rinfsup1.vmin1out
2024-08-03 10:22
40K
rinfsup1__t13_rinfsup1.vout
2024-08-03 05:21
40K
rinfsup1__t14_rinfsup1
2024-07-26 23:55
40K
rinfsup1__t14_rinfsup1.depv1
2024-08-03 10:19
478
rinfsup1__t14_rinfsup1.depvmin1
2024-08-03 10:24
345
rinfsup1__t14_rinfsup1.vmin1
2024-08-03 10:19
5.0K
rinfsup1__t14_rinfsup1.vmin1out
2024-08-03 10:20
41K
rinfsup1__t14_rinfsup1.vout
2024-08-03 08:39
57K
rinfsup1__t15_rinfsup1
2024-07-26 23:56
43K
rinfsup1__t15_rinfsup1.vout
2024-08-03 04:22
4.7K
rinfsup1__t16_rinfsup1
2024-07-26 23:58
43K
rinfsup1__t16_rinfsup1.vout
2024-08-03 09:33
4.7K
rinfsup1__t18_rinfsup1
2024-07-26 23:27
26K
rinfsup1__t18_rinfsup1.vout
2024-08-03 06:27
2.0K
rinfsup1__t19_rinfsup1
2024-07-26 23:59
28K
rinfsup1__t19_rinfsup1.vout
2024-08-03 05:23
7.3K
rinfsup1__t20_rinfsup1
2024-07-27 00:00
46K
rinfsup1__t20_rinfsup1.vout
2024-08-03 06:16
4.7K
rinfsup1__t21_rinfsup1
2024-07-27 00:02
43K
rinfsup1__t21_rinfsup1.vout
2024-08-03 04:27
4.7K
rinfsup1__t22_rinfsup1
2024-07-26 23:28
22K
rinfsup1__t22_rinfsup1.depv1
2024-08-03 10:19
33
rinfsup1__t22_rinfsup1.depvmin1
2024-08-03 10:24
33
rinfsup1__t22_rinfsup1.vmin1
2024-08-03 10:19
807
rinfsup1__t22_rinfsup1.vmin1out
2024-08-03 10:23
6.7K
rinfsup1__t22_rinfsup1.vout
2024-08-03 06:28
6.8K
rinfsup1__t23_rinfsup1
2024-07-26 23:29
22K
rinfsup1__t23_rinfsup1.depv1
2024-08-03 10:19
33
rinfsup1__t23_rinfsup1.depvmin1
2024-08-03 10:24
33
rinfsup1__t23_rinfsup1.vmin1
2024-08-03 10:19
809
rinfsup1__t23_rinfsup1.vmin1out
2024-08-03 10:22
6.7K
rinfsup1__t23_rinfsup1.vout
2024-08-03 05:49
6.8K
rinfsup1__t24_rinfsup1
2024-07-27 00:03
29K
rinfsup1__t24_rinfsup1.depv1
2024-08-03 10:19
142
rinfsup1__t24_rinfsup1.depvmin1
2024-08-03 10:24
142
rinfsup1__t24_rinfsup1.vmin1
2024-08-03 10:19
2.8K
rinfsup1__t24_rinfsup1.vmin1out
2024-08-03 10:20
37K
rinfsup1__t24_rinfsup1.vout
2024-08-03 07:22
38K
rinfsup1__t25_rinfsup1
2024-07-27 00:04
31K
rinfsup1__t25_rinfsup1.vout
2024-08-03 04:21
4.7K
rinfsup1__t26_rinfsup1
2024-07-26 23:30
25K
rinfsup1__t26_rinfsup1.depv1
2024-08-03 10:19
91
rinfsup1__t26_rinfsup1.depvmin1
2024-08-03 10:24
91
rinfsup1__t26_rinfsup1.vmin1
2024-08-03 10:19
1.5K
rinfsup1__t26_rinfsup1.vmin1out
2024-08-03 10:21
18K
rinfsup1__t26_rinfsup1.vout
2024-08-03 05:37
19K
rinfsup1__t27_rinfsup1
2024-07-26 23:31
25K
rinfsup1__t27_rinfsup1.depv1
2024-08-03 10:19
91
rinfsup1__t27_rinfsup1.depvmin1
2024-08-03 10:24
91
rinfsup1__t27_rinfsup1.vmin1
2024-08-03 10:19
1.5K
rinfsup1__t27_rinfsup1.vmin1out
2024-08-03 10:21
18K
rinfsup1__t27_rinfsup1.vout
2024-08-03 09:46
19K
rinfsup1__t28_rinfsup1
2024-07-26 23:32
25K
rinfsup1__t28_rinfsup1.depv1
2024-08-03 10:19
91
rinfsup1__t28_rinfsup1.depvmin1
2024-08-03 10:24
91
rinfsup1__t28_rinfsup1.vmin1
2024-08-03 10:19
1.6K
rinfsup1__t28_rinfsup1.vmin1out
2024-08-03 10:20
18K
rinfsup1__t28_rinfsup1.vout
2024-08-03 09:03
19K
rinfsup1__t29_rinfsup1
2024-07-27 01:20
24K
rinfsup1__t29_rinfsup1.depv1
2024-08-03 10:19
176
rinfsup1__t29_rinfsup1.depvmin1
2024-08-03 10:24
176
rinfsup1__t29_rinfsup1.vmin1
2024-08-03 10:19
1.8K
rinfsup1__t29_rinfsup1.vmin1out
2024-08-03 10:21
26K
rinfsup1__t29_rinfsup1.vout
2024-08-03 06:09
22K
rinfsup1__t31_rinfsup1
2024-07-27 01:21
30K
rinfsup1__t31_rinfsup1.vout
2024-08-03 08:03
7.3K
rinfsup1__t32_rinfsup1
2024-07-27 01:23
30K
rinfsup1__t32_rinfsup1.vout
2024-08-03 06:05
7.3K
rinfsup1__t33_rinfsup1
2024-07-26 23:37
25K
rinfsup1__t33_rinfsup1.vout
2024-08-03 09:35
7.3K
rinfsup1__t34_rinfsup1
2024-07-27 01:24
35K
rinfsup1__t34_rinfsup1.vout
2024-08-03 07:52
7.3K
rinfsup1__t35_rinfsup1
2024-07-27 01:25
35K
rinfsup1__t35_rinfsup1.vout
2024-08-03 09:51
7.3K
rinfsup1__t36_rinfsup1
2024-07-27 00:06
29K
rinfsup1__t36_rinfsup1.vout
2024-08-03 04:34
7.3K
rinfsup1__t37_rinfsup1
2024-07-27 00:07
29K
rinfsup1__t37_rinfsup1.vout
2024-08-03 05:58
7.3K
rinfsup1__t38_rinfsup1
2024-07-27 00:08
29K
rinfsup1__t38_rinfsup1.vout
2024-08-03 07:42
7.3K
rinfsup1__t39_rinfsup1
2024-07-27 00:09
29K
rinfsup1__t39_rinfsup1.vout
2024-08-03 08:06
7.3K
rinfsup1__t40_rinfsup1
2024-07-27 00:11
45K
rinfsup1__t40_rinfsup1.vout
2024-08-03 09:12
6.8K
rinfsup1__t41_rinfsup1
2024-07-27 00:12
45K
rinfsup1__t41_rinfsup1.vout
2024-08-03 05:31
6.8K
rinfsup1__t42_rinfsup1
2024-07-27 00:14
50K
rinfsup1__t42_rinfsup1.vout
2024-08-03 09:07
7.4K
rinfsup1__t43_rinfsup1
2024-07-27 00:15
31K
rinfsup1__t43_rinfsup1.depv1
2024-08-03 10:19
56
rinfsup1__t43_rinfsup1.depvmin1
2024-08-03 10:24
56
rinfsup1__t43_rinfsup1.vmin1
2024-08-03 10:19
1.2K
rinfsup1__t43_rinfsup1.vmin1out
2024-08-03 10:22
25K
rinfsup1__t43_rinfsup1.vout
2024-08-03 05:45
26K
rinfsup1__t44_rinfsup1
2024-07-27 00:17
50K
rinfsup1__t44_rinfsup1.vout
2024-08-03 08:39
6.8K
rinfsup1__t45_rinfsup1
2024-07-27 00:18
31K
rinfsup1__t45_rinfsup1.depv1
2024-08-03 10:19
56
rinfsup1__t45_rinfsup1.depvmin1
2024-08-03 10:24
56
rinfsup1__t45_rinfsup1.vmin1
2024-08-03 10:19
1.2K
rinfsup1__t45_rinfsup1.vmin1out
2024-08-03 10:23
25K
rinfsup1__t45_rinfsup1.vout
2024-08-03 06:37
26K
rinfsup1__t46_rinfsup1
2024-07-27 00:20
37K
rinfsup1__t46_rinfsup1.vout
2024-08-03 04:35
6.8K
rinfsup1__t47_rinfsup1
2024-07-27 00:21
37K
rinfsup1__t47_rinfsup1.vout
2024-08-03 05:56
6.8K
rinfsup1__t48_rinfsup1
2024-07-27 00:22
28K
rinfsup1__t48_rinfsup1.vout
2024-08-03 09:01
2.0K
rinfsup1__t49_rinfsup1
2024-07-27 00:24
28K
rinfsup1__t49_rinfsup1.vout
2024-08-03 06:04
2.0K
rinfsup1__t50_rinfsup1
2024-07-26 23:33
27K
rinfsup1__t50_rinfsup1.vout
2024-08-03 08:54
2.0K
rinfsup1__t51_rinfsup1
2024-07-26 23:34
27K
rinfsup1__t51_rinfsup1.vout
2024-08-03 09:20
2.0K
rinfsup1__t52_rinfsup1
2024-07-27 00:25
30K
rinfsup1__t52_rinfsup1.vout
2024-08-03 04:50
7.3K
rinfsup1__t53_rinfsup1
2024-07-27 00:26
34K
rinfsup1__t53_rinfsup1.vout
2024-08-03 05:50
6.8K
rinfsup1__t54_rinfsup1
2024-07-27 00:28
34K
rinfsup1__t54_rinfsup1.vout
2024-08-03 09:33
6.8K
rinfsup1__t55_rinfsup1
2024-07-27 00:29
28K
rinfsup1__t55_rinfsup1.depv1
2024-08-03 10:19
83
rinfsup1__t55_rinfsup1.depvmin1
2024-08-03 10:24
83
rinfsup1__t55_rinfsup1.vmin1
2024-08-03 10:19
1.8K
rinfsup1__t55_rinfsup1.vmin1out
2024-08-03 10:20
19K
rinfsup1__t55_rinfsup1.vout
2024-08-03 09:10
35K
rinfsup1__t56_rinfsup1
2024-07-27 00:31
36K
rinfsup1__t56_rinfsup1.vout
2024-08-03 09:11
2.0K
rinfsup1__t57_rinfsup1
2024-07-27 00:32
25K
rinfsup1__t57_rinfsup1.depv1
2024-08-03 10:19
154
rinfsup1__t57_rinfsup1.depvmin1
2024-08-03 10:24
127
rinfsup1__t57_rinfsup1.vmin1
2024-08-03 10:19
2.4K
rinfsup1__t57_rinfsup1.vmin1out
2024-08-03 10:20
20K
rinfsup1__t57_rinfsup1.vout
2024-08-03 05:41
25K
rinfsup1__t58_rinfsup1
2024-07-27 00:33
25K
rinfsup1__t58_rinfsup1.depv1
2024-08-03 10:19
154
rinfsup1__t58_rinfsup1.depvmin1
2024-08-03 10:24
127
rinfsup1__t58_rinfsup1.vmin1
2024-08-03 10:19
2.4K
rinfsup1__t58_rinfsup1.vmin1out
2024-08-03 10:20
20K
rinfsup1__t58_rinfsup1.vout
2024-08-03 06:56
25K
rinfsup1__t59_rinfsup1
2024-07-27 00:34
43K
rinfsup1__t59_rinfsup1.vout
2024-08-03 07:25
1.1K
rinfsup1__t60_rinfsup1
2024-07-27 00:36
43K
rinfsup1__t60_rinfsup1.vout
2024-08-03 08:06
1.1K
rinfsup1__t61_rinfsup1
2024-07-27 00:37
35K
rinfsup1__t61_rinfsup1.vout
2024-08-03 07:17
4.1K
rinfsup1__t62_rinfsup1
2024-07-27 00:38
35K
rinfsup1__t62_rinfsup1.vout
2024-08-03 08:14
4.1K
rinfsup1__t63_rinfsup1
2024-07-27 00:39
28K
rinfsup1__t63_rinfsup1.vout
2024-08-03 08:16
6.8K
rinfsup1__t64_rinfsup1
2024-07-27 00:41
24K
rinfsup1__t64_rinfsup1.depv1
2024-08-03 10:19
115
rinfsup1__t64_rinfsup1.depvmin1
2024-08-03 10:24
115
rinfsup1__t64_rinfsup1.vmin1
2024-08-03 10:19
1.8K
rinfsup1__t64_rinfsup1.vmin1out
2024-08-03 10:23
28K
rinfsup1__t64_rinfsup1.vout
2024-08-03 07:00
27K
rinfsup1__t65_rinfsup1
2024-07-27 00:42
32K
rinfsup1__t65_rinfsup1.vout
2024-08-03 04:29
7.3K
rinfsup1__t66_rinfsup1
2024-07-27 00:43
29K
rinfsup1__t66_rinfsup1.vout
2024-08-03 07:27
2.0K
rinfsup1__t67_rinfsup1
2024-07-27 00:44
31K
rinfsup1__t67_rinfsup1.vout
2024-08-03 05:21
7.3K
rinfsup1__t68_rinfsup1
2024-07-27 00:46
28K
rinfsup1__t68_rinfsup1.vout
2024-08-03 08:30
4.1K
rinfsup1__t69_rinfsup1
2024-07-27 00:47
28K
rinfsup1__t69_rinfsup1.vout
2024-08-03 08:16
6.8K
rinfsup1__t70_rinfsup1
2024-07-27 00:48
24K
rinfsup1__t70_rinfsup1.depv1
2024-08-03 10:19
115
rinfsup1__t70_rinfsup1.depvmin1
2024-08-03 10:24
115
rinfsup1__t70_rinfsup1.vmin1
2024-08-03 10:19
1.8K
rinfsup1__t70_rinfsup1.vmin1out
2024-08-03 10:22
28K
rinfsup1__t70_rinfsup1.vout
2024-08-03 08:09
27K
rinfsup1__t71_rinfsup1
2024-07-27 00:49
31K
rinfsup1__t71_rinfsup1.vout
2024-08-03 09:27
6.8K
rinfsup1__t72_rinfsup1
2024-07-27 00:50
29K
rinfsup1__t72_rinfsup1.vout
2024-08-03 09:37
2.0K
rinfsup1__t73_rinfsup1
2024-07-27 00:52
31K
rinfsup1__t73_rinfsup1.vout
2024-08-03 06:34
7.3K
rinfsup1__t74_rinfsup1
2024-07-27 00:53
28K
rinfsup1__t74_rinfsup1.vout
2024-08-03 07:39
4.1K
rinfsup1__t75_rinfsup1
2024-07-27 00:55
33K
rinfsup1__t75_rinfsup1.vout
2024-08-03 07:44
7.3K
rinfsup1__t76_rinfsup1
2024-07-27 00:56
40K
rinfsup1__t76_rinfsup1.vout
2024-08-03 04:47
1.1K
rinfsup1__t77_rinfsup1
2024-07-27 00:57
40K
rinfsup1__t77_rinfsup1.vout
2024-08-03 05:32
1.1K
rinfsup1__t78_rinfsup1
2024-07-27 00:59
39K
rinfsup1__t78_rinfsup1.vout
2024-08-03 08:42
1.1K
rinfsup1__t79_rinfsup1
2024-07-27 01:00
39K
rinfsup1__t79_rinfsup1.vout
2024-08-03 09:18
1.1K
rinfsup1__t80_rinfsup1
2024-07-27 01:01
39K
rinfsup1__t80_rinfsup1.vout
2024-08-03 07:28
1.1K
rinfsup1__t81_rinfsup1
2024-07-27 01:03
36K
rinfsup1__t81_rinfsup1.vout
2024-08-03 06:54
7.3K
rinfsup1__t82_rinfsup1
2024-07-27 01:04
36K
rinfsup1__t82_rinfsup1.vout
2024-08-03 07:11
6.8K
rinfsup1__t83_rinfsup1
2024-07-27 01:05
35K
rinfsup1__t83_rinfsup1.depv1
2024-08-03 10:19
128
rinfsup1__t83_rinfsup1.depvmin1
2024-08-03 10:24
128
rinfsup1__t83_rinfsup1.vmin1
2024-08-03 10:19
2.2K
rinfsup1__t83_rinfsup1.vmin1out
2024-08-03 10:21
75K
rinfsup1__t83_rinfsup1.vout
2024-08-03 05:08
63K
rinfsup1__t84_rinfsup1
2024-07-27 01:07
36K
rinfsup1__t84_rinfsup1.vout
2024-08-03 08:30
6.8K
rinfsup1__t85_rinfsup1
2024-07-27 01:08
36K
rinfsup1__t85_rinfsup1.vout
2024-08-03 07:50
6.8K
rinfsup1__t86_rinfsup1
2024-07-27 01:10
35K
rinfsup1__t86_rinfsup1.depv1
2024-08-03 10:19
128
rinfsup1__t86_rinfsup1.depvmin1
2024-08-03 10:24
128
rinfsup1__t86_rinfsup1.vmin1
2024-08-03 10:19
2.2K
rinfsup1__t86_rinfsup1.vmin1out
2024-08-03 10:21
76K
rinfsup1__t86_rinfsup1.vout
2024-08-03 09:38
64K
rinfsup1__t87_rinfsup1
2024-07-26 23:36
27K
rinfsup1__t87_rinfsup1.depv1
2024-08-03 10:19
50
rinfsup1__t87_rinfsup1.depvmin1
2024-08-03 10:24
50
rinfsup1__t87_rinfsup1.vmin1
2024-08-03 10:19
955
rinfsup1__t87_rinfsup1.vmin1out
2024-08-03 10:20
7.9K
rinfsup1__t87_rinfsup1.vout
2024-08-03 09:47
8.0K
rinfsup1__t88_rinfsup1
2024-07-27 01:11
42K
rinfsup1__t88_rinfsup1.vout
2024-08-03 04:30
4.7K
rinfsup1__t89_rinfsup1
2024-07-27 01:13
37K
rinfsup1__t89_rinfsup1.vout
2024-08-03 04:07
4.2K
rinfsup1__t90_rinfsup1
2024-07-27 01:14
48K
rinfsup1__t90_rinfsup1.vout
2024-08-03 06:55
4.1K
rinfsup1__t91_rinfsup1
2024-07-27 01:15
31K
rinfsup1__t91_rinfsup1.vout
2024-08-03 07:56
2.0K
rinfsup1__t92_rinfsup1
2024-07-27 01:17
76K
rinfsup1__t92_rinfsup1.vout
2024-08-03 06:44
4.7K
rinfsup1__t93_rinfsup1
2024-07-27 01:19
41K
rinfsup1__t93_rinfsup1.vout
2024-08-03 06:20
4.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80